Tripwire

Find contracts. Test them. Review real vulns.

Analysis Run

0f9effc0-308e-4b6e-8fc6-7e3033fbb349

complete

Chain ID

Address

0x3c1831af8a36df4a77799d15a7a16d7c478b6cdc

Block Number

—

Created

Mon, Dec 29, 2025 8:28 PM

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

Validated

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
30580	report.consolidate	complete	1 / 1	3 months ago
104339	artifact.fetch	complete	1 / 3	2 weeks ago
104340	tool.cast_disasm	complete	1 / 3	2 weeks ago
104341	analysis.bundle	complete	1 / 3	2 weeks ago
104342	capability.graph	complete	1 / 3	2 weeks ago
104343	detector.run	complete	1 / 3	2 weeks ago
104344	validation.fork	complete	1 / 3	2 weeks 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

No findings?

yes

Summary

No concrete, explainable vulnerability patterns could be confirmed from the provided runtime bytecode alone.

View stderr

[codex:1274095] OpenAI Codex v0.77.0 (research preview)
[codex:1274095] --------
[codex:1274095] workdir: /tmp/codex-multi-gzdeueea
[codex:1274095] model: gpt-5.2-codex
[codex:1274095] provider: openai
[codex:1274095] approval: never
[codex:1274095] sandbox: read-only
[codex:1274095] reasoning effort: xhigh
[codex:1274095] reasoning summaries: auto
[codex:1274095] session id: 019b6bcc-4a38-73d3-993a-49ac770028e7
[codex:1274095] --------
[codex:1274095] user
[codex:1274095] You are a security auditor. You are given EVM runtime bytecode (and possibly a disassembly) for a contract with NO verified source.
[codex:1274095] This is best-effort. Do not hallucinate: only flag issues when there's a concrete, explainable angle from bytecode/disasm patterns.
[codex:1274095] 
[codex:1274095] You MUST read the full `BYTECODE_BUNDLE.txt` before concluding.
[codex:1274095] 
[codex:1274095] Output MUST be valid JSON matching the provided schema.
[codex:1274095] - If you cannot identify a concrete issue from bytecode/disasm alone: set no_findings=true and findings=[].
[codex:1274095] - Otherwise: include findings with severity/category/title/evidence and point locations to BYTECODE_BUNDLE.txt line ranges when possible.
[codex:1274095] 
[codex:1274095] Output constraints (IMPORTANT):
[codex:1274095] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1274095] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1274095] mcp startup: no servers
[codex:1274095] 
[codex:1274095] thinking
[codex:1274095] **Deciding how to read the file**
[codex:1274095] exec
[codex:1274095] /bin/bash -lc ls in /tmp/codex-multi-gzdeueea succeeded in 6ms:
[codex:1274095] BYTECODE_BUNDLE.txt
[codex:1274095] codex-output-schema.json
[codex:1274095] exec
[codex:1274095] /bin/bash -lc 'cat BYTECODE_BUNDLE.txt' in /tmp/codex-multi-gzdeueea succeeded in 5ms:
[codex:1274095] Runtime bytecode bundle for best-effort auditing.
[codex:1274095] Note: without verified source, conclusions are low-confidence unless a concrete pattern is visible.
[codex:1274095] 
[codex:1274095] FILE: runtime_bytecode.hex
[codex:1274095] 0x608060405234801561001057600080fd5b50600436106101a95760003560e01c80636a627842116100f9578063ba9a7a5611610097578063d21220a711610071578063d21220a714610869578063d505accf1461089d578063dd62ed3e14610936578063fff6cae9146109ae576101a9565b8063ba9a7a56146107d3578063bc25cf77146107f1578063c45a015514610835576101a9565b80637ecebe00116100d35780637ecebe001461063557806389afcb441461068d57806395d89b41146106ec578063a9059cbb1461076f576101a9565b80636a6278421461056757806370a08231146105bf5780637464fc3d14610617576101a9565b806323b872dd116101665780633644e515116101405780633644e515146104a9578063485cc955146104c75780635909c0d51461052b5780635a3d549314610549576101a9565b806323b872dd146103e657806330adf81f1461046a578063313ce56714610488576101a9565b8063022c0d9f146101ae57806306fdde031461025b5780630902f1ac146102de578063095ea7b3146103305780630dfe16811461039457806318160ddd146103c8575b600080fd5b610259600480360360808110156101c457600080fd5b810190808035906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019064010000000081111561021557600080fd5b82018360208201111561022757600080fd5b8035906020019184600183028401116401000000008311171561024957600080fd5b90919293919293905050506109b8565b005b610263611163565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102a3578082015181840152602081019050610288565b50505050905090810190601f1680156102d05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102e661119c565b60405180846dffffffffffffffffffffffffffff168152602001836dffffffffffffffffffffffffffff1681526020018263ffffffff168152602001935050505060405180910390f35b61037c6004803603604081101561034657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111f9565b60405180821515815260200191505060405180910390f35b61039c611210565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103d0611236565b6040518082815260200191505060405180910390f35b610452600480360360608110156103fc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061123c565b60405180821515815260200191505060405180910390f35b610472611407565b6040518082815260200191505060405180910390f35b61049061142e565b604051808260ff16815260200191505060405180910390f35b6104b1611433565b6040518082815260200191505060405180910390f35b610529600480360360408110156104dd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611439565b005b610533611582565b6040518082815260200191505060405180910390f35b610551611588565b6040518082815260200191505060405180910390f35b6105a96004803603602081101561057d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061158e565b6040518082815260200191505060405180910390f35b610601600480360360208110156105d557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611cbc565b6040518082815260200191505060405180910390f35b61061f611cd4565b6040518082815260200191505060405180910390f35b6106776004803603602081101561064b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611cda565b6040518082815260200191505060405180910390f35b6106cf600480360360208110156106a357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611cf2565b604051808381526020018281526020019250505060405180910390f35b6106f4612287565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610734578082015181840152602081019050610719565b50505050905090810190601f1680156107615780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6107bb6004803603604081101561078557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506122c0565b60405180821515815260200191505060405180910390f35b6107db6122d7565b6040518082815260200191505060405180910390f35b6108336004803603602081101561080757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506122dd565b005b61083d61258c565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6108716125b2565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610934600480360360e08110156108b357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190803560ff16906020019092919080359060200190929190803590602001909291905050506125d8565b005b6109986004803603604081101561094c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506128ed565b6040518082815260200191505060405180910390f35b6109b6612912565b005b6001600c5414610a30576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f556e697377617056323a204c4f434b454400000000000000000000000000000081525060200191505060405180910390fd5b6000600c819055506000851180610a475750600084115b610a9c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180613a316025913960400191505060405180910390fd5b600080610aa761119c565b5091509150816dffffffffffffffffffffffffffff1687108015610ada5750806dffffffffffffffffffffffffffff1686105b610b2f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180613a7a6021913960400191505060405180910390fd5b6000806000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508173ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614158015610be857508073ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614155b610c5a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f556e697377617056323a20494e56414c49445f544f000000000000000000000081525060200191505060405180910390fd5b60008b1115610c6f57610c6e828a8d612b66565b5b60008a1115610c8457610c83818a8c612b66565b5b6000888890501115610d56578873ffffffffffffffffffffffffffffffffffffffff166310d1e85c338d8d8c8c6040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b158015610d3d57600080fd5b505af1158015610d51573d6000803e3d6000fd5b505050505b8173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610dbd57600080fd5b505afa158015610dd1573d6000803e3d6000fd5b505050506040513d6020811015610de757600080fd5b810190808051906020019092919050505093508073ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610e6157600080fd5b505afa158015610e75573d6000803e3d6000fd5b505050506040513d6020811015610e8b57600080fd5b810190808051906020019092919050505092505050600089856dffffffffffffffffffffffffffff16038311610ec2576000610ed8565b89856dffffffffffffffffffffffffffff160383035b9050600089856dffffffffffffffffffffffffffff16038311610efc576000610f12565b89856dffffffffffffffffffffffffffff160383035b90506000821180610f235750600081115b610f78576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180613a566024913960400191505060405180910390fd5b6000610fb4610f91600385612d9d90919063ffffffff16565b610fa66103e888612d9d90919063ffffffff16565b612e3290919063ffffffff16565b90506000610ff2610fcf600385612d9d90919063ffffffff16565b610fe46103e888612d9d90919063ffffffff16565b612e3290919063ffffffff16565b905061103c620f424061102e896dffffffffffffffffffffffffffff168b6dffffffffffffffffffffffffffff16612d9d90919063ffffffff16565b612d9d90919063ffffffff16565b61104f8284612d9d90919063ffffffff16565b10156110c3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f556e697377617056323a204b000000000000000000000000000000000000000081525060200191505060405180910390fd5b50506110d184848888612eb5565b8873ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d82284848f8f6040518085815260200184815260200183815260200182815260200194505050505060405180910390a35050505050506001600c819055505050505050565b6040518060400160405280600d81526020017f4e455448204c5020546f6b656e0000000000000000000000000000000000000081525081565b6000806000600860009054906101000a90046dffffffffffffffffffffffffffff1692506008600e9054906101000a90046dffffffffffffffffffffffffffff1691506008601c9054906101000a900463ffffffff169050909192565b6000611206338484613213565b6001905092915050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60005481565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146113f15761137082600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612e3290919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b6113fc8484846132fe565b600190509392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c960001b81565b601281565b60035481565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146114fc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f556e697377617056323a20464f5242494444454e00000000000000000000000081525060200191505060405180910390fd5b81600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050565b60095481565b600a5481565b60006001600c5414611608576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f556e697377617056323a204c4f434b454400000000000000000000000000000081525060200191505060405180910390fd5b6000600c8190555060008061161b61119c565b50915091506000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156116ab57600080fd5b505afa1580156116bf573d6000803e3d6000fd5b505050506040513d60208110156116d557600080fd5b810190808051906020019092919050505090506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561177357600080fd5b505afa158015611787573d6000803e3d6000fd5b505050506040513d602081101561179d57600080fd5b8101908080519060200190929190505050905060006117d5856dffffffffffffffffffffffffffff1684612e3290919063ffffffff16565b905060006117fc856dffffffffffffffffffffffffffff1684612e3290919063ffffffff16565b9050600061180a8787613492565b90506000805490506000811415611b07576000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16637cd07e476040518163ffffffff1660e01b815260040160206040518083038186803b15801561188557600080fd5b505afa158015611899573d6000803e3d6000fd5b505050506040513d60208110156118af57600080fd5b810190808051906020019092919050505090508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415611a20578073ffffffffffffffffffffffffffffffffffffffff166340dc0e376040518163ffffffff1660e01b815260040160206040518083038186803b15801561193c57600080fd5b505afa158015611950573d6000803e3d6000fd5b505050506040513d602081101561196657600080fd5b8101908080519060200190929190505050995060008a1180156119a957507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8a14155b611a1b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f4261642064657369726564206c6971756964697479000000000000000000000081525060200191505060405180910390fd5b611b01565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614611ac2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f4d757374206e6f742068617665206d69677261746f720000000000000000000081525060200191505060405180910390fd5b611af16103e8611ae3611ade8789612d9d90919063ffffffff16565b613673565b612e3290919063ffffffff16565b9950611b0060006103e86136d5565b5b50611b6a565b611b67886dffffffffffffffffffffffffffff16611b2e8387612d9d90919063ffffffff16565b81611b3557fe5b04886dffffffffffffffffffffffffffff16611b5a8487612d9d90919063ffffffff16565b81611b6157fe5b046137ef565b98505b60008911611bc3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526028815260200180613ac36028913960400191505060405180910390fd5b611bcd8a8a6136d5565b611bd986868a8a612eb5565b8115611c5157611c4a6008600e9054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16600860009054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16612d9d90919063ffffffff16565b600b819055505b3373ffffffffffffffffffffffffffffffffffffffff167f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f8585604051808381526020018281526020019250505060405180910390a250505050505050506001600c81905550919050565b60016020528060005260406000206000915090505481565b600b5481565b60046020528060005260406000206000915090505481565b6000806001600c5414611d6d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f556e697377617056323a204c4f434b454400000000000000000000000000000081525060200191505060405180910390fd5b6000600c81905550600080611d8061119c565b50915091506000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905060008273ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611e3c57600080fd5b505afa158015611e50573d6000803e3d6000fd5b505050506040513d6020811015611e6657600080fd5b8101908080519060200190929190505050905060008273ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611ee257600080fd5b505afa158015611ef6573d6000803e3d6000fd5b505050506040513d6020811015611f0c57600080fd5b810190808051906020019092919050505090506000600160003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506000611f6f8888613492565b905060008054905080611f8b8685612d9d90919063ffffffff16565b81611f9257fe5b049a5080611fa98585612d9d90919063ffffffff16565b81611fb057fe5b04995060008b118015611fc3575060008a115b612018576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526028815260200180613a9b6028913960400191505060405180910390fd5b6120223084613808565b61202d878d8d612b66565b612038868d8c612b66565b8673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561209f57600080fd5b505afa1580156120b3573d6000803e3d6000fd5b505050506040513d60208110156120c957600080fd5b810190808051906020019092919050505094508573ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561214357600080fd5b505afa158015612157573d6000803e3d6000fd5b505050506040513d602081101561216d57600080fd5b8101908080519060200190929190505050935061218c85858b8b612eb5565b8115612204576121fd6008600e9054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16600860009054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16612d9d90919063ffffffff16565b600b819055505b8b73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d819364968d8d604051808381526020018281526020019250505060405180910390a35050505050505050506001600c81905550915091565b6040518060400160405280600681526020017f4e4554484c50000000000000000000000000000000000000000000000000000081525081565b60006122cd3384846132fe565b6001905092915050565b6103e881565b6001600c5414612355576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f556e697377617056323a204c4f434b454400000000000000000000000000000081525060200191505060405180910390fd5b6000600c819055506000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506124958284612490600860009054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561244757600080fd5b505afa15801561245b573d6000803e3d6000fd5b505050506040513d602081101561247157600080fd5b8101908080519060200190929190505050612e3290919063ffffffff16565b612b66565b61257f818461257a6008600e9054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561253157600080fd5b505afa158015612545573d6000803e3d6000fd5b505050506040513d602081101561255b57600080fd5b8101908080519060200190929190505050612e3290919063ffffffff16565b612b66565b50506001600c8190555050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b4284101561264e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f556e697377617056323a2045585049524544000000000000000000000000000081525060200191505060405180910390fd5b60006003547f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c960001b898989600460008e73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558a604051602001808781526020018673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff16815260200184815260200183815260200182815260200196505050505050506040516020818303038152906040528051906020012060405160200180807f190100000000000000000000000000000000000000000000000000000000000081525060020183815260200182815260200192505050604051602081830303815290604052805190602001209050600060018286868660405160008152602001604052604051808581526020018460ff1681526020018381526020018281526020019450505050506020604051602081039080840390855afa1580156127f1573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415801561286557508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b6128d7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f556e697377617056323a20494e56414c49445f5349474e41545552450000000081525060200191505060405180910390fd5b6128e2898989613213565b505050505050505050565b6002602052816000526040600020602052806000526040600020600091509150505481565b6001600c541461298a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f556e697377617056323a204c4f434b454400000000000000000000000000000081525060200191505060405180910390fd5b6000600c81905550612b5c600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015612a1e57600080fd5b505afa158015612a32573d6000803e3d6000fd5b505050506040513d6020811015612a4857600080fd5b8101908080519060200190929190505050600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015612ae257600080fd5b505afa158015612af6573d6000803e3d6000fd5b505050506040513d6020811015612b0c57600080fd5b8101908080519060200190929190505050600860009054906101000a90046dffffffffffffffffffffffffffff166008600e9054906101000a90046dffffffffffffffffffffffffffff16612eb5565b6001600c81905550565b600060608473ffffffffffffffffffffffffffffffffffffffff166040518060400160405280601981526020017f7472616e7366657228616464726573732c75696e743235362900000000000000815250805190602001208585604051602401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040518082805190602001908083835b60208310612c7d5780518252602082019150602081019050602083039250612c5a565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114612cdf576040519150601f19603f3d011682016040523d82523d6000602084013e612ce4565b606091505b5091509150818015612d245750600081511480612d235750808060200190516020811015612d1157600080fd5b81019080805190602001909291905050505b5b612d96576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f556e697377617056323a205452414e534645525f4641494c454400000000000081525060200191505060405180910390fd5b5050505050565b600080821480612dba5750828283850292508281612db757fe5b04145b612e2c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d6d6174682d6d756c2d6f766572666c6f7700000000000000000000000081525060200191505060405180910390fd5b92915050565b6000828284039150811115612eaf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f64732d6d6174682d7375622d756e646572666c6f77000000000000000000000081525060200191505060405180910390fd5b92915050565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6dffffffffffffffffffffffffffff168411158015612f2557507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6dffffffffffffffffffffffffffff168311155b612f97576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f556e697377617056323a204f564552464c4f570000000000000000000000000081525060200191505060405180910390fd5b60006401000000004281612fa757fe5b06905060006008601c9054906101000a900463ffffffff168203905060008163ffffffff16118015612fea57506000846dffffffffffffffffffffffffffff1614155b801561300757506000836dffffffffffffffffffffffffffff1614155b156130e9578063ffffffff1661304c8561302086613922565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1661394d90919063ffffffff16565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16026009600082825401925050819055508063ffffffff166130ba8461308e87613922565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1661394d90919063ffffffff16565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602600a600082825401925050819055505b85600860006101000a8154816dffffffffffffffffffffffffffff02191690836dffffffffffffffffffffffffffff160217905550846008600e6101000a8154816dffffffffffffffffffffffffffff02191690836dffffffffffffffffffffffffffff160217905550816008601c6101000a81548163ffffffff021916908363ffffffff1602179055507f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1600860009054906101000a90046dffffffffffffffffffffffffffff166008600e9054906101000a90046dffffffffffffffffffffffffffff1660405180836dffffffffffffffffffffffffffff168152602001826dffffffffffffffffffffffffffff1681526020019250505060405180910390a1505050505050565b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b61335081600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612e3290919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506133e581600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546139ad90919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600080600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b1580156134fd57600080fd5b505afa158015613511573d6000803e3d6000fd5b505050506040513d602081101561352757600080fd5b81019080805190602001909291905050509050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141591506000600b549050821561365957600081146136545760006135bf6135ba866dffffffffffffffffffffffffffff16886dffffffffffffffffffffffffffff16612d9d90919063ffffffff16565b613673565b905060006135cc83613673565b9050808211156136515760006135ff6135ee8385612e3290919063ffffffff16565b600054612d9d90919063ffffffff16565b905060006136298361361b600587612d9d90919063ffffffff16565b6139ad90919063ffffffff16565b9050600081838161363657fe5b049050600081111561364d5761364c87826136d5565b5b5050505b50505b61366b565b6000811461366a576000600b819055505b5b505092915050565b600060038211156136c257819050600060016002848161368f57fe5b040190505b818110156136bc578091506002818285816136ab57fe5b0401816136b457fe5b049050613694565b506136d0565b600082146136cf57600190505b5b919050565b6136ea816000546139ad90919063ffffffff16565b60008190555061374281600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546139ad90919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008183106137fe5781613800565b825b905092915050565b61385a81600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612e3290919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506138b281600054612e3290919063ffffffff16565b600081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60006e010000000000000000000000000000826dffffffffffffffffffffffffffff16029050919050565b6000816dffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16816139a457fe5b04905092915050565b6000828284019150811015613a2a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d6d6174682d6164642d6f766572666c6f7700000000000000000000000081525060200191505060405180910390fd5b9291505056fe556e697377617056323a20494e53554646494349454e545f4f55545055545f414d4f554e54556e697377617056323a20494e53554646494349454e545f494e5055545f414d4f554e54556e697377617056323a20494e53554646494349454e545f4c4951554944495459556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e4544556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e544544a26469706673582212207983f2e06cad1a0cab64218e001050f85840c00747e814f8b3d57162a2ced86564736f6c634300060c0033
[codex:1274095] 
[codex:1274095] thinking
[codex:1274095] **Analyzing UniswapV2Pair bytecode**
[codex:1274095] exec
[codex:1274095] /bin/bash -lc 'nl -ba BYTECODE_BUNDLE.txt | head -n 5' in /tmp/codex-multi-gzdeueea succeeded in 6ms:
[codex:1274095]      1	Runtime bytecode bundle for best-effort auditing.
[codex:1274095]      2	Note: without verified source, conclusions are low-confidence unless a concrete pattern is visible.
[codex:1274095]      3	
[codex:1274095]      4	FILE: runtime_bytecode.hex
[codex:1274095]      5	0x608060405234801561001057600080fd5b50600436106101a95760003560e01c80636a627842116100f9578063ba9a7a5611610097578063d21220a711610071578063d21220a714610869578063d505accf1461089d578063dd62ed3e14610936578063fff6cae9146109ae576101a9565b8063ba9a7a56146107d3578063bc25cf77146107f1578063c45a015514610835576101a9565b80637ecebe00116100d35780637ecebe001461063557806389afcb441461068d57806395d89b41146106ec578063a9059cbb1461076f576101a9565b80636a6278421461056757806370a08231146105bf5780637464fc3d14610617576101a9565b806323b872dd116101665780633644e515116101405780633644e515146104a9578063485cc955146104c75780635909c0d51461052b5780635a3d549314610549576101a9565b806323b872dd146103e657806330adf81f1461046a578063313ce56714610488576101a9565b8063022c0d9f146101ae57806306fdde031461025b5780630902f1ac146102de578063095ea7b3146103305780630dfe16811461039457806318160ddd146103c8575b600080fd5b610259600480360360808110156101c457600080fd5b810190808035906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019064010000000081111561021557600080fd5b82018360208201111561022757600080fd5b8035906020019184600183028401116401000000008311171561024957600080fd5b90919293919293905050506109b8565b005b610263611163565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102a3578082015181840152602081019050610288565b50505050905090810190601f1680156102d05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102e661119c565b60405180846dffffffffffffffffffffffffffff168152602001836dffffffffffffffffffffffffffff1681526020018263ffffffff168152602001935050505060405180910390f35b61037c6004803603604081101561034657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111f9565b60405180821515815260200191505060405180910390f35b61039c611210565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103d0611236565b6040518082815260200191505060405180910390f35b610452600480360360608110156103fc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061123c565b60405180821515815260200191505060405180910390f35b610472611407565b6040518082815260200191505060405180910390f35b61049061142e565b604051808260ff16815260200191505060405180910390f35b6104b1611433565b6040518082815260200191505060405180910390f35b610529600480360360408110156104dd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611439565b005b610533611582565b6040518082815260200191505060405180910390f35b610551611588565b6040518082815260200191505060405180910390f35b6105a96004803603602081101561057d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061158e565b6040518082815260200191505060405180910390f35b610601600480360360208110156105d557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611cbc565b6040518082815260200191505060405180910390f35b61061f611cd4565b6040518082815260200191505060405180910390f35b6106776004803603602081101561064b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611cda565b6040518082815260200191505060405180910390f35b6106cf600480360360208110156106a357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611cf2565b604051808381526020018281526020019250505060405180910390f35b6106f4612287565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610734578082015181840152602081019050610719565b50505050905090810190601f1680156107615780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6107bb6004803603604081101561078557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506122c0565b60405180821515815260200191505060405180910390f35b6107db6122d7565b6040518082815260200191505060405180910390f35b6108336004803603602081101561080757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506122dd565b005b61083d61258c565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6108716125b2565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610934600480360360e08110156108b357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190803560ff16906020019092919080359060200190929190803590602001909291905050506125d8565b005b6109986004803603604081101561094c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506128ed565b6040518082815260200191505060405180910390f35b6109b6612912565b005b6001600c5414610a30576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f556e697377617056323a204c4f434b454400000000000000000000000000000081525060200191505060405180910390fd5b6000600c819055506000851180610a475750600084115b610a9c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180613a316025913960400191505060405180910390fd5b600080610aa761119c565b5091509150816dffffffffffffffffffffffffffff1687108015610ada5750806dffffffffffffffffffffffffffff1686105b610b2f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180613a7a6021913960400191505060405180910390fd5b6000806000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508173ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614158015610be857508073ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614155b610c5a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f556e697377617056323a20494e56414c49445f544f000000000000000000000081525060200191505060405180910390fd5b60008b1115610c6f57610c6e828a8d612b66565b5b60008a1115610c8457610c83818a8c612b66565b5b6000888890501115610d56578873ffffffffffffffffffffffffffffffffffffffff166310d1e85c338d8d8c8c6040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b158015610d3d57600080fd5b505af1158015610d51573d6000803e3d6000fd5b505050505b8173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610dbd57600080fd5b505afa158015610dd1573d6000803e3d6000fd5b505050506040513d6020811015610de757600080fd5b810190808051906020019092919050505093508073ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610e6157600080fd5b505afa158015610e75573d6000803e3d6000fd5b505050506040513d6020811015610e8b57600080fd5b810190808051906020019092919050505092505050600089856dffffffffffffffffffffffffffff16038311610ec2576000610ed8565b89856dffffffffffffffffffffffffffff160383035b9050600089856dffffffffffffffffffffffffffff16038311610efc576000610f12565b89856dffffffffffffffffffffffffffff160383035b90506000821180610f235750600081115b610f78576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180613a566024913960400191505060405180910390fd5b6000610fb4610f91600385612d9d90919063ffffffff16565b610fa66103e888612d9d90919063ffffffff16565b612e3290919063ffffffff16565b90506000610ff2610fcf600385612d9d90919063ffffffff16565b610fe46103e888612d9d90919063ffffffff16565b612e3290919063ffffffff16565b905061103c620f424061102e896dffffffffffffffffffffffffffff168b6dffffffffffffffffffffffffffff16612d9d90919063ffffffff16565b612d9d90919063ffffffff16565b61104f8284612d9d90919063ffffffff16565b10156110c3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f556e697377617056323a204b000000000000000000000000000000000000000081525060200191505060405180910390fd5b50506110d184848888612eb5565b8873ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d82284848f8f6040518085815260200184815260200183815260200182815260200194505050505060405180910390a35050505050506001600c819055505050505050565b6040518060400160405280600d81526020017f4e455448204c5020546f6b656e0000000000000000000000000000000000000081525081565b6000806000600860009054906101000a90046dffffffffffffffffffffffffffff1692506008600e9054906101000a90046dffffffffffffffffffffffffffff1691506008601c9054906101000a900463ffffffff169050909192565b6000611206338484613213565b6001905092915050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60005481565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146113f15761137082600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612e3290919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b6113fc8484846132fe565b600190509392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c960001b81565b601281565b60035481565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146114fc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f556e697377617056323a20464f5242494444454e00000000000000000000000081525060200191505060405180910390fd5b81600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050565b60095481565b600a5481565b60006001600c5414611608576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f556e697377617056323a204c4f434b454400000000000000000000000000000081525060200191505060405180910390fd5b6000600c8190555060008061161b61119c565b50915091506000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156116ab57600080fd5b505afa1580156116bf573d6000803e3d6000fd5b505050506040513d60208110156116d557600080fd5b810190808051906020019092919050505090506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561177357600080fd5b505afa158015611787573d6000803e3d6000fd5b505050506040513d602081101561179d57600080fd5b8101908080519060200190929190505050905060006117d5856dffffffffffffffffffffffffffff1684612e3290919063ffffffff16565b905060006117fc856dffffffffffffffffffffffffffff1684612e3290919063ffffffff16565b9050600061180a8787613492565b90506000805490506000811415611b07576000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16637cd07e476040518163ffffffff1660e01b815260040160206040518083038186803b15801561188557600080fd5b505afa158015611899573d6000803e3d6000fd5b505050506040513d60208110156118af57600080fd5b810190808051906020019092919050505090508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415611a20578073ffffffffffffffffffffffffffffffffffffffff166340dc0e376040518163ffffffff1660e01b815260040160206040518083038186803b15801561193c57600080fd5b505afa158015611950573d6000803e3d6000fd5b505050506040513d602081101561196657600080fd5b8101908080519060200190929190505050995060008a1180156119a957507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8a14155b611a1b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f4261642064657369726564206c6971756964697479000000000000000000000081525060200191505060405180910390fd5b611b01565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614611ac2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f4d757374206e6f742068617665206d69677261746f720000000000000000000081525060200191505060405180910390fd5b611af16103e8611ae3611ade8789612d9d90919063ffffffff16565b613673565b612e3290919063ffffffff16565b9950611b0060006103e86136d5565b5b50611b6a565b611b67886dffffffffffffffffffffffffffff16611b2e8387612d9d90919063ffffffff16565b81611b3557fe5b04886dffffffffffffffffffffffffffff16611b5a8487612d9d90919063ffffffff16565b81611b6157fe5b046137ef565b98505b60008911611bc3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526028815260200180613ac36028913960400191505060405180910390fd5b611bcd8a8a6136d5565b611bd986868a8a612eb5565b8115611c5157611c4a6008600e9054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16600860009054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16612d9d90919063ffffffff16565b600b819055505b3373ffffffffffffffffffffffffffffffffffffffff167f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f8585604051808381526020018281526020019250505060405180910390a250505050505050506001600c81905550919050565b60016020528060005260406000206000915090505481565b600b5481565b60046020528060005260406000206000915090505481565b6000806001600c5414611d6d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f556e697377617056323a204c4f434b454400000000000000000000000000000081525060200191505060405180910390fd5b6000600c81905550600080611d8061119c565b50915091506000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905060008273ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611e3c57600080fd5b505afa158015611e50573d6000803e3d6000fd5b505050506040513d6020811015611e6657600080fd5b8101908080519060200190929190505050905060008273ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611ee257600080fd5b505afa158015611ef6573d6000803e3d6000fd5b505050506040513d6020811015611f0c57600080fd5b810190808051906020019092919050505090506000600160003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506000611f6f8888613492565b905060008054905080611f8b8685612d9d90919063ffffffff16565b81611f9257fe5b049a5080611fa98585612d9d90919063ffffffff16565b81611fb057fe5b04995060008b118015611fc3575060008a115b612018576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526028815260200180613a9b6028913960400191505060405180910390fd5b6120223084613808565b61202d878d8d612b66565b612038868d8c612b66565b8673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561209f57600080fd5b505afa1580156120b3573d6000803e3d6000fd5b505050506040513d60208110156120c957600080fd5b810190808051906020019092919050505094508573ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561214357600080fd5b505afa158015612157573d6000803e3d6000fd5b505050506040513d602081101561216d57600080fd5b8101908080519060200190929190505050935061218c85858b8b612eb5565b8115612204576121fd6008600e9054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16600860009054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16612d9d90919063ffffffff16565b600b819055505b8b73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d819364968d8d604051808381526020018281526020019250505060405180910390a35050505050505050506001600c81905550915091565b6040518060400160405280600681526020017f4e4554484c50000000000000000000000000000000000000000000000000000081525081565b60006122cd3384846132fe565b6001905092915050565b6103e881565b6001600c5414612355576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f556e697377617056323a204c4f434b454400000000000000000000000000000081525060200191505060405180910390fd5b6000600c819055506000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506124958284612490600860009054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561244757600080fd5b505afa15801561245b573d6000803e3d6000fd5b505050506040513d602081101561247157600080fd5b8101908080519060200190929190505050612e3290919063ffffffff16565b612b66565b61257f818461257a6008600e9054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561253157600080fd5b505afa158015612545573d6000803e3d6000fd5b505050506040513d602081101561255b57600080fd5b8101908080519060200190929190505050612e3290919063ffffffff16565b612b66565b50506001600c8190555050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b4284101561264e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f556e697377617056323a2045585049524544000000000000000000000000000081525060200191505060405180910390fd5b60006003547f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c960001b898989600460008e73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558a604051602001808781526020018673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff16815260200184815260200183815260200182815260200196505050505050506040516020818303038152906040528051906020012060405160200180807f190100000000000000000000000000000000000000000000000000000000000081525060020183815260200182815260200192505050604051602081830303815290604052805190602001209050600060018286868660405160008152602001604052604051808581526020018460ff1681526020018381526020018281526020019450505050506020604051602081039080840390855afa1580156127f1573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415801561286557508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b6128d7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f556e697377617056323a20494e56414c49445f5349474e41545552450000000081525060200191505060405180910390fd5b6128e2898989613213565b505050505050505050565b6002602052816000526040600020602052806000526040600020600091509150505481565b6001600c541461298a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f556e697377617056323a204c4f434b454400000000000000000000000000000081525060200191505060405180910390fd5b6000600c81905550612b5c600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015612a1e57600080fd5b505afa158015612a32573d6000803e3d6000fd5b505050506040513d6020811015612a4857600080fd5b8101908080519060200190929190505050600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015612ae257600080fd5b505afa158015612af6573d6000803e3d6000fd5b505050506040513d6020811015612b0c57600080fd5b8101908080519060200190929190505050600860009054906101000a90046dffffffffffffffffffffffffffff166008600e9054906101000a90046dffffffffffffffffffffffffffff16612eb5565b6001600c81905550565b600060608473ffffffffffffffffffffffffffffffffffffffff166040518060400160405280601981526020017f7472616e7366657228616464726573732c75696e743235362900000000000000815250805190602001208585604051602401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040518082805190602001908083835b60208310612c7d5780518252602082019150602081019050602083039250612c5a565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114612cdf576040519150601f19603f3d011682016040523d82523d6000602084013e612ce4565b606091505b5091509150818015612d245750600081511480612d235750808060200190516020811015612d1157600080fd5b81019080805190602001909291905050505b5b612d96576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f556e697377617056323a205452414e534645525f4641494c454400000000000081525060200191505060405180910390fd5b5050505050565b600080821480612dba5750828283850292508281612db757fe5b04145b612e2c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d6d6174682d6d756c2d6f766572666c6f7700000000000000000000000081525060200191505060405180910390fd5b92915050565b6000828284039150811115612eaf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f64732d6d6174682d7375622d756e646572666c6f77000000000000000000000081525060200191505060405180910390fd5b92915050565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6dffffffffffffffffffffffffffff168411158015612f2557507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6dffffffffffffffffffffffffffff168311155b612f97576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f556e697377617056323a204f564552464c4f570000000000000000000000000081525060200191505060405180910390fd5b60006401000000004281612fa757fe5b06905060006008601c9054906101000a900463ffffffff168203905060008163ffffffff16118015612fea57506000846dffffffffffffffffffffffffffff1614155b801561300757506000836dffffffffffffffffffffffffffff1614155b156130e9578063ffffffff1661304c8561302086613922565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1661394d90919063ffffffff16565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16026009600082825401925050819055508063ffffffff166130ba8461308e87613922565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1661394d90919063ffffffff16565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602600a600082825401925050819055505b85600860006101000a8154816dffffffffffffffffffffffffffff02191690836dffffffffffffffffffffffffffff160217905550846008600e6101000a8154816dffffffffffffffffffffffffffff02191690836dffffffffffffffffffffffffffff160217905550816008601c6101000a81548163ffffffff021916908363ffffffff1602179055507f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1600860009054906101000a90046dffffffffffffffffffffffffffff166008600e9054906101000a90046dffffffffffffffffffffffffffff1660405180836dffffffffffffffffffffffffffff168152602001826dffffffffffffffffffffffffffff1681526020019250505060405180910390a1505050505050565b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b61335081600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612e3290919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506133e581600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546139ad90919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600080600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b1580156134fd57600080fd5b505afa158015613511573d6000803e3d6000fd5b505050506040513d602081101561352757600080fd5b81019080805190602001909291905050509050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141591506000600b549050821561365957600081146136545760006135bf6135ba866dffffffffffffffffffffffffffff16886dffffffffffffffffffffffffffff16612d9d90919063ffffffff16565b613673565b905060006135cc83613673565b9050808211156136515760006135ff6135ee8385612e3290919063ffffffff16565b600054612d9d90919063ffffffff16565b905060006136298361361b600587612d9d90919063ffffffff16565b6139ad90919063ffffffff16565b9050600081838161363657fe5b049050600081111561364d5761364c87826136d5565b5b5050505b50505b61366b565b6000811461366a576000600b819055505b5b505092915050565b600060038211156136c257819050600060016002848161368f57fe5b040190505b818110156136bc578091506002818285816136ab57fe5b0401816136b457fe5b049050613694565b506136d0565b600082146136cf57600190505b5b919050565b6136ea816000546139ad90919063ffffffff16565b60008190555061374281600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546139ad90919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008183106137fe5781613800565b825b905092915050565b61385a81600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612e3290919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506138b281600054612e3290919063ffffffff16565b600081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60006e010000000000000000000000000000826dffffffffffffffffffffffffffff16029050919050565b6000816dffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16816139a457fe5b04905092915050565b6000828284019150811015613a2a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d6d6174682d6164642d6f766572666c6f7700000000000000000000000081525060200191505060405180910390fd5b9291505056fe556e697377617056323a20494e53554646494349454e545f4f55545055545f414d4f554e54556e697377617056323a20494e53554646494349454e545f494e5055545f414d4f554e54556e697377617056323a20494e53554646494349454e545f4c4951554944495459556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4255524e4544556e697377617056323a20494e53554646494349454e545f4c49515549444954595f4d494e544544a26469706673582212207983f2e06cad1a0cab64218e001050f85840c00747e814f8b3d57162a2ced86564736f6c634300060c0033
[codex:1274095] 
[codex:1274095] thinking
[codex:1274095] **Preparing JSON output for findings**
[codex:1274095] codex
[codex:1274095] {"no_findings":true,"summary":"No concrete, explainable vulnerability patterns could be confirmed from the provided runtime bytecode alone.","findings":[]}
[codex:1274095] tokens used
[codex:1274095] 29,949
[codex:1274095] {"no_findings":true,"summary":"No concrete, explainable vulnerability patterns could be confirmed from the provided runtime bytecode alone.","findings":[]}

Metadata

{
    "codex": {
        "ran_at": "2025-12-29T20:28:42.954102+00:00",
        "returncode": 0
    },
    "summary": "No concrete, explainable vulnerability patterns could be confirmed from the provided runtime bytecode alone.",
    "raw_final": {
        "summary": "No concrete, explainable vulnerability patterns could be confirmed from the provided runtime bytecode alone.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm

Delegatecall

Selfdestruct

CREATE2

CALL-family (heavy)

EXT*/BALANCE

Total opcodes

7313

Flags

heavy_ext_balance_usage call_family_heavy

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x01a9
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x6a627842
00000026: GT
00000027: PUSH2 0x00f9
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xba9a7a56
00000031: GT
00000032: PUSH2 0x0097
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xd21220a7
0000003c: GT
0000003d: PUSH2 0x0071
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xd21220a7
00000047: EQ
00000048: PUSH2 0x0869
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xd505accf
00000052: EQ
00000053: PUSH2 0x089d
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xdd62ed3e
0000005d: EQ
0000005e: PUSH2 0x0936
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xfff6cae9
00000068: EQ
00000069: PUSH2 0x09ae
0000006c: JUMPI
0000006d: PUSH2 0x01a9
00000070: JUMP
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0xba9a7a56
00000078: EQ
00000079: PUSH2 0x07d3
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xbc25cf77
00000083: EQ
00000084: PUSH2 0x07f1
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xc45a0155
0000008e: EQ
0000008f: PUSH2 0x0835
00000092: JUMPI
00000093: PUSH2 0x01a9
00000096: JUMP
00000097: JUMPDEST
00000098: DUP1
00000099: PUSH4 0x7ecebe00
0000009e: GT
0000009f: PUSH2 0x00d3
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x7ecebe00
000000a9: EQ
000000aa: PUSH2 0x0635
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x89afcb44
000000b4: EQ
000000b5: PUSH2 0x068d
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x95d89b41
000000bf: EQ
000000c0: PUSH2 0x06ec
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xa9059cbb
000000ca: EQ
000000cb: PUSH2 0x076f
000000ce: JUMPI
000000cf: PUSH2 0x01a9
000000d2: JUMP
000000d3: JUMPDEST
000000d4: DUP1
000000d5: PUSH4 0x6a627842
000000da: EQ
000000db: PUSH2 0x0567
000000de: JUMPI
000000df: DUP1
000000e0: PUSH4 0x70a08231
000000e5: EQ
000000e6: PUSH2 0x05bf
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x7464fc3d
000000f0: EQ
000000f1: PUSH2 0x0617
000000f4: JUMPI
000000f5: PUSH2 0x01a9
000000f8: JUMP
000000f9: JUMPDEST
000000fa: DUP1
000000fb: PUSH4 0x23b872dd
00000100: GT
00000101: PUSH2 0x0166
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x3644e515
0000010b: GT
0000010c: PUSH2 0x0140
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x3644e515
00000116: EQ
00000117: PUSH2 0x04a9
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x485cc955
00000121: EQ
00000122: PUSH2 0x04c7
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x5909c0d5
0000012c: EQ
0000012d: PUSH2 0x052b
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x5a3d5493
00000137: EQ
00000138: PUSH2 0x0549
0000013b: JUMPI
0000013c: PUSH2 0x01a9
0000013f: JUMP
00000140: JUMPDEST
00000141: DUP1
00000142: PUSH4 0x23b872dd
00000147: EQ
00000148: PUSH2 0x03e6
0000014b: JUMPI
0000014c: DUP1
0000014d: PUSH4 0x30adf81f
00000152: EQ
00000153: PUSH2 0x046a
00000156: JUMPI
00000157: DUP1
00000158: PUSH4 0x313ce567
0000015d: EQ
0000015e: PUSH2 0x0488
00000161: JUMPI
00000162: PUSH2 0x01a9
00000165: JUMP
00000166: JUMPDEST
00000167: DUP1
00000168: PUSH4 0x022c0d9f
0000016d: EQ
0000016e: PUSH2 0x01ae
00000171: JUMPI
00000172: DUP1
00000173: PUSH4 0x06fdde03
00000178: EQ
00000179: PUSH2 0x025b
0000017c: JUMPI
0000017d: DUP1
0000017e: PUSH4 0x0902f1ac
00000183: EQ
00000184: PUSH2 0x02de
00000187: JUMPI
00000188: DUP1
00000189: PUSH4 0x095ea7b3
0000018e: EQ
0000018f: PUSH2 0x0330
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0x0dfe1681
00000199: EQ
0000019a: PUSH2 0x0394
0000019d: JUMPI
0000019e: DUP1
0000019f: PUSH4 0x18160ddd
000001a4: EQ
000001a5: PUSH2 0x03c8
000001a8: JUMPI
000001a9: JUMPDEST
000001aa: PUSH1 0x00
000001ac: DUP1
000001ad: REVERT
000001ae: JUMPDEST
000001af: PUSH2 0x0259
000001b2: PUSH1 0x04
000001b4: DUP1
000001b5: CALLDATASIZE
000001b6: SUB
000001b7: PUSH1 0x80
000001b9: DUP2
000001ba: LT
000001bb: ISZERO
000001bc: PUSH2 0x01c4
000001bf: JUMPI
000001c0: PUSH1 0x00
000001c2: DUP1
000001c3: REVERT
000001c4: JUMPDEST
000001c5: DUP2
000001c6: ADD
000001c7: SWAP1
000001c8: DUP1
000001c9: DUP1
000001ca: CALLDATALOAD
000001cb: SWAP1
000001cc: PUSH1 0x20
000001ce: ADD
000001cf: SWAP1
000001d0: SWAP3
000001d1: SWAP2
000001d2: SWAP1
000001d3: DUP1
000001d4: CALLDATALOAD
000001d5: SWAP1
000001d6: PUSH1 0x20
000001d8: ADD
000001d9: SWAP1
000001da: SWAP3
000001db: SWAP2
000001dc: SWAP1
000001dd: DUP1
000001de: CALLDATALOAD
000001df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001f4: AND
000001f5: SWAP1
000001f6: PUSH1 0x20
000001f8: ADD
000001f9: SWAP1
000001fa: SWAP3
000001fb: SWAP2
000001fc: SWAP1
000001fd: DUP1
000001fe: CALLDATALOAD
000001ff: SWAP1
00000200: PUSH1 0x20
00000202: ADD
00000203: SWAP1
00000204: PUSH5 0x0100000000
0000020a: DUP2
0000020b: GT
0000020c: ISZERO
0000020d: PUSH2 0x0215
00000210: JUMPI
00000211: PUSH1 0x00
00000213: DUP1
00000214: REVERT
00000215: JUMPDEST
00000216: DUP3
00000217: ADD
00000218: DUP4
00000219: PUSH1 0x20
0000021b: DUP3
0000021c: ADD
0000021d: GT
0000021e: ISZERO
0000021f: PUSH2 0x0227
00000222: JUMPI
00000223: PUSH1 0x00
00000225: DUP1
00000226: REVERT
00000227: JUMPDEST
00000228: DUP1
00000229: CALLDATALOAD
0000022a: SWAP1
0000022b: PUSH1 0x20
0000022d: ADD
0000022e: SWAP2
0000022f: DUP5
00000230: PUSH1 0x01
00000232: DUP4
00000233: MUL
00000234: DUP5
00000235: ADD
00000236: GT
00000237: PUSH5 0x0100000000
0000023d: DUP4
0000023e: GT
0000023f: OR
00000240: ISZERO
00000241: PUSH2 0x0249
00000244: JUMPI
00000245: PUSH1 0x00
00000247: DUP1
00000248: REVERT
00000249: JUMPDEST
0000024a: SWAP1
0000024b: SWAP2
0000024c: SWAP3
0000024d: SWAP4
0000024e: SWAP2
0000024f: SWAP3
00000250: SWAP4
00000251: SWAP1
00000252: POP
00000253: POP
00000254: POP
00000255: PUSH2 0x09b8
00000258: JUMP
00000259: JUMPDEST
0000025a: STOP
0000025b: JUMPDEST
0000025c: PUSH2 0x0263
0000025f: PUSH2 0x1163
00000262: JUMP
00000263: JUMPDEST
00000264: PUSH1 0x40
00000266: MLOAD
00000267: DUP1
00000268: DUP1
00000269: PUSH1 0x20
0000026b: ADD
0000026c: DUP3
0000026d: DUP2
0000026e: SUB
0000026f: DUP3
00000270: MSTORE
00000271: DUP4
00000272: DUP2
00000273: DUP2
00000274: MLOAD
00000275: DUP2
00000276: MSTORE
00000277: PUSH1 0x20
00000279: ADD
0000027a: SWAP2
0000027b: POP
0000027c: DUP1
0000027d: MLOAD
0000027e: SWAP1
0000027f: PUSH1 0x20
00000281: ADD
00000282: SWAP1
00000283: DUP1
00000284: DUP4
00000285: DUP4
00000286: PUSH1 0x00
00000288: JUMPDEST
00000289: DUP4
0000028a: DUP2
0000028b: LT
0000028c: ISZERO
0000028d: PUSH2 0x02a3
00000290: JUMPI
00000291: DUP1
00000292: DUP3
00000293: ADD
00000294: MLOAD
00000295: DUP2
00000296: DUP5
00000297: ADD
00000298: MSTORE
00000299: PUSH1 0x20
0000029b: DUP2
0000029c: ADD
0000029d: SWAP1
0000029e: POP
0000029f: PUSH2 0x0288
000002a2: JUMP
000002a3: JUMPDEST
000002a4: POP
000002a5: POP
000002a6: POP
000002a7: POP
000002a8: SWAP1
000002a9: POP
000002aa: SWAP1
000002ab: DUP2
000002ac: ADD
000002ad: SWAP1
000002ae: PUSH1 0x1f
000002b0: AND
000002b1: DUP1
000002b2: ISZERO
000002b3: PUSH2 0x02d0
000002b6: JUMPI
000002b7: DUP1
000002b8: DUP3
000002b9: SUB
000002ba: DUP1
000002bb: MLOAD
000002bc: PUSH1 0x01
000002be: DUP4
000002bf: PUSH1 0x20
000002c1: SUB
000002c2: PUSH2 0x0100
000002c5: EXP
000002c6: SUB
000002c7: NOT
000002c8: AND
000002c9: DUP2
000002ca: MSTORE
000002cb: PUSH1 0x20
000002cd: ADD
000002ce: SWAP2
000002cf: POP
000002d0: JUMPDEST
000002d1: POP
000002d2: SWAP3
000002d3: POP
000002d4: POP
000002d5: POP
000002d6: PUSH1 0x40
000002d8: MLOAD
000002d9: DUP1
000002da: SWAP2
000002db: SUB
000002dc: SWAP1
000002dd: RETURN
000002de: JUMPDEST
000002df: PUSH2 0x02e6
000002e2: PUSH2 0x119c
000002e5: JUMP
000002e6: JUMPDEST
000002e7: PUSH1 0x40
000002e9: MLOAD
000002ea: DUP1
000002eb: DUP5
000002ec: PUSH14 0xffffffffffffffffffffffffffff
000002fb: AND
000002fc: DUP2
000002fd: MSTORE
000002fe: PUSH1 0x20
00000300: ADD
00000301: DUP4
00000302: PUSH14 0xffffffffffffffffffffffffffff
00000311: AND
00000312: DUP2
00000313: MSTORE
00000314: PUSH1 0x20
00000316: ADD
00000317: DUP3
00000318: PUSH4 0xffffffff
0000031d: AND
0000031e: DUP2
0000031f: MSTORE
00000320: PUSH1 0x20
00000322: ADD
00000323: SWAP4
00000324: POP
00000325: POP
00000326: POP
00000327: POP
00000328: PUSH1 0x40
0000032a: MLOAD
0000032b: DUP1
0000032c: SWAP2
0000032d: SUB
0000032e: SWAP1
0000032f: RETURN
00000330: JUMPDEST
00000331: PUSH2 0x037c
00000334: PUSH1 0x04
00000336: DUP1
00000337: CALLDATASIZE
00000338: SUB
00000339: PUSH1 0x40
0000033b: DUP2
0000033c: LT
0000033d: ISZERO
0000033e: PUSH2 0x0346
00000341: JUMPI
00000342: PUSH1 0x00
00000344: DUP1
00000345: REVERT
00000346: JUMPDEST
00000347: DUP2
00000348: ADD
00000349: SWAP1
0000034a: DUP1
0000034b: DUP1
0000034c: CALLDATALOAD
0000034d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000362: AND
00000363: SWAP1
00000364: PUSH1 0x20
00000366: ADD
00000367: SWAP1
00000368: SWAP3
00000369: SWAP2
0000036a: SWAP1
0000036b: DUP1
0000036c: CALLDATALOAD
0000036d: SWAP1
0000036e: PUSH1 0x20
00000370: ADD
00000371: SWAP1
00000372: SWAP3
00000373: SWAP2
00000374: SWAP1
00000375: POP
00000376: POP
00000377: POP
00000378: PUSH2 0x11f9
0000037b: JUMP
0000037c: JUMPDEST
0000037d: PUSH1 0x40
0000037f: MLOAD
00000380: DUP1
00000381: DUP3
00000382: ISZERO
00000383: ISZERO
00000384: DUP2
00000385: MSTORE
00000386: PUSH1 0x20
00000388: ADD
00000389: SWAP2
0000038a: POP
0000038b: POP
0000038c: PUSH1 0x40
0000038e: MLOAD
0000038f: DUP1
00000390: SWAP2
00000391: SUB
00000392: SWAP1
00000393: RETURN
00000394: JUMPDEST
00000395: PUSH2 0x039c
00000398: PUSH2 0x1210
0000039b: JUMP
0000039c: JUMPDEST
0000039d: PUSH1 0x40
0000039f: MLOAD
000003a0: DUP1
000003a1: DUP3
000003a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003b7: AND
000003b8: DUP2
000003b9: MSTORE
000003ba: PUSH1 0x20
000003bc: ADD
000003bd: SWAP2
000003be: POP
000003bf: POP
000003c0: PUSH1 0x40
000003c2: MLOAD
000003c3: DUP1
000003c4: SWAP2
000003c5: SUB
000003c6: SWAP1
000003c7: RETURN
000003c8: JUMPDEST
000003c9: PUSH2 0x03d0
000003cc: PUSH2 0x1236
000003cf: JUMP
000003d0: JUMPDEST
000003d1: PUSH1 0x40
000003d3: MLOAD
000003d4: DUP1
000003d5: DUP3
000003d6: DUP2
000003d7: MSTORE
000003d8: PUSH1 0x20
000003da: ADD
000003db: SWAP2
000003dc: POP
000003dd: POP
000003de: PUSH1 0x40
000003e0: MLOAD
000003e1: DUP1
000003e2: SWAP2
000003e3: SUB
000003e4: SWAP1
000003e5: RETURN
000003e6: JUMPDEST
000003e7: PUSH2 0x0452
000003ea: PUSH1 0x04
000003ec: DUP1
000003ed: CALLDATASIZE
000003ee: SUB
000003ef: PUSH1 0x60
000003f1: DUP2
000003f2: LT
000003f3: ISZERO
000003f4: PUSH2 0x03fc
000003f7: JUMPI
000003f8: PUSH1 0x00
000003fa: DUP1
000003fb: REVERT
000003fc: JUMPDEST
000003fd: DUP2
000003fe: ADD
000003ff: SWAP1
00000400: DUP1
00000401: DUP1
00000402: CALLDATALOAD
00000403: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000418: AND
00000419: SWAP1
0000041a: PUSH1 0x20
0000041c: ADD
0000041d: SWAP1
0000041e: SWAP3
0000041f: SWAP2
00000420: SWAP1
00000421: DUP1
00000422: CALLDATALOAD
00000423: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000438: AND
00000439: SWAP1
0000043a: PUSH1 0x20
0000043c: ADD
0000043d: SWAP1
0000043e: SWAP3
0000043f: SWAP2
00000440: SWAP1
00000441: DUP1
00000442: CALLDATALOAD
00000443: SWAP1
00000444: PUSH1 0x20
00000446: ADD
00000447: SWAP1
00000448: SWAP3
00000449: SWAP2
0000044a: SWAP1
0000044b: POP
0000044c: POP
0000044d: POP
0000044e: PUSH2 0x123c
00000451: JUMP
00000452: JUMPDEST
00000453: PUSH1 0x40
00000455: MLOAD
00000456: DUP1
00000457: DUP3
00000458: ISZERO
00000459: ISZERO
0000045a: DUP2
0000045b: MSTORE
0000045c: PUSH1 0x20
0000045e: ADD
0000045f: SWAP2
00000460: POP
00000461: POP
00000462: PUSH1 0x40
00000464: MLOAD
00000465: DUP1
00000466: SWAP2
00000467: SUB
00000468: SWAP1
00000469: RETURN
0000046a: JUMPDEST
0000046b: PUSH2 0x0472
0000046e: PUSH2 0x1407
00000471: JUMP
00000472: JUMPDEST
00000473: PUSH1 0x40
00000475: MLOAD
00000476: DUP1
00000477: DUP3
00000478: DUP2
00000479: MSTORE
0000047a: PUSH1 0x20
0000047c: ADD
0000047d: SWAP2
0000047e: POP
0000047f: POP
00000480: PUSH1 0x40
00000482: MLOAD
00000483: DUP1
00000484: SWAP2
00000485: SUB
00000486: SWAP1
00000487: RETURN
00000488: JUMPDEST
00000489: PUSH2 0x0490
0000048c: PUSH2 0x142e
0000048f: JUMP
00000490: JUMPDEST
00000491: PUSH1 0x40
00000493: MLOAD
00000494: DUP1
00000495: DUP3
00000496: PUSH1 0xff
00000498: AND
00000499: DUP2
0000049a: MSTORE
0000049b: PUSH1 0x20
0000049d: ADD
0000049e: SWAP2
0000049f: POP
000004a0: POP
000004a1: PUSH1 0x40
000004a3: MLOAD
000004a4: DUP1
000004a5: SWAP2
000004a6: SUB
000004a7: SWAP1
000004a8: RETURN
000004a9: JUMPDEST
000004aa: PUSH2 0x04b1
000004ad: PUSH2 0x1433
000004b0: JUMP
000004b1: JUMPDEST
000004b2: PUSH1 0x40
000004b4: MLOAD
000004b5: DUP1
000004b6: DUP3
000004b7: DUP2
000004b8: MSTORE
000004b9: PUSH1 0x20
000004bb: ADD
000004bc: SWAP2
000004bd: POP
000004be: POP
000004bf: PUSH1 0x40
000004c1: MLOAD
000004c2: DUP1
000004c3: SWAP2
000004c4: SUB
000004c5: SWAP1
000004c6: RETURN
000004c7: JUMPDEST
000004c8: PUSH2 0x0529
000004cb: PUSH1 0x04
000004cd: DUP1
000004ce: CALLDATASIZE
000004cf: SUB
000004d0: PUSH1 0x40
000004d2: DUP2
000004d3: LT
000004d4: ISZERO
000004d5: PUSH2 0x04dd
000004d8: JUMPI
000004d9: PUSH1 0x00
000004db: DUP1
000004dc: REVERT
000004dd: JUMPDEST
000004de: DUP2
000004df: ADD
000004e0: SWAP1
000004e1: DUP1
000004e2: DUP1
000004e3: CALLDATALOAD
000004e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004f9: AND
000004fa: SWAP1
000004fb: PUSH1 0x20
000004fd: ADD
000004fe: SWAP1
000004ff: SWAP3
00000500: SWAP2
00000501: SWAP1
00000502: DUP1
00000503: CALLDATALOAD
00000504: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000519: AND
0000051a: SWAP1
0000051b: PUSH1 0x20
0000051d: ADD
0000051e: SWAP1
0000051f: SWAP3
00000520: SWAP2
00000521: SWAP1
00000522: POP
00000523: POP
00000524: POP
00000525: PUSH2 0x1439
00000528: JUMP
00000529: JUMPDEST
0000052a: STOP
0000052b: JUMPDEST
0000052c: PUSH2 0x0533
0000052f: PUSH2 0x1582
00000532: JUMP
00000533: JUMPDEST
00000534: PUSH1 0x40
00000536: MLOAD
00000537: DUP1
00000538: DUP3
00000539: DUP2
0000053a: MSTORE
0000053b: PUSH1 0x20
0000053d: ADD
0000053e: SWAP2
0000053f: POP
00000540: POP
00000541: PUSH1 0x40
00000543: MLOAD
00000544: DUP1
00000545: SWAP2
00000546: SUB
00000547: SWAP1
00000548: RETURN
00000549: JUMPDEST
0000054a: PUSH2 0x0551
0000054d: PUSH2 0x1588
00000550: JUMP
00000551: JUMPDEST
00000552: PUSH1 0x40
00000554: MLOAD
00000555: DUP1
00000556: DUP3
00000557: DUP2
00000558: MSTORE
00000559: PUSH1 0x20
0000055b: ADD
0000055c: SWAP2
0000055d: POP
0000055e: POP
0000055f: PUSH1 0x40
00000561: MLOAD
00000562: DUP1
00000563: SWAP2
00000564: SUB
00000565: SWAP1
00000566: RETURN
00000567: JUMPDEST
00000568: PUSH2 0x05a9
0000056b: PUSH1 0x04
0000056d: DUP1
0000056e: CALLDATASIZE
0000056f: SUB
00000570: PUSH1 0x20
00000572: DUP2
00000573: LT
00000574: ISZERO
00000575: PUSH2 0x057d
00000578: JUMPI
00000579: PUSH1 0x00
0000057b: DUP1
0000057c: REVERT
0000057d: JUMPDEST
0000057e: DUP2
0000057f: ADD
00000580: SWAP1
00000581: DUP1
00000582: DUP1
00000583: CALLDATALOAD
00000584: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000599: AND
0000059a: SWAP1
0000059b: PUSH1 0x20
0000059d: ADD
0000059e: SWAP1
0000059f: SWAP3
000005a0: SWAP2
000005a1: SWAP1
000005a2: POP
000005a3: POP
000005a4: POP
000005a5: PUSH2 0x158e
000005a8: JUMP
000005a9: JUMPDEST
000005aa: PUSH1 0x40
000005ac: MLOAD
000005ad: DUP1
000005ae: DUP3
000005af: DUP2
000005b0: MSTORE
000005b1: PUSH1 0x20
000005b3: ADD
000005b4: SWAP2
000005b5: POP
000005b6: POP
000005b7: PUSH1 0x40
000005b9: MLOAD
000005ba: DUP1
000005bb: SWAP2
000005bc: SUB
000005bd: SWAP1
000005be: RETURN
000005bf: JUMPDEST
000005c0: PUSH2 0x0601
000005c3: PUSH1 0x04
000005c5: DUP1
000005c6: CALLDATASIZE
000005c7: SUB
000005c8: PUSH1 0x20
000005ca: DUP2
000005cb: LT
000005cc: ISZERO
000005cd: PUSH2 0x05d5
000005d0: JUMPI
000005d1: PUSH1 0x00
000005d3: DUP1
000005d4: REVERT
000005d5: JUMPDEST
000005d6: DUP2
000005d7: ADD
000005d8: SWAP1
000005d9: DUP1
000005da: DUP1
000005db: CALLDATALOAD
000005dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005f1: AND
000005f2: SWAP1
000005f3: PUSH1 0x20
000005f5: ADD
000005f6: SWAP1
000005f7: SWAP3
000005f8: SWAP2
000005f9: SWAP1
000005fa: POP
000005fb: POP
000005fc: POP
000005fd: PUSH2 0x1cbc
00000600: JUMP
00000601: JUMPDEST
00000602: PUSH1 0x40
00000604: MLOAD
00000605: DUP1
00000606: DUP3
00000607: DUP2
00000608: MSTORE
00000609: PUSH1 0x20
0000060b: ADD
0000060c: SWAP2
0000060d: POP
0000060e: POP
0000060f: PUSH1 0x40
00000611: MLOAD
00000612: DUP1
00000613: SWAP2
00000614: SUB
00000615: SWAP1
00000616: RETURN
00000617: JUMPDEST
00000618: PUSH2 0x061f
0000061b: PUSH2 0x1cd4
0000061e: JUMP
0000061f: JUMPDEST
00000620: PUSH1 0x40
00000622: MLOAD
00000623: DUP1
00000624: DUP3
00000625: DUP2
00000626: MSTORE
00000627: PUSH1 0x20
00000629: ADD
0000062a: SWAP2
0000062b: POP
0000062c: POP
0000062d: PUSH1 0x40
0000062f: MLOAD
00000630: DUP1
00000631: SWAP2
00000632: SUB
00000633: SWAP1
00000634: RETURN
00000635: JUMPDEST
00000636: PUSH2 0x0677
00000639: PUSH1 0x04
0000063b: DUP1
0000063c: CALLDATASIZE
0000063d: SUB
0000063e: PUSH1 0x20
00000640: DUP2
00000641: LT
00000642: ISZERO
00000643: PUSH2 0x064b
00000646: JUMPI
00000647: PUSH1 0x00
00000649: DUP1
0000064a: REVERT
0000064b: JUMPDEST
0000064c: DUP2
0000064d: ADD
0000064e: SWAP1
0000064f: DUP1
00000650: DUP1
00000651: CALLDATALOAD
00000652: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000667: AND
00000668: SWAP1
00000669: PUSH1 0x20
0000066b: ADD
0000066c: SWAP1
0000066d: SWAP3
0000066e: SWAP2
0000066f: SWAP1
00000670: POP
00000671: POP
00000672: POP
00000673: PUSH2 0x1cda
00000676: JUMP
00000677: JUMPDEST
00000678: PUSH1 0x40
0000067a: MLOAD
0000067b: DUP1
0000067c: DUP3
0000067d: DUP2
0000067e: MSTORE
0000067f: PUSH1 0x20
00000681: ADD
00000682: SWAP2
00000683: POP
00000684: POP
00000685: PUSH1 0x40
00000687: MLOAD
00000688: DUP1
00000689: SWAP2
0000068a: SUB
0000068b: SWAP1
0000068c: RETURN
0000068d: JUMPDEST
0000068e: PUSH2 0x06cf
00000691: PUSH1 0x04
00000693: DUP1
00000694: CALLDATASIZE
00000695: SUB
00000696: PUSH1 0x20
00000698: DUP2
00000699: LT
0000069a: ISZERO
0000069b: PUSH2 0x06a3
0000069e: JUMPI
0000069f: PUSH1 0x00
000006a1: DUP1
000006a2: REVERT
000006a3: JUMPDEST
000006a4: DUP2
000006a5: ADD
000006a6: SWAP1
000006a7: DUP1
000006a8: DUP1
000006a9: CALLDATALOAD
000006aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006bf: AND
000006c0: SWAP1
000006c1: PUSH1 0x20
000006c3: ADD
000006c4: SWAP1
000006c5: SWAP3
000006c6: SWAP2
000006c7: SWAP1
000006c8: POP
000006c9: POP
000006ca: POP
000006cb: PUSH2 0x1cf2
000006ce: JUMP
000006cf: JUMPDEST
000006d0: PUSH1 0x40
000006d2: MLOAD
000006d3: DUP1
000006d4: DUP4
000006d5: DUP2
000006d6: MSTORE
000006d7: PUSH1 0x20
000006d9: ADD
000006da: DUP3
000006db: DUP2
000006dc: MSTORE
000006dd: PUSH1 0x20
000006df: ADD
000006e0: SWAP3
000006e1: POP
000006e2: POP
000006e3: POP
000006e4: PUSH1 0x40
000006e6: MLOAD
000006e7: DUP1
000006e8: SWAP2
000006e9: SUB
000006ea: SWAP1
000006eb: RETURN
000006ec: JUMPDEST
000006ed: PUSH2 0x06f4
000006f0: PUSH2 0x2287
000006f3: JUMP
000006f4: JUMPDEST
000006f5: PUSH1 0x40
000006f7: MLOAD
000006f8: DUP1
000006f9: DUP1
000006fa: PUSH1 0x20
000006fc: ADD
000006fd: DUP3
000006fe: DUP2
000006ff: SUB
00000700: DUP3
00000701: MSTORE
00000702: DUP4
00000703: DUP2
00000704: DUP2
00000705: MLOAD
00000706: DUP2
00000707: MSTORE
00000708: PUSH1 0x20
0000070a: ADD
0000070b: SWAP2
0000070c: POP
0000070d: DUP1
0000070e: MLOAD
0000070f: SWAP1
00000710: PUSH1 0x20
00000712: ADD
00000713: SWAP1
00000714: DUP1
00000715: DUP4
00000716: DUP4
00000717: PUSH1 0x00
00000719: JUMPDEST
0000071a: DUP4
0000071b: DUP2
0000071c: LT
0000071d: ISZERO
0000071e: PUSH2 0x0734
00000721: JUMPI
00000722: DUP1
00000723: DUP3
00000724: ADD
00000725: MLOAD
00000726: DUP2
00000727: DUP5
00000728: ADD
00000729: MSTORE
0000072a: PUSH1 0x20
0000072c: DUP2
0000072d: ADD
0000072e: SWAP1
0000072f: POP
00000730: PUSH2 0x0719
00000733: JUMP
00000734: JUMPDEST
00000735: POP
00000736: POP
00000737: POP
00000738: POP
00000739: SWAP1
0000073a: POP
0000073b: SWAP1
0000073c: DUP2
0000073d: ADD
0000073e: SWAP1
0000073f: PUSH1 0x1f
00000741: AND
00000742: DUP1
00000743: ISZERO
00000744: PUSH2 0x0761
00000747: JUMPI
00000748: DUP1
00000749: DUP3
0000074a: SUB
0000074b: DUP1
0000074c: MLOAD
0000074d: PUSH1 0x01
0000074f: DUP4
00000750: PUSH1 0x20
00000752: SUB
00000753: PUSH2 0x0100
00000756: EXP
00000757: SUB
00000758: NOT
00000759: AND
0000075a: DUP2
0000075b: MSTORE
0000075c: PUSH1 0x20
0000075e: ADD
0000075f: SWAP2
00000760: POP
00000761: JUMPDEST
00000762: POP
00000763: SWAP3
00000764: POP
00000765: POP
00000766: POP
00000767: PUSH1 0x40
00000769: MLOAD
0000076a: DUP1
0000076b: SWAP2
0000076c: SUB
0000076d: SWAP1
0000076e: RETURN
0000076f: JUMPDEST
00000770: PUSH2 0x07bb
00000773: PUSH1 0x04
00000775: DUP1
00000776: CALLDATASIZE
00000777: SUB
00000778: PUSH1 0x40
0000077a: DUP2
0000077b: LT
0000077c: ISZERO
0000077d: PUSH2 0x0785
00000780: JUMPI
00000781: PUSH1 0x00
00000783: DUP1
00000784: REVERT
00000785: JUMPDEST
00000786: DUP2
00000787: ADD
00000788: SWAP1
00000789: DUP1
0000078a: DUP1
0000078b: CALLDATALOAD
0000078c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007a1: AND
000007a2: SWAP1
000007a3: PUSH1 0x20
000007a5: ADD
000007a6: SWAP1
000007a7: SWAP3
000007a8: SWAP2
000007a9: SWAP1
000007aa: DUP1
000007ab: CALLDATALOAD
000007ac: SWAP1
000007ad: PUSH1 0x20
000007af: ADD
000007b0: SWAP1
000007b1: SWAP3
000007b2: SWAP2
000007b3: SWAP1
000007b4: POP
000007b5: POP
000007b6: POP
000007b7: PUSH2 0x22c0
000007ba: JUMP
000007bb: JUMPDEST
000007bc: PUSH1 0x40
000007be: MLOAD
000007bf: DUP1
000007c0: DUP3
000007c1: ISZERO
000007c2: ISZERO
000007c3: DUP2
000007c4: MSTORE
000007c5: PUSH1 0x20
000007c7: ADD
000007c8: SWAP2
000007c9: POP
000007ca: POP
000007cb: PUSH1 0x40
000007cd: MLOAD
000007ce: DUP1
000007cf: SWAP2
000007d0: SUB
000007d1: SWAP1
000007d2: RETURN
000007d3: JUMPDEST
000007d4: PUSH2 0x07db
000007d7: PUSH2 0x22d7
000007da: JUMP
000007db: JUMPDEST
000007dc: PUSH1 0x40
000007de: MLOAD
000007df: DUP1
000007e0: DUP3
000007e1: DUP2
000007e2: MSTORE
000007e3: PUSH1 0x20
000007e5: ADD
000007e6: SWAP2
000007e7: POP
000007e8: POP
000007e9: PUSH1 0x40
000007eb: MLOAD
000007ec: DUP1
000007ed: SWAP2
000007ee: SUB
000007ef: SWAP1
000007f0: RETURN
000007f1: JUMPDEST
000007f2: PUSH2 0x0833
000007f5: PUSH1 0x04
000007f7: DUP1
000007f8: CALLDATASIZE
000007f9: SUB
000007fa: PUSH1 0x20
000007fc: DUP2
000007fd: LT
000007fe: ISZERO
000007ff: PUSH2 0x0807
00000802: JUMPI
00000803: PUSH1 0x00
00000805: DUP1
00000806: REVERT
00000807: JUMPDEST
00000808: DUP2
00000809: ADD
0000080a: SWAP1
0000080b: DUP1
0000080c: DUP1
0000080d: CALLDATALOAD
0000080e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000823: AND
00000824: SWAP1
00000825: PUSH1 0x20
00000827: ADD
00000828: SWAP1
00000829: SWAP3
0000082a: SWAP2
0000082b: SWAP1
0000082c: POP
0000082d: POP
0000082e: POP
0000082f: PUSH2 0x22dd
00000832: JUMP
00000833: JUMPDEST
00000834: STOP
00000835: JUMPDEST
00000836: PUSH2 0x083d
00000839: PUSH2 0x258c
0000083c: JUMP
0000083d: JUMPDEST
0000083e: PUSH1 0x40
00000840: MLOAD
00000841: DUP1
00000842: DUP3
00000843: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000858: AND
00000859: DUP2
0000085a: MSTORE
0000085b: PUSH1 0x20
0000085d: ADD
0000085e: SWAP2
0000085f: POP
00000860: POP
00000861: PUSH1 0x40
00000863: MLOAD
00000864: DUP1
00000865: SWAP2
00000866: SUB
00000867: SWAP1
00000868: RETURN
00000869: JUMPDEST
0000086a: PUSH2 0x0871
0000086d: PUSH2 0x25b2
00000870: JUMP
00000871: JUMPDEST
00000872: PUSH1 0x40
00000874: MLOAD
00000875: DUP1
00000876: DUP3
00000877: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000088c: AND
0000088d: DUP2
0000088e: MSTORE
0000088f: PUSH1 0x20
00000891: ADD
00000892: SWAP2
00000893: POP
00000894: POP
00000895: PUSH1 0x40
00000897: MLOAD
00000898: DUP1
00000899: SWAP2
0000089a: SUB
0000089b: SWAP1
0000089c: RETURN
0000089d: JUMPDEST
0000089e: PUSH2 0x0934
000008a1: PUSH1 0x04
000008a3: DUP1
000008a4: CALLDATASIZE
000008a5: SUB
000008a6: PUSH1 0xe0
000008a8: DUP2
000008a9: LT
000008aa: ISZERO
000008ab: PUSH2 0x08b3
000008ae: JUMPI
000008af: PUSH1 0x00
000008b1: DUP1
000008b2: REVERT
000008b3: JUMPDEST
000008b4: DUP2
000008b5: ADD
000008b6: SWAP1
000008b7: DUP1
000008b8: DUP1
000008b9: CALLDATALOAD
000008ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008cf: AND
000008d0: SWAP1
000008d1: PUSH1 0x20
000008d3: ADD
000008d4: SWAP1
000008d5: SWAP3
000008d6: SWAP2
000008d7: SWAP1
000008d8: DUP1
000008d9: CALLDATALOAD
000008da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ef: AND
000008f0: SWAP1
000008f1: PUSH1 0x20
000008f3: ADD
000008f4: SWAP1
000008f5: SWAP3
000008f6: SWAP2
000008f7: SWAP1
000008f8: DUP1
000008f9: CALLDATALOAD
000008fa: SWAP1
000008fb: PUSH1 0x20
000008fd: ADD
000008fe: SWAP1
000008ff: SWAP3
00000900: SWAP2
00000901: SWAP1
00000902: DUP1
00000903: CALLDATALOAD
00000904: SWAP1
00000905: PUSH1 0x20
00000907: ADD
00000908: SWAP1
00000909: SWAP3
0000090a: SWAP2
0000090b: SWAP1
0000090c: DUP1
0000090d: CALLDATALOAD
0000090e: PUSH1 0xff
00000910: AND
00000911: SWAP1
00000912: PUSH1 0x20
00000914: ADD
00000915: SWAP1
00000916: SWAP3
00000917: SWAP2
00000918: SWAP1
00000919: DUP1
0000091a: CALLDATALOAD
0000091b: SWAP1
0000091c: PUSH1 0x20
0000091e: ADD
0000091f: SWAP1
00000920: SWAP3
00000921: SWAP2
00000922: SWAP1
00000923: DUP1
00000924: CALLDATALOAD
00000925: SWAP1
00000926: PUSH1 0x20
00000928: ADD
00000929: SWAP1
0000092a: SWAP3
0000092b: SWAP2
0000092c: SWAP1
0000092d: POP
0000092e: POP
0000092f: POP
00000930: PUSH2 0x25d8
00000933: JUMP
00000934: JUMPDEST
00000935: STOP
00000936: JUMPDEST
00000937: PUSH2 0x0998
0000093a: PUSH1 0x04
0000093c: DUP1
0000093d: CALLDATASIZE
0000093e: SUB
0000093f: PUSH1 0x40
00000941: DUP2
00000942: LT
00000943: ISZERO
00000944: PUSH2 0x094c
00000947: JUMPI
00000948: PUSH1 0x00
0000094a: DUP1
0000094b: REVERT
0000094c: JUMPDEST
0000094d: DUP2
0000094e: ADD
0000094f: SWAP1
00000950: DUP1
00000951: DUP1
00000952: CALLDATALOAD
00000953: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000968: AND
00000969: SWAP1
0000096a: PUSH1 0x20
0000096c: ADD
0000096d: SWAP1
0000096e: SWAP3
0000096f: SWAP2
00000970: SWAP1
00000971: DUP1
00000972: CALLDATALOAD
00000973: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000988: AND
00000989: SWAP1
0000098a: PUSH1 0x20
0000098c: ADD
0000098d: SWAP1
0000098e: SWAP3
0000098f: SWAP2
00000990: SWAP1
00000991: POP
00000992: POP
00000993: POP
00000994: PUSH2 0x28ed
00000997: JUMP
00000998: JUMPDEST
00000999: PUSH1 0x40
0000099b: MLOAD
0000099c: DUP1
0000099d: DUP3
0000099e: DUP2
0000099f: MSTORE
000009a0: PUSH1 0x20
000009a2: ADD
000009a3: SWAP2
000009a4: POP
000009a5: POP
000009a6: PUSH1 0x40
000009a8: MLOAD
000009a9: DUP1
000009aa: SWAP2
000009ab: SUB
000009ac: SWAP1
000009ad: RETURN
000009ae: JUMPDEST
000009af: PUSH2 0x09b6
000009b2: PUSH2 0x2912
000009b5: JUMP
000009b6: JUMPDEST
000009b7: STOP
000009b8: JUMPDEST
000009b9: PUSH1 0x01
000009bb: PUSH1 0x0c
000009bd: SLOAD
000009be: EQ
000009bf: PUSH2 0x0a30
000009c2: JUMPI
000009c3: PUSH1 0x40
000009c5: MLOAD
000009c6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009e7: DUP2
000009e8: MSTORE
000009e9: PUSH1 0x04
000009eb: ADD
000009ec: DUP1
000009ed: DUP1
000009ee: PUSH1 0x20
000009f0: ADD
000009f1: DUP3
000009f2: DUP2
000009f3: SUB
000009f4: DUP3
000009f5: MSTORE
000009f6: PUSH1 0x11
000009f8: DUP2
000009f9: MSTORE
000009fa: PUSH1 0x20
000009fc: ADD
000009fd: DUP1
000009fe: PUSH32 0x556e697377617056323a204c4f434b4544000000000000000000000000000000
00000a1f: DUP2
00000a20: MSTORE
00000a21: POP
00000a22: PUSH1 0x20
00000a24: ADD
00000a25: SWAP2
00000a26: POP
00000a27: POP
00000a28: PUSH1 0x40
00000a2a: MLOAD
00000a2b: DUP1
00000a2c: SWAP2
00000a2d: SUB
00000a2e: SWAP1
00000a2f: REVERT
00000a30: JUMPDEST
00000a31: PUSH1 0x00
00000a33: PUSH1 0x0c
00000a35: DUP2
00000a36: SWAP1
00000a37: SSTORE
00000a38: POP
00000a39: PUSH1 0x00
00000a3b: DUP6
00000a3c: GT
00000a3d: DUP1
00000a3e: PUSH2 0x0a47
00000a41: JUMPI
00000a42: POP
00000a43: PUSH1 0x00
00000a45: DUP5
00000a46: GT
00000a47: JUMPDEST
00000a48: PUSH2 0x0a9c
00000a4b: JUMPI
00000a4c: PUSH1 0x40
00000a4e: MLOAD
00000a4f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a70: DUP2
00000a71: MSTORE
00000a72: PUSH1 0x04
00000a74: ADD
00000a75: DUP1
00000a76: DUP1
00000a77: PUSH1 0x20
00000a79: ADD
00000a7a: DUP3
00000a7b: DUP2
00000a7c: SUB
00000a7d: DUP3
00000a7e: MSTORE
00000a7f: PUSH1 0x25
00000a81: DUP2
00000a82: MSTORE
00000a83: PUSH1 0x20
00000a85: ADD
00000a86: DUP1
00000a87: PUSH2 0x3a31
00000a8a: PUSH1 0x25
00000a8c: SWAP2
00000a8d: CODECOPY
00000a8e: PUSH1 0x40
00000a90: ADD
00000a91: SWAP2
00000a92: POP
00000a93: POP
00000a94: PUSH1 0x40
00000a96: MLOAD
00000a97: DUP1
00000a98: SWAP2
00000a99: SUB
00000a9a: SWAP1
00000a9b: REVERT
00000a9c: JUMPDEST
00000a9d: PUSH1 0x00
00000a9f: DUP1
00000aa0: PUSH2 0x0aa7
00000aa3: PUSH2 0x119c
00000aa6: JUMP
00000aa7: JUMPDEST
00000aa8: POP
00000aa9: SWAP2
00000aaa: POP
00000aab: SWAP2
00000aac: POP
00000aad: DUP2
00000aae: PUSH14 0xffffffffffffffffffffffffffff
00000abd: AND
00000abe: DUP8
00000abf: LT
00000ac0: DUP1
00000ac1: ISZERO
00000ac2: PUSH2 0x0ada
00000ac5: JUMPI
00000ac6: POP
00000ac7: DUP1
00000ac8: PUSH14 0xffffffffffffffffffffffffffff
00000ad7: AND
00000ad8: DUP7
00000ad9: LT
00000ada: JUMPDEST
00000adb: PUSH2 0x0b2f
00000ade: JUMPI
00000adf: PUSH1 0x40
00000ae1: MLOAD
00000ae2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b03: DUP2
00000b04: MSTORE
00000b05: PUSH1 0x04
00000b07: ADD
00000b08: DUP1
00000b09: DUP1
00000b0a: PUSH1 0x20
00000b0c: ADD
00000b0d: DUP3
00000b0e: DUP2
00000b0f: SUB
00000b10: DUP3
00000b11: MSTORE
00000b12: PUSH1 0x21
00000b14: DUP2
00000b15: MSTORE
00000b16: PUSH1 0x20
00000b18: ADD
00000b19: DUP1
00000b1a: PUSH2 0x3a7a
00000b1d: PUSH1 0x21
00000b1f: SWAP2
00000b20: CODECOPY
00000b21: PUSH1 0x40
00000b23: ADD
00000b24: SWAP2
00000b25: POP
00000b26: POP
00000b27: PUSH1 0x40
00000b29: MLOAD
00000b2a: DUP1
00000b2b: SWAP2
00000b2c: SUB
00000b2d: SWAP1
00000b2e: REVERT
00000b2f: JUMPDEST
00000b30: PUSH1 0x00
00000b32: DUP1
00000b33: PUSH1 0x00
00000b35: PUSH1 0x06
00000b37: PUSH1 0x00
00000b39: SWAP1
00000b3a: SLOAD
00000b3b: SWAP1
00000b3c: PUSH2 0x0100
00000b3f: EXP
00000b40: SWAP1
00000b41: DIV
00000b42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b57: AND
00000b58: SWAP1
00000b59: POP
00000b5a: PUSH1 0x00
00000b5c: PUSH1 0x07
00000b5e: PUSH1 0x00
00000b60: SWAP1
00000b61: SLOAD
00000b62: SWAP1
00000b63: PUSH2 0x0100
00000b66: EXP
00000b67: SWAP1
00000b68: DIV
00000b69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b7e: AND
00000b7f: SWAP1
00000b80: POP
00000b81: DUP2
00000b82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b97: AND
00000b98: DUP10
00000b99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bae: AND
00000baf: EQ
00000bb0: ISZERO
00000bb1: DUP1
00000bb2: ISZERO
00000bb3: PUSH2 0x0be8
00000bb6: JUMPI
00000bb7: POP
00000bb8: DUP1
00000bb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bce: AND
00000bcf: DUP10
00000bd0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000be5: AND
00000be6: EQ
00000be7: ISZERO
00000be8: JUMPDEST
00000be9: PUSH2 0x0c5a
00000bec: JUMPI
00000bed: PUSH1 0x40
00000bef: MLOAD
00000bf0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c11: DUP2
00000c12: MSTORE
00000c13: PUSH1 0x04
00000c15: ADD
00000c16: DUP1
00000c17: DUP1
00000c18: PUSH1 0x20
00000c1a: ADD
00000c1b: DUP3
00000c1c: DUP2
00000c1d: SUB
00000c1e: DUP3
00000c1f: MSTORE
00000c20: PUSH1 0x15
00000c22: DUP2
00000c23: MSTORE
00000c24: PUSH1 0x20
00000c26: ADD
00000c27: DUP1
00000c28: PUSH32 0x556e697377617056323a20494e56414c49445f544f0000000000000000000000
00000c49: DUP2
00000c4a: MSTORE
00000c4b: POP
00000c4c: PUSH1 0x20
00000c4e: ADD
00000c4f: SWAP2
00000c50: POP
00000c51: POP
00000c52: PUSH1 0x40
00000c54: MLOAD
00000c55: DUP1
00000c56: SWAP2
00000c57: SUB
00000c58: SWAP1
00000c59: REVERT
00000c5a: JUMPDEST
00000c5b: PUSH1 0x00
00000c5d: DUP12
00000c5e: GT
00000c5f: ISZERO
00000c60: PUSH2 0x0c6f
00000c63: JUMPI
00000c64: PUSH2 0x0c6e
00000c67: DUP3
00000c68: DUP11
00000c69: DUP14
00000c6a: PUSH2 0x2b66
00000c6d: JUMP
00000c6e: JUMPDEST
00000c6f: JUMPDEST
00000c70: PUSH1 0x00
00000c72: DUP11
00000c73: GT
00000c74: ISZERO
00000c75: PUSH2 0x0c84
00000c78: JUMPI
00000c79: PUSH2 0x0c83
00000c7c: DUP2
00000c7d: DUP11
00000c7e: DUP13
00000c7f: PUSH2 0x2b66
00000c82: JUMP
00000c83: JUMPDEST
00000c84: JUMPDEST
00000c85: PUSH1 0x00
00000c87: DUP9
00000c88: DUP9
00000c89: SWAP1
00000c8a: POP
00000c8b: GT
00000c8c: ISZERO
00000c8d: PUSH2 0x0d56
00000c90: JUMPI
00000c91: DUP9
00000c92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca7: AND
00000ca8: PUSH4 0x10d1e85c
00000cad: CALLER
00000cae: DUP14
00000caf: DUP14
00000cb0: DUP13
00000cb1: DUP13
00000cb2: PUSH1 0x40
00000cb4: MLOAD
00000cb5: DUP7
00000cb6: PUSH4 0xffffffff
00000cbb: AND
00000cbc: PUSH1 0xe0
00000cbe: SHL
00000cbf: DUP2
00000cc0: MSTORE
00000cc1: PUSH1 0x04
00000cc3: ADD
00000cc4: DUP1
00000cc5: DUP7
00000cc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cdb: AND
00000cdc: DUP2
00000cdd: MSTORE
00000cde: PUSH1 0x20
00000ce0: ADD
00000ce1: DUP6
00000ce2: DUP2
00000ce3: MSTORE
00000ce4: PUSH1 0x20
00000ce6: ADD
00000ce7: DUP5
00000ce8: DUP2
00000ce9: MSTORE
00000cea: PUSH1 0x20
00000cec: ADD
00000ced: DUP1
00000cee: PUSH1 0x20
00000cf0: ADD
00000cf1: DUP3
00000cf2: DUP2
00000cf3: SUB
00000cf4: DUP3
00000cf5: MSTORE
00000cf6: DUP5
00000cf7: DUP5
00000cf8: DUP3
00000cf9: DUP2
00000cfa: DUP2
00000cfb: MSTORE
00000cfc: PUSH1 0x20
00000cfe: ADD
00000cff: SWAP3
00000d00: POP
00000d01: DUP1
00000d02: DUP3
00000d03: DUP5
00000d04: CALLDATACOPY
00000d05: PUSH1 0x00
00000d07: DUP2
00000d08: DUP5
00000d09: ADD
00000d0a: MSTORE
00000d0b: PUSH1 0x1f
00000d0d: NOT
00000d0e: PUSH1 0x1f
00000d10: DUP3
00000d11: ADD
00000d12: AND
00000d13: SWAP1
00000d14: POP
00000d15: DUP1
00000d16: DUP4
00000d17: ADD
00000d18: SWAP3
00000d19: POP
00000d1a: POP
00000d1b: POP
00000d1c: SWAP7
00000d1d: POP
00000d1e: POP
00000d1f: POP
00000d20: POP
00000d21: POP
00000d22: POP
00000d23: POP
00000d24: PUSH1 0x00
00000d26: PUSH1 0x40
00000d28: MLOAD
00000d29: DUP1
00000d2a: DUP4
00000d2b: SUB
00000d2c: DUP2
00000d2d: PUSH1 0x00
00000d2f: DUP8
00000d30: DUP1
00000d31: EXTCODESIZE
00000d32: ISZERO
00000d33: DUP1
00000d34: ISZERO
00000d35: PUSH2 0x0d3d
00000d38: JUMPI
00000d39: PUSH1 0x00
00000d3b: DUP1
00000d3c: REVERT
00000d3d: JUMPDEST
00000d3e: POP
00000d3f: GAS
00000d40: CALL
00000d41: ISZERO
00000d42: DUP1
00000d43: ISZERO
00000d44: PUSH2 0x0d51
00000d47: JUMPI
00000d48: RETURNDATASIZE
00000d49: PUSH1 0x00
00000d4b: DUP1
00000d4c: RETURNDATACOPY
00000d4d: RETURNDATASIZE
00000d4e: PUSH1 0x00
00000d50: REVERT
00000d51: JUMPDEST
00000d52: POP
00000d53: POP
00000d54: POP
00000d55: POP
00000d56: JUMPDEST
00000d57: DUP2
00000d58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d6d: AND
00000d6e: PUSH4 0x70a08231
00000d73: ADDRESS
00000d74: PUSH1 0x40
00000d76: MLOAD
00000d77: DUP3
00000d78: PUSH4 0xffffffff
00000d7d: AND
00000d7e: PUSH1 0xe0
00000d80: SHL
00000d81: DUP2
00000d82: MSTORE
00000d83: PUSH1 0x04
00000d85: ADD
00000d86: DUP1
00000d87: DUP3
00000d88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d9d: AND
00000d9e: DUP2
00000d9f: MSTORE
00000da0: PUSH1 0x20
00000da2: ADD
00000da3: SWAP2
00000da4: POP
00000da5: POP
00000da6: PUSH1 0x20
00000da8: PUSH1 0x40
00000daa: MLOAD
00000dab: DUP1
00000dac: DUP4
00000dad: SUB
00000dae: DUP2
00000daf: DUP7
00000db0: DUP1
00000db1: EXTCODESIZE
00000db2: ISZERO
00000db3: DUP1
00000db4: ISZERO
00000db5: PUSH2 0x0dbd
00000db8: JUMPI
00000db9: PUSH1 0x00
00000dbb: DUP1
00000dbc: REVERT
00000dbd: JUMPDEST
00000dbe: POP
00000dbf: GAS
00000dc0: STATICCALL
00000dc1: ISZERO
00000dc2: DUP1
00000dc3: ISZERO
00000dc4: PUSH2 0x0dd1
00000dc7: JUMPI
00000dc8: RETURNDATASIZE
00000dc9: PUSH1 0x00
00000dcb: DUP1
00000dcc: RETURNDATACOPY
00000dcd: RETURNDATASIZE
00000dce: PUSH1 0x00
00000dd0: REVERT
00000dd1: JUMPDEST
00000dd2: POP
00000dd3: POP
00000dd4: POP
00000dd5: POP
00000dd6: PUSH1 0x40
00000dd8: MLOAD
00000dd9: RETURNDATASIZE
00000dda: PUSH1 0x20
00000ddc: DUP2
00000ddd: LT
00000dde: ISZERO
00000ddf: PUSH2 0x0de7
00000de2: JUMPI
00000de3: PUSH1 0x00
00000de5: DUP1
00000de6: REVERT
00000de7: JUMPDEST
00000de8: DUP2
00000de9: ADD
00000dea: SWAP1
00000deb: DUP1
00000dec: DUP1
00000ded: MLOAD
00000dee: SWAP1
00000def: PUSH1 0x20
00000df1: ADD
00000df2: SWAP1
00000df3: SWAP3
00000df4: SWAP2
00000df5: SWAP1
00000df6: POP
00000df7: POP
00000df8: POP
00000df9: SWAP4
00000dfa: POP
00000dfb: DUP1
00000dfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e11: AND
00000e12: PUSH4 0x70a08231
00000e17: ADDRESS
00000e18: PUSH1 0x40
00000e1a: MLOAD
00000e1b: DUP3
00000e1c: PUSH4 0xffffffff
00000e21: AND
00000e22: PUSH1 0xe0
00000e24: SHL
00000e25: DUP2
00000e26: MSTORE
00000e27: PUSH1 0x04
00000e29: ADD
00000e2a: DUP1
00000e2b: DUP3
00000e2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e41: AND
00000e42: DUP2
00000e43: MSTORE
00000e44: PUSH1 0x20
00000e46: ADD
00000e47: SWAP2
00000e48: POP
00000e49: POP
00000e4a: PUSH1 0x20
00000e4c: PUSH1 0x40
00000e4e: MLOAD
00000e4f: DUP1
00000e50: DUP4
00000e51: SUB
00000e52: DUP2
00000e53: DUP7
00000e54: DUP1
00000e55: EXTCODESIZE
00000e56: ISZERO
00000e57: DUP1
00000e58: ISZERO
00000e59: PUSH2 0x0e61
00000e5c: JUMPI
00000e5d: PUSH1 0x00
00000e5f: DUP1
00000e60: REVERT
00000e61: JUMPDEST
00000e62: POP
00000e63: GAS
00000e64: STATICCALL
00000e65: ISZERO
00000e66: DUP1
00000e67: ISZERO
00000e68: PUSH2 0x0e75
00000e6b: JUMPI
00000e6c: RETURNDATASIZE
00000e6d: PUSH1 0x00
00000e6f: DUP1
00000e70: RETURNDATACOPY
00000e71: RETURNDATASIZE
00000e72: PUSH1 0x00
00000e74: REVERT
00000e75: JUMPDEST
00000e76: POP
00000e77: POP
00000e78: POP
00000e79: POP
00000e7a: PUSH1 0x40
00000e7c: MLOAD
00000e7d: RETURNDATASIZE
00000e7e: PUSH1 0x20
00000e80: DUP2
00000e81: LT
00000e82: ISZERO
00000e83: PUSH2 0x0e8b
00000e86: JUMPI
00000e87: PUSH1 0x00
00000e89: DUP1
00000e8a: REVERT
00000e8b: JUMPDEST
00000e8c: DUP2
00000e8d: ADD
00000e8e: SWAP1
00000e8f: DUP1
00000e90: DUP1
00000e91: MLOAD
00000e92: SWAP1
00000e93: PUSH1 0x20
00000e95: ADD
00000e96: SWAP1
00000e97: SWAP3
00000e98: SWAP2
00000e99: SWAP1
00000e9a: POP
00000e9b: POP
00000e9c: POP
00000e9d: SWAP3
00000e9e: POP
00000e9f: POP
00000ea0: POP
00000ea1: PUSH1 0x00
00000ea3: DUP10
00000ea4: DUP6
00000ea5: PUSH14 0xffffffffffffffffffffffffffff
00000eb4: AND
00000eb5: SUB
00000eb6: DUP4
00000eb7: GT
00000eb8: PUSH2 0x0ec2
00000ebb: JUMPI
00000ebc: PUSH1 0x00
00000ebe: PUSH2 0x0ed8
00000ec1: JUMP
00000ec2: JUMPDEST
00000ec3: DUP10
00000ec4: DUP6
00000ec5: PUSH14 0xffffffffffffffffffffffffffff
00000ed4: AND
00000ed5: SUB
00000ed6: DUP4
00000ed7: SUB
00000ed8: JUMPDEST
00000ed9: SWAP1
00000eda: POP
00000edb: PUSH1 0x00
00000edd: DUP10
00000ede: DUP6
00000edf: PUSH14 0xffffffffffffffffffffffffffff
00000eee: AND
00000eef: SUB
00000ef0: DUP4
00000ef1: GT
00000ef2: PUSH2 0x0efc
00000ef5: JUMPI
00000ef6: PUSH1 0x00
00000ef8: PUSH2 0x0f12
00000efb: JUMP
00000efc: JUMPDEST
00000efd: DUP10
00000efe: DUP6
00000eff: PUSH14 0xffffffffffffffffffffffffffff
00000f0e: AND
00000f0f: SUB
00000f10: DUP4
00000f11: SUB
00000f12: JUMPDEST
00000f13: SWAP1
00000f14: POP
00000f15: PUSH1 0x00
00000f17: DUP3
00000f18: GT
00000f19: DUP1
00000f1a: PUSH2 0x0f23
00000f1d: JUMPI
00000f1e: POP
00000f1f: PUSH1 0x00
00000f21: DUP2
00000f22: GT
00000f23: JUMPDEST
00000f24: PUSH2 0x0f78
00000f27: JUMPI
00000f28: PUSH1 0x40
00000f2a: MLOAD
00000f2b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f4c: DUP2
00000f4d: MSTORE
00000f4e: PUSH1 0x04
00000f50: ADD
00000f51: DUP1
00000f52: DUP1
00000f53: PUSH1 0x20
00000f55: ADD
00000f56: DUP3
00000f57: DUP2
00000f58: SUB
00000f59: DUP3
00000f5a: MSTORE
00000f5b: PUSH1 0x24
00000f5d: DUP2
00000f5e: MSTORE
00000f5f: PUSH1 0x20
00000f61: ADD
00000f62: DUP1
00000f63: PUSH2 0x3a56
00000f66: PUSH1 0x24
00000f68: SWAP2
00000f69: CODECOPY
00000f6a: PUSH1 0x40
00000f6c: ADD
00000f6d: SWAP2
00000f6e: POP
00000f6f: POP
00000f70: PUSH1 0x40
00000f72: MLOAD
00000f73: DUP1
00000f74: SWAP2
00000f75: SUB
00000f76: SWAP1
00000f77: REVERT
00000f78: JUMPDEST
00000f79: PUSH1 0x00
00000f7b: PUSH2 0x0fb4
00000f7e: PUSH2 0x0f91
00000f81: PUSH1 0x03
00000f83: DUP6
00000f84: PUSH2 0x2d9d
00000f87: SWAP1
00000f88: SWAP2
00000f89: SWAP1
00000f8a: PUSH4 0xffffffff
00000f8f: AND
00000f90: JUMP
00000f91: JUMPDEST
00000f92: PUSH2 0x0fa6
00000f95: PUSH2 0x03e8
00000f98: DUP9
00000f99: PUSH2 0x2d9d
00000f9c: SWAP1
00000f9d: SWAP2
00000f9e: SWAP1
00000f9f: PUSH4 0xffffffff
00000fa4: AND
00000fa5: JUMP
00000fa6: JUMPDEST
00000fa7: PUSH2 0x2e32
00000faa: SWAP1
00000fab: SWAP2
00000fac: SWAP1
00000fad: PUSH4 0xffffffff
00000fb2: AND
00000fb3: JUMP
00000fb4: JUMPDEST
00000fb5: SWAP1
00000fb6: POP
00000fb7: PUSH1 0x00
00000fb9: PUSH2 0x0ff2
00000fbc: PUSH2 0x0fcf
00000fbf: PUSH1 0x03
00000fc1: DUP6
00000fc2: PUSH2 0x2d9d
00000fc5: SWAP1
00000fc6: SWAP2
00000fc7: SWAP1
00000fc8: PUSH4 0xffffffff
00000fcd: AND
00000fce: JUMP
00000fcf: JUMPDEST
00000fd0: PUSH2 0x0fe4
00000fd3: PUSH2 0x03e8
00000fd6: DUP9
00000fd7: PUSH2 0x2d9d
00000fda: SWAP1
00000fdb: SWAP2
00000fdc: SWAP1
00000fdd: PUSH4 0xffffffff
00000fe2: AND
00000fe3: JUMP
00000fe4: JUMPDEST
00000fe5: PUSH2 0x2e32
00000fe8: SWAP1
00000fe9: SWAP2
00000fea: SWAP1
00000feb: PUSH4 0xffffffff
00000ff0: AND
00000ff1: JUMP
00000ff2: JUMPDEST
00000ff3: SWAP1
00000ff4: POP
00000ff5: PUSH2 0x103c
00000ff8: PUSH3 0x0f4240
00000ffc: PUSH2 0x102e
00000fff: DUP10
00001000: PUSH14 0xffffffffffffffffffffffffffff
0000100f: AND
00001010: DUP12
00001011: PUSH14 0xffffffffffffffffffffffffffff
00001020: AND
00001021: PUSH2 0x2d9d
00001024: SWAP1
00001025: SWAP2
00001026: SWAP1
00001027: PUSH4 0xffffffff
0000102c: AND
0000102d: JUMP
0000102e: JUMPDEST
0000102f: PUSH2 0x2d9d
00001032: SWAP1
00001033: SWAP2
00001034: SWAP1
00001035: PUSH4 0xffffffff
0000103a: AND
0000103b: JUMP
0000103c: JUMPDEST
0000103d: PUSH2 0x104f
00001040: DUP3
00001041: DUP5
00001042: PUSH2 0x2d9d
00001045: SWAP1
00001046: SWAP2
00001047: SWAP1
00001048: PUSH4 0xffffffff
0000104d: AND
0000104e: JUMP
0000104f: JUMPDEST
00001050: LT
00001051: ISZERO
00001052: PUSH2 0x10c3
00001055: JUMPI
00001056: PUSH1 0x40
00001058: MLOAD
00001059: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000107a: DUP2
0000107b: MSTORE
0000107c: PUSH1 0x04
0000107e: ADD
0000107f: DUP1
00001080: DUP1
00001081: PUSH1 0x20
00001083: ADD
00001084: DUP3
00001085: DUP2
00001086: SUB
00001087: DUP3
00001088: MSTORE
00001089: PUSH1 0x0c
0000108b: DUP2
0000108c: MSTORE
0000108d: PUSH1 0x20
0000108f: ADD
00001090: DUP1
00001091: PUSH32 0x556e697377617056323a204b0000000000000000000000000000000000000000
000010b2: DUP2
000010b3: MSTORE
000010b4: POP
000010b5: PUSH1 0x20
000010b7: ADD
000010b8: SWAP2
000010b9: POP
000010ba: POP
000010bb: PUSH1 0x40
000010bd: MLOAD
000010be: DUP1
000010bf: SWAP2
000010c0: SUB
000010c1: SWAP1
000010c2: REVERT
000010c3: JUMPDEST
000010c4: POP
000010c5: POP
000010c6: PUSH2 0x10d1
000010c9: DUP5
000010ca: DUP5
000010cb: DUP9
000010cc: DUP9
000010cd: PUSH2 0x2eb5
000010d0: JUMP
000010d1: JUMPDEST
000010d2: DUP9
000010d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010e8: AND
000010e9: CALLER
000010ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ff: AND
00001100: PUSH32 0xd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d822
00001121: DUP5
00001122: DUP5
00001123: DUP16
00001124: DUP16
00001125: PUSH1 0x40
00001127: MLOAD
00001128: DUP1
00001129: DUP6
0000112a: DUP2
0000112b: MSTORE
0000112c: PUSH1 0x20
0000112e: ADD
0000112f: DUP5
00001130: DUP2
00001131: MSTORE
00001132: PUSH1 0x20
00001134: ADD
00001135: DUP4
00001136: DUP2
00001137: MSTORE
00001138: PUSH1 0x20
0000113a: ADD
0000113b: DUP3
0000113c: DUP2
0000113d: MSTORE
0000113e: PUSH1 0x20
00001140: ADD
00001141: SWAP5
00001142: POP
00001143: POP
00001144: POP
00001145: POP
00001146: POP
00001147: PUSH1 0x40
00001149: MLOAD
0000114a: DUP1
0000114b: SWAP2
0000114c: SUB
0000114d: SWAP1
0000114e: LOG3
0000114f: POP
00001150: POP
00001151: POP
00001152: POP
00001153: POP
00001154: POP
00001155: PUSH1 0x01
00001157: PUSH1 0x0c
00001159: DUP2
0000115a: SWAP1
0000115b: SSTORE
0000115c: POP
0000115d: POP
0000115e: POP
0000115f: POP
00001160: POP
00001161: POP
00001162: JUMP
00001163: JUMPDEST
00001164: PUSH1 0x40
00001166: MLOAD
00001167: DUP1
00001168: PUSH1 0x40
0000116a: ADD
0000116b: PUSH1 0x40
0000116d: MSTORE
0000116e: DUP1
0000116f: PUSH1 0x0d
00001171: DUP2
00001172: MSTORE
00001173: PUSH1 0x20
00001175: ADD
00001176: PUSH32 0x4e455448204c5020546f6b656e00000000000000000000000000000000000000
00001197: DUP2
00001198: MSTORE
00001199: POP
0000119a: DUP2
0000119b: JUMP
0000119c: JUMPDEST
0000119d: PUSH1 0x00
0000119f: DUP1
000011a0: PUSH1 0x00
000011a2: PUSH1 0x08
000011a4: PUSH1 0x00
000011a6: SWAP1
000011a7: SLOAD
000011a8: SWAP1
000011a9: PUSH2 0x0100
000011ac: EXP
000011ad: SWAP1
000011ae: DIV
000011af: PUSH14 0xffffffffffffffffffffffffffff
000011be: AND
000011bf: SWAP3
000011c0: POP
000011c1: PUSH1 0x08
000011c3: PUSH1 0x0e
000011c5: SWAP1
000011c6: SLOAD
000011c7: SWAP1
000011c8: PUSH2 0x0100
000011cb: EXP
000011cc: SWAP1
000011cd: DIV
000011ce: PUSH14 0xffffffffffffffffffffffffffff
000011dd: AND
000011de: SWAP2
000011df: POP
000011e0: PUSH1 0x08
000011e2: PUSH1 0x1c
000011e4: SWAP1
000011e5: SLOAD
000011e6: SWAP1
000011e7: PUSH2 0x0100
000011ea: EXP
000011eb: SWAP1
000011ec: DIV
000011ed: PUSH4 0xffffffff
000011f2: AND
000011f3: SWAP1
000011f4: POP
000011f5: SWAP1
000011f6: SWAP2
000011f7: SWAP3
000011f8: JUMP
000011f9: JUMPDEST
000011fa: PUSH1 0x00
000011fc: PUSH2 0x1206
000011ff: CALLER
00001200: DUP5
00001201: DUP5
00001202: PUSH2 0x3213
00001205: JUMP
00001206: JUMPDEST
00001207: PUSH1 0x01
00001209: SWAP1
0000120a: POP
0000120b: SWAP3
0000120c: SWAP2
0000120d: POP
0000120e: POP
0000120f: JUMP
00001210: JUMPDEST
00001211: PUSH1 0x06
00001213: PUSH1 0x00
00001215: SWAP1
00001216: SLOAD
00001217: SWAP1
00001218: PUSH2 0x0100
0000121b: EXP
0000121c: SWAP1
0000121d: DIV
0000121e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001233: AND
00001234: DUP2
00001235: JUMP
00001236: JUMPDEST
00001237: PUSH1 0x00
00001239: SLOAD
0000123a: DUP2
0000123b: JUMP
0000123c: JUMPDEST
0000123d: PUSH1 0x00
0000123f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001260: PUSH1 0x02
00001262: PUSH1 0x00
00001264: DUP7
00001265: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000127a: AND
0000127b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001290: AND
00001291: DUP2
00001292: MSTORE
00001293: PUSH1 0x20
00001295: ADD
00001296: SWAP1
00001297: DUP2
00001298: MSTORE
00001299: PUSH1 0x20
0000129b: ADD
0000129c: PUSH1 0x00
0000129e: KECCAK256
0000129f: PUSH1 0x00
000012a1: CALLER
000012a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012b7: AND
000012b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012cd: AND
000012ce: DUP2
000012cf: MSTORE
000012d0: PUSH1 0x20
000012d2: ADD
000012d3: SWAP1
000012d4: DUP2
000012d5: MSTORE
000012d6: PUSH1 0x20
000012d8: ADD
000012d9: PUSH1 0x00
000012db: KECCAK256
000012dc: SLOAD
000012dd: EQ
000012de: PUSH2 0x13f1
000012e1: JUMPI
000012e2: PUSH2 0x1370
000012e5: DUP3
000012e6: PUSH1 0x02
000012e8: PUSH1 0x00
000012ea: DUP8
000012eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001300: AND
00001301: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001316: AND
00001317: DUP2
00001318: MSTORE
00001319: PUSH1 0x20
0000131b: ADD
0000131c: SWAP1
0000131d: DUP2
0000131e: MSTORE
0000131f: PUSH1 0x20
00001321: ADD
00001322: PUSH1 0x00
00001324: KECCAK256
00001325: PUSH1 0x00
00001327: CALLER
00001328: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000133d: AND
0000133e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001353: AND
00001354: DUP2
00001355: MSTORE
00001356: PUSH1 0x20
00001358: ADD
00001359: SWAP1
0000135a: DUP2
0000135b: MSTORE
0000135c: PUSH1 0x20
0000135e: ADD
0000135f: PUSH1 0x00
00001361: KECCAK256
00001362: SLOAD
00001363: PUSH2 0x2e32
00001366: SWAP1
00001367: SWAP2
00001368: SWAP1
00001369: PUSH4 0xffffffff
0000136e: AND
0000136f: JUMP
00001370: JUMPDEST
00001371: PUSH1 0x02
00001373: PUSH1 0x00
00001375: DUP7
00001376: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000138b: AND
0000138c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a1: AND
000013a2: DUP2
000013a3: MSTORE
000013a4: PUSH1 0x20
000013a6: ADD
000013a7: SWAP1
000013a8: DUP2
000013a9: MSTORE
000013aa: PUSH1 0x20
000013ac: ADD
000013ad: PUSH1 0x00
000013af: KECCAK256
000013b0: PUSH1 0x00
000013b2: CALLER
000013b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013c8: AND
000013c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013de: AND
000013df: DUP2
000013e0: MSTORE
000013e1: PUSH1 0x20
000013e3: ADD
000013e4: SWAP1
000013e5: DUP2
000013e6: MSTORE
000013e7: PUSH1 0x20
000013e9: ADD
000013ea: PUSH1 0x00
000013ec: KECCAK256
000013ed: DUP2
000013ee: SWAP1
000013ef: SSTORE
000013f0: POP
000013f1: JUMPDEST
000013f2: PUSH2 0x13fc
000013f5: DUP5
000013f6: DUP5
000013f7: DUP5
000013f8: PUSH2 0x32fe
000013fb: JUMP
000013fc: JUMPDEST
000013fd: PUSH1 0x01
000013ff: SWAP1
00001400: POP
00001401: SWAP4
00001402: SWAP3
00001403: POP
00001404: POP
00001405: POP
00001406: JUMP
00001407: JUMPDEST
00001408: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00001429: PUSH1 0x00
0000142b: SHL
0000142c: DUP2
0000142d: JUMP
0000142e: JUMPDEST
0000142f: PUSH1 0x12
00001431: DUP2
00001432: JUMP
00001433: JUMPDEST
00001434: PUSH1 0x03
00001436: SLOAD
00001437: DUP2
00001438: JUMP
00001439: JUMPDEST
0000143a: PUSH1 0x05
0000143c: PUSH1 0x00
0000143e: SWAP1
0000143f: SLOAD
00001440: SWAP1
00001441: PUSH2 0x0100
00001444: EXP
00001445: SWAP1
00001446: DIV
00001447: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000145c: AND
0000145d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001472: AND
00001473: CALLER
00001474: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001489: AND
0000148a: EQ
0000148b: PUSH2 0x14fc
0000148e: JUMPI
0000148f: PUSH1 0x40
00001491: MLOAD
00001492: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014b3: DUP2
000014b4: MSTORE
000014b5: PUSH1 0x04
000014b7: ADD
000014b8: DUP1
000014b9: DUP1
000014ba: PUSH1 0x20
000014bc: ADD
000014bd: DUP3
000014be: DUP2
000014bf: SUB
000014c0: DUP3
000014c1: MSTORE
000014c2: PUSH1 0x14
000014c4: DUP2
000014c5: MSTORE
000014c6: PUSH1 0x20
000014c8: ADD
000014c9: DUP1
000014ca: PUSH32 0x556e697377617056323a20464f5242494444454e000000000000000000000000
000014eb: DUP2
000014ec: MSTORE
000014ed: POP
000014ee: PUSH1 0x20
000014f0: ADD
000014f1: SWAP2
000014f2: POP
000014f3: POP
000014f4: PUSH1 0x40
000014f6: MLOAD
000014f7: DUP1
000014f8: SWAP2
000014f9: SUB
000014fa: SWAP1
000014fb: REVERT
000014fc: JUMPDEST
000014fd: DUP2
000014fe: PUSH1 0x06
00001500: PUSH1 0x00
00001502: PUSH2 0x0100
00001505: EXP
00001506: DUP2
00001507: SLOAD
00001508: DUP2
00001509: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000151e: MUL
0000151f: NOT
00001520: AND
00001521: SWAP1
00001522: DUP4
00001523: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001538: AND
00001539: MUL
0000153a: OR
0000153b: SWAP1
0000153c: SSTORE
0000153d: POP
0000153e: DUP1
0000153f: PUSH1 0x07
00001541: PUSH1 0x00
00001543: PUSH2 0x0100
00001546: EXP
00001547: DUP2
00001548: SLOAD
00001549: DUP2
0000154a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000155f: MUL
00001560: NOT
00001561: AND
00001562: SWAP1
00001563: DUP4
00001564: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001579: AND
0000157a: MUL
0000157b: OR
0000157c: SWAP1
0000157d: SSTORE
0000157e: POP
0000157f: POP
00001580: POP
00001581: JUMP
00001582: JUMPDEST
00001583: PUSH1 0x09
00001585: SLOAD
00001586: DUP2
00001587: JUMP
00001588: JUMPDEST
00001589: PUSH1 0x0a
0000158b: SLOAD
0000158c: DUP2
0000158d: JUMP
0000158e: JUMPDEST
0000158f: PUSH1 0x00
00001591: PUSH1 0x01
00001593: PUSH1 0x0c
00001595: SLOAD
00001596: EQ
00001597: PUSH2 0x1608
0000159a: JUMPI
0000159b: PUSH1 0x40
0000159d: MLOAD
0000159e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015bf: DUP2
000015c0: MSTORE
000015c1: PUSH1 0x04
000015c3: ADD
000015c4: DUP1
000015c5: DUP1
000015c6: PUSH1 0x20
000015c8: ADD
000015c9: DUP3
000015ca: DUP2
000015cb: SUB
000015cc: DUP3
000015cd: MSTORE
000015ce: PUSH1 0x11
000015d0: DUP2
000015d1: MSTORE
000015d2: PUSH1 0x20
000015d4: ADD
000015d5: DUP1
000015d6: PUSH32 0x556e697377617056323a204c4f434b4544000000000000000000000000000000
000015f7: DUP2
000015f8: MSTORE
000015f9: POP
000015fa: PUSH1 0x20
000015fc: ADD
000015fd: SWAP2
000015fe: POP
000015ff: POP
00001600: PUSH1 0x40
00001602: MLOAD
00001603: DUP1
00001604: SWAP2
00001605: SUB
00001606: SWAP1
00001607: REVERT
00001608: JUMPDEST
00001609: PUSH1 0x00
0000160b: PUSH1 0x0c
0000160d: DUP2
0000160e: SWAP1
0000160f: SSTORE
00001610: POP
00001611: PUSH1 0x00
00001613: DUP1
00001614: PUSH2 0x161b
00001617: PUSH2 0x119c
0000161a: JUMP
0000161b: JUMPDEST
0000161c: POP
0000161d: SWAP2
0000161e: POP
0000161f: SWAP2
00001620: POP
00001621: PUSH1 0x00
00001623: PUSH1 0x06
00001625: PUSH1 0x00
00001627: SWAP1
00001628: SLOAD
00001629: SWAP1
0000162a: PUSH2 0x0100
0000162d: EXP
0000162e: SWAP1
0000162f: DIV
00001630: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001645: AND
00001646: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000165b: AND
0000165c: PUSH4 0x70a08231
00001661: ADDRESS
00001662: PUSH1 0x40
00001664: MLOAD
00001665: DUP3
00001666: PUSH4 0xffffffff
0000166b: AND
0000166c: PUSH1 0xe0
0000166e: SHL
0000166f: DUP2
00001670: MSTORE
00001671: PUSH1 0x04
00001673: ADD
00001674: DUP1
00001675: DUP3
00001676: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000168b: AND
0000168c: DUP2
0000168d: MSTORE
0000168e: PUSH1 0x20
00001690: ADD
00001691: SWAP2
00001692: POP
00001693: POP
00001694: PUSH1 0x20
00001696: PUSH1 0x40
00001698: MLOAD
00001699: DUP1
0000169a: DUP4
0000169b: SUB
0000169c: DUP2
0000169d: DUP7
0000169e: DUP1
0000169f: EXTCODESIZE
000016a0: ISZERO
000016a1: DUP1
000016a2: ISZERO
000016a3: PUSH2 0x16ab
000016a6: JUMPI
000016a7: PUSH1 0x00
000016a9: DUP1
000016aa: REVERT
000016ab: JUMPDEST
000016ac: POP
000016ad: GAS
000016ae: STATICCALL
000016af: ISZERO
000016b0: DUP1
000016b1: ISZERO
000016b2: PUSH2 0x16bf
000016b5: JUMPI
000016b6: RETURNDATASIZE
000016b7: PUSH1 0x00
000016b9: DUP1
000016ba: RETURNDATACOPY
000016bb: RETURNDATASIZE
000016bc: PUSH1 0x00
000016be: REVERT
000016bf: JUMPDEST
000016c0: POP
000016c1: POP
000016c2: POP
000016c3: POP
000016c4: PUSH1 0x40
000016c6: MLOAD
000016c7: RETURNDATASIZE
000016c8: PUSH1 0x20
000016ca: DUP2
000016cb: LT
000016cc: ISZERO
000016cd: PUSH2 0x16d5
000016d0: JUMPI
000016d1: PUSH1 0x00
000016d3: DUP1
000016d4: REVERT
000016d5: JUMPDEST
000016d6: DUP2
000016d7: ADD
000016d8: SWAP1
000016d9: DUP1
000016da: DUP1
000016db: MLOAD
000016dc: SWAP1
000016dd: PUSH1 0x20
000016df: ADD
000016e0: SWAP1
000016e1: SWAP3
000016e2: SWAP2
000016e3: SWAP1
000016e4: POP
000016e5: POP
000016e6: POP
000016e7: SWAP1
000016e8: POP
000016e9: PUSH1 0x00
000016eb: PUSH1 0x07
000016ed: PUSH1 0x00
000016ef: SWAP1
000016f0: SLOAD
000016f1: SWAP1
000016f2: PUSH2 0x0100
000016f5: EXP
000016f6: SWAP1
000016f7: DIV
000016f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000170d: AND
0000170e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001723: AND
00001724: PUSH4 0x70a08231
00001729: ADDRESS
0000172a: PUSH1 0x40
0000172c: MLOAD
0000172d: DUP3
0000172e: PUSH4 0xffffffff
00001733: AND
00001734: PUSH1 0xe0
00001736: SHL
00001737: DUP2
00001738: MSTORE
00001739: PUSH1 0x04
0000173b: ADD
0000173c: DUP1
0000173d: DUP3
0000173e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001753: AND
00001754: DUP2
00001755: MSTORE
00001756: PUSH1 0x20
00001758: ADD
00001759: SWAP2
0000175a: POP
0000175b: POP
0000175c: PUSH1 0x20
0000175e: PUSH1 0x40
00001760: MLOAD
00001761: DUP1
00001762: DUP4
00001763: SUB
00001764: DUP2
00001765: DUP7
00001766: DUP1
00001767: EXTCODESIZE
00001768: ISZERO
00001769: DUP1
0000176a: ISZERO
0000176b: PUSH2 0x1773
0000176e: JUMPI
0000176f: PUSH1 0x00
00001771: DUP1
00001772: REVERT
00001773: JUMPDEST
00001774: POP
00001775: GAS
00001776: STATICCALL
00001777: ISZERO
00001778: DUP1
00001779: ISZERO
0000177a: PUSH2 0x1787
0000177d: JUMPI
0000177e: RETURNDATASIZE
0000177f: PUSH1 0x00
00001781: DUP1
00001782: RETURNDATACOPY
00001783: RETURNDATASIZE
00001784: PUSH1 0x00
00001786: REVERT
00001787: JUMPDEST
00001788: POP
00001789: POP
0000178a: POP
0000178b: POP
0000178c: PUSH1 0x40
0000178e: MLOAD
0000178f: RETURNDATASIZE
00001790: PUSH1 0x20
00001792: DUP2
00001793: LT
00001794: ISZERO
00001795: PUSH2 0x179d
00001798: JUMPI
00001799: PUSH1 0x00
0000179b: DUP1
0000179c: REVERT
0000179d: JUMPDEST
0000179e: DUP2
0000179f: ADD
000017a0: SWAP1
000017a1: DUP1
000017a2: DUP1
000017a3: MLOAD
000017a4: SWAP1
000017a5: PUSH1 0x20
000017a7: ADD
000017a8: SWAP1
000017a9: SWAP3
000017aa: SWAP2
000017ab: SWAP1
000017ac: POP
000017ad: POP
000017ae: POP
000017af: SWAP1
000017b0: POP
000017b1: PUSH1 0x00
000017b3: PUSH2 0x17d5
000017b6: DUP6
000017b7: PUSH14 0xffffffffffffffffffffffffffff
000017c6: AND
000017c7: DUP5
000017c8: PUSH2 0x2e32
000017cb: SWAP1
000017cc: SWAP2
000017cd: SWAP1
000017ce: PUSH4 0xffffffff
000017d3: AND
000017d4: JUMP
000017d5: JUMPDEST
000017d6: SWAP1
000017d7: POP
000017d8: PUSH1 0x00
000017da: PUSH2 0x17fc
000017dd: DUP6
000017de: PUSH14 0xffffffffffffffffffffffffffff
000017ed: AND
000017ee: DUP5
000017ef: PUSH2 0x2e32
000017f2: SWAP1
000017f3: SWAP2
000017f4: SWAP1
000017f5: PUSH4 0xffffffff
000017fa: AND
000017fb: JUMP
000017fc: JUMPDEST
000017fd: SWAP1
000017fe: POP
000017ff: PUSH1 0x00
00001801: PUSH2 0x180a
00001804: DUP8
00001805: DUP8
00001806: PUSH2 0x3492
00001809: JUMP
0000180a: JUMPDEST
0000180b: SWAP1
0000180c: POP
0000180d: PUSH1 0x00
0000180f: DUP1
00001810: SLOAD
00001811: SWAP1
00001812: POP
00001813: PUSH1 0x00
00001815: DUP2
00001816: EQ
00001817: ISZERO
00001818: PUSH2 0x1b07
0000181b: JUMPI
0000181c: PUSH1 0x00
0000181e: PUSH1 0x05
00001820: PUSH1 0x00
00001822: SWAP1
00001823: SLOAD
00001824: SWAP1
00001825: PUSH2 0x0100
00001828: EXP
00001829: SWAP1
0000182a: DIV
0000182b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001840: AND
00001841: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001856: AND
00001857: PUSH4 0x7cd07e47
0000185c: PUSH1 0x40
0000185e: MLOAD
0000185f: DUP2
00001860: PUSH4 0xffffffff
00001865: AND
00001866: PUSH1 0xe0
00001868: SHL
00001869: DUP2
0000186a: MSTORE
0000186b: PUSH1 0x04
0000186d: ADD
0000186e: PUSH1 0x20
00001870: PUSH1 0x40
00001872: MLOAD
00001873: DUP1
00001874: DUP4
00001875: SUB
00001876: DUP2
00001877: DUP7
00001878: DUP1
00001879: EXTCODESIZE
0000187a: ISZERO
0000187b: DUP1
0000187c: ISZERO
0000187d: PUSH2 0x1885
00001880: JUMPI
00001881: PUSH1 0x00
00001883: DUP1
00001884: REVERT
00001885: JUMPDEST
00001886: POP
00001887: GAS
00001888: STATICCALL
00001889: ISZERO
0000188a: DUP1
0000188b: ISZERO
0000188c: PUSH2 0x1899
0000188f: JUMPI
00001890: RETURNDATASIZE
00001891: PUSH1 0x00
00001893: DUP1
00001894: RETURNDATACOPY
00001895: RETURNDATASIZE
00001896: PUSH1 0x00
00001898: REVERT
00001899: JUMPDEST
0000189a: POP
0000189b: POP
0000189c: POP
0000189d: POP
0000189e: PUSH1 0x40
000018a0: MLOAD
000018a1: RETURNDATASIZE
000018a2: PUSH1 0x20
000018a4: DUP2
000018a5: LT
000018a6: ISZERO
000018a7: PUSH2 0x18af
000018aa: JUMPI
000018ab: PUSH1 0x00
000018ad: DUP1
000018ae: REVERT
000018af: JUMPDEST
000018b0: DUP2
000018b1: ADD
000018b2: SWAP1
000018b3: DUP1
000018b4: DUP1
000018b5: MLOAD
000018b6: SWAP1
000018b7: PUSH1 0x20
000018b9: ADD
000018ba: SWAP1
000018bb: SWAP3
000018bc: SWAP2
000018bd: SWAP1
000018be: POP
000018bf: POP
000018c0: POP
000018c1: SWAP1
000018c2: POP
000018c3: DUP1
000018c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018d9: AND
000018da: CALLER
000018db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018f0: AND
000018f1: EQ
000018f2: ISZERO
000018f3: PUSH2 0x1a20
000018f6: JUMPI
000018f7: DUP1
000018f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000190d: AND
0000190e: PUSH4 0x40dc0e37
00001913: PUSH1 0x40
00001915: MLOAD
00001916: DUP2
00001917: PUSH4 0xffffffff
0000191c: AND
0000191d: PUSH1 0xe0
0000191f: SHL
00001920: DUP2
00001921: MSTORE
00001922: PUSH1 0x04
00001924: ADD
00001925: PUSH1 0x20
00001927: PUSH1 0x40
00001929: MLOAD
0000192a: DUP1
0000192b: DUP4
0000192c: SUB
0000192d: DUP2
0000192e: DUP7
0000192f: DUP1
00001930: EXTCODESIZE
00001931: ISZERO
00001932: DUP1
00001933: ISZERO
00001934: PUSH2 0x193c
00001937: JUMPI
00001938: PUSH1 0x00
0000193a: DUP1
0000193b: REVERT
0000193c: JUMPDEST
0000193d: POP
0000193e: GAS
0000193f: STATICCALL
00001940: ISZERO
00001941: DUP1
00001942: ISZERO
00001943: PUSH2 0x1950
00001946: JUMPI
00001947: RETURNDATASIZE
00001948: PUSH1 0x00
0000194a: DUP1
0000194b: RETURNDATACOPY
0000194c: RETURNDATASIZE
0000194d: PUSH1 0x00
0000194f: REVERT
00001950: JUMPDEST
00001951: POP
00001952: POP
00001953: POP
00001954: POP
00001955: PUSH1 0x40
00001957: MLOAD
00001958: RETURNDATASIZE
00001959: PUSH1 0x20
0000195b: DUP2
0000195c: LT
0000195d: ISZERO
0000195e: PUSH2 0x1966
00001961: JUMPI
00001962: PUSH1 0x00
00001964: DUP1
00001965: REVERT
00001966: JUMPDEST
00001967: DUP2
00001968: ADD
00001969: SWAP1
0000196a: DUP1
0000196b: DUP1
0000196c: MLOAD
0000196d: SWAP1
0000196e: PUSH1 0x20
00001970: ADD
00001971: SWAP1
00001972: SWAP3
00001973: SWAP2
00001974: SWAP1
00001975: POP
00001976: POP
00001977: POP
00001978: SWAP10
00001979: POP
0000197a: PUSH1 0x00
0000197c: DUP11
0000197d: GT
0000197e: DUP1
0000197f: ISZERO
00001980: PUSH2 0x19a9
00001983: JUMPI
00001984: POP
00001985: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000019a6: DUP11
000019a7: EQ
000019a8: ISZERO
000019a9: JUMPDEST
000019aa: PUSH2 0x1a1b
000019ad: JUMPI
000019ae: PUSH1 0x40
000019b0: MLOAD
000019b1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019d2: DUP2
000019d3: MSTORE
000019d4: PUSH1 0x04
000019d6: ADD
000019d7: DUP1
000019d8: DUP1
000019d9: PUSH1 0x20
000019db: ADD
000019dc: DUP3
000019dd: DUP2
000019de: SUB
000019df: DUP3
000019e0: MSTORE
000019e1: PUSH1 0x15
000019e3: DUP2
000019e4: MSTORE
000019e5: PUSH1 0x20
000019e7: ADD
000019e8: DUP1
000019e9: PUSH32 0x4261642064657369726564206c69717569646974790000000000000000000000
00001a0a: DUP2
00001a0b: MSTORE
00001a0c: POP
00001a0d: PUSH1 0x20
00001a0f: ADD
00001a10: SWAP2
00001a11: POP
00001a12: POP
00001a13: PUSH1 0x40
00001a15: MLOAD
00001a16: DUP1
00001a17: SWAP2
00001a18: SUB
00001a19: SWAP1
00001a1a: REVERT
00001a1b: JUMPDEST
00001a1c: PUSH2 0x1b01
00001a1f: JUMP
00001a20: JUMPDEST
00001a21: PUSH1 0x00
00001a23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a38: AND
00001a39: DUP2
00001a3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a4f: AND
00001a50: EQ
00001a51: PUSH2 0x1ac2
00001a54: JUMPI
00001a55: PUSH1 0x40
00001a57: MLOAD
00001a58: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a79: DUP2
00001a7a: MSTORE
00001a7b: PUSH1 0x04
00001a7d: ADD
00001a7e: DUP1
00001a7f: DUP1
00001a80: PUSH1 0x20
00001a82: ADD
00001a83: DUP3
00001a84: DUP2
00001a85: SUB
00001a86: DUP3
00001a87: MSTORE
00001a88: PUSH1 0x16
00001a8a: DUP2
00001a8b: MSTORE
00001a8c: PUSH1 0x20
00001a8e: ADD
00001a8f: DUP1
00001a90: PUSH32 0x4d757374206e6f742068617665206d69677261746f7200000000000000000000
00001ab1: DUP2
00001ab2: MSTORE
00001ab3: POP
00001ab4: PUSH1 0x20
00001ab6: ADD
00001ab7: SWAP2
00001ab8: POP
00001ab9: POP
00001aba: PUSH1 0x40
00001abc: MLOAD
00001abd: DUP1
00001abe: SWAP2
00001abf: SUB
00001ac0: SWAP1
00001ac1: REVERT
00001ac2: JUMPDEST
00001ac3: PUSH2 0x1af1
00001ac6: PUSH2 0x03e8
00001ac9: PUSH2 0x1ae3
00001acc: PUSH2 0x1ade
00001acf: DUP8
00001ad0: DUP10
00001ad1: PUSH2 0x2d9d
00001ad4: SWAP1
00001ad5: SWAP2
00001ad6: SWAP1
00001ad7: PUSH4 0xffffffff
00001adc: AND
00001add: JUMP
00001ade: JUMPDEST
00001adf: PUSH2 0x3673
00001ae2: JUMP
00001ae3: JUMPDEST
00001ae4: PUSH2 0x2e32
00001ae7: SWAP1
00001ae8: SWAP2
00001ae9: SWAP1
00001aea: PUSH4 0xffffffff
00001aef: AND
00001af0: JUMP
00001af1: JUMPDEST
00001af2: SWAP10
00001af3: POP
00001af4: PUSH2 0x1b00
00001af7: PUSH1 0x00
00001af9: PUSH2 0x03e8
00001afc: PUSH2 0x36d5
00001aff: JUMP
00001b00: JUMPDEST
00001b01: JUMPDEST
00001b02: POP
00001b03: PUSH2 0x1b6a
00001b06: JUMP
00001b07: JUMPDEST
00001b08: PUSH2 0x1b67
00001b0b: DUP9
00001b0c: PUSH14 0xffffffffffffffffffffffffffff
00001b1b: AND
00001b1c: PUSH2 0x1b2e
00001b1f: DUP4
00001b20: DUP8
00001b21: PUSH2 0x2d9d
00001b24: SWAP1
00001b25: SWAP2
00001b26: SWAP1
00001b27: PUSH4 0xffffffff
00001b2c: AND
00001b2d: JUMP
00001b2e: JUMPDEST
00001b2f: DUP2
00001b30: PUSH2 0x1b35
00001b33: JUMPI
00001b34: INVALID
00001b35: JUMPDEST
00001b36: DIV
00001b37: DUP9
00001b38: PUSH14 0xffffffffffffffffffffffffffff
00001b47: AND
00001b48: PUSH2 0x1b5a
00001b4b: DUP5
00001b4c: DUP8
00001b4d: PUSH2 0x2d9d
00001b50: SWAP1
00001b51: SWAP2
00001b52: SWAP1
00001b53: PUSH4 0xffffffff
00001b58: AND
00001b59: JUMP
00001b5a: JUMPDEST
00001b5b: DUP2
00001b5c: PUSH2 0x1b61
00001b5f: JUMPI
00001b60: INVALID
00001b61: JUMPDEST
00001b62: DIV
00001b63: PUSH2 0x37ef
00001b66: JUMP
00001b67: JUMPDEST
00001b68: SWAP9
00001b69: POP
00001b6a: JUMPDEST
00001b6b: PUSH1 0x00
00001b6d: DUP10
00001b6e: GT
00001b6f: PUSH2 0x1bc3
00001b72: JUMPI
00001b73: PUSH1 0x40
00001b75: MLOAD
00001b76: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b97: DUP2
00001b98: MSTORE
00001b99: PUSH1 0x04
00001b9b: ADD
00001b9c: DUP1
00001b9d: DUP1
00001b9e: PUSH1 0x20
00001ba0: ADD
00001ba1: DUP3
00001ba2: DUP2
00001ba3: SUB
00001ba4: DUP3
00001ba5: MSTORE
00001ba6: PUSH1 0x28
00001ba8: DUP2
00001ba9: MSTORE
00001baa: PUSH1 0x20
00001bac: ADD
00001bad: DUP1
00001bae: PUSH2 0x3ac3
00001bb1: PUSH1 0x28
00001bb3: SWAP2
00001bb4: CODECOPY
00001bb5: PUSH1 0x40
00001bb7: ADD
00001bb8: SWAP2
00001bb9: POP
00001bba: POP
00001bbb: PUSH1 0x40
00001bbd: MLOAD
00001bbe: DUP1
00001bbf: SWAP2
00001bc0: SUB
00001bc1: SWAP1
00001bc2: REVERT
00001bc3: JUMPDEST
00001bc4: PUSH2 0x1bcd
00001bc7: DUP11
00001bc8: DUP11
00001bc9: PUSH2 0x36d5
00001bcc: JUMP
00001bcd: JUMPDEST
00001bce: PUSH2 0x1bd9
00001bd1: DUP7
00001bd2: DUP7
00001bd3: DUP11
00001bd4: DUP11
00001bd5: PUSH2 0x2eb5
00001bd8: JUMP
00001bd9: JUMPDEST
00001bda: DUP2
00001bdb: ISZERO
00001bdc: PUSH2 0x1c51
00001bdf: JUMPI
00001be0: PUSH2 0x1c4a
00001be3: PUSH1 0x08
00001be5: PUSH1 0x0e
00001be7: SWAP1
00001be8: SLOAD
00001be9: SWAP1
00001bea: PUSH2 0x0100
00001bed: EXP
00001bee: SWAP1
00001bef: DIV
00001bf0: PUSH14 0xffffffffffffffffffffffffffff
00001bff: AND
00001c00: PUSH14 0xffffffffffffffffffffffffffff
00001c0f: AND
00001c10: PUSH1 0x08
00001c12: PUSH1 0x00
00001c14: SWAP1
00001c15: SLOAD
00001c16: SWAP1
00001c17: PUSH2 0x0100
00001c1a: EXP
00001c1b: SWAP1
00001c1c: DIV
00001c1d: PUSH14 0xffffffffffffffffffffffffffff
00001c2c: AND
00001c2d: PUSH14 0xffffffffffffffffffffffffffff
00001c3c: AND
00001c3d: PUSH2 0x2d9d
00001c40: SWAP1
00001c41: SWAP2
00001c42: SWAP1
00001c43: PUSH4 0xffffffff
00001c48: AND
00001c49: JUMP
00001c4a: JUMPDEST
00001c4b: PUSH1 0x0b
00001c4d: DUP2
00001c4e: SWAP1
00001c4f: SSTORE
00001c50: POP
00001c51: JUMPDEST
00001c52: CALLER
00001c53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c68: AND
00001c69: PUSH32 0x4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f
00001c8a: DUP6
00001c8b: DUP6
00001c8c: PUSH1 0x40
00001c8e: MLOAD
00001c8f: DUP1
00001c90: DUP4
00001c91: DUP2
00001c92: MSTORE
00001c93: PUSH1 0x20
00001c95: ADD
00001c96: DUP3
00001c97: DUP2
00001c98: MSTORE
00001c99: PUSH1 0x20
00001c9b: ADD
00001c9c: SWAP3
00001c9d: POP
00001c9e: POP
00001c9f: POP
00001ca0: PUSH1 0x40
00001ca2: MLOAD
00001ca3: DUP1
00001ca4: SWAP2
00001ca5: SUB
00001ca6: SWAP1
00001ca7: LOG2
00001ca8: POP
00001ca9: POP
00001caa: POP
00001cab: POP
00001cac: POP
00001cad: POP
00001cae: POP
00001caf: POP
00001cb0: PUSH1 0x01
00001cb2: PUSH1 0x0c
00001cb4: DUP2
00001cb5: SWAP1
00001cb6: SSTORE
00001cb7: POP
00001cb8: SWAP2
00001cb9: SWAP1
00001cba: POP
00001cbb: JUMP
00001cbc: JUMPDEST
00001cbd: PUSH1 0x01
00001cbf: PUSH1 0x20
00001cc1: MSTORE
00001cc2: DUP1
00001cc3: PUSH1 0x00
00001cc5: MSTORE
00001cc6: PUSH1 0x40
00001cc8: PUSH1 0x00
00001cca: KECCAK256
00001ccb: PUSH1 0x00
00001ccd: SWAP2
00001cce: POP
00001ccf: SWAP1
00001cd0: POP
00001cd1: SLOAD
00001cd2: DUP2
00001cd3: JUMP
00001cd4: JUMPDEST
00001cd5: PUSH1 0x0b
00001cd7: SLOAD
00001cd8: DUP2
00001cd9: JUMP
00001cda: JUMPDEST
00001cdb: PUSH1 0x04
00001cdd: PUSH1 0x20
00001cdf: MSTORE
00001ce0: DUP1
00001ce1: PUSH1 0x00
00001ce3: MSTORE
00001ce4: PUSH1 0x40
00001ce6: PUSH1 0x00
00001ce8: KECCAK256
00001ce9: PUSH1 0x00
00001ceb: SWAP2
00001cec: POP
00001ced: SWAP1
00001cee: POP
00001cef: SLOAD
00001cf0: DUP2
00001cf1: JUMP
00001cf2: JUMPDEST
00001cf3: PUSH1 0x00
00001cf5: DUP1
00001cf6: PUSH1 0x01
00001cf8: PUSH1 0x0c
00001cfa: SLOAD
00001cfb: EQ
00001cfc: PUSH2 0x1d6d
00001cff: JUMPI
00001d00: PUSH1 0x40
00001d02: MLOAD
00001d03: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d24: DUP2
00001d25: MSTORE
00001d26: PUSH1 0x04
00001d28: ADD
00001d29: DUP1
00001d2a: DUP1
00001d2b: PUSH1 0x20
00001d2d: ADD
00001d2e: DUP3
00001d2f: DUP2
00001d30: SUB
00001d31: DUP3
00001d32: MSTORE
00001d33: PUSH1 0x11
00001d35: DUP2
00001d36: MSTORE
00001d37: PUSH1 0x20
00001d39: ADD
00001d3a: DUP1
00001d3b: PUSH32 0x556e697377617056323a204c4f434b4544000000000000000000000000000000
00001d5c: DUP2
00001d5d: MSTORE
00001d5e: POP
00001d5f: PUSH1 0x20
00001d61: ADD
00001d62: SWAP2
00001d63: POP
00001d64: POP
00001d65: PUSH1 0x40
00001d67: MLOAD
00001d68: DUP1
00001d69: SWAP2
00001d6a: SUB
00001d6b: SWAP1
00001d6c: REVERT
00001d6d: JUMPDEST
00001d6e: PUSH1 0x00
00001d70: PUSH1 0x0c
00001d72: DUP2
00001d73: SWAP1
00001d74: SSTORE
00001d75: POP
00001d76: PUSH1 0x00
00001d78: DUP1
00001d79: PUSH2 0x1d80
00001d7c: PUSH2 0x119c
00001d7f: JUMP
00001d80: JUMPDEST
00001d81: POP
00001d82: SWAP2
00001d83: POP
00001d84: SWAP2
00001d85: POP
00001d86: PUSH1 0x00
00001d88: PUSH1 0x06
00001d8a: PUSH1 0x00
00001d8c: SWAP1
00001d8d: SLOAD
00001d8e: SWAP1
00001d8f: PUSH2 0x0100
00001d92: EXP
00001d93: SWAP1
00001d94: DIV
00001d95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001daa: AND
00001dab: SWAP1
00001dac: POP
00001dad: PUSH1 0x00
00001daf: PUSH1 0x07
00001db1: PUSH1 0x00
00001db3: SWAP1
00001db4: SLOAD
00001db5: SWAP1
00001db6: PUSH2 0x0100
00001db9: EXP
00001dba: SWAP1
00001dbb: DIV
00001dbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dd1: AND
00001dd2: SWAP1
00001dd3: POP
00001dd4: PUSH1 0x00
00001dd6: DUP3
00001dd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dec: AND
00001ded: PUSH4 0x70a08231
00001df2: ADDRESS
00001df3: PUSH1 0x40
00001df5: MLOAD
00001df6: DUP3
00001df7: PUSH4 0xffffffff
00001dfc: AND
00001dfd: PUSH1 0xe0
00001dff: SHL
00001e00: DUP2
00001e01: MSTORE
00001e02: PUSH1 0x04
00001e04: ADD
00001e05: DUP1
00001e06: DUP3
00001e07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e1c: AND
00001e1d: DUP2
00001e1e: MSTORE
00001e1f: PUSH1 0x20
00001e21: ADD
00001e22: SWAP2
00001e23: POP
00001e24: POP
00001e25: PUSH1 0x20
00001e27: PUSH1 0x40
00001e29: MLOAD
00001e2a: DUP1
00001e2b: DUP4
00001e2c: SUB
00001e2d: DUP2
00001e2e: DUP7
00001e2f: DUP1
00001e30: EXTCODESIZE
00001e31: ISZERO
00001e32: DUP1
00001e33: ISZERO
00001e34: PUSH2 0x1e3c
00001e37: JUMPI
00001e38: PUSH1 0x00
00001e3a: DUP1
00001e3b: REVERT
00001e3c: JUMPDEST
00001e3d: POP
00001e3e: GAS
00001e3f: STATICCALL
00001e40: ISZERO
00001e41: DUP1
00001e42: ISZERO
00001e43: PUSH2 0x1e50
00001e46: JUMPI
00001e47: RETURNDATASIZE
00001e48: PUSH1 0x00
00001e4a: DUP1
00001e4b: RETURNDATACOPY
00001e4c: RETURNDATASIZE
00001e4d: PUSH1 0x00
00001e4f: REVERT
00001e50: JUMPDEST
00001e51: POP
00001e52: POP
00001e53: POP
00001e54: POP
00001e55: PUSH1 0x40
00001e57: MLOAD
00001e58: RETURNDATASIZE
00001e59: PUSH1 0x20
00001e5b: DUP2
00001e5c: LT
00001e5d: ISZERO
00001e5e: PUSH2 0x1e66
00001e61: JUMPI
00001e62: PUSH1 0x00
00001e64: DUP1
00001e65: REVERT
00001e66: JUMPDEST
00001e67: DUP2
00001e68: ADD
00001e69: SWAP1
00001e6a: DUP1
00001e6b: DUP1
00001e6c: MLOAD
00001e6d: SWAP1
00001e6e: PUSH1 0x20
00001e70: ADD
00001e71: SWAP1
00001e72: SWAP3
00001e73: SWAP2
00001e74: SWAP1
00001e75: POP
00001e76: POP
00001e77: POP
00001e78: SWAP1
00001e79: POP
00001e7a: PUSH1 0x00
00001e7c: DUP3
00001e7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e92: AND
00001e93: PUSH4 0x70a08231
00001e98: ADDRESS
00001e99: PUSH1 0x40
00001e9b: MLOAD
00001e9c: DUP3
00001e9d: PUSH4 0xffffffff
00001ea2: AND
00001ea3: PUSH1 0xe0
00001ea5: SHL
00001ea6: DUP2
00001ea7: MSTORE
00001ea8: PUSH1 0x04
00001eaa: ADD
00001eab: DUP1
00001eac: DUP3
00001ead: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ec2: AND
00001ec3: DUP2
00001ec4: MSTORE
00001ec5: PUSH1 0x20
00001ec7: ADD
00001ec8: SWAP2
00001ec9: POP
00001eca: POP
00001ecb: PUSH1 0x20
00001ecd: PUSH1 0x40
00001ecf: MLOAD
00001ed0: DUP1
00001ed1: DUP4
00001ed2: SUB
00001ed3: DUP2
00001ed4: DUP7
00001ed5: DUP1
00001ed6: EXTCODESIZE
00001ed7: ISZERO
00001ed8: DUP1
00001ed9: ISZERO
00001eda: PUSH2 0x1ee2
00001edd: JUMPI
00001ede: PUSH1 0x00
00001ee0: DUP1
00001ee1: REVERT
00001ee2: JUMPDEST
00001ee3: POP
00001ee4: GAS
00001ee5: STATICCALL
00001ee6: ISZERO
00001ee7: DUP1
00001ee8: ISZERO
00001ee9: PUSH2 0x1ef6
00001eec: JUMPI
00001eed: RETURNDATASIZE
00001eee: PUSH1 0x00
00001ef0: DUP1
00001ef1: RETURNDATACOPY
00001ef2: RETURNDATASIZE
00001ef3: PUSH1 0x00
00001ef5: REVERT
00001ef6: JUMPDEST
00001ef7: POP
00001ef8: POP
00001ef9: POP
00001efa: POP
00001efb: PUSH1 0x40
00001efd: MLOAD
00001efe: RETURNDATASIZE
00001eff: PUSH1 0x20
00001f01: DUP2
00001f02: LT
00001f03: ISZERO
00001f04: PUSH2 0x1f0c
00001f07: JUMPI
00001f08: PUSH1 0x00
00001f0a: DUP1
00001f0b: REVERT
00001f0c: JUMPDEST
00001f0d: DUP2
00001f0e: ADD
00001f0f: SWAP1
00001f10: DUP1
00001f11: DUP1
00001f12: MLOAD
00001f13: SWAP1
00001f14: PUSH1 0x20
00001f16: ADD
00001f17: SWAP1
00001f18: SWAP3
00001f19: SWAP2
00001f1a: SWAP1
00001f1b: POP
00001f1c: POP
00001f1d: POP
00001f1e: SWAP1
00001f1f: POP
00001f20: PUSH1 0x00
00001f22: PUSH1 0x01
00001f24: PUSH1 0x00
00001f26: ADDRESS
00001f27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f3c: AND
00001f3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f52: AND
00001f53: DUP2
00001f54: MSTORE
00001f55: PUSH1 0x20
00001f57: ADD
00001f58: SWAP1
00001f59: DUP2
00001f5a: MSTORE
00001f5b: PUSH1 0x20
00001f5d: ADD
00001f5e: PUSH1 0x00
00001f60: KECCAK256
00001f61: SLOAD
00001f62: SWAP1
00001f63: POP
00001f64: PUSH1 0x00
00001f66: PUSH2 0x1f6f
00001f69: DUP9
00001f6a: DUP9
00001f6b: PUSH2 0x3492
00001f6e: JUMP
00001f6f: JUMPDEST
00001f70: SWAP1
00001f71: POP
00001f72: PUSH1 0x00
00001f74: DUP1
00001f75: SLOAD
00001f76: SWAP1
00001f77: POP
00001f78: DUP1
00001f79: PUSH2 0x1f8b
00001f7c: DUP7
00001f7d: DUP6
00001f7e: PUSH2 0x2d9d
00001f81: SWAP1
00001f82: SWAP2
00001f83: SWAP1
00001f84: PUSH4 0xffffffff
00001f89: AND
00001f8a: JUMP
00001f8b: JUMPDEST
00001f8c: DUP2
00001f8d: PUSH2 0x1f92
00001f90: JUMPI
00001f91: INVALID
00001f92: JUMPDEST
00001f93: DIV
00001f94: SWAP11
00001f95: POP
00001f96: DUP1
00001f97: PUSH2 0x1fa9
00001f9a: DUP6
00001f9b: DUP6
00001f9c: PUSH2 0x2d9d
00001f9f: SWAP1
00001fa0: SWAP2
00001fa1: SWAP1
00001fa2: PUSH4 0xffffffff
00001fa7: AND
00001fa8: JUMP
00001fa9: JUMPDEST
00001faa: DUP2
00001fab: PUSH2 0x1fb0
00001fae: JUMPI
00001faf: INVALID
00001fb0: JUMPDEST
00001fb1: DIV
00001fb2: SWAP10
00001fb3: POP
00001fb4: PUSH1 0x00
00001fb6: DUP12
00001fb7: GT
00001fb8: DUP1
00001fb9: ISZERO
00001fba: PUSH2 0x1fc3
00001fbd: JUMPI
00001fbe: POP
00001fbf: PUSH1 0x00
00001fc1: DUP11
00001fc2: GT
00001fc3: JUMPDEST
00001fc4: PUSH2 0x2018
00001fc7: JUMPI
00001fc8: PUSH1 0x40
00001fca: MLOAD
00001fcb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001fec: DUP2
00001fed: MSTORE
00001fee: PUSH1 0x04
00001ff0: ADD
00001ff1: DUP1
00001ff2: DUP1
00001ff3: PUSH1 0x20
00001ff5: ADD
00001ff6: DUP3
00001ff7: DUP2
00001ff8: SUB
00001ff9: DUP3
00001ffa: MSTORE
00001ffb: PUSH1 0x28
00001ffd: DUP2
00001ffe: MSTORE
00001fff: PUSH1 0x20
00002001: ADD
00002002: DUP1
00002003: PUSH2 0x3a9b
00002006: PUSH1 0x28
00002008: SWAP2
00002009: CODECOPY
0000200a: PUSH1 0x40
0000200c: ADD
0000200d: SWAP2
0000200e: POP
0000200f: POP
00002010: PUSH1 0x40
00002012: MLOAD
00002013: DUP1
00002014: SWAP2
00002015: SUB
00002016: SWAP1
00002017: REVERT
00002018: JUMPDEST
00002019: PUSH2 0x2022
0000201c: ADDRESS
0000201d: DUP5
0000201e: PUSH2 0x3808
00002021: JUMP
00002022: JUMPDEST
00002023: PUSH2 0x202d
00002026: DUP8
00002027: DUP14
00002028: DUP14
00002029: PUSH2 0x2b66
0000202c: JUMP
0000202d: JUMPDEST
0000202e: PUSH2 0x2038
00002031: DUP7
00002032: DUP14
00002033: DUP13
00002034: PUSH2 0x2b66
00002037: JUMP
00002038: JUMPDEST
00002039: DUP7
0000203a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000204f: AND
00002050: PUSH4 0x70a08231
00002055: ADDRESS
00002056: PUSH1 0x40
00002058: MLOAD
00002059: DUP3
0000205a: PUSH4 0xffffffff
0000205f: AND
00002060: PUSH1 0xe0
00002062: SHL
00002063: DUP2
00002064: MSTORE
00002065: PUSH1 0x04
00002067: ADD
00002068: DUP1
00002069: DUP3
0000206a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000207f: AND
00002080: DUP2
00002081: MSTORE
00002082: PUSH1 0x20
00002084: ADD
00002085: SWAP2
00002086: POP
00002087: POP
00002088: PUSH1 0x20
0000208a: PUSH1 0x40
0000208c: MLOAD
0000208d: DUP1
0000208e: DUP4
0000208f: SUB
00002090: DUP2
00002091: DUP7
00002092: DUP1
00002093: EXTCODESIZE
00002094: ISZERO
00002095: DUP1
00002096: ISZERO
00002097: PUSH2 0x209f
0000209a: JUMPI
0000209b: PUSH1 0x00
0000209d: DUP1
0000209e: REVERT
0000209f: JUMPDEST
000020a0: POP
000020a1: GAS
000020a2: STATICCALL
000020a3: ISZERO
000020a4: DUP1
000020a5: ISZERO
000020a6: PUSH2 0x20b3
000020a9: JUMPI
000020aa: RETURNDATASIZE
000020ab: PUSH1 0x00
000020ad: DUP1
000020ae: RETURNDATACOPY
000020af: RETURNDATASIZE
000020b0: PUSH1 0x00
000020b2: REVERT
000020b3: JUMPDEST
000020b4: POP
000020b5: POP
000020b6: POP
000020b7: POP
000020b8: PUSH1 0x40
000020ba: MLOAD
000020bb: RETURNDATASIZE
000020bc: PUSH1 0x20
000020be: DUP2
000020bf: LT
000020c0: ISZERO
000020c1: PUSH2 0x20c9
000020c4: JUMPI
000020c5: PUSH1 0x00
000020c7: DUP1
000020c8: REVERT
000020c9: JUMPDEST
000020ca: DUP2
000020cb: ADD
000020cc: SWAP1
000020cd: DUP1
000020ce: DUP1
000020cf: MLOAD
000020d0: SWAP1
000020d1: PUSH1 0x20
000020d3: ADD
000020d4: SWAP1
000020d5: SWAP3
000020d6: SWAP2
000020d7: SWAP1
000020d8: POP
000020d9: POP
000020da: POP
000020db: SWAP5
000020dc: POP
000020dd: DUP6
000020de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020f3: AND
000020f4: PUSH4 0x70a08231
000020f9: ADDRESS
000020fa: PUSH1 0x40
000020fc: MLOAD
000020fd: DUP3
000020fe: PUSH4 0xffffffff
00002103: AND
00002104: PUSH1 0xe0
00002106: SHL
00002107: DUP2
00002108: MSTORE
00002109: PUSH1 0x04
0000210b: ADD
0000210c: DUP1
0000210d: DUP3
0000210e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002123: AND
00002124: DUP2
00002125: MSTORE
00002126: PUSH1 0x20
00002128: ADD
00002129: SWAP2
0000212a: POP
0000212b: POP
0000212c: PUSH1 0x20
0000212e: PUSH1 0x40
00002130: MLOAD
00002131: DUP1
00002132: DUP4
00002133: SUB
00002134: DUP2
00002135: DUP7
00002136: DUP1
00002137: EXTCODESIZE
00002138: ISZERO
00002139: DUP1
0000213a: ISZERO
0000213b: PUSH2 0x2143
0000213e: JUMPI
0000213f: PUSH1 0x00
00002141: DUP1
00002142: REVERT
00002143: JUMPDEST
00002144: POP
00002145: GAS
00002146: STATICCALL
00002147: ISZERO
00002148: DUP1
00002149: ISZERO
0000214a: PUSH2 0x2157
0000214d: JUMPI
0000214e: RETURNDATASIZE
0000214f: PUSH1 0x00
00002151: DUP1
00002152: RETURNDATACOPY
00002153: RETURNDATASIZE
00002154: PUSH1 0x00
00002156: REVERT
00002157: JUMPDEST
00002158: POP
00002159: POP
0000215a: POP
0000215b: POP
0000215c: PUSH1 0x40
0000215e: MLOAD
0000215f: RETURNDATASIZE
00002160: PUSH1 0x20
00002162: DUP2
00002163: LT
00002164: ISZERO
00002165: PUSH2 0x216d
00002168: JUMPI
00002169: PUSH1 0x00
0000216b: DUP1
0000216c: REVERT
0000216d: JUMPDEST
0000216e: DUP2
0000216f: ADD
00002170: SWAP1
00002171: DUP1
00002172: DUP1
00002173: MLOAD
00002174: SWAP1
00002175: PUSH1 0x20
00002177: ADD
00002178: SWAP1
00002179: SWAP3
0000217a: SWAP2
0000217b: SWAP1
0000217c: POP
0000217d: POP
0000217e: POP
0000217f: SWAP4
00002180: POP
00002181: PUSH2 0x218c
00002184: DUP6
00002185: DUP6
00002186: DUP12
00002187: DUP12
00002188: PUSH2 0x2eb5
0000218b: JUMP
0000218c: JUMPDEST
0000218d: DUP2
0000218e: ISZERO
0000218f: PUSH2 0x2204
00002192: JUMPI
00002193: PUSH2 0x21fd
00002196: PUSH1 0x08
00002198: PUSH1 0x0e
0000219a: SWAP1
0000219b: SLOAD
0000219c: SWAP1
0000219d: PUSH2 0x0100
000021a0: EXP
000021a1: SWAP1
000021a2: DIV
000021a3: PUSH14 0xffffffffffffffffffffffffffff
000021b2: AND
000021b3: PUSH14 0xffffffffffffffffffffffffffff
000021c2: AND
000021c3: PUSH1 0x08
000021c5: PUSH1 0x00
000021c7: SWAP1
000021c8: SLOAD
000021c9: SWAP1
000021ca: PUSH2 0x0100
000021cd: EXP
000021ce: SWAP1
000021cf: DIV
000021d0: PUSH14 0xffffffffffffffffffffffffffff
000021df: AND
000021e0: PUSH14 0xffffffffffffffffffffffffffff
000021ef: AND
000021f0: PUSH2 0x2d9d
000021f3: SWAP1
000021f4: SWAP2
000021f5: SWAP1
000021f6: PUSH4 0xffffffff
000021fb: AND
000021fc: JUMP
000021fd: JUMPDEST
000021fe: PUSH1 0x0b
00002200: DUP2
00002201: SWAP1
00002202: SSTORE
00002203: POP
00002204: JUMPDEST
00002205: DUP12
00002206: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000221b: AND
0000221c: CALLER
0000221d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002232: AND
00002233: PUSH32 0xdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496
00002254: DUP14
00002255: DUP14
00002256: PUSH1 0x40
00002258: MLOAD
00002259: DUP1
0000225a: DUP4
0000225b: DUP2
0000225c: MSTORE
0000225d: PUSH1 0x20
0000225f: ADD
00002260: DUP3
00002261: DUP2
00002262: MSTORE
00002263: PUSH1 0x20
00002265: ADD
00002266: SWAP3
00002267: POP
00002268: POP
00002269: POP
0000226a: PUSH1 0x40
0000226c: MLOAD
0000226d: DUP1
0000226e: SWAP2
0000226f: SUB
00002270: SWAP1
00002271: LOG3
00002272: POP
00002273: POP
00002274: POP
00002275: POP
00002276: POP
00002277: POP
00002278: POP
00002279: POP
0000227a: POP
0000227b: PUSH1 0x01
0000227d: PUSH1 0x0c
0000227f: DUP2
00002280: SWAP1
00002281: SSTORE
00002282: POP
00002283: SWAP2
00002284: POP
00002285: SWAP2
00002286: JUMP
00002287: JUMPDEST
00002288: PUSH1 0x40
0000228a: MLOAD
0000228b: DUP1
0000228c: PUSH1 0x40
0000228e: ADD
0000228f: PUSH1 0x40
00002291: MSTORE
00002292: DUP1
00002293: PUSH1 0x06
00002295: DUP2
00002296: MSTORE
00002297: PUSH1 0x20
00002299: ADD
0000229a: PUSH32 0x4e4554484c500000000000000000000000000000000000000000000000000000
000022bb: DUP2
000022bc: MSTORE
000022bd: POP
000022be: DUP2
000022bf: JUMP
000022c0: JUMPDEST
000022c1: PUSH1 0x00
000022c3: PUSH2 0x22cd
000022c6: CALLER
000022c7: DUP5
000022c8: DUP5
000022c9: PUSH2 0x32fe
000022cc: JUMP
000022cd: JUMPDEST
000022ce: PUSH1 0x01
000022d0: SWAP1
000022d1: POP
000022d2: SWAP3
000022d3: SWAP2
000022d4: POP
000022d5: POP
000022d6: JUMP
000022d7: JUMPDEST
000022d8: PUSH2 0x03e8
000022db: DUP2
000022dc: JUMP
000022dd: JUMPDEST
000022de: PUSH1 0x01
000022e0: PUSH1 0x0c
000022e2: SLOAD
000022e3: EQ
000022e4: PUSH2 0x2355
000022e7: JUMPI
000022e8: PUSH1 0x40
000022ea: MLOAD
000022eb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000230c: DUP2
0000230d: MSTORE
0000230e: PUSH1 0x04
00002310: ADD
00002311: DUP1
00002312: DUP1
00002313: PUSH1 0x20
00002315: ADD
00002316: DUP3
00002317: DUP2
00002318: SUB
00002319: DUP3
0000231a: MSTORE
0000231b: PUSH1 0x11
0000231d: DUP2
0000231e: MSTORE
0000231f: PUSH1 0x20
00002321: ADD
00002322: DUP1
00002323: PUSH32 0x556e697377617056323a204c4f434b4544000000000000000000000000000000
00002344: DUP2
00002345: MSTORE
00002346: POP
00002347: PUSH1 0x20
00002349: ADD
0000234a: SWAP2
0000234b: POP
0000234c: POP
0000234d: PUSH1 0x40
0000234f: MLOAD
00002350: DUP1
00002351: SWAP2
00002352: SUB
00002353: SWAP1
00002354: REVERT
00002355: JUMPDEST
00002356: PUSH1 0x00
00002358: PUSH1 0x0c
0000235a: DUP2
0000235b: SWAP1
0000235c: SSTORE
0000235d: POP
0000235e: PUSH1 0x00
00002360: PUSH1 0x06
00002362: PUSH1 0x00
00002364: SWAP1
00002365: SLOAD
00002366: SWAP1
00002367: PUSH2 0x0100
0000236a: EXP
0000236b: SWAP1
0000236c: DIV
0000236d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002382: AND
00002383: SWAP1
00002384: POP
00002385: PUSH1 0x00
00002387: PUSH1 0x07
00002389: PUSH1 0x00
0000238b: SWAP1
0000238c: SLOAD
0000238d: SWAP1
0000238e: PUSH2 0x0100
00002391: EXP
00002392: SWAP1
00002393: DIV
00002394: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023a9: AND
000023aa: SWAP1
000023ab: POP
000023ac: PUSH2 0x2495
000023af: DUP3
000023b0: DUP5
000023b1: PUSH2 0x2490
000023b4: PUSH1 0x08
000023b6: PUSH1 0x00
000023b8: SWAP1
000023b9: SLOAD
000023ba: SWAP1
000023bb: PUSH2 0x0100
000023be: EXP
000023bf: SWAP1
000023c0: DIV
000023c1: PUSH14 0xffffffffffffffffffffffffffff
000023d0: AND
000023d1: PUSH14 0xffffffffffffffffffffffffffff
000023e0: AND
000023e1: DUP7
000023e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023f7: AND
000023f8: PUSH4 0x70a08231
000023fd: ADDRESS
000023fe: PUSH1 0x40
00002400: MLOAD
00002401: DUP3
00002402: PUSH4 0xffffffff
00002407: AND
00002408: PUSH1 0xe0
0000240a: SHL
0000240b: DUP2
0000240c: MSTORE
0000240d: PUSH1 0x04
0000240f: ADD
00002410: DUP1
00002411: DUP3
00002412: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002427: AND
00002428: DUP2
00002429: MSTORE
0000242a: PUSH1 0x20
0000242c: ADD
0000242d: SWAP2
0000242e: POP
0000242f: POP
00002430: PUSH1 0x20
00002432: PUSH1 0x40
00002434: MLOAD
00002435: DUP1
00002436: DUP4
00002437: SUB
00002438: DUP2
00002439: DUP7
0000243a: DUP1
0000243b: EXTCODESIZE
0000243c: ISZERO
0000243d: DUP1
0000243e: ISZERO
0000243f: PUSH2 0x2447
00002442: JUMPI
00002443: PUSH1 0x00
00002445: DUP1
00002446: REVERT
00002447: JUMPDEST
00002448: POP
00002449: GAS
0000244a: STATICCALL
0000244b: ISZERO
0000244c: DUP1
0000244d: ISZERO
0000244e: PUSH2 0x245b
00002451: JUMPI
00002452: RETURNDATASIZE
00002453: PUSH1 0x00
00002455: DUP1
00002456: RETURNDATACOPY
00002457: RETURNDATASIZE
00002458: PUSH1 0x00
0000245a: REVERT
0000245b: JUMPDEST
0000245c: POP
0000245d: POP
0000245e: POP
0000245f: POP
00002460: PUSH1 0x40
00002462: MLOAD
00002463: RETURNDATASIZE
00002464: PUSH1 0x20
00002466: DUP2
00002467: LT
00002468: ISZERO
00002469: PUSH2 0x2471
0000246c: JUMPI
0000246d: PUSH1 0x00
0000246f: DUP1
00002470: REVERT
00002471: JUMPDEST
00002472: DUP2
00002473: ADD
00002474: SWAP1
00002475: DUP1
00002476: DUP1
00002477: MLOAD
00002478: SWAP1
00002479: PUSH1 0x20
0000247b: ADD
0000247c: SWAP1
0000247d: SWAP3
0000247e: SWAP2
0000247f: SWAP1
00002480: POP
00002481: POP
00002482: POP
00002483: PUSH2 0x2e32
00002486: SWAP1
00002487: SWAP2
00002488: SWAP1
00002489: PUSH4 0xffffffff
0000248e: AND
0000248f: JUMP
00002490: JUMPDEST
00002491: PUSH2 0x2b66
00002494: JUMP
00002495: JUMPDEST
00002496: PUSH2 0x257f
00002499: DUP2
0000249a: DUP5
0000249b: PUSH2 0x257a
0000249e: PUSH1 0x08
000024a0: PUSH1 0x0e
000024a2: SWAP1
000024a3: SLOAD
000024a4: SWAP1
000024a5: PUSH2 0x0100
000024a8: EXP
000024a9: SWAP1
000024aa: DIV
000024ab: PUSH14 0xffffffffffffffffffffffffffff
000024ba: AND
000024bb: PUSH14 0xffffffffffffffffffffffffffff
000024ca: AND
000024cb: DUP6
000024cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024e1: AND
000024e2: PUSH4 0x70a08231
000024e7: ADDRESS
000024e8: PUSH1 0x40
000024ea: MLOAD
000024eb: DUP3
000024ec: PUSH4 0xffffffff
000024f1: AND
000024f2: PUSH1 0xe0
000024f4: SHL
000024f5: DUP2
000024f6: MSTORE
000024f7: PUSH1 0x04
000024f9: ADD
000024fa: DUP1
000024fb: DUP3
000024fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002511: AND
00002512: DUP2
00002513: MSTORE
00002514: PUSH1 0x20
00002516: ADD
00002517: SWAP2
00002518: POP
00002519: POP
0000251a: PUSH1 0x20
0000251c: PUSH1 0x40
0000251e: MLOAD
0000251f: DUP1
00002520: DUP4
00002521: SUB
00002522: DUP2
00002523: DUP7
00002524: DUP1
00002525: EXTCODESIZE
00002526: ISZERO
00002527: DUP1
00002528: ISZERO
00002529: PUSH2 0x2531
0000252c: JUMPI
0000252d: PUSH1 0x00
0000252f: DUP1
00002530: REVERT
00002531: JUMPDEST
00002532: POP
00002533: GAS
00002534: STATICCALL
00002535: ISZERO
00002536: DUP1
00002537: ISZERO
00002538: PUSH2 0x2545
0000253b: JUMPI
0000253c: RETURNDATASIZE
0000253d: PUSH1 0x00
0000253f: DUP1
00002540: RETURNDATACOPY
00002541: RETURNDATASIZE
00002542: PUSH1 0x00
00002544: REVERT
00002545: JUMPDEST
00002546: POP
00002547: POP
00002548: POP
00002549: POP
0000254a: PUSH1 0x40
0000254c: MLOAD
0000254d: RETURNDATASIZE
0000254e: PUSH1 0x20
00002550: DUP2
00002551: LT
00002552: ISZERO
00002553: PUSH2 0x255b
00002556: JUMPI
00002557: PUSH1 0x00
00002559: DUP1
0000255a: REVERT
0000255b: JUMPDEST
0000255c: DUP2
0000255d: ADD
0000255e: SWAP1
0000255f: DUP1
00002560: DUP1
00002561: MLOAD
00002562: SWAP1
00002563: PUSH1 0x20
00002565: ADD
00002566: SWAP1
00002567: SWAP3
00002568: SWAP2
00002569: SWAP1
0000256a: POP
0000256b: POP
0000256c: POP
0000256d: PUSH2 0x2e32
00002570: SWAP1
00002571: SWAP2
00002572: SWAP1
00002573: PUSH4 0xffffffff
00002578: AND
00002579: JUMP
0000257a: JUMPDEST
0000257b: PUSH2 0x2b66
0000257e: JUMP
0000257f: JUMPDEST
00002580: POP
00002581: POP
00002582: PUSH1 0x01
00002584: PUSH1 0x0c
00002586: DUP2
00002587: SWAP1
00002588: SSTORE
00002589: POP
0000258a: POP
0000258b: JUMP
0000258c: JUMPDEST
0000258d: PUSH1 0x05
0000258f: PUSH1 0x00
00002591: SWAP1
00002592: SLOAD
00002593: SWAP1
00002594: PUSH2 0x0100
00002597: EXP
00002598: SWAP1
00002599: DIV
0000259a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025af: AND
000025b0: DUP2
000025b1: JUMP
000025b2: JUMPDEST
000025b3: PUSH1 0x07
000025b5: PUSH1 0x00
000025b7: SWAP1
000025b8: SLOAD
000025b9: SWAP1
000025ba: PUSH2 0x0100
000025bd: EXP
000025be: SWAP1
000025bf: DIV
000025c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025d5: AND
000025d6: DUP2
000025d7: JUMP
000025d8: JUMPDEST
000025d9: TIMESTAMP
000025da: DUP5
000025db: LT
000025dc: ISZERO
000025dd: PUSH2 0x264e
000025e0: JUMPI
000025e1: PUSH1 0x40
000025e3: MLOAD
000025e4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002605: DUP2
00002606: MSTORE
00002607: PUSH1 0x04
00002609: ADD
0000260a: DUP1
0000260b: DUP1
0000260c: PUSH1 0x20
0000260e: ADD
0000260f: DUP3
00002610: DUP2
00002611: SUB
00002612: DUP3
00002613: MSTORE
00002614: PUSH1 0x12
00002616: DUP2
00002617: MSTORE
00002618: PUSH1 0x20
0000261a: ADD
0000261b: DUP1
0000261c: PUSH32 0x556e697377617056323a20455850495245440000000000000000000000000000
0000263d: DUP2
0000263e: MSTORE
0000263f: POP
00002640: PUSH1 0x20
00002642: ADD
00002643: SWAP2
00002644: POP
00002645: POP
00002646: PUSH1 0x40
00002648: MLOAD
00002649: DUP1
0000264a: SWAP2
0000264b: SUB
0000264c: SWAP1
0000264d: REVERT
0000264e: JUMPDEST
0000264f: PUSH1 0x00
00002651: PUSH1 0x03
00002653: SLOAD
00002654: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00002675: PUSH1 0x00
00002677: SHL
00002678: DUP10
00002679: DUP10
0000267a: DUP10
0000267b: PUSH1 0x04
0000267d: PUSH1 0x00
0000267f: DUP15
00002680: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002695: AND
00002696: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026ab: AND
000026ac: DUP2
000026ad: MSTORE
000026ae: PUSH1 0x20
000026b0: ADD
000026b1: SWAP1
000026b2: DUP2
000026b3: MSTORE
000026b4: PUSH1 0x20
000026b6: ADD
000026b7: PUSH1 0x00
000026b9: KECCAK256
000026ba: PUSH1 0x00
000026bc: DUP2
000026bd: SLOAD
000026be: DUP1
000026bf: SWAP3
000026c0: SWAP2
000026c1: SWAP1
000026c2: PUSH1 0x01
000026c4: ADD
000026c5: SWAP2
000026c6: SWAP1
000026c7: POP
000026c8: SSTORE
000026c9: DUP11
000026ca: PUSH1 0x40
000026cc: MLOAD
000026cd: PUSH1 0x20
000026cf: ADD
000026d0: DUP1
000026d1: DUP8
000026d2: DUP2
000026d3: MSTORE
000026d4: PUSH1 0x20
000026d6: ADD
000026d7: DUP7
000026d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026ed: AND
000026ee: DUP2
000026ef: MSTORE
000026f0: PUSH1 0x20
000026f2: ADD
000026f3: DUP6
000026f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002709: AND
0000270a: DUP2
0000270b: MSTORE
0000270c: PUSH1 0x20
0000270e: ADD
0000270f: DUP5
00002710: DUP2
00002711: MSTORE
00002712: PUSH1 0x20
00002714: ADD
00002715: DUP4
00002716: DUP2
00002717: MSTORE
00002718: PUSH1 0x20
0000271a: ADD
0000271b: DUP3
0000271c: DUP2
0000271d: MSTORE
0000271e: PUSH1 0x20
00002720: ADD
00002721: SWAP7
00002722: POP
00002723: POP
00002724: POP
00002725: POP
00002726: POP
00002727: POP
00002728: POP
00002729: PUSH1 0x40
0000272b: MLOAD
0000272c: PUSH1 0x20
0000272e: DUP2
0000272f: DUP4
00002730: SUB
00002731: SUB
00002732: DUP2
00002733: MSTORE
00002734: SWAP1
00002735: PUSH1 0x40
00002737: MSTORE
00002738: DUP1
00002739: MLOAD
0000273a: SWAP1
0000273b: PUSH1 0x20
0000273d: ADD
0000273e: KECCAK256
0000273f: PUSH1 0x40
00002741: MLOAD
00002742: PUSH1 0x20
00002744: ADD
00002745: DUP1
00002746: DUP1
00002747: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
00002768: DUP2
00002769: MSTORE
0000276a: POP
0000276b: PUSH1 0x02
0000276d: ADD
0000276e: DUP4
0000276f: DUP2
00002770: MSTORE
00002771: PUSH1 0x20
00002773: ADD
00002774: DUP3
00002775: DUP2
00002776: MSTORE
00002777: PUSH1 0x20
00002779: ADD
0000277a: SWAP3
0000277b: POP
0000277c: POP
0000277d: POP
0000277e: PUSH1 0x40
00002780: MLOAD
00002781: PUSH1 0x20
00002783: DUP2
00002784: DUP4
00002785: SUB
00002786: SUB
00002787: DUP2
00002788: MSTORE
00002789: SWAP1
0000278a: PUSH1 0x40
0000278c: MSTORE
0000278d: DUP1
0000278e: MLOAD
0000278f: SWAP1
00002790: PUSH1 0x20
00002792: ADD
00002793: KECCAK256
00002794: SWAP1
00002795: POP
00002796: PUSH1 0x00
00002798: PUSH1 0x01
0000279a: DUP3
0000279b: DUP7
0000279c: DUP7
0000279d: DUP7
0000279e: PUSH1 0x40
000027a0: MLOAD
000027a1: PUSH1 0x00
000027a3: DUP2
000027a4: MSTORE
000027a5: PUSH1 0x20
000027a7: ADD
000027a8: PUSH1 0x40
000027aa: MSTORE
000027ab: PUSH1 0x40
000027ad: MLOAD
000027ae: DUP1
000027af: DUP6
000027b0: DUP2
000027b1: MSTORE
000027b2: PUSH1 0x20
000027b4: ADD
000027b5: DUP5
000027b6: PUSH1 0xff
000027b8: AND
000027b9: DUP2
000027ba: MSTORE
000027bb: PUSH1 0x20
000027bd: ADD
000027be: DUP4
000027bf: DUP2
000027c0: MSTORE
000027c1: PUSH1 0x20
000027c3: ADD
000027c4: DUP3
000027c5: DUP2
000027c6: MSTORE
000027c7: PUSH1 0x20
000027c9: ADD
000027ca: SWAP5
000027cb: POP
000027cc: POP
000027cd: POP
000027ce: POP
000027cf: POP
000027d0: PUSH1 0x20
000027d2: PUSH1 0x40
000027d4: MLOAD
000027d5: PUSH1 0x20
000027d7: DUP2
000027d8: SUB
000027d9: SWAP1
000027da: DUP1
000027db: DUP5
000027dc: SUB
000027dd: SWAP1
000027de: DUP6
000027df: GAS
000027e0: STATICCALL
000027e1: ISZERO
000027e2: DUP1
000027e3: ISZERO
000027e4: PUSH2 0x27f1
000027e7: JUMPI
000027e8: RETURNDATASIZE
000027e9: PUSH1 0x00
000027eb: DUP1
000027ec: RETURNDATACOPY
000027ed: RETURNDATASIZE
000027ee: PUSH1 0x00
000027f0: REVERT
000027f1: JUMPDEST
000027f2: POP
000027f3: POP
000027f4: POP
000027f5: PUSH1 0x20
000027f7: PUSH1 0x40
000027f9: MLOAD
000027fa: SUB
000027fb: MLOAD
000027fc: SWAP1
000027fd: POP
000027fe: PUSH1 0x00
00002800: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002815: AND
00002816: DUP2
00002817: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000282c: AND
0000282d: EQ
0000282e: ISZERO
0000282f: DUP1
00002830: ISZERO
00002831: PUSH2 0x2865
00002834: JUMPI
00002835: POP
00002836: DUP9
00002837: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000284c: AND
0000284d: DUP2
0000284e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002863: AND
00002864: EQ
00002865: JUMPDEST
00002866: PUSH2 0x28d7
00002869: JUMPI
0000286a: PUSH1 0x40
0000286c: MLOAD
0000286d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000288e: DUP2
0000288f: MSTORE
00002890: PUSH1 0x04
00002892: ADD
00002893: DUP1
00002894: DUP1
00002895: PUSH1 0x20
00002897: ADD
00002898: DUP3
00002899: DUP2
0000289a: SUB
0000289b: DUP3
0000289c: MSTORE
0000289d: PUSH1 0x1c
0000289f: DUP2
000028a0: MSTORE
000028a1: PUSH1 0x20
000028a3: ADD
000028a4: DUP1
000028a5: PUSH32 0x556e697377617056323a20494e56414c49445f5349474e415455524500000000
000028c6: DUP2
000028c7: MSTORE
000028c8: POP
000028c9: PUSH1 0x20
000028cb: ADD
000028cc: SWAP2
000028cd: POP
000028ce: POP
000028cf: PUSH1 0x40
000028d1: MLOAD
000028d2: DUP1
000028d3: SWAP2
000028d4: SUB
000028d5: SWAP1
000028d6: REVERT
000028d7: JUMPDEST
000028d8: PUSH2 0x28e2
000028db: DUP10
000028dc: DUP10
000028dd: DUP10
000028de: PUSH2 0x3213
000028e1: JUMP
000028e2: JUMPDEST
000028e3: POP
000028e4: POP
000028e5: POP
000028e6: POP
000028e7: POP
000028e8: POP
000028e9: POP
000028ea: POP
000028eb: POP
000028ec: JUMP
000028ed: JUMPDEST
000028ee: PUSH1 0x02
000028f0: PUSH1 0x20
000028f2: MSTORE
000028f3: DUP2
000028f4: PUSH1 0x00
000028f6: MSTORE
000028f7: PUSH1 0x40
000028f9: PUSH1 0x00
000028fb: KECCAK256
000028fc: PUSH1 0x20
000028fe: MSTORE
000028ff: DUP1
00002900: PUSH1 0x00
00002902: MSTORE
00002903: PUSH1 0x40
00002905: PUSH1 0x00
00002907: KECCAK256
00002908: PUSH1 0x00
0000290a: SWAP2
0000290b: POP
0000290c: SWAP2
0000290d: POP
0000290e: POP
0000290f: SLOAD
00002910: DUP2
00002911: JUMP
00002912: JUMPDEST
00002913: PUSH1 0x01
00002915: PUSH1 0x0c
00002917: SLOAD
00002918: EQ
00002919: PUSH2 0x298a
0000291c: JUMPI
0000291d: PUSH1 0x40
0000291f: MLOAD
00002920: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002941: DUP2
00002942: MSTORE
00002943: PUSH1 0x04
00002945: ADD
00002946: DUP1
00002947: DUP1
00002948: PUSH1 0x20
0000294a: ADD
0000294b: DUP3
0000294c: DUP2
0000294d: SUB
0000294e: DUP3
0000294f: MSTORE
00002950: PUSH1 0x11
00002952: DUP2
00002953: MSTORE
00002954: PUSH1 0x20
00002956: ADD
00002957: DUP1
00002958: PUSH32 0x556e697377617056323a204c4f434b4544000000000000000000000000000000
00002979: DUP2
0000297a: MSTORE
0000297b: POP
0000297c: PUSH1 0x20
0000297e: ADD
0000297f: SWAP2
00002980: POP
00002981: POP
00002982: PUSH1 0x40
00002984: MLOAD
00002985: DUP1
00002986: SWAP2
00002987: SUB
00002988: SWAP1
00002989: REVERT
0000298a: JUMPDEST
0000298b: PUSH1 0x00
0000298d: PUSH1 0x0c
0000298f: DUP2
00002990: SWAP1
00002991: SSTORE
00002992: POP
00002993: PUSH2 0x2b5c
00002996: PUSH1 0x06
00002998: PUSH1 0x00
0000299a: SWAP1
0000299b: SLOAD
0000299c: SWAP1
0000299d: PUSH2 0x0100
000029a0: EXP
000029a1: SWAP1
000029a2: DIV
000029a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029b8: AND
000029b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029ce: AND
000029cf: PUSH4 0x70a08231
000029d4: ADDRESS
000029d5: PUSH1 0x40
000029d7: MLOAD
000029d8: DUP3
000029d9: PUSH4 0xffffffff
000029de: AND
000029df: PUSH1 0xe0
000029e1: SHL
000029e2: DUP2
000029e3: MSTORE
000029e4: PUSH1 0x04
000029e6: ADD
000029e7: DUP1
000029e8: DUP3
000029e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029fe: AND
000029ff: DUP2
00002a00: MSTORE
00002a01: PUSH1 0x20
00002a03: ADD
00002a04: SWAP2
00002a05: POP
00002a06: POP
00002a07: PUSH1 0x20
00002a09: PUSH1 0x40
00002a0b: MLOAD
00002a0c: DUP1
00002a0d: DUP4
00002a0e: SUB
00002a0f: DUP2
00002a10: DUP7
00002a11: DUP1
00002a12: EXTCODESIZE
00002a13: ISZERO
00002a14: DUP1
00002a15: ISZERO
00002a16: PUSH2 0x2a1e
00002a19: JUMPI
00002a1a: PUSH1 0x00
00002a1c: DUP1
00002a1d: REVERT
00002a1e: JUMPDEST
00002a1f: POP
00002a20: GAS
00002a21: STATICCALL
00002a22: ISZERO
00002a23: DUP1
00002a24: ISZERO
00002a25: PUSH2 0x2a32
00002a28: JUMPI
00002a29: RETURNDATASIZE
00002a2a: PUSH1 0x00
00002a2c: DUP1
00002a2d: RETURNDATACOPY
00002a2e: RETURNDATASIZE
00002a2f: PUSH1 0x00
00002a31: REVERT
00002a32: JUMPDEST
00002a33: POP
00002a34: POP
00002a35: POP
00002a36: POP
00002a37: PUSH1 0x40
00002a39: MLOAD
00002a3a: RETURNDATASIZE
00002a3b: PUSH1 0x20
00002a3d: DUP2
00002a3e: LT
00002a3f: ISZERO
00002a40: PUSH2 0x2a48
00002a43: JUMPI
00002a44: PUSH1 0x00
00002a46: DUP1
00002a47: REVERT
00002a48: JUMPDEST
00002a49: DUP2
00002a4a: ADD
00002a4b: SWAP1
00002a4c: DUP1
00002a4d: DUP1
00002a4e: MLOAD
00002a4f: SWAP1
00002a50: PUSH1 0x20
00002a52: ADD
00002a53: SWAP1
00002a54: SWAP3
00002a55: SWAP2
00002a56: SWAP1
00002a57: POP
00002a58: POP
00002a59: POP
00002a5a: PUSH1 0x07
00002a5c: PUSH1 0x00
00002a5e: SWAP1
00002a5f: SLOAD
00002a60: SWAP1
00002a61: PUSH2 0x0100
00002a64: EXP
00002a65: SWAP1
00002a66: DIV
00002a67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a7c: AND
00002a7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a92: AND
00002a93: PUSH4 0x70a08231
00002a98: ADDRESS
00002a99: PUSH1 0x40
00002a9b: MLOAD
00002a9c: DUP3
00002a9d: PUSH4 0xffffffff
00002aa2: AND
00002aa3: PUSH1 0xe0
00002aa5: SHL
00002aa6: DUP2
00002aa7: MSTORE
00002aa8: PUSH1 0x04
00002aaa: ADD
00002aab: DUP1
00002aac: DUP3
00002aad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ac2: AND
00002ac3: DUP2
00002ac4: MSTORE
00002ac5: PUSH1 0x20
00002ac7: ADD
00002ac8: SWAP2
00002ac9: POP
00002aca: POP
00002acb: PUSH1 0x20
00002acd: PUSH1 0x40
00002acf: MLOAD
00002ad0: DUP1
00002ad1: DUP4
00002ad2: SUB
00002ad3: DUP2
00002ad4: DUP7
00002ad5: DUP1
00002ad6: EXTCODESIZE
00002ad7: ISZERO
00002ad8: DUP1
00002ad9: ISZERO
00002ada: PUSH2 0x2ae2
00002add: JUMPI
00002ade: PUSH1 0x00
00002ae0: DUP1
00002ae1: REVERT
00002ae2: JUMPDEST
00002ae3: POP
00002ae4: GAS
00002ae5: STATICCALL
00002ae6: ISZERO
00002ae7: DUP1
00002ae8: ISZERO
00002ae9: PUSH2 0x2af6
00002aec: JUMPI
00002aed: RETURNDATASIZE
00002aee: PUSH1 0x00
00002af0: DUP1
00002af1: RETURNDATACOPY
00002af2: RETURNDATASIZE
00002af3: PUSH1 0x00
00002af5: REVERT
00002af6: JUMPDEST
00002af7: POP
00002af8: POP
00002af9: POP
00002afa: POP
00002afb: PUSH1 0x40
00002afd: MLOAD
00002afe: RETURNDATASIZE
00002aff: PUSH1 0x20
00002b01: DUP2
00002b02: LT
00002b03: ISZERO
00002b04: PUSH2 0x2b0c
00002b07: JUMPI
00002b08: PUSH1 0x00
00002b0a: DUP1
00002b0b: REVERT
00002b0c: JUMPDEST
00002b0d: DUP2
00002b0e: ADD
00002b0f: SWAP1
00002b10: DUP1
00002b11: DUP1
00002b12: MLOAD
00002b13: SWAP1
00002b14: PUSH1 0x20
00002b16: ADD
00002b17: SWAP1
00002b18: SWAP3
00002b19: SWAP2
00002b1a: SWAP1
00002b1b: POP
00002b1c: POP
00002b1d: POP
00002b1e: PUSH1 0x08
00002b20: PUSH1 0x00
00002b22: SWAP1
00002b23: SLOAD
00002b24: SWAP1
00002b25: PUSH2 0x0100
00002b28: EXP
00002b29: SWAP1
00002b2a: DIV
00002b2b: PUSH14 0xffffffffffffffffffffffffffff
00002b3a: AND
00002b3b: PUSH1 0x08
00002b3d: PUSH1 0x0e
00002b3f: SWAP1
00002b40: SLOAD
00002b41: SWAP1
00002b42: PUSH2 0x0100
00002b45: EXP
00002b46: SWAP1
00002b47: DIV
00002b48: PUSH14 0xffffffffffffffffffffffffffff
00002b57: AND
00002b58: PUSH2 0x2eb5
00002b5b: JUMP
00002b5c: JUMPDEST
00002b5d: PUSH1 0x01
00002b5f: PUSH1 0x0c
00002b61: DUP2
00002b62: SWAP1
00002b63: SSTORE
00002b64: POP
00002b65: JUMP
00002b66: JUMPDEST
00002b67: PUSH1 0x00
00002b69: PUSH1 0x60
00002b6b: DUP5
00002b6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b81: AND
00002b82: PUSH1 0x40
00002b84: MLOAD
00002b85: DUP1
00002b86: PUSH1 0x40
00002b88: ADD
00002b89: PUSH1 0x40
00002b8b: MSTORE
00002b8c: DUP1
00002b8d: PUSH1 0x19
00002b8f: DUP2
00002b90: MSTORE
00002b91: PUSH1 0x20
00002b93: ADD
00002b94: PUSH32 0x7472616e7366657228616464726573732c75696e743235362900000000000000
00002bb5: DUP2
00002bb6: MSTORE
00002bb7: POP
00002bb8: DUP1
00002bb9: MLOAD
00002bba: SWAP1
00002bbb: PUSH1 0x20
00002bbd: ADD
00002bbe: KECCAK256
00002bbf: DUP6
00002bc0: DUP6
00002bc1: PUSH1 0x40
00002bc3: MLOAD
00002bc4: PUSH1 0x24
00002bc6: ADD
00002bc7: DUP1
00002bc8: DUP4
00002bc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bde: AND
00002bdf: DUP2
00002be0: MSTORE
00002be1: PUSH1 0x20
00002be3: ADD
00002be4: DUP3
00002be5: DUP2
00002be6: MSTORE
00002be7: PUSH1 0x20
00002be9: ADD
00002bea: SWAP3
00002beb: POP
00002bec: POP
00002bed: POP
00002bee: PUSH1 0x40
00002bf0: MLOAD
00002bf1: PUSH1 0x20
00002bf3: DUP2
00002bf4: DUP4
00002bf5: SUB
00002bf6: SUB
00002bf7: DUP2
00002bf8: MSTORE
00002bf9: SWAP1
00002bfa: PUSH1 0x40
00002bfc: MSTORE
00002bfd: SWAP1
00002bfe: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002c1b: NOT
00002c1c: AND
00002c1d: PUSH1 0x20
00002c1f: DUP3
00002c20: ADD
00002c21: DUP1
00002c22: MLOAD
00002c23: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002c40: DUP4
00002c41: DUP2
00002c42: DUP4
00002c43: AND
00002c44: OR
00002c45: DUP4
00002c46: MSTORE
00002c47: POP
00002c48: POP
00002c49: POP
00002c4a: POP
00002c4b: PUSH1 0x40
00002c4d: MLOAD
00002c4e: DUP1
00002c4f: DUP3
00002c50: DUP1
00002c51: MLOAD
00002c52: SWAP1
00002c53: PUSH1 0x20
00002c55: ADD
00002c56: SWAP1
00002c57: DUP1
00002c58: DUP4
00002c59: DUP4
00002c5a: JUMPDEST
00002c5b: PUSH1 0x20
00002c5d: DUP4
00002c5e: LT
00002c5f: PUSH2 0x2c7d
00002c62: JUMPI
00002c63: DUP1
00002c64: MLOAD
00002c65: DUP3
00002c66: MSTORE
00002c67: PUSH1 0x20
00002c69: DUP3
00002c6a: ADD
00002c6b: SWAP2
00002c6c: POP
00002c6d: PUSH1 0x20
00002c6f: DUP2
00002c70: ADD
00002c71: SWAP1
00002c72: POP
00002c73: PUSH1 0x20
00002c75: DUP4
00002c76: SUB
00002c77: SWAP3
00002c78: POP
00002c79: PUSH2 0x2c5a
00002c7c: JUMP
00002c7d: JUMPDEST
00002c7e: PUSH1 0x01
00002c80: DUP4
00002c81: PUSH1 0x20
00002c83: SUB
00002c84: PUSH2 0x0100
00002c87: EXP
00002c88: SUB
00002c89: DUP1
00002c8a: NOT
00002c8b: DUP3
00002c8c: MLOAD
00002c8d: AND
00002c8e: DUP2
00002c8f: DUP5
00002c90: MLOAD
00002c91: AND
00002c92: DUP1
00002c93: DUP3
00002c94: OR
00002c95: DUP6
00002c96: MSTORE
00002c97: POP
00002c98: POP
00002c99: POP
00002c9a: POP
00002c9b: POP
00002c9c: POP
00002c9d: SWAP1
00002c9e: POP
00002c9f: ADD
00002ca0: SWAP2
00002ca1: POP
00002ca2: POP
00002ca3: PUSH1 0x00
00002ca5: PUSH1 0x40
00002ca7: MLOAD
00002ca8: DUP1
00002ca9: DUP4
00002caa: SUB
00002cab: DUP2
00002cac: PUSH1 0x00
00002cae: DUP7
00002caf: GAS
00002cb0: CALL
00002cb1: SWAP2
00002cb2: POP
00002cb3: POP
00002cb4: RETURNDATASIZE
00002cb5: DUP1
00002cb6: PUSH1 0x00
00002cb8: DUP2
00002cb9: EQ
00002cba: PUSH2 0x2cdf
00002cbd: JUMPI
00002cbe: PUSH1 0x40
00002cc0: MLOAD
00002cc1: SWAP2
00002cc2: POP
00002cc3: PUSH1 0x1f
00002cc5: NOT
00002cc6: PUSH1 0x3f
00002cc8: RETURNDATASIZE
00002cc9: ADD
00002cca: AND
00002ccb: DUP3
00002ccc: ADD
00002ccd: PUSH1 0x40
00002ccf: MSTORE
00002cd0: RETURNDATASIZE
00002cd1: DUP3
00002cd2: MSTORE
00002cd3: RETURNDATASIZE
00002cd4: PUSH1 0x00
00002cd6: PUSH1 0x20
00002cd8: DUP5
00002cd9: ADD
00002cda: RETURNDATACOPY
00002cdb: PUSH2 0x2ce4
00002cde: JUMP
00002cdf: JUMPDEST
00002ce0: PUSH1 0x60
00002ce2: SWAP2
00002ce3: POP
00002ce4: JUMPDEST
00002ce5: POP
00002ce6: SWAP2
00002ce7: POP
00002ce8: SWAP2
00002ce9: POP
00002cea: DUP2
00002ceb: DUP1
00002cec: ISZERO
00002ced: PUSH2 0x2d24
00002cf0: JUMPI
00002cf1: POP
00002cf2: PUSH1 0x00
00002cf4: DUP2
00002cf5: MLOAD
00002cf6: EQ
00002cf7: DUP1
00002cf8: PUSH2 0x2d23
00002cfb: JUMPI
00002cfc: POP
00002cfd: DUP1
00002cfe: DUP1
00002cff: PUSH1 0x20
00002d01: ADD
00002d02: SWAP1
00002d03: MLOAD
00002d04: PUSH1 0x20
00002d06: DUP2
00002d07: LT
00002d08: ISZERO
00002d09: PUSH2 0x2d11
00002d0c: JUMPI
00002d0d: PUSH1 0x00
00002d0f: DUP1
00002d10: REVERT
00002d11: JUMPDEST
00002d12: DUP2
00002d13: ADD
00002d14: SWAP1
00002d15: DUP1
00002d16: DUP1
00002d17: MLOAD
00002d18: SWAP1
00002d19: PUSH1 0x20
00002d1b: ADD
00002d1c: SWAP1
00002d1d: SWAP3
00002d1e: SWAP2
00002d1f: SWAP1
00002d20: POP
00002d21: POP
00002d22: POP
00002d23: JUMPDEST
00002d24: JUMPDEST
00002d25: PUSH2 0x2d96
00002d28: JUMPI
00002d29: PUSH1 0x40
00002d2b: MLOAD
00002d2c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002d4d: DUP2
00002d4e: MSTORE
00002d4f: PUSH1 0x04
00002d51: ADD
00002d52: DUP1
00002d53: DUP1
00002d54: PUSH1 0x20
00002d56: ADD
00002d57: DUP3
00002d58: DUP2
00002d59: SUB
00002d5a: DUP3
00002d5b: MSTORE
00002d5c: PUSH1 0x1a
00002d5e: DUP2
00002d5f: MSTORE
00002d60: PUSH1 0x20
00002d62: ADD
00002d63: DUP1
00002d64: PUSH32 0x556e697377617056323a205452414e534645525f4641494c4544000000000000
00002d85: DUP2
00002d86: MSTORE
00002d87: POP
00002d88: PUSH1 0x20
00002d8a: ADD
00002d8b: SWAP2
00002d8c: POP
00002d8d: POP
00002d8e: PUSH1 0x40
00002d90: MLOAD
00002d91: DUP1
00002d92: SWAP2
00002d93: SUB
00002d94: SWAP1
00002d95: REVERT
00002d96: JUMPDEST
00002d97: POP
00002d98: POP
00002d99: POP
00002d9a: POP
00002d9b: POP
00002d9c: JUMP
00002d9d: JUMPDEST
00002d9e: PUSH1 0x00
00002da0: DUP1
00002da1: DUP3
00002da2: EQ
00002da3: DUP1
00002da4: PUSH2 0x2dba
00002da7: JUMPI
00002da8: POP
00002da9: DUP3
00002daa: DUP3
00002dab: DUP4
00002dac: DUP6
00002dad: MUL
00002dae: SWAP3
00002daf: POP
00002db0: DUP3
00002db1: DUP2
00002db2: PUSH2 0x2db7
00002db5: JUMPI
00002db6: INVALID
00002db7: JUMPDEST
00002db8: DIV
00002db9: EQ
00002dba: JUMPDEST
00002dbb: PUSH2 0x2e2c
00002dbe: JUMPI
00002dbf: PUSH1 0x40
00002dc1: MLOAD
00002dc2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002de3: DUP2
00002de4: MSTORE
00002de5: PUSH1 0x04
00002de7: ADD
00002de8: DUP1
00002de9: DUP1
00002dea: PUSH1 0x20
00002dec: ADD
00002ded: DUP3
00002dee: DUP2
00002def: SUB
00002df0: DUP3
00002df1: MSTORE
00002df2: PUSH1 0x14
00002df4: DUP2
00002df5: MSTORE
00002df6: PUSH1 0x20
00002df8: ADD
00002df9: DUP1
00002dfa: PUSH32 0x64732d6d6174682d6d756c2d6f766572666c6f77000000000000000000000000
00002e1b: DUP2
00002e1c: MSTORE
00002e1d: POP
00002e1e: PUSH1 0x20
00002e20: ADD
00002e21: SWAP2
00002e22: POP
00002e23: POP
00002e24: PUSH1 0x40
00002e26: MLOAD
00002e27: DUP1
00002e28: SWAP2
00002e29: SUB
00002e2a: SWAP1
00002e2b: REVERT
00002e2c: JUMPDEST
00002e2d: SWAP3
00002e2e: SWAP2
00002e2f: POP
00002e30: POP
00002e31: JUMP
00002e32: JUMPDEST
00002e33: PUSH1 0x00
00002e35: DUP3
00002e36: DUP3
00002e37: DUP5
00002e38: SUB
00002e39: SWAP2
00002e3a: POP
00002e3b: DUP2
00002e3c: GT
00002e3d: ISZERO
00002e3e: PUSH2 0x2eaf
00002e41: JUMPI
00002e42: PUSH1 0x40
00002e44: MLOAD
00002e45: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002e66: DUP2
00002e67: MSTORE
00002e68: PUSH1 0x04
00002e6a: ADD
00002e6b: DUP1
00002e6c: DUP1
00002e6d: PUSH1 0x20
00002e6f: ADD
00002e70: DUP3
00002e71: DUP2
00002e72: SUB
00002e73: DUP3
00002e74: MSTORE
00002e75: PUSH1 0x15
00002e77: DUP2
00002e78: MSTORE
00002e79: PUSH1 0x20
00002e7b: ADD
00002e7c: DUP1
00002e7d: PUSH32 0x64732d6d6174682d7375622d756e646572666c6f770000000000000000000000
00002e9e: DUP2
00002e9f: MSTORE
00002ea0: POP
00002ea1: PUSH1 0x20
00002ea3: ADD
00002ea4: SWAP2
00002ea5: POP
00002ea6: POP
00002ea7: PUSH1 0x40
00002ea9: MLOAD
00002eaa: DUP1
00002eab: SWAP2
00002eac: SUB
00002ead: SWAP1
00002eae: REVERT
00002eaf: JUMPDEST
00002eb0: SWAP3
00002eb1: SWAP2
00002eb2: POP
00002eb3: POP
00002eb4: JUMP
00002eb5: JUMPDEST
00002eb6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002ed7: PUSH14 0xffffffffffffffffffffffffffff
00002ee6: AND
00002ee7: DUP5
00002ee8: GT
00002ee9: ISZERO
00002eea: DUP1
00002eeb: ISZERO
00002eec: PUSH2 0x2f25
00002eef: JUMPI
00002ef0: POP
00002ef1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002f12: PUSH14 0xffffffffffffffffffffffffffff
00002f21: AND
00002f22: DUP4
00002f23: GT
00002f24: ISZERO
00002f25: JUMPDEST
00002f26: PUSH2 0x2f97
00002f29: JUMPI
00002f2a: PUSH1 0x40
00002f2c: MLOAD
00002f2d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002f4e: DUP2
00002f4f: MSTORE
00002f50: PUSH1 0x04
00002f52: ADD
00002f53: DUP1
00002f54: DUP1
00002f55: PUSH1 0x20
00002f57: ADD
00002f58: DUP3
00002f59: DUP2
00002f5a: SUB
00002f5b: DUP3
00002f5c: MSTORE
00002f5d: PUSH1 0x13
00002f5f: DUP2
00002f60: MSTORE
00002f61: PUSH1 0x20
00002f63: ADD
00002f64: DUP1
00002f65: PUSH32 0x556e697377617056323a204f564552464c4f5700000000000000000000000000
00002f86: DUP2
00002f87: MSTORE
00002f88: POP
00002f89: PUSH1 0x20
00002f8b: ADD
00002f8c: SWAP2
00002f8d: POP
00002f8e: POP
00002f8f: PUSH1 0x40
00002f91: MLOAD
00002f92: DUP1
00002f93: SWAP2
00002f94: SUB
00002f95: SWAP1
00002f96: REVERT
00002f97: JUMPDEST
00002f98: PUSH1 0x00
00002f9a: PUSH5 0x0100000000
00002fa0: TIMESTAMP
00002fa1: DUP2
00002fa2: PUSH2 0x2fa7
00002fa5: JUMPI
00002fa6: INVALID
00002fa7: JUMPDEST
00002fa8: MOD
00002fa9: SWAP1
00002faa: POP
00002fab: PUSH1 0x00
00002fad: PUSH1 0x08
00002faf: PUSH1 0x1c
00002fb1: SWAP1
00002fb2: SLOAD
00002fb3: SWAP1
00002fb4: PUSH2 0x0100
00002fb7: EXP
00002fb8: SWAP1
00002fb9: DIV
00002fba: PUSH4 0xffffffff
00002fbf: AND
00002fc0: DUP3
00002fc1: SUB
00002fc2: SWAP1
00002fc3: POP
00002fc4: PUSH1 0x00
00002fc6: DUP2
00002fc7: PUSH4 0xffffffff
00002fcc: AND
00002fcd: GT
00002fce: DUP1
00002fcf: ISZERO
00002fd0: PUSH2 0x2fea
00002fd3: JUMPI
00002fd4: POP
00002fd5: PUSH1 0x00
00002fd7: DUP5
00002fd8: PUSH14 0xffffffffffffffffffffffffffff
00002fe7: AND
00002fe8: EQ
00002fe9: ISZERO
00002fea: JUMPDEST
00002feb: DUP1
00002fec: ISZERO
00002fed: PUSH2 0x3007
00002ff0: JUMPI
00002ff1: POP
00002ff2: PUSH1 0x00
00002ff4: DUP4
00002ff5: PUSH14 0xffffffffffffffffffffffffffff
00003004: AND
00003005: EQ
00003006: ISZERO
00003007: JUMPDEST
00003008: ISZERO
00003009: PUSH2 0x30e9
0000300c: JUMPI
0000300d: DUP1
0000300e: PUSH4 0xffffffff
00003013: AND
00003014: PUSH2 0x304c
00003017: DUP6
00003018: PUSH2 0x3020
0000301b: DUP7
0000301c: PUSH2 0x3922
0000301f: JUMP
00003020: JUMPDEST
00003021: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000303e: AND
0000303f: PUSH2 0x394d
00003042: SWAP1
00003043: SWAP2
00003044: SWAP1
00003045: PUSH4 0xffffffff
0000304a: AND
0000304b: JUMP
0000304c: JUMPDEST
0000304d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000306a: AND
0000306b: MUL
0000306c: PUSH1 0x09
0000306e: PUSH1 0x00
00003070: DUP3
00003071: DUP3
00003072: SLOAD
00003073: ADD
00003074: SWAP3
00003075: POP
00003076: POP
00003077: DUP2
00003078: SWAP1
00003079: SSTORE
0000307a: POP
0000307b: DUP1
0000307c: PUSH4 0xffffffff
00003081: AND
00003082: PUSH2 0x30ba
00003085: DUP5
00003086: PUSH2 0x308e
00003089: DUP8
0000308a: PUSH2 0x3922
0000308d: JUMP
0000308e: JUMPDEST
0000308f: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000030ac: AND
000030ad: PUSH2 0x394d
000030b0: SWAP1
000030b1: SWAP2
000030b2: SWAP1
000030b3: PUSH4 0xffffffff
000030b8: AND
000030b9: JUMP
000030ba: JUMPDEST
000030bb: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000030d8: AND
000030d9: MUL
000030da: PUSH1 0x0a
000030dc: PUSH1 0x00
000030de: DUP3
000030df: DUP3
000030e0: SLOAD
000030e1: ADD
000030e2: SWAP3
000030e3: POP
000030e4: POP
000030e5: DUP2
000030e6: SWAP1
000030e7: SSTORE
000030e8: POP
000030e9: JUMPDEST
000030ea: DUP6
000030eb: PUSH1 0x08
000030ed: PUSH1 0x00
000030ef: PUSH2 0x0100
000030f2: EXP
000030f3: DUP2
000030f4: SLOAD
000030f5: DUP2
000030f6: PUSH14 0xffffffffffffffffffffffffffff
00003105: MUL
00003106: NOT
00003107: AND
00003108: SWAP1
00003109: DUP4
0000310a: PUSH14 0xffffffffffffffffffffffffffff
00003119: AND
0000311a: MUL
0000311b: OR
0000311c: SWAP1
0000311d: SSTORE
0000311e: POP
0000311f: DUP5
00003120: PUSH1 0x08
00003122: PUSH1 0x0e
00003124: PUSH2 0x0100
00003127: EXP
00003128: DUP2
00003129: SLOAD
0000312a: DUP2
0000312b: PUSH14 0xffffffffffffffffffffffffffff
0000313a: MUL
0000313b: NOT
0000313c: AND
0000313d: SWAP1
0000313e: DUP4
0000313f: PUSH14 0xffffffffffffffffffffffffffff
0000314e: AND
0000314f: MUL
00003150: OR
00003151: SWAP1
00003152: SSTORE
00003153: POP
00003154: DUP2
00003155: PUSH1 0x08
00003157: PUSH1 0x1c
00003159: PUSH2 0x0100
0000315c: EXP
0000315d: DUP2
0000315e: SLOAD
0000315f: DUP2
00003160: PUSH4 0xffffffff
00003165: MUL
00003166: NOT
00003167: AND
00003168: SWAP1
00003169: DUP4
0000316a: PUSH4 0xffffffff
0000316f: AND
00003170: MUL
00003171: OR
00003172: SWAP1
00003173: SSTORE
00003174: POP
00003175: PUSH32 0x1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1
00003196: PUSH1 0x08
00003198: PUSH1 0x00
0000319a: SWAP1
0000319b: SLOAD
0000319c: SWAP1
0000319d: PUSH2 0x0100
000031a0: EXP
000031a1: SWAP1
000031a2: DIV
000031a3: PUSH14 0xffffffffffffffffffffffffffff
000031b2: AND
000031b3: PUSH1 0x08
000031b5: PUSH1 0x0e
000031b7: SWAP1
000031b8: SLOAD
000031b9: SWAP1
000031ba: PUSH2 0x0100
000031bd: EXP
000031be: SWAP1
000031bf: DIV
000031c0: PUSH14 0xffffffffffffffffffffffffffff
000031cf: AND
000031d0: PUSH1 0x40
000031d2: MLOAD
000031d3: DUP1
000031d4: DUP4
000031d5: PUSH14 0xffffffffffffffffffffffffffff
000031e4: AND
000031e5: DUP2
000031e6: MSTORE
000031e7: PUSH1 0x20
000031e9: ADD
000031ea: DUP3
000031eb: PUSH14 0xffffffffffffffffffffffffffff
000031fa: AND
000031fb: DUP2
000031fc: MSTORE
000031fd: PUSH1 0x20
000031ff: ADD
00003200: SWAP3
00003201: POP
00003202: POP
00003203: POP
00003204: PUSH1 0x40
00003206: MLOAD
00003207: DUP1
00003208: SWAP2
00003209: SUB
0000320a: SWAP1
0000320b: LOG1
0000320c: POP
0000320d: POP
0000320e: POP
0000320f: POP
00003210: POP
00003211: POP
00003212: JUMP
00003213: JUMPDEST
00003214: DUP1
00003215: PUSH1 0x02
00003217: PUSH1 0x00
00003219: DUP6
0000321a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000322f: AND
00003230: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003245: AND
00003246: DUP2
00003247: MSTORE
00003248: PUSH1 0x20
0000324a: ADD
0000324b: SWAP1
0000324c: DUP2
0000324d: MSTORE
0000324e: PUSH1 0x20
00003250: ADD
00003251: PUSH1 0x00
00003253: KECCAK256
00003254: PUSH1 0x00
00003256: DUP5
00003257: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000326c: AND
0000326d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003282: AND
00003283: DUP2
00003284: MSTORE
00003285: PUSH1 0x20
00003287: ADD
00003288: SWAP1
00003289: DUP2
0000328a: MSTORE
0000328b: PUSH1 0x20
0000328d: ADD
0000328e: PUSH1 0x00
00003290: KECCAK256
00003291: DUP2
00003292: SWAP1
00003293: SSTORE
00003294: POP
00003295: DUP2
00003296: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032ab: AND
000032ac: DUP4
000032ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032c2: AND
000032c3: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000032e4: DUP4
000032e5: PUSH1 0x40
000032e7: MLOAD
000032e8: DUP1
000032e9: DUP3
000032ea: DUP2
000032eb: MSTORE
000032ec: PUSH1 0x20
000032ee: ADD
000032ef: SWAP2
000032f0: POP
000032f1: POP
000032f2: PUSH1 0x40
000032f4: MLOAD
000032f5: DUP1
000032f6: SWAP2
000032f7: SUB
000032f8: SWAP1
000032f9: LOG3
000032fa: POP
000032fb: POP
000032fc: POP
000032fd: JUMP
000032fe: JUMPDEST
000032ff: PUSH2 0x3350
00003302: DUP2
00003303: PUSH1 0x01
00003305: PUSH1 0x00
00003307: DUP7
00003308: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000331d: AND
0000331e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003333: AND
00003334: DUP2
00003335: MSTORE
00003336: PUSH1 0x20
00003338: ADD
00003339: SWAP1
0000333a: DUP2
0000333b: MSTORE
0000333c: PUSH1 0x20
0000333e: ADD
0000333f: PUSH1 0x00
00003341: KECCAK256
00003342: SLOAD
00003343: PUSH2 0x2e32
00003346: SWAP1
00003347: SWAP2
00003348: SWAP1
00003349: PUSH4 0xffffffff
0000334e: AND
0000334f: JUMP
00003350: JUMPDEST
00003351: PUSH1 0x01
00003353: PUSH1 0x00
00003355: DUP6
00003356: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000336b: AND
0000336c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003381: AND
00003382: DUP2
00003383: MSTORE
00003384: PUSH1 0x20
00003386: ADD
00003387: SWAP1
00003388: DUP2
00003389: MSTORE
0000338a: PUSH1 0x20
0000338c: ADD
0000338d: PUSH1 0x00
0000338f: KECCAK256
00003390: DUP2
00003391: SWAP1
00003392: SSTORE
00003393: POP
00003394: PUSH2 0x33e5
00003397: DUP2
00003398: PUSH1 0x01
0000339a: PUSH1 0x00
0000339c: DUP6
0000339d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033b2: AND
000033b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033c8: AND
000033c9: DUP2
000033ca: MSTORE
000033cb: PUSH1 0x20
000033cd: ADD
000033ce: SWAP1
000033cf: DUP2
000033d0: MSTORE
000033d1: PUSH1 0x20
000033d3: ADD
000033d4: PUSH1 0x00
000033d6: KECCAK256
000033d7: SLOAD
000033d8: PUSH2 0x39ad
000033db: SWAP1
000033dc: SWAP2
000033dd: SWAP1
000033de: PUSH4 0xffffffff
000033e3: AND
000033e4: JUMP
000033e5: JUMPDEST
000033e6: PUSH1 0x01
000033e8: PUSH1 0x00
000033ea: DUP5
000033eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003400: AND
00003401: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003416: AND
00003417: DUP2
00003418: MSTORE
00003419: PUSH1 0x20
0000341b: ADD
0000341c: SWAP1
0000341d: DUP2
0000341e: MSTORE
0000341f: PUSH1 0x20
00003421: ADD
00003422: PUSH1 0x00
00003424: KECCAK256
00003425: DUP2
00003426: SWAP1
00003427: SSTORE
00003428: POP
00003429: DUP2
0000342a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000343f: AND
00003440: DUP4
00003441: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003456: AND
00003457: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003478: DUP4
00003479: PUSH1 0x40
0000347b: MLOAD
0000347c: DUP1
0000347d: DUP3
0000347e: DUP2
0000347f: MSTORE
00003480: PUSH1 0x20
00003482: ADD
00003483: SWAP2
00003484: POP
00003485: POP
00003486: PUSH1 0x40
00003488: MLOAD
00003489: DUP1
0000348a: SWAP2
0000348b: SUB
0000348c: SWAP1
0000348d: LOG3
0000348e: POP
0000348f: POP
00003490: POP
00003491: JUMP
00003492: JUMPDEST
00003493: PUSH1 0x00
00003495: DUP1
00003496: PUSH1 0x05
00003498: PUSH1 0x00
0000349a: SWAP1
0000349b: SLOAD
0000349c: SWAP1
0000349d: PUSH2 0x0100
000034a0: EXP
000034a1: SWAP1
000034a2: DIV
000034a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034b8: AND
000034b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034ce: AND
000034cf: PUSH4 0x017e7e58
000034d4: PUSH1 0x40
000034d6: MLOAD
000034d7: DUP2
000034d8: PUSH4 0xffffffff
000034dd: AND
000034de: PUSH1 0xe0
000034e0: SHL
000034e1: DUP2
000034e2: MSTORE
000034e3: PUSH1 0x04
000034e5: ADD
000034e6: PUSH1 0x20
000034e8: PUSH1 0x40
000034ea: MLOAD
000034eb: DUP1
000034ec: DUP4
000034ed: SUB
000034ee: DUP2
000034ef: DUP7
000034f0: DUP1
000034f1: EXTCODESIZE
000034f2: ISZERO
000034f3: DUP1
000034f4: ISZERO
000034f5: PUSH2 0x34fd
000034f8: JUMPI
000034f9: PUSH1 0x00
000034fb: DUP1
000034fc: REVERT
000034fd: JUMPDEST
000034fe: POP
000034ff: GAS
00003500: STATICCALL
00003501: ISZERO
00003502: DUP1
00003503: ISZERO
00003504: PUSH2 0x3511
00003507: JUMPI
00003508: RETURNDATASIZE
00003509: PUSH1 0x00
0000350b: DUP1
0000350c: RETURNDATACOPY
0000350d: RETURNDATASIZE
0000350e: PUSH1 0x00
00003510: REVERT
00003511: JUMPDEST
00003512: POP
00003513: POP
00003514: POP
00003515: POP
00003516: PUSH1 0x40
00003518: MLOAD
00003519: RETURNDATASIZE
0000351a: PUSH1 0x20
0000351c: DUP2
0000351d: LT
0000351e: ISZERO
0000351f: PUSH2 0x3527
00003522: JUMPI
00003523: PUSH1 0x00
00003525: DUP1
00003526: REVERT
00003527: JUMPDEST
00003528: DUP2
00003529: ADD
0000352a: SWAP1
0000352b: DUP1
0000352c: DUP1
0000352d: MLOAD
0000352e: SWAP1
0000352f: PUSH1 0x20
00003531: ADD
00003532: SWAP1
00003533: SWAP3
00003534: SWAP2
00003535: SWAP1
00003536: POP
00003537: POP
00003538: POP
00003539: SWAP1
0000353a: POP
0000353b: PUSH1 0x00
0000353d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003552: AND
00003553: DUP2
00003554: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003569: AND
0000356a: EQ
0000356b: ISZERO
0000356c: SWAP2
0000356d: POP
0000356e: PUSH1 0x00
00003570: PUSH1 0x0b
00003572: SLOAD
00003573: SWAP1
00003574: POP
00003575: DUP3
00003576: ISZERO
00003577: PUSH2 0x3659
0000357a: JUMPI
0000357b: PUSH1 0x00
0000357d: DUP2
0000357e: EQ
0000357f: PUSH2 0x3654
00003582: JUMPI
00003583: PUSH1 0x00
00003585: PUSH2 0x35bf
00003588: PUSH2 0x35ba
0000358b: DUP7
0000358c: PUSH14 0xffffffffffffffffffffffffffff
0000359b: AND
0000359c: DUP9
0000359d: PUSH14 0xffffffffffffffffffffffffffff
000035ac: AND
000035ad: PUSH2 0x2d9d
000035b0: SWAP1
000035b1: SWAP2
000035b2: SWAP1
000035b3: PUSH4 0xffffffff
000035b8: AND
000035b9: JUMP
000035ba: JUMPDEST
000035bb: PUSH2 0x3673
000035be: JUMP
000035bf: JUMPDEST
000035c0: SWAP1
000035c1: POP
000035c2: PUSH1 0x00
000035c4: PUSH2 0x35cc
000035c7: DUP4
000035c8: PUSH2 0x3673
000035cb: JUMP
000035cc: JUMPDEST
000035cd: SWAP1
000035ce: POP
000035cf: DUP1
000035d0: DUP3
000035d1: GT
000035d2: ISZERO
000035d3: PUSH2 0x3651
000035d6: JUMPI
000035d7: PUSH1 0x00
000035d9: PUSH2 0x35ff
000035dc: PUSH2 0x35ee
000035df: DUP4
000035e0: DUP6
000035e1: PUSH2 0x2e32
000035e4: SWAP1
000035e5: SWAP2
000035e6: SWAP1
000035e7: PUSH4 0xffffffff
000035ec: AND
000035ed: JUMP
000035ee: JUMPDEST
000035ef: PUSH1 0x00
000035f1: SLOAD
000035f2: PUSH2 0x2d9d
000035f5: SWAP1
000035f6: SWAP2
000035f7: SWAP1
000035f8: PUSH4 0xffffffff
000035fd: AND
000035fe: JUMP
000035ff: JUMPDEST
00003600: SWAP1
00003601: POP
00003602: PUSH1 0x00
00003604: PUSH2 0x3629
00003607: DUP4
00003608: PUSH2 0x361b
0000360b: PUSH1 0x05
0000360d: DUP8
0000360e: PUSH2 0x2d9d
00003611: SWAP1
00003612: SWAP2
00003613: SWAP1
00003614: PUSH4 0xffffffff
00003619: AND
0000361a: JUMP
0000361b: JUMPDEST
0000361c: PUSH2 0x39ad
0000361f: SWAP1
00003620: SWAP2
00003621: SWAP1
00003622: PUSH4 0xffffffff
00003627: AND
00003628: JUMP
00003629: JUMPDEST
0000362a: SWAP1
0000362b: POP
0000362c: PUSH1 0x00
0000362e: DUP2
0000362f: DUP4
00003630: DUP2
00003631: PUSH2 0x3636
00003634: JUMPI
00003635: INVALID
00003636: JUMPDEST
00003637: DIV
00003638: SWAP1
00003639: POP
0000363a: PUSH1 0x00
0000363c: DUP2
0000363d: GT
0000363e: ISZERO
0000363f: PUSH2 0x364d
00003642: JUMPI
00003643: PUSH2 0x364c
00003646: DUP8
00003647: DUP3
00003648: PUSH2 0x36d5
0000364b: JUMP
0000364c: JUMPDEST
0000364d: JUMPDEST
0000364e: POP
0000364f: POP
00003650: POP
00003651: JUMPDEST
00003652: POP
00003653: POP
00003654: JUMPDEST
00003655: PUSH2 0x366b
00003658: JUMP
00003659: JUMPDEST
0000365a: PUSH1 0x00
0000365c: DUP2
0000365d: EQ
0000365e: PUSH2 0x366a
00003661: JUMPI
00003662: PUSH1 0x00
00003664: PUSH1 0x0b
00003666: DUP2
00003667: SWAP1
00003668: SSTORE
00003669: POP
0000366a: JUMPDEST
0000366b: JUMPDEST
0000366c: POP
0000366d: POP
0000366e: SWAP3
0000366f: SWAP2
00003670: POP
00003671: POP
00003672: JUMP
00003673: JUMPDEST
00003674: PUSH1 0x00
00003676: PUSH1 0x03
00003678: DUP3
00003679: GT
0000367a: ISZERO
0000367b: PUSH2 0x36c2
0000367e: JUMPI
0000367f: DUP2
00003680: SWAP1
00003681: POP
00003682: PUSH1 0x00
00003684: PUSH1 0x01
00003686: PUSH1 0x02
00003688: DUP5
00003689: DUP2
0000368a: PUSH2 0x368f
0000368d: JUMPI
0000368e: INVALID
0000368f: JUMPDEST
00003690: DIV
00003691: ADD
00003692: SWAP1
00003693: POP
00003694: JUMPDEST
00003695: DUP2
00003696: DUP2
00003697: LT
00003698: ISZERO
00003699: PUSH2 0x36bc
0000369c: JUMPI
0000369d: DUP1
0000369e: SWAP2
0000369f: POP
000036a0: PUSH1 0x02
000036a2: DUP2
000036a3: DUP3
000036a4: DUP6
000036a5: DUP2
000036a6: PUSH2 0x36ab
000036a9: JUMPI
000036aa: INVALID
000036ab: JUMPDEST
000036ac: DIV
000036ad: ADD
000036ae: DUP2
000036af: PUSH2 0x36b4
000036b2: JUMPI
000036b3: INVALID
000036b4: JUMPDEST
000036b5: DIV
000036b6: SWAP1
000036b7: POP
000036b8: PUSH2 0x3694
000036bb: JUMP
000036bc: JUMPDEST
000036bd: POP
000036be: PUSH2 0x36d0
000036c1: JUMP
000036c2: JUMPDEST
000036c3: PUSH1 0x00
000036c5: DUP3
000036c6: EQ
000036c7: PUSH2 0x36cf
000036ca: JUMPI
000036cb: PUSH1 0x01
000036cd: SWAP1
000036ce: POP
000036cf: JUMPDEST
000036d0: JUMPDEST
000036d1: SWAP2
000036d2: SWAP1
000036d3: POP
000036d4: JUMP
000036d5: JUMPDEST
000036d6: PUSH2 0x36ea
000036d9: DUP2
000036da: PUSH1 0x00
000036dc: SLOAD
000036dd: PUSH2 0x39ad
000036e0: SWAP1
000036e1: SWAP2
000036e2: SWAP1
000036e3: PUSH4 0xffffffff
000036e8: AND
000036e9: JUMP
000036ea: JUMPDEST
000036eb: PUSH1 0x00
000036ed: DUP2
000036ee: SWAP1
000036ef: SSTORE
000036f0: POP
000036f1: PUSH2 0x3742
000036f4: DUP2
000036f5: PUSH1 0x01
000036f7: PUSH1 0x00
000036f9: DUP6
000036fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000370f: AND
00003710: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003725: AND
00003726: DUP2
00003727: MSTORE
00003728: PUSH1 0x20
0000372a: ADD
0000372b: SWAP1
0000372c: DUP2
0000372d: MSTORE
0000372e: PUSH1 0x20
00003730: ADD
00003731: PUSH1 0x00
00003733: KECCAK256
00003734: SLOAD
00003735: PUSH2 0x39ad
00003738: SWAP1
00003739: SWAP2
0000373a: SWAP1
0000373b: PUSH4 0xffffffff
00003740: AND
00003741: JUMP
00003742: JUMPDEST
00003743: PUSH1 0x01
00003745: PUSH1 0x00
00003747: DUP5
00003748: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000375d: AND
0000375e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003773: AND
00003774: DUP2
00003775: MSTORE
00003776: PUSH1 0x20
00003778: ADD
00003779: SWAP1
0000377a: DUP2
0000377b: MSTORE
0000377c: PUSH1 0x20
0000377e: ADD
0000377f: PUSH1 0x00
00003781: KECCAK256
00003782: DUP2
00003783: SWAP1
00003784: SSTORE
00003785: POP
00003786: DUP2
00003787: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000379c: AND
0000379d: PUSH1 0x00
0000379f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037b4: AND
000037b5: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000037d6: DUP4
000037d7: PUSH1 0x40
000037d9: MLOAD
000037da: DUP1
000037db: DUP3
000037dc: DUP2
000037dd: MSTORE
000037de: PUSH1 0x20
000037e0: ADD
000037e1: SWAP2
000037e2: POP
000037e3: POP
000037e4: PUSH1 0x40
000037e6: MLOAD
000037e7: DUP1
000037e8: SWAP2
000037e9: SUB
000037ea: SWAP1
000037eb: LOG3
000037ec: POP
000037ed: POP
000037ee: JUMP
000037ef: JUMPDEST
000037f0: PUSH1 0x00
000037f2: DUP2
000037f3: DUP4
000037f4: LT
000037f5: PUSH2 0x37fe
000037f8: JUMPI
000037f9: DUP2
000037fa: PUSH2 0x3800
000037fd: JUMP
000037fe: JUMPDEST
000037ff: DUP3
00003800: JUMPDEST
00003801: SWAP1
00003802: POP
00003803: SWAP3
00003804: SWAP2
00003805: POP
00003806: POP
00003807: JUMP
00003808: JUMPDEST
00003809: PUSH2 0x385a
0000380c: DUP2
0000380d: PUSH1 0x01
0000380f: PUSH1 0x00
00003811: DUP6
00003812: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003827: AND
00003828: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000383d: AND
0000383e: DUP2
0000383f: MSTORE
00003840: PUSH1 0x20
00003842: ADD
00003843: SWAP1
00003844: DUP2
00003845: MSTORE
00003846: PUSH1 0x20
00003848: ADD
00003849: PUSH1 0x00
0000384b: KECCAK256
0000384c: SLOAD
0000384d: PUSH2 0x2e32
00003850: SWAP1
00003851: SWAP2
00003852: SWAP1
00003853: PUSH4 0xffffffff
00003858: AND
00003859: JUMP
0000385a: JUMPDEST
0000385b: PUSH1 0x01
0000385d: PUSH1 0x00
0000385f: DUP5
00003860: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003875: AND
00003876: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000388b: AND
0000388c: DUP2
0000388d: MSTORE
0000388e: PUSH1 0x20
00003890: ADD
00003891: SWAP1
00003892: DUP2
00003893: MSTORE
00003894: PUSH1 0x20
00003896: ADD
00003897: PUSH1 0x00
00003899: KECCAK256
0000389a: DUP2
0000389b: SWAP1
0000389c: SSTORE
0000389d: POP
0000389e: PUSH2 0x38b2
000038a1: DUP2
000038a2: PUSH1 0x00
000038a4: SLOAD
000038a5: PUSH2 0x2e32
000038a8: SWAP1
000038a9: SWAP2
000038aa: SWAP1
000038ab: PUSH4 0xffffffff
000038b0: AND
000038b1: JUMP
000038b2: JUMPDEST
000038b3: PUSH1 0x00
000038b5: DUP2
000038b6: SWAP1
000038b7: SSTORE
000038b8: POP
000038b9: PUSH1 0x00
000038bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038d0: AND
000038d1: DUP3
000038d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038e7: AND
000038e8: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003909: DUP4
0000390a: PUSH1 0x40
0000390c: MLOAD
0000390d: DUP1
0000390e: DUP3
0000390f: DUP2
00003910: MSTORE
00003911: PUSH1 0x20
00003913: ADD
00003914: SWAP2
00003915: POP
00003916: POP
00003917: PUSH1 0x40
00003919: MLOAD
0000391a: DUP1
0000391b: SWAP2
0000391c: SUB
0000391d: SWAP1
0000391e: LOG3
0000391f: POP
00003920: POP
00003921: JUMP
00003922: JUMPDEST
00003923: PUSH1 0x00
00003925: PUSH15 0x010000000000000000000000000000
00003935: DUP3
00003936: PUSH14 0xffffffffffffffffffffffffffff
00003945: AND
00003946: MUL
00003947: SWAP1
00003948: POP
00003949: SWAP2
0000394a: SWAP1
0000394b: POP
0000394c: JUMP
0000394d: JUMPDEST
0000394e: PUSH1 0x00
00003950: DUP2
00003951: PUSH14 0xffffffffffffffffffffffffffff
00003960: AND
00003961: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000397e: AND
0000397f: DUP4
00003980: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000399d: AND
0000399e: DUP2
0000399f: PUSH2 0x39a4
000039a2: JUMPI
000039a3: INVALID
000039a4: JUMPDEST
000039a5: DIV
000039a6: SWAP1
000039a7: POP
000039a8: SWAP3
000039a9: SWAP2
000039aa: POP
000039ab: POP
000039ac: JUMP
000039ad: JUMPDEST
000039ae: PUSH1 0x00
000039b0: DUP3
000039b1: DUP3
000039b2: DUP5
000039b3: ADD
000039b4: SWAP2
000039b5: POP
000039b6: DUP2
000039b7: LT
000039b8: ISZERO
000039b9: PUSH2 0x3a2a
000039bc: JUMPI
000039bd: PUSH1 0x40
000039bf: MLOAD
000039c0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000039e1: DUP2
000039e2: MSTORE
000039e3: PUSH1 0x04
000039e5: ADD
000039e6: DUP1
000039e7: DUP1
000039e8: PUSH1 0x20
000039ea: ADD
000039eb: DUP3
000039ec: DUP2
000039ed: SUB
000039ee: DUP3
000039ef: MSTORE
000039f0: PUSH1 0x14
000039f2: DUP2
000039f3: MSTORE
000039f4: PUSH1 0x20
000039f6: ADD
000039f7: DUP1
000039f8: PUSH32 0x64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000
00003a19: DUP2
00003a1a: MSTORE
00003a1b: POP
00003a1c: PUSH1 0x20
00003a1e: ADD
00003a1f: SWAP2
00003a20: POP
00003a21: POP
00003a22: PUSH1 0x40
00003a24: MLOAD
00003a25: DUP1
00003a26: SWAP2
00003a27: SUB
00003a28: SWAP1
00003a29: REVERT
00003a2a: JUMPDEST
00003a2b: SWAP3
00003a2c: SWAP2
00003a2d: POP
00003a2e: POP
00003a2f: JUMP
00003a30: INVALID
00003a31: SSTORE
00003a32: PUSH15 0x697377617056323a20494e53554646
00003a42: BLOBHASH
00003a43: NUMBER
00003a44: BLOBHASH
00003a45: GASLIMIT
00003a46: UNKNOWN(0x4E)
00003a47: SLOAD
00003a48: PUSH0
00003a49: UNKNOWN(0x4F)
00003a4a: SSTORE
00003a4b: SLOAD
00003a4c: POP
00003a4d: SSTORE
00003a4e: SLOAD
00003a4f: PUSH0
00003a50: COINBASE
00003a51: UNKNOWN(0x4D)
00003a52: UNKNOWN(0x4F)
00003a53: SSTORE
00003a54: UNKNOWN(0x4E)
00003a55: SLOAD
00003a56: SSTORE
00003a57: PUSH15 0x697377617056323a20494e53554646
00003a67: BLOBHASH
00003a68: NUMBER
00003a69: BLOBHASH
00003a6a: GASLIMIT
00003a6b: UNKNOWN(0x4E)
00003a6c: SLOAD
00003a6d: PUSH0
00003a6e: BLOBHASH
00003a6f: UNKNOWN(0x4E)
00003a70: POP
00003a71: SSTORE
00003a72: SLOAD
00003a73: PUSH0
00003a74: COINBASE
00003a75: UNKNOWN(0x4D)
00003a76: UNKNOWN(0x4F)
00003a77: SSTORE
00003a78: UNKNOWN(0x4E)
00003a79: SLOAD
00003a7a: SSTORE
00003a7b: PUSH15 0x697377617056323a20494e53554646
00003a8b: BLOBHASH
00003a8c: NUMBER
00003a8d: BLOBHASH
00003a8e: GASLIMIT
00003a8f: UNKNOWN(0x4E)
00003a90: SLOAD
00003a91: PUSH0
00003a92: UNKNOWN(0x4C)
00003a93: BLOBHASH
00003a94: MLOAD
00003a95: SSTORE
00003a96: BLOBHASH
00003a97: DIFFICULTY
00003a98: BLOBHASH
00003a99: SLOAD
00003a9a: MSIZE
00003a9b: SSTORE
00003a9c: PUSH15 0x697377617056323a20494e53554646
00003aac: BLOBHASH
00003aad: NUMBER
00003aae: BLOBHASH
00003aaf: GASLIMIT
00003ab0: UNKNOWN(0x4E)
00003ab1: SLOAD
00003ab2: PUSH0
00003ab3: UNKNOWN(0x4C)
00003ab4: BLOBHASH
00003ab5: MLOAD
00003ab6: SSTORE
00003ab7: BLOBHASH
00003ab8: DIFFICULTY
00003ab9: BLOBHASH
00003aba: SLOAD
00003abb: MSIZE
00003abc: PUSH0
00003abd: TIMESTAMP
00003abe: SSTORE
00003abf: MSTORE
00003ac0: UNKNOWN(0x4E)
00003ac1: GASLIMIT
00003ac2: DIFFICULTY
00003ac3: SSTORE
00003ac4: PUSH15 0x697377617056323a20494e53554646
00003ad4: BLOBHASH
00003ad5: NUMBER
00003ad6: BLOBHASH
00003ad7: GASLIMIT
00003ad8: UNKNOWN(0x4E)
00003ad9: SLOAD
00003ada: PUSH0
00003adb: UNKNOWN(0x4C)
00003adc: BLOBHASH
00003add: MLOAD
00003ade: SSTORE
00003adf: BLOBHASH
00003ae0: DIFFICULTY
00003ae1: BLOBHASH
00003ae2: SLOAD
00003ae3: MSIZE
00003ae4: PUSH0
00003ae5: UNKNOWN(0x4D)
00003ae6: BLOBHASH
00003ae7: UNKNOWN(0x4E)
00003ae8: SLOAD
00003ae9: GASLIMIT
00003aea: DIFFICULTY
00003aeb: LOG2
00003aec: PUSH5 0x6970667358
00003af2: UNKNOWN(0x22)
00003af3: SLT
00003af4: KECCAK256
00003af5: PUSH26 0x83f2e06cad1a0cab64218e001050f85840c00747e814f8b3d571
00003b10: PUSH3 0xa2ced8
00003b14: PUSH6 0x64736f6c6343
00003b1b: STOP
00003b1c: MOD
00003b1d: UNKNOWN(0x0C)
00003b1e: STOP
00003b1f: CALLER

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x820f5bb7349db76b24b8d9c6d22342a3969ff867c70c49fbbfd49d8d2306c4d7 call_targets: 0x3c1831af8a36df4a77799d15a7a16d7c478b6cdc target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x820f5bb7349db76b24b8d9c6d22342a3969ff867c70c49fbbfd49d8d2306c4d7", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3c1831af8a36df4a77799d15a7a16d7c478b6cdc" ], "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": "0xd21220a7", "selector": "0xd21220a7", "calldata_variants": [ "0xd21220a7", "0xd21220a70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd505accf", "selector": "0xd505accf", "calldata_variants": [ "0xd505accf", "0xd505accf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfff6cae9", "selector": "0xfff6cae9", "calldata_variants": [ "0xfff6cae9", "0xfff6cae90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xba9a7a56", "selector": "0xba9a7a56", "calldata_variants": [ "0xba9a7a56", "0xba9a7a560000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbc25cf77", "selector": "0xbc25cf77", "calldata_variants": [ "0xbc25cf77", "0xbc25cf770000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc45a0155", "selector": "0xc45a0155", "calldata_variants": [ "0xc45a0155", "0xc45a01550000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7ecebe00", "selector": "0x7ecebe00", "calldata_variants": [ "0x7ecebe00", "0x7ecebe000000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3392, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 11440, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [ { "pc": 5235, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6362, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 2 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x820f5bb7349db76b24b8d9c6d22342a3969ff867c70c49fbbfd49d8d2306c4d7 call_targets: 0x3c1831af8a36df4a77799d15a7a16d7c478b6cdc target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x820f5bb7349db76b24b8d9c6d22342a3969ff867c70c49fbbfd49d8d2306c4d7", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3c1831af8a36df4a77799d15a7a16d7c478b6cdc" ], "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": "0xd21220a7", "selector": "0xd21220a7", "calldata_variants": [ "0xd21220a7", "0xd21220a70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd505accf", "selector": "0xd505accf", "calldata_variants": [ "0xd505accf", "0xd505accf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfff6cae9", "selector": "0xfff6cae9", "calldata_variants": [ "0xfff6cae9", "0xfff6cae90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xba9a7a56", "selector": "0xba9a7a56", "calldata_variants": [ "0xba9a7a56", "0xba9a7a560000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbc25cf77", "selector": "0xbc25cf77", "calldata_variants": [ "0xbc25cf77", "0xbc25cf770000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc45a0155", "selector": "0xc45a0155", "calldata_variants": [ "0xc45a0155", "0xc45a01550000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7ecebe00", "selector": "0x7ecebe00", "calldata_variants": [ "0x7ecebe00", "0x7ecebe000000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3392, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 11440, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [ { "pc": 5235, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6362, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
info	other	cast	Heavy EXTCODE*/BALANCE usage	55	no	—	view evidence_json { "notes": "frequent external code or balance checks; may indicate introspection or validation logic", "ext_balance_count": 16 }
info	other	cast	Heavy CALL-family usage	55	no	—	view evidence_json { "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns", "call_family_count": 18 }