019c0ea9-0927-724a-89b6-62611e7a5660
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 42005 | artifact.fetch | complete | 1 / 3 | 2 months ago |
| 42006 | proxy.resolve | complete | 1 / 3 | 2 months ago |
| 42007 | tool.cast_disasm | complete | 1 / 3 | 2 months ago |
| 42008 | analysis.bundle | complete | 1 / 3 | 2 months ago |
| 42009 | capability.graph | complete | 1 / 3 | 2 months ago |
| 42010 | detector.run | complete | 1 / 3 | 2 months ago |
| 42011 | validation.fork | complete | 1 / 3 | 2 months ago |
| 42400 | report.consolidate | complete | 1 / 6 | 2 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
{"no_findings":false,"summary":"Identified 2 potential issues from bytecode analysis: tx.origin-based authorization checks and multiple external CALL sites with computed targets/values (possible untrusted calls/ETH transfer with reentrancy risk). Evidence is heuristic and some targets may be constant; see notes.","findings":[{"severity":"medium","category":"auth","title":"Authorization uses tx.origin (phishable auth bypass)","exploit_scenario":"If a privileged function gates access by comparing tx.origin to a stored owner/admin, a malicious contract can trick the owner into calling it, then invoke the protected function so that tx.origin still equals the owner, bypassing intended access control.","recommendation":"Replace tx.origin checks with msg.sender-based authorization or explicit signature verification. If meta-transactions are required, verify trusted forwarders (EIP-2771) rather than tx.origin.","evidence":"Detector flags tx.origin usage as guards at pc 253 and pc 7566; basic block at pc 241 shows ORIGIN compared against a storage-loaded value before a conditional jump.","locations":["pc:253","pc:7566"]},{"severity":"low","category":"reentrancy","title":"External CALLs with computed target/value (potential untrusted call / reentrancy surface)","exploit_scenario":"If any of these CALLs allow user-influenced targets or value, an attacker-controlled callee could reenter or trigger unintended external effects, especially if state updates occur after the call. Trace validation observed a constant target in one run, so this risk depends on actual target control.","recommendation":"Ensure external calls are to trusted/immutable targets or enforce strict allowlists. Use checks-effects-interactions and/or reentrancy guards where state is updated after calls. Consider verifying return data where applicable.","evidence":"Callsite list shows 43 CALLs with computed target/value (e.g., pc 354, 405, 489) and detector notes eth_value_calls=43; trace validation could not confirm target variation (constant target observed in one trace).","locations":["pc:354","pc:405","pc:489","pc:539","pc:615"]}]}
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-wq545uiu
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019c0f60-bb9f-7343-9ea5-4654b58281cb
--------
user
You are a security auditor. You ONLY have runtime bytecode + analysis artifacts.
You MUST read `BYTECODE_BUNDLE.json` before concluding; it contains the bytecode summary,
evidence bundle, callsites, storage slots, and detector findings.
Special cases when reasoning from bytecode (be explicit about uncertainty):
- Selector inference is best-effort; missing selectors are common.
- Fallback/receive paths may be the only entrypoints.
- CALL vs DELEGATECALL semantics differ; DELEGATECALL executes in caller storage.
- Proxy patterns (EIP-1967, minimal proxies, beacon) change which storage is authoritative.
- Storage slots are raw; mappings/arrays appear via keccak patterns, names are unknown.
- Guard detection is heuristic; absence of guards does NOT mean unguarded.
- Returndata checking is unknown unless explicitly shown in evidence.
- Precompiles (0x1..0x9) and common ERC20 transfer selectors may appear; do not over-claim.
Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title.
- Locations can be pc references like "pc:0x123" or selectors like "selector:0xa9059cbb".
Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation,
accounting/invariant breaks, dangerous delegatecall, and untrusted external calls.
Be conservative: if evidence is weak, mark severity low/medium and explain why.
mcp startup: no servers
exec
/bin/bash -lc ls in /tmp/codex-wq545uiu succeeded in 7ms:
BYTECODE_BUNDLE.json
codex-output-schema.json
exec
/bin/bash -lc 'cat BYTECODE_BUNDLE.json' in /tmp/codex-wq545uiu succeeded in 8ms:
{
"analysis_artifact": {
"address": "0xa57eda20be51ae07df3c8b92494c974a92cf8956",
"artifact_hash": "0x31d21fde538b37d0a0cd555131d8ec2aeb8c8e86b2b510f221ad82e8b0502a22",
"artifact_json": {
"auth": {
"guards": [
{
"pc": 253,
"type": "tx_origin_used"
},
{
"pc": 7566,
"type": "tx_origin_used"
}
]
},
"basic_blocks": [
{
"end_pc": 13,
exec
/bin/bash -lc 'rg -n "storage" BYTECODE_BUNDLE.json | head' in /tmp/codex-wq545uiu succeeded in 17ms:
10357: "value_expression_category": "storage-derived"
10371: "value_expression_category": "storage-derived"
13514: "storage": {
13867: "storage": {
14220: "storage": {
14573: "storage": {
14926: "storage": {
15279: "storage": {
15632: "storage": {
15985: "storage": {
exec
/bin/bash -lc "sed -n '13490,13620p' BYTECODE_BUNDLE.json" in /tmp/codex-wq545uiu succeeded in 10ms:
}
],
"functions": [
{
"auth": {
"guards": [
{
"pc": 253,
"type": "tx_origin_used"
},
{
"pc": 7566,
"type": "tx_origin_used"
}
]
},
"entry_pc": 3793600272,
"selector": "0xce30fb6a",
"sinks": {
"call": 43,
exec
/bin/bash -lc 'rg -n "call_targets" BYTECODE_BUNDLE.json | head' in /tmp/codex-wq545uiu succeeded in 10ms:
27787: "call_targets": [
27848: "call_targets": [
27876: "call_targets": null,
exec
/bin/bash -lc "sed -n '27760,27820p' BYTECODE_BUNDLE.json" in /tmp/codex-wq545uiu succeeded in 9ms:
"opcode": "CALL",
"pc": 489,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 253,
"type": "tx_origin_used"
},
{
"pc": 7566,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 43
},
"normalized_json": {
exec
/bin/bash -lc 'rg -n "360894a13ba1a321" BYTECODE_BUNDLE.json' in /tmp/codex-wq545uiu exited 1 in 9ms:
exec
/bin/bash -lc 'rg -n "reentr" BYTECODE_BUNDLE.json' in /tmp/codex-wq545uiu exited 1 in 7ms:
exec
/bin/bash -lc 'rg -n "callsites" BYTECODE_BUNDLE.json | head' in /tmp/codex-wq545uiu succeeded in 12ms:
10050: "callsites": [
exec
/bin/bash -lc "sed -n '10040,10140p' BYTECODE_BUNDLE.json" in /tmp/codex-wq545uiu succeeded in 7ms:
},
{
"end_pc": 8704,
"hash": "0x29feef7ca7e681280b651a28da2c16fbfef92a4bb71547070cd54c364c06b717",
"opcodes": [
"CALLER"
],
"start_pc": 8704
}
],
"callsites": [
{
"opcode": "STATICCALL",
"pc": 301,
"returndata_checked": null,
"target_expression_category": "computed",
"value_expression_category": "n/a"
},
{
"opcode": "CALL",
codex
{"no_findings":false,"summary":"Identified 2 potential issues from bytecode analysis: tx.origin-based authorization checks and multiple external CALL sites with computed targets/values (possible untrusted calls/ETH transfer with reentrancy risk). Evidence is heuristic and some targets may be constant; see notes.","findings":[{"severity":"medium","category":"auth","title":"Authorization uses tx.origin (phishable auth bypass)","exploit_scenario":"If a privileged function gates access by comparing tx.origin to a stored owner/admin, a malicious contract can trick the owner into calling it, then invoke the protected function so that tx.origin still equals the owner, bypassing intended access control.","recommendation":"Replace tx.origin checks with msg.sender-based authorization or explicit signature verification. If meta-transactions are required, verify trusted forwarders (EIP-2771) rather than tx.origin.","evidence":"Detector flags tx.origin usage as guards at pc 253 and pc 7566; basic block at pc 241 shows ORIGIN compared against a storage-loaded value before a conditional jump.","locations":["pc:253","pc:7566"]},{"severity":"low","category":"reentrancy","title":"External CALLs with computed target/value (potential untrusted call / reentrancy surface)","exploit_scenario":"If any of these CALLs allow user-influenced targets or value, an attacker-controlled callee could reenter or trigger unintended external effects, especially if state updates occur after the call. Trace validation observed a constant target in one run, so this risk depends on actual target control.","recommendation":"Ensure external calls are to trusted/immutable targets or enforce strict allowlists. Use checks-effects-interactions and/or reentrancy guards where state is updated after calls. Consider verifying return data where applicable.","evidence":"Callsite list shows 43 CALLs with computed target/value (e.g., pc 354, 405, 489) and detector notes eth_value_calls=43; trace validation could not confirm target variation (constant target observed in one trace).","locations":["pc:354","pc:405","pc:489","pc:539","pc:615"]}]}
tokens used
25,473
{
"codex": {
"ran_at": "2026-01-30T14:50:12.177931+00:00",
"returncode": 0
},
"project": {
"mode": "bytecode",
"bytecode_length": 17412,
"bytecode_truncated": false,
"capability_graph_present": true,
"analysis_artifact_present": true
},
"summary": "Identified 2 potential issues from bytecode analysis: tx.origin-based authorization checks and multiple external CALL sites with computed targets/values (possible untrusted calls/ETH transfer with reentrancy risk). Evidence is heuristic and some targets may be constant; see notes.",
"raw_final": {
"summary": "Identified 2 potential issues from bytecode analysis: tx.origin-based authorization checks and multiple external CALL sites with computed targets/values (possible untrusted calls/ETH transfer with reentrancy risk). Evidence is heuristic and some targets may be constant; see notes.",
"findings": [
{
"title": "Authorization uses tx.origin (phishable auth bypass)",
"category": "auth",
"evidence": "Detector flags tx.origin usage as guards at pc 253 and pc 7566; basic block at pc 241 shows ORIGIN compared against a storage-loaded value before a conditional jump.",
"severity": "medium",
"locations": [
"pc:253",
"pc:7566"
],
"recommendation": "Replace tx.origin checks with msg.sender-based authorization or explicit signature verification. If meta-transactions are required, verify trusted forwarders (EIP-2771) rather than tx.origin.",
"exploit_scenario": "If a privileged function gates access by comparing tx.origin to a stored owner/admin, a malicious contract can trick the owner into calling it, then invoke the protected function so that tx.origin still equals the owner, bypassing intended access control."
},
{
"title": "External CALLs with computed target/value (potential untrusted call / reentrancy surface)",
"category": "reentrancy",
"evidence": "Callsite list shows 43 CALLs with computed target/value (e.g., pc 354, 405, 489) and detector notes eth_value_calls=43; trace validation could not confirm target variation (constant target observed in one trace).",
"severity": "low",
"locations": [
"pc:354",
"pc:405",
"pc:489",
"pc:539",
"pc:615"
],
"recommendation": "Ensure external calls are to trusted/immutable targets or enforce strict allowlists. Use checks-effects-interactions and/or reentrancy guards where state is updated after calls. Consider verifying return data where applicable.",
"exploit_scenario": "If any of these CALLs allow user-influenced targets or value, an attacker-controlled callee could reenter or trigger unintended external effects, especially if state updates occur after the call. Trace validation observed a constant target in one run, so this risk depends on actual target control."
}
],
"no_findings": false
},
"no_findings": false,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: ISZERO 0000000a: PUSH2 0x001a 0000000d: JUMPI 0000000e: JUMPDEST 0000000f: CALLDATASIZE 00000010: ISZERO 00000011: PUSH2 0x0018 00000014: JUMPI 00000015: PUSH0 00000016: DUP1 00000017: REVERT 00000018: JUMPDEST 00000019: STOP 0000001a: JUMPDEST 0000001b: PUSH0 0000001c: DUP1 0000001d: CALLDATALOAD 0000001e: PUSH1 0xe0 00000020: SHR 00000021: DUP1 00000022: PUSH4 0xce30fb6a 00000027: EQ 00000028: PUSH2 0x0f98 0000002b: JUMPI 0000002c: DUP1 0000002d: PUSH4 0xe21dbf10 00000032: EQ 00000033: PUSH2 0x0d56 00000036: JUMPI 00000037: PUSH4 0xf04f2707 0000003c: EQ 0000003d: PUSH2 0x0046 00000040: JUMPI 00000041: POP 00000042: PUSH2 0x000e 00000045: JUMP 00000046: JUMPDEST 00000047: CALLVALUE 00000048: PUSH2 0x0d53 0000004b: JUMPI 0000004c: PUSH1 0x80 0000004e: CALLDATASIZE 0000004f: PUSH1 0x03 00000051: NOT 00000052: ADD 00000053: SLT 00000054: PUSH2 0x0d53 00000057: JUMPI 00000058: PUSH1 0x04 0000005a: CALLDATALOAD 0000005b: PUSH1 0x01 0000005d: PUSH1 0x01 0000005f: PUSH1 0x40 00000061: SHL 00000062: SUB 00000063: DUP2 00000064: GT 00000065: PUSH2 0x0a86 00000068: JUMPI 00000069: PUSH2 0x0076 0000006c: SWAP1 0000006d: CALLDATASIZE 0000006e: SWAP1 0000006f: PUSH1 0x04 00000071: ADD 00000072: PUSH2 0x1110 00000075: JUMP 00000076: JUMPDEST 00000077: POP 00000078: PUSH1 0x24 0000007a: CALLDATALOAD 0000007b: PUSH1 0x01 0000007d: PUSH1 0x01 0000007f: PUSH1 0x40 00000081: SHL 00000082: SUB 00000083: DUP2 00000084: GT 00000085: PUSH2 0x0a86 00000088: JUMPI 00000089: PUSH2 0x0096 0000008c: SWAP1 0000008d: CALLDATASIZE 0000008e: SWAP1 0000008f: PUSH1 0x04 00000091: ADD 00000092: PUSH2 0x117e 00000095: JUMP 00000096: JUMPDEST 00000097: PUSH1 0x44 00000099: CALLDATALOAD 0000009a: PUSH1 0x01 0000009c: PUSH1 0x01 0000009e: PUSH1 0x40 000000a0: SHL 000000a1: SUB 000000a2: DUP2 000000a3: GT 000000a4: PUSH2 0x0489 000000a7: JUMPI 000000a8: PUSH2 0x00b5 000000ab: SWAP1 000000ac: CALLDATASIZE 000000ad: SWAP1 000000ae: PUSH1 0x04 000000b0: ADD 000000b1: PUSH2 0x117e 000000b4: JUMP 000000b5: JUMPDEST 000000b6: POP 000000b7: PUSH1 0x64 000000b9: CALLDATALOAD 000000ba: PUSH1 0x01 000000bc: PUSH1 0x01 000000be: PUSH1 0x40 000000c0: SHL 000000c1: SUB 000000c2: DUP2 000000c3: GT 000000c4: PUSH2 0x0489 000000c7: JUMPI 000000c8: CALLDATASIZE 000000c9: PUSH1 0x23 000000cb: DUP3 000000cc: ADD 000000cd: SLT 000000ce: ISZERO 000000cf: PUSH2 0x0489 000000d2: JUMPI 000000d3: DUP1 000000d4: PUSH1 0x04 000000d6: ADD 000000d7: CALLDATALOAD 000000d8: PUSH1 0x01 000000da: PUSH1 0x01 000000dc: PUSH1 0x40 000000de: SHL 000000df: SUB 000000e0: DUP2 000000e1: GT 000000e2: PUSH2 0x048d 000000e5: JUMPI 000000e6: CALLDATASIZE 000000e7: SWAP2 000000e8: ADD 000000e9: PUSH1 0x24 000000eb: ADD 000000ec: GT 000000ed: PUSH2 0x0a86 000000f0: JUMPI 000000f1: PUSH1 0x09 000000f3: SLOAD 000000f4: PUSH1 0x01 000000f6: PUSH1 0x01 000000f8: PUSH1 0xa0 000000fa: SHL 000000fb: SUB 000000fc: AND 000000fd: ORIGIN 000000fe: SUB 000000ff: PUSH2 0x0a86 00000102: JUMPI 00000103: PUSH1 0x06 00000105: SLOAD 00000106: PUSH1 0x40 00000108: MLOAD 00000109: PUSH4 0x70a08231 0000010e: PUSH1 0xe0 00000110: SHL 00000111: DUP2 00000112: MSTORE 00000113: ADDRESS 00000114: PUSH1 0x04 00000116: DUP3 00000117: ADD 00000118: MSTORE 00000119: DUP4 0000011a: SWAP2 0000011b: PUSH1 0x01 0000011d: PUSH1 0x01 0000011f: PUSH1 0xa0 00000121: SHL 00000122: SUB 00000123: AND 00000124: SWAP1 00000125: PUSH1 0x20 00000127: DUP2 00000128: PUSH1 0x24 0000012a: DUP2 0000012b: DUP6 0000012c: GAS 0000012d: STATICCALL 0000012e: SWAP1 0000012f: DUP2 00000130: ISZERO 00000131: PUSH2 0x04ca 00000134: JUMPI 00000135: DUP4 00000136: SWAP2 00000137: PUSH2 0x0d1e 0000013a: JUMPI 0000013b: JUMPDEST 0000013c: POP 0000013d: DUP2 0000013e: EXTCODESIZE 0000013f: ISZERO 00000140: PUSH2 0x0489 00000143: JUMPI 00000144: DUP3 00000145: SWAP2 00000146: PUSH1 0x24 00000148: DUP4 00000149: SWAP3 0000014a: PUSH1 0x40 0000014c: MLOAD 0000014d: SWAP5 0000014e: DUP6 0000014f: SWAP4 00000150: DUP5 00000151: SWAP3 00000152: PUSH4 0x2e1a7d4d 00000157: PUSH1 0xe0 00000159: SHL 0000015a: DUP5 0000015b: MSTORE 0000015c: PUSH1 0x04 0000015e: DUP5 0000015f: ADD 00000160: MSTORE 00000161: GAS 00000162: CALL 00000163: DUP1 00000164: ISZERO 00000165: PUSH2 0x033c 00000168: JUMPI 00000169: PUSH2 0x0d09 0000016c: JUMPI 0000016d: JUMPDEST 0000016e: POP 0000016f: PUSH1 0x01 00000171: SLOAD 00000172: PUSH1 0x40 00000174: MLOAD 00000175: PUSH4 0x1d8e90d1 0000017a: PUSH1 0xe1 0000017c: SHL 0000017d: DUP2 0000017e: MSTORE 0000017f: SWAP2 00000180: PUSH1 0x20 00000182: SWAP2 00000183: DUP4 00000184: SWAP2 00000185: PUSH1 0x04 00000187: SWAP2 00000188: DUP4 00000189: SWAP2 0000018a: SWAP1 0000018b: PUSH1 0x01 0000018d: PUSH1 0x01 0000018f: PUSH1 0xa0 00000191: SHL 00000192: SUB 00000193: AND 00000194: GAS 00000195: CALL 00000196: SWAP1 00000197: DUP2 00000198: ISZERO 00000199: PUSH2 0x04ca 0000019c: JUMPI 0000019d: DUP4 0000019e: SWAP2 0000019f: PUSH2 0x0cd7 000001a2: JUMPI 000001a3: JUMPDEST 000001a4: POP 000001a5: PUSH1 0x0b 000001a7: SSTORE 000001a8: PUSH1 0x01 000001aa: SLOAD 000001ab: SELFBALANCE 000001ac: PUSH8 0x06f05b59d3b1ffff 000001b5: NOT 000001b6: DUP2 000001b7: ADD 000001b8: SWAP2 000001b9: PUSH1 0x01 000001bb: PUSH1 0x01 000001bd: PUSH1 0xa0 000001bf: SHL 000001c0: SUB 000001c1: AND 000001c2: SWAP1 000001c3: DUP3 000001c4: GT 000001c5: PUSH2 0x0cc3 000001c8: JUMPI 000001c9: SWAP1 000001ca: DUP2 000001cb: DUP5 000001cc: SWAP3 000001cd: EXTCODESIZE 000001ce: ISZERO 000001cf: PUSH2 0x0489 000001d2: JUMPI 000001d3: DUP3 000001d4: SWAP1 000001d5: PUSH1 0x04 000001d7: PUSH1 0x40 000001d9: MLOAD 000001da: DUP1 000001db: SWAP5 000001dc: DUP2 000001dd: SWAP4 000001de: PUSH4 0x1249c58b 000001e3: PUSH1 0xe0 000001e5: SHL 000001e6: DUP4 000001e7: MSTORE 000001e8: GAS 000001e9: CALL 000001ea: DUP1 000001eb: ISZERO 000001ec: PUSH2 0x033c 000001ef: JUMPI 000001f0: PUSH2 0x0cae 000001f3: JUMPI 000001f4: JUMPDEST 000001f5: POP 000001f6: DUP1 000001f7: SLOAD 000001f8: PUSH1 0x40 000001fa: MLOAD 000001fb: PUSH4 0xb0772d0b 00000200: PUSH1 0xe0 00000202: SHL 00000203: DUP2 00000204: MSTORE 00000205: SWAP1 00000206: DUP3 00000207: SWAP1 00000208: DUP3 00000209: SWAP1 0000020a: PUSH1 0x04 0000020c: SWAP1 0000020d: DUP3 0000020e: SWAP1 0000020f: DUP5 00000210: SWAP1 00000211: PUSH1 0x01 00000213: PUSH1 0x01 00000215: PUSH1 0xa0 00000217: SHL 00000218: SUB 00000219: AND 0000021a: GAS 0000021b: CALL 0000021c: SWAP1 0000021d: DUP2 0000021e: ISZERO 0000021f: PUSH2 0x033c 00000222: JUMPI 00000223: DUP3 00000224: SWAP2 00000225: PUSH2 0x0263 00000228: SWAP2 00000229: DUP4 0000022a: SWAP2 0000022b: PUSH2 0x0c94 0000022e: JUMPI 0000022f: JUMPDEST 00000230: POP 00000231: DUP3 00000232: SLOAD 00000233: PUSH1 0x40 00000235: MLOAD 00000236: PUSH4 0x18533047 0000023b: PUSH1 0xe3 0000023d: SHL 0000023e: DUP2 0000023f: MSTORE 00000240: PUSH1 0x20 00000242: PUSH1 0x04 00000244: DUP3 00000245: ADD 00000246: MSTORE 00000247: SWAP5 00000248: DUP6 00000249: SWAP4 0000024a: PUSH1 0x01 0000024c: PUSH1 0x01 0000024e: PUSH1 0xa0 00000250: SHL 00000251: SUB 00000252: SWAP1 00000253: SWAP3 00000254: AND 00000255: SWAP3 00000256: DUP5 00000257: SWAP3 00000258: DUP4 00000259: SWAP2 0000025a: PUSH1 0x24 0000025c: DUP4 0000025d: ADD 0000025e: SWAP1 0000025f: PUSH2 0x11db 00000262: JUMP 00000263: JUMPDEST 00000264: SUB 00000265: SWAP3 00000266: GAS 00000267: CALL 00000268: DUP1 00000269: ISZERO 0000026a: PUSH2 0x04ca 0000026d: JUMPI 0000026e: PUSH2 0x0c74 00000271: JUMPI 00000272: JUMPDEST 00000273: POP 00000274: DUP2 00000275: JUMPDEST 00000276: PUSH1 0x10 00000278: SLOAD 00000279: DUP2 0000027a: LT 0000027b: ISZERO 0000027c: PUSH2 0x053b 0000027f: JUMPI 00000280: DUP3 00000281: DUP1 00000282: PUSH1 0x20 00000284: PUSH2 0x028c 00000287: DUP5 00000288: PUSH2 0x12ac 0000028b: JUMP 0000028c: JUMPDEST 0000028d: SWAP1 0000028e: SLOAD 0000028f: PUSH1 0x40 00000291: MLOAD 00000292: PUSH4 0x1d8e90d1 00000297: PUSH1 0xe1 00000299: SHL 0000029a: DUP2 0000029b: MSTORE 0000029c: SWAP4 0000029d: DUP5 0000029e: SWAP3 0000029f: PUSH1 0x04 000002a1: SWAP3 000002a2: DUP5 000002a3: SWAP3 000002a4: SWAP2 000002a5: PUSH1 0x03 000002a7: SHL 000002a8: SHR 000002a9: PUSH1 0x01 000002ab: PUSH1 0x01 000002ad: PUSH1 0xa0 000002af: SHL 000002b0: SUB 000002b1: AND 000002b2: GAS 000002b3: CALL 000002b4: SWAP1 000002b5: DUP2 000002b6: ISZERO 000002b7: PUSH2 0x033c 000002ba: JUMPI 000002bb: DUP3 000002bc: SWAP2 000002bd: PUSH2 0x0507 000002c0: JUMPI 000002c1: JUMPDEST 000002c2: POP 000002c3: DUP3 000002c4: PUSH2 0x038d 000002c7: JUMPI 000002c8: POP 000002c9: PUSH1 0x20 000002cb: PUSH2 0x02d3 000002ce: DUP4 000002cf: PUSH2 0x12ac 000002d2: JUMP 000002d3: JUMPDEST 000002d4: SWAP1 000002d5: SLOAD 000002d6: PUSH1 0x0b 000002d8: SLOAD 000002d9: PUSH1 0x40 000002db: MLOAD 000002dc: PUSH4 0x317afabb 000002e1: PUSH1 0xe2 000002e3: SHL 000002e4: DUP2 000002e5: MSTORE 000002e6: PUSH1 0x04 000002e8: DUP2 000002e9: ADD 000002ea: SWAP2 000002eb: SWAP1 000002ec: SWAP2 000002ed: MSTORE 000002ee: SWAP4 000002ef: DUP5 000002f0: SWAP3 000002f1: PUSH1 0x24 000002f3: SWAP3 000002f4: DUP5 000002f5: SWAP3 000002f6: SWAP2 000002f7: PUSH1 0x03 000002f9: SHL 000002fa: SHR 000002fb: PUSH1 0x01 000002fd: PUSH1 0x01 000002ff: PUSH1 0xa0 00000301: SHL 00000302: SUB 00000303: AND 00000304: GAS 00000305: CALL 00000306: DUP1 00000307: ISZERO 00000308: PUSH2 0x0382 0000030b: JUMPI 0000030c: PUSH2 0x0350 0000030f: JUMPI 00000310: JUMPDEST 00000311: POP 00000312: DUP3 00000313: DUP1 00000314: DUP1 00000315: DUP1 00000316: PUSH1 0x01 00000318: DUP1 00000319: PUSH1 0xa0 0000031b: SHL 0000031c: SUB 0000031d: PUSH1 0x09 0000031f: SLOAD 00000320: AND 00000321: PUSH1 0x0b 00000323: SLOAD 00000324: SWAP1 00000325: DUP3 00000326: DUP3 00000327: ISZERO 00000328: PUSH2 0x0347 0000032b: JUMPI 0000032c: JUMPDEST 0000032d: CALL 0000032e: ISZERO 0000032f: PUSH2 0x033c 00000332: JUMPI 00000333: PUSH1 0x01 00000335: SWAP1 00000336: JUMPDEST 00000337: ADD 00000338: PUSH2 0x0275 0000033b: JUMP 0000033c: JUMPDEST 0000033d: PUSH1 0x40 0000033f: MLOAD 00000340: RETURNDATASIZE 00000341: DUP5 00000342: DUP3 00000343: RETURNDATACOPY 00000344: RETURNDATASIZE 00000345: SWAP1 00000346: REVERT 00000347: JUMPDEST 00000348: POP 00000349: PUSH2 0x08fc 0000034c: PUSH2 0x032c 0000034f: JUMP 00000350: JUMPDEST 00000351: PUSH1 0x20 00000353: DUP2 00000354: RETURNDATASIZE 00000355: DUP3 00000356: GT 00000357: PUSH2 0x037a 0000035a: JUMPI 0000035b: JUMPDEST 0000035c: DUP2 0000035d: PUSH2 0x0368 00000360: PUSH1 0x20 00000362: SWAP4 00000363: DUP4 00000364: PUSH2 0x10c4 00000367: JUMP 00000368: JUMPDEST 00000369: DUP2 0000036a: ADD 0000036b: SUB 0000036c: SLT 0000036d: PUSH2 0x0376 00000370: JUMPI 00000371: MLOAD 00000372: PUSH2 0x0310 00000375: JUMP 00000376: JUMPDEST 00000377: PUSH0 00000378: DUP1 00000379: REVERT 0000037a: JUMPDEST 0000037b: RETURNDATASIZE 0000037c: SWAP2 0000037d: POP 0000037e: PUSH2 0x035b 00000381: JUMP 00000382: JUMPDEST 00000383: PUSH1 0x40 00000385: MLOAD 00000386: RETURNDATASIZE 00000387: DUP7 00000388: DUP3 00000389: RETURNDATACOPY 0000038a: RETURNDATASIZE 0000038b: SWAP1 0000038c: REVERT 0000038d: JUMPDEST 0000038e: DUP2 0000038f: PUSH1 0x20 00000391: PUSH2 0x0399 00000394: DUP6 00000395: PUSH2 0x12ac 00000398: JUMP 00000399: JUMPDEST 0000039a: SWAP1 0000039b: SLOAD 0000039c: PUSH1 0x40 0000039e: MLOAD 0000039f: PUSH4 0x317afabb 000003a4: PUSH1 0xe2 000003a6: SHL 000003a7: DUP2 000003a8: MSTORE 000003a9: PUSH1 0x04 000003ab: DUP2 000003ac: ADD 000003ad: DUP7 000003ae: SWAP1 000003af: MSTORE 000003b0: SWAP4 000003b1: DUP5 000003b2: SWAP3 000003b3: PUSH1 0x24 000003b5: SWAP3 000003b6: DUP5 000003b7: SWAP3 000003b8: SWAP2 000003b9: PUSH1 0x03 000003bb: SHL 000003bc: SHR 000003bd: PUSH1 0x01 000003bf: PUSH1 0x01 000003c1: PUSH1 0xa0 000003c3: SHL 000003c4: SUB 000003c5: AND 000003c6: GAS 000003c7: CALL 000003c8: DUP1 000003c9: ISZERO 000003ca: PUSH2 0x04ca 000003cd: JUMPI 000003ce: PUSH2 0x04d5 000003d1: JUMPI 000003d2: JUMPDEST 000003d3: POP 000003d4: DUP2 000003d5: PUSH1 0x20 000003d7: PUSH2 0x03df 000003da: DUP6 000003db: PUSH2 0x12ac 000003de: JUMP 000003df: JUMPDEST 000003e0: SWAP1 000003e1: SLOAD 000003e2: PUSH1 0x40 000003e4: MLOAD 000003e5: PUSH4 0x6f307dc3 000003ea: PUSH1 0xe0 000003ec: SHL 000003ed: DUP2 000003ee: MSTORE 000003ef: SWAP4 000003f0: DUP5 000003f1: SWAP3 000003f2: PUSH1 0x04 000003f4: SWAP3 000003f5: DUP5 000003f6: SWAP3 000003f7: SWAP2 000003f8: PUSH1 0x03 000003fa: SHL 000003fb: SHR 000003fc: PUSH1 0x01 000003fe: PUSH1 0x01 00000400: PUSH1 0xa0 00000402: SHL 00000403: SUB 00000404: AND 00000405: GAS 00000406: CALL 00000407: SWAP1 00000408: DUP2 00000409: ISZERO 0000040a: PUSH2 0x04ca 0000040d: JUMPI 0000040e: DUP4 0000040f: SWAP2 00000410: PUSH2 0x0491 00000413: JUMPI 00000414: JUMPDEST 00000415: POP 00000416: PUSH1 0x09 00000418: SLOAD 00000419: PUSH1 0x01 0000041b: PUSH1 0x01 0000041d: PUSH1 0xa0 0000041f: SHL 00000420: SUB 00000421: SWAP2 00000422: DUP3 00000423: AND 00000424: SWAP3 00000425: SWAP2 00000426: AND 00000427: SWAP1 00000428: DUP3 00000429: EXTCODESIZE 0000042a: ISZERO 0000042b: PUSH2 0x048d 0000042e: JUMPI 0000042f: PUSH1 0x40 00000431: MLOAD 00000432: PUSH4 0xa9059cbb 00000437: PUSH1 0xe0 00000439: SHL 0000043a: DUP2 0000043b: MSTORE 0000043c: PUSH1 0x01 0000043e: PUSH1 0x01 00000440: PUSH1 0xa0 00000442: SHL 00000443: SUB 00000444: SWAP3 00000445: SWAP1 00000446: SWAP3 00000447: AND 00000448: PUSH1 0x04 0000044a: DUP4 0000044b: ADD 0000044c: MSTORE 0000044d: PUSH1 0x24 0000044f: DUP3 00000450: ADD 00000451: MSTORE 00000452: SWAP1 00000453: DUP3 00000454: SWAP1 00000455: DUP3 00000456: SWAP1 00000457: PUSH1 0x44 00000459: SWAP1 0000045a: DUP3 0000045b: SWAP1 0000045c: DUP5 0000045d: SWAP1 0000045e: GAS 0000045f: CALL 00000460: DUP1 00000461: ISZERO 00000462: PUSH2 0x033c 00000465: JUMPI 00000466: PUSH2 0x0474 00000469: JUMPI 0000046a: JUMPDEST 0000046b: POP 0000046c: POP 0000046d: PUSH1 0x01 0000046f: SWAP1 00000470: PUSH2 0x0336 00000473: JUMP 00000474: JUMPDEST 00000475: DUP2 00000476: PUSH2 0x047e 00000479: SWAP2 0000047a: PUSH2 0x10c4 0000047d: JUMP 0000047e: JUMPDEST 0000047f: PUSH2 0x0489 00000482: JUMPI 00000483: DUP3 00000484: PUSH0 00000485: PUSH2 0x046a 00000488: JUMP 00000489: JUMPDEST 0000048a: DUP3 0000048b: DUP1 0000048c: REVERT 0000048d: JUMPDEST 0000048e: DUP4 0000048f: DUP1 00000490: REVERT 00000491: JUMPDEST 00000492: SWAP1 00000493: POP 00000494: PUSH1 0x20 00000496: DUP2 00000497: RETURNDATASIZE 00000498: DUP3 00000499: GT 0000049a: PUSH2 0x04c2 0000049d: JUMPI 0000049e: JUMPDEST 0000049f: DUP2 000004a0: PUSH2 0x04ab 000004a3: PUSH1 0x20 000004a5: SWAP4 000004a6: DUP4 000004a7: PUSH2 0x10c4 000004aa: JUMP 000004ab: JUMPDEST 000004ac: DUP2 000004ad: ADD 000004ae: SUB 000004af: SLT 000004b0: PUSH2 0x0489 000004b3: JUMPI 000004b4: PUSH2 0x04bc 000004b7: SWAP1 000004b8: PUSH2 0x1217 000004bb: JUMP 000004bc: JUMPDEST 000004bd: PUSH0 000004be: PUSH2 0x0414 000004c1: JUMP 000004c2: JUMPDEST 000004c3: RETURNDATASIZE 000004c4: SWAP2 000004c5: POP 000004c6: PUSH2 0x049e 000004c9: JUMP 000004ca: JUMPDEST 000004cb: PUSH1 0x40 000004cd: MLOAD 000004ce: RETURNDATASIZE 000004cf: DUP6 000004d0: DUP3 000004d1: RETURNDATACOPY 000004d2: RETURNDATASIZE 000004d3: SWAP1 000004d4: REVERT 000004d5: JUMPDEST 000004d6: SWAP2 000004d7: POP 000004d8: PUSH1 0x20 000004da: DUP3 000004db: RETURNDATASIZE 000004dc: DUP3 000004dd: GT 000004de: PUSH2 0x04ff 000004e1: JUMPI 000004e2: JUMPDEST 000004e3: DUP2 000004e4: PUSH2 0x04ef 000004e7: PUSH1 0x20 000004e9: SWAP4 000004ea: DUP4 000004eb: PUSH2 0x10c4 000004ee: JUMP 000004ef: JUMPDEST 000004f0: DUP2 000004f1: ADD 000004f2: SUB 000004f3: SLT 000004f4: PUSH2 0x0376 000004f7: JUMPI 000004f8: DUP5 000004f9: SWAP2 000004fa: MLOAD 000004fb: PUSH2 0x03d2 000004fe: JUMP 000004ff: JUMPDEST 00000500: RETURNDATASIZE 00000501: SWAP2 00000502: POP 00000503: PUSH2 0x04e2 00000506: JUMP 00000507: JUMPDEST 00000508: SWAP2 00000509: POP 0000050a: POP 0000050b: PUSH1 0x20 0000050d: DUP2 0000050e: RETURNDATASIZE 0000050f: DUP3 00000510: GT 00000511: PUSH2 0x0533 00000514: JUMPI 00000515: JUMPDEST 00000516: DUP2 00000517: PUSH2 0x0522 0000051a: PUSH1 0x20 0000051c: SWAP4 0000051d: DUP4 0000051e: PUSH2 0x10c4 00000521: JUMP 00000522: JUMPDEST 00000523: DUP2 00000524: ADD 00000525: SUB 00000526: SLT 00000527: PUSH2 0x0376 0000052a: JUMPI 0000052b: DUP4 0000052c: SWAP1 0000052d: MLOAD 0000052e: PUSH0 0000052f: PUSH2 0x02c1 00000532: JUMP 00000533: JUMPDEST 00000534: RETURNDATASIZE 00000535: SWAP2 00000536: POP 00000537: PUSH2 0x0515 0000053a: JUMP 0000053b: JUMPDEST 0000053c: POP 0000053d: DUP2 0000053e: SLOAD 0000053f: PUSH1 0x40 00000541: MLOAD 00000542: PUSH4 0x5ec88c79 00000547: PUSH1 0xe0 00000549: SHL 0000054a: DUP2 0000054b: MSTORE 0000054c: ADDRESS 0000054d: PUSH1 0x04 0000054f: DUP3 00000550: ADD 00000551: MSTORE 00000552: SWAP1 00000553: PUSH1 0x60 00000555: SWAP1 00000556: DUP3 00000557: SWAP1 00000558: PUSH1 0x24 0000055a: SWAP1 0000055b: DUP3 0000055c: SWAP1 0000055d: DUP8 0000055e: SWAP1 0000055f: PUSH1 0x01 00000561: PUSH1 0x01 00000563: PUSH1 0xa0 00000565: SHL 00000566: SUB 00000567: AND 00000568: GAS 00000569: CALL 0000056a: DUP1 0000056b: ISZERO 0000056c: PUSH2 0x04ca 0000056f: JUMPI 00000570: DUP4 00000571: SWAP1 00000572: PUSH2 0x0c3e 00000575: JUMPI 00000576: JUMPDEST 00000577: DUP4 00000578: SLOAD 00000579: PUSH1 0x40 0000057b: MLOAD 0000057c: PUSH4 0x07dc0d1d 00000581: PUSH1 0xe4 00000583: SHL 00000584: DUP2 00000585: MSTORE 00000586: SWAP3 00000587: POP 00000588: PUSH1 0x20 0000058a: SWAP1 0000058b: DUP4 0000058c: SWAP1 0000058d: PUSH1 0x04 0000058f: SWAP1 00000590: DUP3 00000591: SWAP1 00000592: PUSH1 0x01 00000594: PUSH1 0x01 00000596: PUSH1 0xa0 00000598: SHL 00000599: SUB 0000059a: AND 0000059b: GAS 0000059c: STATICCALL 0000059d: SWAP2 0000059e: DUP3 0000059f: ISZERO 000005a0: PUSH2 0x0382 000005a3: JUMPI 000005a4: DUP5 000005a5: SWAP3 000005a6: PUSH2 0x0c00 000005a9: JUMPI 000005aa: JUMPDEST 000005ab: POP 000005ac: PUSH1 0x02 000005ae: SLOAD 000005af: PUSH1 0x40 000005b1: MLOAD 000005b2: PUSH4 0xfc57d4df 000005b7: PUSH1 0xe0 000005b9: SHL 000005ba: DUP2 000005bb: MSTORE 000005bc: PUSH1 0x01 000005be: PUSH1 0x01 000005c0: PUSH1 0xa0 000005c2: SHL 000005c3: SUB 000005c4: SWAP2 000005c5: DUP3 000005c6: AND 000005c7: PUSH1 0x04 000005c9: DUP3 000005ca: ADD 000005cb: DUP2 000005cc: SWAP1 000005cd: MSTORE 000005ce: SWAP4 000005cf: SWAP1 000005d0: SWAP3 000005d1: SWAP2 000005d2: PUSH1 0x20 000005d4: SWAP2 000005d5: DUP5 000005d6: SWAP2 000005d7: PUSH1 0x24 000005d9: SWAP2 000005da: DUP4 000005db: SWAP2 000005dc: AND 000005dd: GAS 000005de: STATICCALL 000005df: SWAP2 000005e0: DUP3 000005e1: ISZERO 000005e2: PUSH2 0x0bf5 000005e5: JUMPI 000005e6: DUP6 000005e7: SWAP3 000005e8: PUSH2 0x0bc1 000005eb: JUMPI 000005ec: JUMPDEST 000005ed: POP 000005ee: PUSH8 0x0de0b6b3a7640000 000005f7: DUP2 000005f8: MUL 000005f9: SWAP1 000005fa: DUP1 000005fb: DUP3 000005fc: DIV 000005fd: PUSH8 0x0de0b6b3a7640000 00000606: EQ 00000607: SWAP1 00000608: ISZERO 00000609: OR 0000060a: ISZERO 0000060b: PUSH2 0x0acd 0000060e: JUMPI 0000060f: DUP2 00000610: ISZERO 00000611: PUSH2 0x0bad 00000614: JUMPI 00000615: DUP5 00000616: SWAP2 00000617: PUSH1 0x20 00000619: SWAP2 0000061a: DIV 0000061b: SWAP3 0000061c: PUSH1 0x24 0000061e: PUSH1 0x40 00000620: MLOAD 00000621: DUP1 00000622: SWAP5 00000623: DUP2 00000624: SWAP4 00000625: PUSH4 0x317afabb 0000062a: PUSH1 0xe2 0000062c: SHL 0000062d: DUP4 0000062e: MSTORE 0000062f: DUP8 00000630: PUSH1 0x04 00000632: DUP5 00000633: ADD 00000634: MSTORE 00000635: GAS 00000636: CALL 00000637: DUP1 00000638: ISZERO 00000639: PUSH2 0x0382 0000063c: JUMPI 0000063d: PUSH2 0x0b7e 00000640: JUMPI 00000641: JUMPDEST 00000642: POP 00000643: PUSH1 0x40 00000645: MLOAD 00000646: PUSH2 0x055e 00000649: DUP1 0000064a: DUP3 0000064b: ADD 0000064c: SWAP1 0000064d: DUP3 0000064e: DUP3 0000064f: LT 00000650: PUSH1 0x01 00000652: PUSH1 0x01 00000654: PUSH1 0x40 00000656: SHL 00000657: SUB 00000658: DUP4 00000659: GT 0000065a: OR 0000065b: PUSH2 0x0b6a 0000065e: JUMPI 0000065f: SWAP2 00000660: DUP1 00000661: SWAP2 00000662: DUP7 00000663: SWAP4 00000664: PUSH2 0x1c6e 00000667: DUP4 00000668: CODECOPY 00000669: SUB 0000066a: SWAP1 0000066b: DUP3 0000066c: CREATE 0000066d: DUP1 0000066e: ISZERO 0000066f: PUSH2 0x0b5d 00000672: JUMPI 00000673: PUSH1 0x01 00000675: PUSH1 0x01 00000677: PUSH1 0xa0 00000679: SHL 0000067a: SUB 0000067b: AND 0000067c: DUP2 0000067d: DUP1 0000067e: DUP1 0000067f: DUP1 00000680: PUSH8 0x06f05b59d3b20000 00000689: DUP6 0000068a: DUP3 0000068b: CALL 0000068c: ISZERO 0000068d: PUSH2 0x0b5d 00000690: JUMPI 00000691: DUP1 00000692: EXTCODESIZE 00000693: ISZERO 00000694: PUSH2 0x0a86 00000697: JUMPI 00000698: DUP2 00000699: DUP1 0000069a: SWAP2 0000069b: PUSH1 0x04 0000069d: PUSH1 0x40 0000069f: MLOAD 000006a0: DUP1 000006a1: SWAP5 000006a2: DUP2 000006a3: SWAP4 000006a4: PUSH4 0x255e1ac7 000006a9: PUSH1 0xe2 000006ab: SHL 000006ac: DUP4 000006ad: MSTORE 000006ae: GAS 000006af: CALL 000006b0: DUP1 000006b1: ISZERO 000006b2: PUSH2 0x033c 000006b5: JUMPI 000006b6: PUSH2 0x0b48 000006b9: JUMPI 000006ba: JUMPDEST 000006bb: POP 000006bc: PUSH1 0x20 000006be: PUSH1 0x01 000006c0: DUP1 000006c1: PUSH1 0xa0 000006c3: SHL 000006c4: SUB 000006c5: PUSH1 0x04 000006c7: SLOAD 000006c8: AND 000006c9: PUSH1 0x44 000006cb: PUSH1 0x01 000006cd: DUP1 000006ce: PUSH1 0xa0 000006d0: SHL 000006d1: SUB 000006d2: PUSH1 0x0d 000006d4: SLOAD 000006d5: AND 000006d6: PUSH1 0x40 000006d8: MLOAD 000006d9: SWAP5 000006da: DUP6 000006db: SWAP4 000006dc: DUP5 000006dd: SWAP3 000006de: PUSH4 0xa9059cbb 000006e3: PUSH1 0xe0 000006e5: SHL 000006e6: DUP5 000006e7: MSTORE 000006e8: PUSH1 0x04 000006ea: DUP5 000006eb: ADD 000006ec: MSTORE 000006ed: PUSH1 0x01 000006ef: PUSH1 0x24 000006f1: DUP5 000006f2: ADD 000006f3: MSTORE 000006f4: GAS 000006f5: CALL 000006f6: DUP1 000006f7: ISZERO 000006f8: PUSH2 0x0382 000006fb: JUMPI 000006fc: PUSH2 0x0b2b 000006ff: JUMPI 00000700: JUMPDEST 00000701: POP 00000702: PUSH1 0x05 00000704: SLOAD 00000705: PUSH1 0x0c 00000707: SLOAD 00000708: PUSH1 0x0d 0000070a: SLOAD 0000070b: PUSH1 0x74 0000070d: DUP5 0000070e: DUP2 0000070f: MUL 00000710: SWAP5 00000711: PUSH1 0x01 00000713: PUSH1 0x01 00000715: PUSH1 0xa0 00000717: SHL 00000718: SUB 00000719: SWAP4 0000071a: DUP5 0000071b: AND 0000071c: SWAP5 0000071d: SWAP3 0000071e: DUP5 0000071f: AND 00000720: SWAP4 00000721: SWAP1 00000722: SWAP3 00000723: AND 00000724: SWAP2 00000725: DUP1 00000726: DUP7 00000727: DIV 00000728: SWAP1 00000729: SWAP2 0000072a: EQ 0000072b: SWAP1 0000072c: ISZERO 0000072d: OR 0000072e: ISZERO 0000072f: PUSH2 0x0b17 00000732: JUMPI 00000733: SWAP1 00000734: DUP2 00000735: DUP7 00000736: SWAP5 00000737: SWAP4 00000738: SWAP3 00000739: EXTCODESIZE 0000073a: ISZERO 0000073b: PUSH2 0x0b13 0000073e: JUMPI 0000073f: DUP5 00000740: SWAP3 00000741: DUP4 00000742: PUSH1 0x84 00000744: SWAP3 00000745: PUSH1 0x64 00000747: PUSH1 0x40 00000749: MLOAD 0000074a: SWAP8 0000074b: DUP9 0000074c: SWAP7 0000074d: DUP8 0000074e: SWAP6 0000074f: PUSH4 0x0adfdc6f 00000754: PUSH1 0xe4 00000756: SHL 00000757: DUP8 00000758: MSTORE 00000759: ADDRESS 0000075a: PUSH1 0x04 0000075c: DUP9 0000075d: ADD 0000075e: MSTORE 0000075f: PUSH1 0x24 00000761: DUP8 00000762: ADD 00000763: MSTORE 00000764: PUSH1 0x44 00000766: DUP7 00000767: ADD 00000768: MSTORE 00000769: DIV 0000076a: PUSH1 0x64 0000076c: DUP5 0000076d: ADD 0000076e: MSTORE 0000076f: GAS 00000770: CALL 00000771: DUP1 00000772: ISZERO 00000773: PUSH2 0x033c 00000776: JUMPI 00000777: PUSH2 0x0afe 0000077a: JUMPI 0000077b: JUMPDEST 0000077c: POP 0000077d: PUSH1 0x20 0000077f: PUSH1 0x01 00000781: DUP1 00000782: PUSH1 0xa0 00000784: SHL 00000785: SUB 00000786: PUSH1 0x04 00000788: SLOAD 00000789: AND 0000078a: PUSH1 0x44 0000078c: PUSH1 0x01 0000078e: DUP1 0000078f: PUSH1 0xa0 00000791: SHL 00000792: SUB 00000793: PUSH1 0x08 00000795: SLOAD 00000796: AND 00000797: PUSH1 0x40 00000799: MLOAD 0000079a: SWAP5 0000079b: DUP6 0000079c: SWAP4 0000079d: DUP5 0000079e: SWAP3 0000079f: PUSH4 0x095ea7b3 000007a4: PUSH1 0xe0 000007a6: SHL 000007a7: DUP5 000007a8: MSTORE 000007a9: PUSH1 0x04 000007ab: DUP5 000007ac: ADD 000007ad: MSTORE 000007ae: PUSH5 0x45d964b800 000007b4: PUSH1 0x24 000007b6: DUP5 000007b7: ADD 000007b8: MSTORE 000007b9: GAS 000007ba: CALL 000007bb: DUP1 000007bc: ISZERO 000007bd: PUSH2 0x04ca 000007c0: JUMPI 000007c1: PUSH2 0x0ae1 000007c4: JUMPI 000007c5: JUMPDEST 000007c6: POP 000007c7: PUSH1 0x04 000007c9: SLOAD 000007ca: PUSH1 0x06 000007cc: SLOAD 000007cd: TIMESTAMP 000007ce: PUSH1 0x01 000007d0: DUP2 000007d1: ADD 000007d2: SWAP3 000007d3: PUSH1 0x01 000007d5: PUSH1 0x01 000007d7: PUSH1 0xa0 000007d9: SHL 000007da: SUB 000007db: SWAP3 000007dc: DUP4 000007dd: AND 000007de: SWAP3 000007df: AND 000007e0: SWAP1 000007e1: DUP4 000007e2: LT 000007e3: PUSH2 0x0acd 000007e6: JUMPI 000007e7: PUSH1 0x40 000007e9: MLOAD 000007ea: SWAP1 000007eb: PUSH2 0x0100 000007ee: DUP3 000007ef: ADD 000007f0: DUP3 000007f1: DUP2 000007f2: LT 000007f3: PUSH1 0x01 000007f5: PUSH1 0x01 000007f7: PUSH1 0x40 000007f9: SHL 000007fa: SUB 000007fb: DUP3 000007fc: GT 000007fd: OR 000007fe: PUSH2 0x0ab9 00000801: JUMPI 00000802: PUSH1 0x40 00000804: SWAP1 00000805: DUP2 00000806: MSTORE 00000807: SWAP1 00000808: DUP3 00000809: MSTORE 0000080a: PUSH1 0x20 0000080c: DUP1 0000080d: DUP4 0000080e: ADD 0000080f: SWAP4 00000810: DUP5 00000811: MSTORE 00000812: PUSH2 0x0bb8 00000815: DUP3 00000816: DUP5 00000817: ADD 00000818: SWAP1 00000819: DUP2 0000081a: MSTORE 0000081b: ADDRESS 0000081c: PUSH1 0x60 0000081e: DUP6 0000081f: ADD 00000820: SWAP1 00000821: DUP2 00000822: MSTORE 00000823: PUSH1 0x80 00000825: DUP6 00000826: ADD 00000827: SWAP7 00000828: DUP8 00000829: MSTORE 0000082a: PUSH5 0x45d964b800 00000830: PUSH1 0xa0 00000832: DUP7 00000833: ADD 00000834: SWAP1 00000835: DUP2 00000836: MSTORE 00000837: PUSH1 0xc0 00000839: DUP7 0000083a: ADD 0000083b: DUP11 0000083c: DUP2 0000083d: MSTORE 0000083e: PUSH1 0xe0 00000840: DUP8 00000841: ADD 00000842: DUP12 00000843: DUP2 00000844: MSTORE 00000845: PUSH1 0x08 00000847: SLOAD 00000848: SWAP7 00000849: MLOAD 0000084a: PUSH4 0x414bf389 0000084f: PUSH1 0xe0 00000851: SHL 00000852: DUP2 00000853: MSTORE 00000854: SWAP8 00000855: MLOAD 00000856: PUSH1 0x01 00000858: PUSH1 0x01 0000085a: PUSH1 0xa0 0000085c: SHL 0000085d: SUB 0000085e: SWAP1 0000085f: DUP2 00000860: AND 00000861: PUSH1 0x04 00000863: DUP11 00000864: ADD 00000865: MSTORE 00000866: SWAP9 00000867: MLOAD 00000868: DUP10 00000869: AND 0000086a: PUSH1 0x24 0000086c: DUP10 0000086d: ADD 0000086e: MSTORE 0000086f: SWAP4 00000870: MLOAD 00000871: PUSH3 0xffffff 00000875: AND 00000876: PUSH1 0x44 00000878: DUP9 00000879: ADD 0000087a: MSTORE 0000087b: SWAP2 0000087c: MLOAD 0000087d: DUP8 0000087e: AND 0000087f: PUSH1 0x64 00000881: DUP8 00000882: ADD 00000883: MSTORE 00000884: SWAP7 00000885: MLOAD 00000886: PUSH1 0x84 00000888: DUP7 00000889: ADD 0000088a: MSTORE 0000088b: SWAP6 0000088c: MLOAD 0000088d: PUSH1 0xa4 0000088f: DUP6 00000890: ADD 00000891: MSTORE 00000892: SWAP5 00000893: MLOAD 00000894: PUSH1 0xc4 00000896: DUP5 00000897: ADD 00000898: MSTORE 00000899: SWAP4 0000089a: MLOAD 0000089b: DUP4 0000089c: AND 0000089d: PUSH1 0xe4 0000089f: DUP4 000008a0: ADD 000008a1: MSTORE 000008a2: SWAP1 000008a3: SWAP3 000008a4: SWAP2 000008a5: DUP4 000008a6: SWAP2 000008a7: PUSH2 0x0104 000008aa: SWAP2 000008ab: DUP4 000008ac: SWAP2 000008ad: DUP9 000008ae: SWAP2 000008af: AND 000008b0: GAS 000008b1: CALL 000008b2: DUP1 000008b3: ISZERO 000008b4: PUSH2 0x04ca 000008b7: JUMPI 000008b8: PUSH2 0x0a8a 000008bb: JUMPI 000008bc: JUMPDEST 000008bd: POP 000008be: PUSH1 0x06 000008c0: SLOAD 000008c1: DUP3 000008c2: SWAP1 000008c3: SELFBALANCE 000008c4: SWAP1 000008c5: PUSH1 0x01 000008c7: PUSH1 0x01 000008c9: PUSH1 0xa0 000008cb: SHL 000008cc: SUB 000008cd: AND 000008ce: DUP1 000008cf: EXTCODESIZE 000008d0: ISZERO 000008d1: PUSH2 0x0489 000008d4: JUMPI 000008d5: DUP3 000008d6: SWAP1 000008d7: PUSH1 0x04 000008d9: PUSH1 0x40 000008db: MLOAD 000008dc: DUP1 000008dd: SWAP5 000008de: DUP2 000008df: SWAP4 000008e0: PUSH4 0x0d0e30db 000008e5: PUSH1 0xe4 000008e7: SHL 000008e8: DUP4 000008e9: MSTORE 000008ea: GAS 000008eb: CALL 000008ec: DUP1 000008ed: ISZERO 000008ee: PUSH2 0x033c 000008f1: JUMPI 000008f2: PUSH2 0x0a71 000008f5: JUMPI 000008f6: JUMPDEST 000008f7: POP 000008f8: POP 000008f9: PUSH1 0x06 000008fb: SLOAD 000008fc: PUSH1 0x0a 000008fe: SLOAD 000008ff: DUP3 00000900: MLOAD 00000901: PUSH1 0x01 00000903: PUSH1 0x01 00000905: PUSH1 0xa0 00000907: SHL 00000908: SUB 00000909: SWAP2 0000090a: DUP3 0000090b: AND 0000090c: SWAP4 0000090d: SWAP2 0000090e: SWAP1 0000090f: SWAP3 00000910: AND 00000911: SWAP2 00000912: ISZERO 00000913: PUSH2 0x0a5d 00000916: JUMPI 00000917: PUSH1 0x20 00000919: SWAP1 0000091a: DUP2 0000091b: ADD 0000091c: MLOAD 0000091d: PUSH1 0x40 0000091f: MLOAD 00000920: PUSH4 0xa9059cbb 00000925: PUSH1 0xe0 00000927: SHL 00000928: DUP2 00000929: MSTORE 0000092a: PUSH1 0x01 0000092c: PUSH1 0x01 0000092e: PUSH1 0xa0 00000930: SHL 00000931: SUB 00000932: SWAP5 00000933: SWAP1 00000934: SWAP5 00000935: AND 00000936: PUSH1 0x04 00000938: DUP6 00000939: ADD 0000093a: MSTORE 0000093b: PUSH1 0x24 0000093d: DUP5 0000093e: ADD 0000093f: MSTORE 00000940: SWAP1 00000941: DUP3 00000942: SWAP1 00000943: PUSH1 0x44 00000945: SWAP1 00000946: DUP3 00000947: SWAP1 00000948: DUP7 00000949: SWAP1 0000094a: GAS 0000094b: CALL 0000094c: DUP1 0000094d: ISZERO 0000094e: PUSH2 0x033c 00000951: JUMPI 00000952: PUSH2 0x0a40 00000955: JUMPI 00000956: JUMPDEST 00000957: POP 00000958: PUSH1 0x04 0000095a: DUP1 0000095b: SLOAD 0000095c: PUSH1 0x09 0000095e: SLOAD 0000095f: PUSH1 0x40 00000961: MLOAD 00000962: PUSH4 0x70a08231 00000967: PUSH1 0xe0 00000969: SHL 0000096a: DUP2 0000096b: MSTORE 0000096c: ADDRESS 0000096d: SWAP4 0000096e: DUP2 0000096f: ADD 00000970: SWAP4 00000971: SWAP1 00000972: SWAP4 00000973: MSTORE 00000974: PUSH1 0x01 00000976: PUSH1 0x01 00000978: PUSH1 0xa0 0000097a: SHL 0000097b: SUB 0000097c: SWAP2 0000097d: DUP3 0000097e: AND 0000097f: SWAP3 00000980: SWAP2 00000981: AND 00000982: PUSH1 0x20 00000984: DUP3 00000985: PUSH1 0x24 00000987: DUP2 00000988: DUP7 00000989: GAS 0000098a: STATICCALL 0000098b: SWAP2 0000098c: DUP3 0000098d: ISZERO 0000098e: PUSH2 0x0382 00000991: JUMPI 00000992: DUP5 00000993: SWAP3 00000994: PUSH2 0x0a0a 00000997: JUMPI 00000998: JUMPDEST 00000999: POP 0000099a: PUSH1 0x40 0000099c: MLOAD 0000099d: PUSH4 0xa9059cbb 000009a2: PUSH1 0xe0 000009a4: SHL 000009a5: DUP2 000009a6: MSTORE 000009a7: PUSH1 0x01 000009a9: PUSH1 0x01 000009ab: PUSH1 0xa0 000009ad: SHL 000009ae: SUB 000009af: SWAP1 000009b0: SWAP2 000009b1: AND 000009b2: PUSH1 0x04 000009b4: DUP3 000009b5: ADD 000009b6: MSTORE 000009b7: PUSH1 0x24 000009b9: DUP2 000009ba: ADD 000009bb: SWAP2 000009bc: SWAP1 000009bd: SWAP2 000009be: MSTORE 000009bf: SWAP1 000009c0: PUSH1 0x20 000009c2: SWAP1 000009c3: DUP3 000009c4: SWAP1 000009c5: DUP2 000009c6: DUP6 000009c7: DUP2 000009c8: PUSH1 0x44 000009ca: DUP2 000009cb: ADD 000009cc: JUMPDEST 000009cd: SUB 000009ce: SWAP3 000009cf: GAS 000009d0: CALL 000009d1: DUP1 000009d2: ISZERO 000009d3: PUSH2 0x033c 000009d6: JUMPI 000009d7: PUSH2 0x09de 000009da: JUMPI 000009db: POP 000009dc: DUP1 000009dd: RETURN 000009de: JUMPDEST 000009df: PUSH2 0x09ff 000009e2: SWAP1 000009e3: PUSH1 0x20 000009e5: RETURNDATASIZE 000009e6: PUSH1 0x20 000009e8: GT 000009e9: PUSH2 0x0a03 000009ec: JUMPI 000009ed: JUMPDEST 000009ee: PUSH2 0x09f7 000009f1: DUP2 000009f2: DUP4 000009f3: PUSH2 0x10c4 000009f6: JUMP 000009f7: JUMPDEST 000009f8: DUP2 000009f9: ADD 000009fa: SWAP1 000009fb: PUSH2 0x12d8 000009fe: JUMP 000009ff: JUMPDEST 00000a00: POP 00000a01: DUP1 00000a02: RETURN 00000a03: JUMPDEST 00000a04: POP 00000a05: RETURNDATASIZE 00000a06: PUSH2 0x09ed 00000a09: JUMP 00000a0a: JUMPDEST 00000a0b: SWAP2 00000a0c: POP 00000a0d: PUSH1 0x20 00000a0f: DUP3 00000a10: RETURNDATASIZE 00000a11: PUSH1 0x20 00000a13: GT 00000a14: PUSH2 0x0a38 00000a17: JUMPI 00000a18: JUMPDEST 00000a19: DUP2 00000a1a: PUSH2 0x0a25 00000a1d: PUSH1 0x20 00000a1f: SWAP4 00000a20: DUP4 00000a21: PUSH2 0x10c4 00000a24: JUMP 00000a25: JUMPDEST 00000a26: DUP2 00000a27: ADD 00000a28: SUB 00000a29: SLT 00000a2a: PUSH2 0x0376 00000a2d: JUMPI 00000a2e: SWAP1 00000a2f: MLOAD 00000a30: SWAP1 00000a31: PUSH2 0x09cc 00000a34: PUSH2 0x0998 00000a37: JUMP 00000a38: JUMPDEST 00000a39: RETURNDATASIZE 00000a3a: SWAP2 00000a3b: POP 00000a3c: PUSH2 0x0a18 00000a3f: JUMP 00000a40: JUMPDEST 00000a41: PUSH2 0x0a58 00000a44: SWAP1 00000a45: PUSH1 0x20 00000a47: RETURNDATASIZE 00000a48: PUSH1 0x20 00000a4a: GT 00000a4b: PUSH2 0x0a03 00000a4e: JUMPI 00000a4f: PUSH2 0x09f7 00000a52: DUP2 00000a53: DUP4 00000a54: PUSH2 0x10c4 00000a57: JUMP 00000a58: JUMPDEST 00000a59: PUSH2 0x0956 00000a5c: JUMP 00000a5d: JUMPDEST 00000a5e: PUSH4 0x4e487b71 00000a63: PUSH1 0xe0 00000a65: SHL 00000a66: DUP5 00000a67: MSTORE 00000a68: PUSH1 0x32 00000a6a: PUSH1 0x04 00000a6c: MSTORE 00000a6d: PUSH1 0x24 00000a6f: DUP5 00000a70: REVERT 00000a71: JUMPDEST 00000a72: DUP2 00000a73: PUSH2 0x0a7b 00000a76: SWAP2 00000a77: PUSH2 0x10c4 00000a7a: JUMP 00000a7b: JUMPDEST 00000a7c: PUSH2 0x0a86 00000a7f: JUMPI 00000a80: DUP2 00000a81: PUSH0 00000a82: PUSH2 0x08f6 00000a85: JUMP 00000a86: JUMPDEST 00000a87: POP 00000a88: DUP1 00000a89: REVERT 00000a8a: JUMPDEST 00000a8b: PUSH1 0x20 00000a8d: DUP2 00000a8e: RETURNDATASIZE 00000a8f: PUSH1 0x20 00000a91: GT 00000a92: PUSH2 0x0ab1 00000a95: JUMPI 00000a96: JUMPDEST 00000a97: DUP2 00000a98: PUSH2 0x0aa3 00000a9b: PUSH1 0x20 00000a9d: SWAP4 00000a9e: DUP4 00000a9f: PUSH2 0x10c4 00000aa2: JUMP 00000aa3: JUMPDEST 00000aa4: DUP2 00000aa5: ADD 00000aa6: SUB 00000aa7: SLT 00000aa8: PUSH2 0x0376 00000aab: JUMPI 00000aac: MLOAD 00000aad: PUSH2 0x08bc 00000ab0: JUMP 00000ab1: JUMPDEST 00000ab2: RETURNDATASIZE 00000ab3: SWAP2 00000ab4: POP 00000ab5: PUSH2 0x0a96 00000ab8: JUMP 00000ab9: JUMPDEST 00000aba: PUSH4 0x4e487b71 00000abf: PUSH1 0xe0 00000ac1: SHL 00000ac2: DUP8 00000ac3: MSTORE 00000ac4: PUSH1 0x41 00000ac6: PUSH1 0x04 00000ac8: MSTORE 00000ac9: PUSH1 0x24 00000acb: DUP8 00000acc: REVERT 00000acd: JUMPDEST 00000ace: PUSH4 0x4e487b71 00000ad3: PUSH1 0xe0 00000ad5: SHL 00000ad6: DUP6 00000ad7: MSTORE 00000ad8: PUSH1 0x11 00000ada: PUSH1 0x04 00000adc: MSTORE 00000add: PUSH1 0x24 00000adf: DUP6 00000ae0: REVERT 00000ae1: JUMPDEST 00000ae2: PUSH2 0x0af9 00000ae5: SWAP1 00000ae6: PUSH1 0x20 00000ae8: RETURNDATASIZE 00000ae9: PUSH1 0x20 00000aeb: GT 00000aec: PUSH2 0x0a03 00000aef: JUMPI 00000af0: PUSH2 0x09f7 00000af3: DUP2 00000af4: DUP4 00000af5: PUSH2 0x10c4 00000af8: JUMP 00000af9: JUMPDEST 00000afa: PUSH2 0x07c5 00000afd: JUMP 00000afe: JUMPDEST 00000aff: DUP2 00000b00: PUSH2 0x0b08 00000b03: SWAP2 00000b04: PUSH2 0x10c4 00000b07: JUMP 00000b08: JUMPDEST 00000b09: PUSH2 0x0a86 00000b0c: JUMPI 00000b0d: DUP2 00000b0e: PUSH0 00000b0f: PUSH2 0x077b 00000b12: JUMP 00000b13: JUMPDEST 00000b14: DUP5 00000b15: DUP1 00000b16: REVERT 00000b17: JUMPDEST 00000b18: PUSH4 0x4e487b71 00000b1d: PUSH1 0xe0 00000b1f: SHL 00000b20: DUP7 00000b21: MSTORE 00000b22: PUSH1 0x11 00000b24: PUSH1 0x04 00000b26: MSTORE 00000b27: PUSH1 0x24 00000b29: DUP7 00000b2a: REVERT 00000b2b: JUMPDEST 00000b2c: PUSH2 0x0b43 00000b2f: SWAP1 00000b30: PUSH1 0x20 00000b32: RETURNDATASIZE 00000b33: PUSH1 0x20 00000b35: GT 00000b36: PUSH2 0x0a03 00000b39: JUMPI 00000b3a: PUSH2 0x09f7 00000b3d: DUP2 00000b3e: DUP4 00000b3f: PUSH2 0x10c4 00000b42: JUMP 00000b43: JUMPDEST 00000b44: PUSH2 0x0700 00000b47: JUMP 00000b48: JUMPDEST 00000b49: DUP2 00000b4a: PUSH2 0x0b52 00000b4d: SWAP2 00000b4e: PUSH2 0x10c4 00000b51: JUMP 00000b52: JUMPDEST 00000b53: PUSH2 0x0489 00000b56: JUMPI 00000b57: DUP3 00000b58: PUSH0 00000b59: PUSH2 0x06ba 00000b5c: JUMP 00000b5d: JUMPDEST 00000b5e: POP 00000b5f: PUSH1 0x40 00000b61: MLOAD 00000b62: SWAP1 00000b63: RETURNDATASIZE 00000b64: SWAP1 00000b65: DUP3 00000b66: RETURNDATACOPY 00000b67: RETURNDATASIZE 00000b68: SWAP1 00000b69: REVERT 00000b6a: JUMPDEST 00000b6b: PUSH4 0x4e487b71 00000b70: PUSH1 0xe0 00000b72: SHL 00000b73: DUP7 00000b74: MSTORE 00000b75: PUSH1 0x41 00000b77: PUSH1 0x04 00000b79: MSTORE 00000b7a: PUSH1 0x24 00000b7c: DUP7 00000b7d: REVERT 00000b7e: JUMPDEST 00000b7f: PUSH1 0x20 00000b81: DUP2 00000b82: RETURNDATASIZE 00000b83: PUSH1 0x20 00000b85: GT 00000b86: PUSH2 0x0ba5 00000b89: JUMPI 00000b8a: JUMPDEST 00000b8b: DUP2 00000b8c: PUSH2 0x0b97 00000b8f: PUSH1 0x20 00000b91: SWAP4 00000b92: DUP4 00000b93: PUSH2 0x10c4 00000b96: JUMP 00000b97: JUMPDEST 00000b98: DUP2 00000b99: ADD 00000b9a: SUB 00000b9b: SLT 00000b9c: PUSH2 0x0376 00000b9f: JUMPI 00000ba0: MLOAD 00000ba1: PUSH2 0x0641 00000ba4: JUMP 00000ba5: JUMPDEST 00000ba6: RETURNDATASIZE 00000ba7: SWAP2 00000ba8: POP 00000ba9: PUSH2 0x0b8a 00000bac: JUMP 00000bad: JUMPDEST 00000bae: PUSH4 0x4e487b71 00000bb3: PUSH1 0xe0 00000bb5: SHL 00000bb6: DUP6 00000bb7: MSTORE 00000bb8: PUSH1 0x12 00000bba: PUSH1 0x04 00000bbc: MSTORE 00000bbd: PUSH1 0x24 00000bbf: DUP6 00000bc0: REVERT 00000bc1: JUMPDEST 00000bc2: SWAP1 00000bc3: SWAP2 00000bc4: POP 00000bc5: PUSH1 0x20 00000bc7: DUP2 00000bc8: RETURNDATASIZE 00000bc9: PUSH1 0x20 00000bcb: GT 00000bcc: PUSH2 0x0bed 00000bcf: JUMPI 00000bd0: JUMPDEST 00000bd1: DUP2 00000bd2: PUSH2 0x0bdd 00000bd5: PUSH1 0x20 00000bd7: SWAP4 00000bd8: DUP4 00000bd9: PUSH2 0x10c4 00000bdc: JUMP 00000bdd: JUMPDEST 00000bde: DUP2 00000bdf: ADD 00000be0: SUB 00000be1: SLT 00000be2: PUSH2 0x0376 00000be5: JUMPI 00000be6: MLOAD 00000be7: SWAP1 00000be8: PUSH0 00000be9: PUSH2 0x05ec 00000bec: JUMP 00000bed: JUMPDEST 00000bee: RETURNDATASIZE 00000bef: SWAP2 00000bf0: POP 00000bf1: PUSH2 0x0bd0 00000bf4: JUMP 00000bf5: JUMPDEST 00000bf6: PUSH1 0x40 00000bf8: MLOAD 00000bf9: RETURNDATASIZE 00000bfa: DUP8 00000bfb: DUP3 00000bfc: RETURNDATACOPY 00000bfd: RETURNDATASIZE 00000bfe: SWAP1 00000bff: REVERT 00000c00: JUMPDEST 00000c01: SWAP1 00000c02: SWAP2 00000c03: POP 00000c04: PUSH1 0x20 00000c06: DUP2 00000c07: RETURNDATASIZE 00000c08: PUSH1 0x20 00000c0a: GT 00000c0b: PUSH2 0x0c36 00000c0e: JUMPI 00000c0f: JUMPDEST 00000c10: DUP2 00000c11: PUSH2 0x0c1c 00000c14: PUSH1 0x20 00000c16: SWAP4 00000c17: DUP4 00000c18: PUSH2 0x10c4 00000c1b: JUMP 00000c1c: JUMPDEST 00000c1d: DUP2 00000c1e: ADD 00000c1f: SUB 00000c20: SLT 00000c21: PUSH2 0x048d 00000c24: JUMPI 00000c25: PUSH2 0x0c2f 00000c28: PUSH1 0x24 00000c2a: SWAP2 00000c2b: PUSH2 0x1217 00000c2e: JUMP 00000c2f: JUMPDEST 00000c30: SWAP2 00000c31: SWAP1 00000c32: PUSH2 0x05aa 00000c35: JUMP 00000c36: JUMPDEST 00000c37: RETURNDATASIZE 00000c38: SWAP2 00000c39: POP 00000c3a: PUSH2 0x0c0f 00000c3d: JUMP 00000c3e: JUMPDEST 00000c3f: POP 00000c40: PUSH1 0x60 00000c42: DUP2 00000c43: RETURNDATASIZE 00000c44: PUSH1 0x60 00000c46: GT 00000c47: PUSH2 0x0c6c 00000c4a: JUMPI 00000c4b: JUMPDEST 00000c4c: DUP2 00000c4d: PUSH2 0x0c58 00000c50: PUSH1 0x60 00000c52: SWAP4 00000c53: DUP4 00000c54: PUSH2 0x10c4 00000c57: JUMP 00000c58: JUMPDEST 00000c59: DUP2 00000c5a: ADD 00000c5b: SUB 00000c5c: SLT 00000c5d: PUSH2 0x0489 00000c60: JUMPI 00000c61: PUSH1 0x20 00000c63: PUSH1 0x04 00000c65: SWAP2 00000c66: ADD 00000c67: MLOAD 00000c68: PUSH2 0x0576 00000c6b: JUMP 00000c6c: JUMPDEST 00000c6d: RETURNDATASIZE 00000c6e: SWAP2 00000c6f: POP 00000c70: PUSH2 0x0c4b 00000c73: JUMP 00000c74: JUMPDEST 00000c75: PUSH2 0x0c8f 00000c78: SWAP1 00000c79: RETURNDATASIZE 00000c7a: DUP1 00000c7b: DUP6 00000c7c: DUP4 00000c7d: RETURNDATACOPY 00000c7e: PUSH2 0x0c87 00000c81: DUP2 00000c82: DUP4 00000c83: PUSH2 0x10c4 00000c86: JUMP 00000c87: JUMPDEST 00000c88: DUP2 00000c89: ADD 00000c8a: SWAP1 00000c8b: PUSH2 0x122b 00000c8e: JUMP 00000c8f: JUMPDEST 00000c90: PUSH2 0x0272 00000c93: JUMP 00000c94: JUMPDEST 00000c95: PUSH2 0x0ca8 00000c98: SWAP2 00000c99: POP 00000c9a: RETURNDATASIZE 00000c9b: DUP1 00000c9c: DUP6 00000c9d: DUP4 00000c9e: RETURNDATACOPY 00000c9f: PUSH2 0x0c87 00000ca2: DUP2 00000ca3: DUP4 00000ca4: PUSH2 0x10c4 00000ca7: JUMP 00000ca8: JUMPDEST 00000ca9: PUSH0 00000caa: PUSH2 0x022f 00000cad: JUMP 00000cae: JUMPDEST 00000caf: DUP2 00000cb0: PUSH2 0x0cb8 00000cb3: SWAP2 00000cb4: PUSH2 0x10c4 00000cb7: JUMP 00000cb8: JUMPDEST 00000cb9: PUSH2 0x0a86 00000cbc: JUMPI 00000cbd: DUP2 00000cbe: PUSH0 00000cbf: PUSH2 0x01f4 00000cc2: JUMP 00000cc3: JUMPDEST 00000cc4: PUSH4 0x4e487b71 00000cc9: PUSH1 0xe0 00000ccb: SHL 00000ccc: DUP5 00000ccd: MSTORE 00000cce: PUSH1 0x11 00000cd0: PUSH1 0x04 00000cd2: MSTORE 00000cd3: PUSH1 0x24 00000cd5: DUP5 00000cd6: REVERT 00000cd7: JUMPDEST 00000cd8: SWAP1 00000cd9: POP 00000cda: PUSH1 0x20 00000cdc: DUP2 00000cdd: RETURNDATASIZE 00000cde: PUSH1 0x20 00000ce0: GT 00000ce1: PUSH2 0x0d01 00000ce4: JUMPI 00000ce5: JUMPDEST 00000ce6: DUP2 00000ce7: PUSH2 0x0cf2 00000cea: PUSH1 0x20 00000cec: SWAP4 00000ced: DUP4 00000cee: PUSH2 0x10c4 00000cf1: JUMP 00000cf2: JUMPDEST 00000cf3: DUP2 00000cf4: ADD 00000cf5: SUB 00000cf6: SLT 00000cf7: PUSH2 0x0376 00000cfa: JUMPI 00000cfb: MLOAD 00000cfc: PUSH0 00000cfd: PUSH2 0x01a3 00000d00: JUMP 00000d01: JUMPDEST 00000d02: RETURNDATASIZE 00000d03: SWAP2 00000d04: POP 00000d05: PUSH2 0x0ce5 00000d08: JUMP 00000d09: JUMPDEST 00000d0a: DUP2 00000d0b: PUSH2 0x0d13 00000d0e: SWAP2 00000d0f: PUSH2 0x10c4 00000d12: JUMP 00000d13: JUMPDEST 00000d14: PUSH2 0x0a86 00000d17: JUMPI 00000d18: DUP2 00000d19: PUSH0 00000d1a: PUSH2 0x016d 00000d1d: JUMP 00000d1e: JUMPDEST 00000d1f: SWAP3 00000d20: POP 00000d21: POP 00000d22: PUSH1 0x20 00000d24: DUP3 00000d25: RETURNDATASIZE 00000d26: PUSH1 0x20 00000d28: GT 00000d29: PUSH2 0x0d4b 00000d2c: JUMPI 00000d2d: JUMPDEST 00000d2e: DUP2 00000d2f: PUSH2 0x0d3a 00000d32: PUSH1 0x20 00000d34: SWAP4 00000d35: DUP4 00000d36: PUSH2 0x10c4 00000d39: JUMP 00000d3a: JUMPDEST 00000d3b: DUP2 00000d3c: ADD 00000d3d: SUB 00000d3e: SLT 00000d3f: PUSH2 0x0376 00000d42: JUMPI 00000d43: DUP4 00000d44: SWAP2 00000d45: MLOAD 00000d46: PUSH0 00000d47: PUSH2 0x013b 00000d4a: JUMP 00000d4b: JUMPDEST 00000d4c: RETURNDATASIZE 00000d4d: SWAP2 00000d4e: POP 00000d4f: PUSH2 0x0d2d 00000d52: JUMP 00000d53: JUMPDEST 00000d54: DUP1 00000d55: REVERT 00000d56: JUMPDEST 00000d57: POP 00000d58: CALLVALUE 00000d59: PUSH2 0x0d53 00000d5c: JUMPI 00000d5d: DUP1 00000d5e: PUSH1 0x03 00000d60: NOT 00000d61: CALLDATASIZE 00000d62: ADD 00000d63: SLT 00000d64: PUSH2 0x0d53 00000d67: JUMPI 00000d68: PUSH1 0x09 00000d6a: SLOAD 00000d6b: PUSH1 0x01 00000d6d: PUSH1 0x01 00000d6f: PUSH1 0xa0 00000d71: SHL 00000d72: SUB 00000d73: AND 00000d74: CALLER 00000d75: SUB 00000d76: PUSH2 0x0d53 00000d79: JUMPI 00000d7a: PUSH1 0x40 00000d7c: MLOAD 00000d7d: PUSH2 0x0113 00000d80: DUP1 00000d81: DUP3 00000d82: ADD 00000d83: SWAP1 00000d84: DUP3 00000d85: DUP3 00000d86: LT 00000d87: PUSH1 0x01 00000d89: PUSH1 0x01 00000d8b: PUSH1 0x40 00000d8d: SHL 00000d8e: SUB 00000d8f: DUP4 00000d90: GT 00000d91: OR 00000d92: PUSH2 0x0f84 00000d95: JUMPI 00000d96: SWAP1 00000d97: DUP3 00000d98: SWAP2 00000d99: PUSH2 0x1481 00000d9c: DUP4 00000d9d: CODECOPY 00000d9e: SUB 00000d9f: SWAP1 00000da0: DUP3 00000da1: CREATE 00000da2: DUP1 00000da3: ISZERO 00000da4: PUSH2 0x0b5d 00000da7: JUMPI 00000da8: PUSH1 0x40 00000daa: MLOAD 00000dab: PUSH2 0x06da 00000dae: DUP1 00000daf: DUP3 00000db0: ADD 00000db1: SWAP1 00000db2: DUP3 00000db3: DUP3 00000db4: LT 00000db5: PUSH1 0x01 00000db7: PUSH1 0x01 00000db9: PUSH1 0x40 00000dbb: SHL 00000dbc: SUB 00000dbd: DUP4 00000dbe: GT 00000dbf: OR 00000dc0: PUSH2 0x0f70 00000dc3: JUMPI 00000dc4: SWAP1 00000dc5: DUP3 00000dc6: SWAP2 00000dc7: PUSH2 0x1594 00000dca: DUP4 00000dcb: CODECOPY 00000dcc: SUB 00000dcd: SWAP1 00000dce: DUP4 00000dcf: CREATE 00000dd0: DUP1 00000dd1: ISZERO 00000dd2: PUSH2 0x033c 00000dd5: JUMPI 00000dd6: PUSH1 0x40 00000dd8: MLOAD 00000dd9: PUSH1 0x9d 00000ddb: DUP1 00000ddc: DUP3 00000ddd: ADD 00000dde: SWAP1 00000ddf: DUP3 00000de0: DUP3 00000de1: LT 00000de2: PUSH1 0x01 00000de4: PUSH1 0x01 00000de6: PUSH1 0x40 00000de8: SHL 00000de9: SUB 00000dea: DUP4 00000deb: GT 00000dec: OR 00000ded: PUSH2 0x0b6a 00000df0: JUMPI 00000df1: SWAP1 00000df2: DUP3 00000df3: SWAP2 00000df4: PUSH2 0x12f1 00000df7: DUP4 00000df8: CODECOPY 00000df9: SUB 00000dfa: SWAP1 00000dfb: DUP5 00000dfc: CREATE 00000dfd: SWAP2 00000dfe: DUP3 00000dff: ISZERO 00000e00: PUSH2 0x04ca 00000e03: JUMPI 00000e04: PUSH1 0x40 00000e06: MLOAD 00000e07: PUSH1 0xf3 00000e09: DUP1 00000e0a: DUP3 00000e0b: ADD 00000e0c: SWAP1 00000e0d: DUP3 00000e0e: DUP3 00000e0f: LT 00000e10: PUSH1 0x01 00000e12: PUSH1 0x01 00000e14: PUSH1 0x40 00000e16: SHL 00000e17: SUB 00000e18: DUP4 00000e19: GT 00000e1a: OR 00000e1b: PUSH2 0x0ab9 00000e1e: JUMPI 00000e1f: SWAP1 00000e20: DUP3 00000e21: SWAP2 00000e22: PUSH2 0x138e 00000e25: DUP4 00000e26: CODECOPY 00000e27: SUB 00000e28: SWAP1 00000e29: DUP6 00000e2a: CREATE 00000e2b: SWAP1 00000e2c: DUP2 00000e2d: ISZERO 00000e2e: PUSH2 0x0382 00000e31: JUMPI 00000e32: PUSH1 0x01 00000e34: PUSH1 0x01 00000e36: PUSH1 0xa0 00000e38: SHL 00000e39: SUB 00000e3a: SWAP1 00000e3b: DUP2 00000e3c: AND 00000e3d: SWAP4 00000e3e: AND 00000e3f: SWAP2 00000e40: DUP4 00000e41: EXTCODESIZE 00000e42: ISZERO 00000e43: PUSH2 0x0b13 00000e46: JUMPI 00000e47: DUP5 00000e48: PUSH1 0x40 00000e4a: MLOAD 00000e4b: PUSH4 0x62ac38a9 00000e50: PUSH1 0xe0 00000e52: SHL 00000e53: DUP2 00000e54: MSTORE 00000e55: DUP5 00000e56: PUSH1 0x04 00000e58: DUP3 00000e59: ADD 00000e5a: MSTORE 00000e5b: DUP2 00000e5c: DUP2 00000e5d: PUSH1 0x24 00000e5f: DUP2 00000e60: DUP4 00000e61: DUP11 00000e62: GAS 00000e63: CALL 00000e64: DUP1 00000e65: ISZERO 00000e66: PUSH2 0x033c 00000e69: JUMPI 00000e6a: PUSH2 0x0f5b 00000e6d: JUMPI 00000e6e: JUMPDEST 00000e6f: POP 00000e70: POP 00000e71: PUSH1 0x01 00000e73: PUSH1 0x01 00000e75: PUSH1 0xa0 00000e77: SHL 00000e78: SUB 00000e79: SWAP2 00000e7a: DUP3 00000e7b: AND 00000e7c: SWAP4 00000e7d: SWAP2 00000e7e: AND 00000e7f: SWAP1 00000e80: DUP2 00000e81: EXTCODESIZE 00000e82: ISZERO 00000e83: PUSH2 0x0b13 00000e86: JUMPI 00000e87: DUP5 00000e88: PUSH1 0x40 00000e8a: MLOAD 00000e8b: PUSH4 0x62ac38a9 00000e90: PUSH1 0xe0 00000e92: SHL 00000e93: DUP2 00000e94: MSTORE 00000e95: DUP6 00000e96: PUSH1 0x04 00000e98: DUP3 00000e99: ADD 00000e9a: MSTORE 00000e9b: DUP2 00000e9c: DUP2 00000e9d: PUSH1 0x24 00000e9f: DUP2 00000ea0: DUP4 00000ea1: DUP9 00000ea2: GAS 00000ea3: CALL 00000ea4: DUP1 00000ea5: ISZERO 00000ea6: PUSH2 0x033c 00000ea9: JUMPI 00000eaa: PUSH2 0x0f46 00000ead: JUMPI 00000eae: JUMPDEST 00000eaf: POP 00000eb0: POP 00000eb1: DUP2 00000eb2: EXTCODESIZE 00000eb3: ISZERO 00000eb4: PUSH2 0x0b13 00000eb7: JUMPI 00000eb8: PUSH1 0x40 00000eba: MLOAD 00000ebb: PUSH4 0x174a22b7 00000ec0: PUSH1 0xe2 00000ec2: SHL 00000ec3: DUP2 00000ec4: MSTORE 00000ec5: ADDRESS 00000ec6: PUSH1 0x04 00000ec8: DUP3 00000ec9: ADD 00000eca: MSTORE 00000ecb: DUP6 00000ecc: SWAP1 00000ecd: DUP2 00000ece: DUP2 00000ecf: PUSH1 0x24 00000ed1: DUP2 00000ed2: DUP4 00000ed3: DUP9 00000ed4: GAS 00000ed5: CALL 00000ed6: DUP1 00000ed7: ISZERO 00000ed8: PUSH2 0x033c 00000edb: JUMPI 00000edc: PUSH2 0x0f31 00000edf: JUMPI 00000ee0: JUMPDEST 00000ee1: POP 00000ee2: POP 00000ee3: PUSH1 0x01 00000ee5: PUSH1 0x01 00000ee7: PUSH1 0x60 00000ee9: SHL 00000eea: SUB 00000eeb: PUSH1 0xa0 00000eed: SHL 00000eee: PUSH1 0x0c 00000ef0: SLOAD 00000ef1: AND 00000ef2: OR 00000ef3: PUSH1 0x0c 00000ef5: SSTORE 00000ef6: PUSH1 0x01 00000ef8: PUSH1 0x01 00000efa: PUSH1 0x60 00000efc: SHL 00000efd: SUB 00000efe: PUSH1 0xa0 00000f00: SHL 00000f01: PUSH1 0x0d 00000f03: SLOAD 00000f04: AND 00000f05: OR 00000f06: PUSH1 0x0d 00000f08: SSTORE 00000f09: PUSH1 0x01 00000f0b: PUSH1 0x01 00000f0d: PUSH1 0x60 00000f0f: SHL 00000f10: SUB 00000f11: PUSH1 0xa0 00000f13: SHL 00000f14: PUSH1 0x0e 00000f16: SLOAD 00000f17: AND 00000f18: OR 00000f19: PUSH1 0x0e 00000f1b: SSTORE 00000f1c: PUSH1 0x01 00000f1e: PUSH1 0x01 00000f20: PUSH1 0x60 00000f22: SHL 00000f23: SUB 00000f24: PUSH1 0xa0 00000f26: SHL 00000f27: PUSH1 0x0f 00000f29: SLOAD 00000f2a: AND 00000f2b: OR 00000f2c: PUSH1 0x0f 00000f2e: SSTORE 00000f2f: DUP1 00000f30: RETURN 00000f31: JUMPDEST 00000f32: DUP2 00000f33: PUSH2 0x0f3b 00000f36: SWAP2 00000f37: PUSH2 0x10c4 00000f3a: JUMP 00000f3b: JUMPDEST 00000f3c: PUSH2 0x0b13 00000f3f: JUMPI 00000f40: DUP5 00000f41: PUSH0 00000f42: PUSH2 0x0ee0 00000f45: JUMP 00000f46: JUMPDEST 00000f47: DUP2 00000f48: PUSH2 0x0f50 00000f4b: SWAP2 00000f4c: PUSH2 0x10c4 00000f4f: JUMP 00000f50: JUMPDEST 00000f51: PUSH2 0x0b13 00000f54: JUMPI 00000f55: DUP5 00000f56: PUSH0 00000f57: PUSH2 0x0eae 00000f5a: JUMP 00000f5b: JUMPDEST 00000f5c: DUP2 00000f5d: PUSH2 0x0f65 00000f60: SWAP2 00000f61: PUSH2 0x10c4 00000f64: JUMP 00000f65: JUMPDEST 00000f66: PUSH2 0x0b13 00000f69: JUMPI 00000f6a: DUP5 00000f6b: PUSH0 00000f6c: PUSH2 0x0e6e 00000f6f: JUMP 00000f70: JUMPDEST 00000f71: PUSH4 0x4e487b71 00000f76: PUSH1 0xe0 00000f78: SHL 00000f79: DUP6 00000f7a: MSTORE 00000f7b: PUSH1 0x41 00000f7d: PUSH1 0x04 00000f7f: MSTORE 00000f80: PUSH1 0x24 00000f82: DUP6 00000f83: REVERT 00000f84: JUMPDEST 00000f85: PUSH4 0x4e487b71 00000f8a: PUSH1 0xe0 00000f8c: SHL 00000f8d: DUP5 00000f8e: MSTORE 00000f8f: PUSH1 0x41 00000f91: PUSH1 0x04 00000f93: MSTORE 00000f94: PUSH1 0x24 00000f96: DUP5 00000f97: REVERT 00000f98: JUMPDEST 00000f99: POP 00000f9a: CALLVALUE 00000f9b: PUSH2 0x0376 00000f9e: JUMPI 00000f9f: PUSH1 0x40 00000fa1: CALLDATASIZE 00000fa2: PUSH1 0x03 00000fa4: NOT 00000fa5: ADD 00000fa6: SLT 00000fa7: PUSH2 0x0376 00000faa: JUMPI 00000fab: PUSH1 0x04 00000fad: CALLDATALOAD 00000fae: PUSH1 0x01 00000fb0: PUSH1 0x01 00000fb2: PUSH1 0x40 00000fb4: SHL 00000fb5: SUB 00000fb6: DUP2 00000fb7: GT 00000fb8: PUSH2 0x0376 00000fbb: JUMPI 00000fbc: PUSH2 0x0fc9 00000fbf: SWAP1 00000fc0: CALLDATASIZE 00000fc1: SWAP1 00000fc2: PUSH1 0x04 00000fc4: ADD 00000fc5: PUSH2 0x1110 00000fc8: JUMP 00000fc9: JUMPDEST 00000fca: PUSH1 0x24 00000fcc: CALLDATALOAD 00000fcd: PUSH1 0x01 00000fcf: PUSH1 0x01 00000fd1: PUSH1 0x40 00000fd3: SHL 00000fd4: SUB 00000fd5: DUP2 00000fd6: GT 00000fd7: PUSH2 0x0376 00000fda: JUMPI 00000fdb: PUSH2 0x0fe8 00000fde: SWAP1 00000fdf: CALLDATASIZE 00000fe0: SWAP1 00000fe1: PUSH1 0x04 00000fe3: ADD 00000fe4: PUSH2 0x117e 00000fe7: JUMP 00000fe8: JUMPDEST 00000fe9: PUSH1 0x09 00000feb: SLOAD 00000fec: PUSH1 0x01 00000fee: PUSH1 0x01 00000ff0: PUSH1 0xa0 00000ff2: SHL 00000ff3: SUB 00000ff4: AND 00000ff5: CALLER 00000ff6: SUB 00000ff7: PUSH2 0x0376 00000ffa: JUMPI 00000ffb: PUSH1 0x0a 00000ffd: SLOAD 00000ffe: PUSH1 0x01 00001000: PUSH1 0x01 00001002: PUSH1 0xa0 00001004: SHL 00001005: SUB 00001006: AND 00001007: SWAP1 00001008: DUP2 00001009: EXTCODESIZE 0000100a: ISZERO 0000100b: PUSH2 0x0376 0000100e: JUMPI 0000100f: PUSH1 0x40 00001011: MLOAD 00001012: PUSH4 0x2e1c224f 00001017: PUSH1 0xe1 00001019: SHL 0000101a: DUP2 0000101b: MSTORE 0000101c: ADDRESS 0000101d: PUSH1 0x04 0000101f: DUP3 00001020: ADD 00001021: MSTORE 00001022: PUSH1 0x80 00001024: PUSH1 0x24 00001026: DUP3 00001027: ADD 00001028: MSTORE 00001029: SWAP3 0000102a: DUP4 0000102b: SWAP2 0000102c: SWAP1 0000102d: PUSH2 0x103a 00001030: SWAP1 00001031: PUSH1 0x84 00001033: DUP5 00001034: ADD 00001035: SWAP1 00001036: PUSH2 0x11db 00001039: JUMP 0000103a: JUMPDEST 0000103b: PUSH1 0x03 0000103d: NOT 0000103e: DUP4 0000103f: DUP3 00001040: SUB 00001041: ADD 00001042: PUSH1 0x44 00001044: DUP5 00001045: ADD 00001046: MSTORE 00001047: PUSH1 0x20 00001049: DUP1 0000104a: DUP4 0000104b: MLOAD 0000104c: SWAP3 0000104d: DUP4 0000104e: DUP2 0000104f: MSTORE 00001050: ADD 00001051: SWAP3 00001052: ADD 00001053: SWAP1 00001054: PUSH0 00001055: JUMPDEST 00001056: DUP2 00001057: DUP2 00001058: LT 00001059: PUSH2 0x10ab 0000105c: JUMPI 0000105d: POP 0000105e: POP 0000105f: POP 00001060: SWAP2 00001061: DUP2 00001062: PUSH0 00001063: PUSH1 0x40 00001065: DUP6 00001066: PUSH2 0x0303 00001069: PUSH1 0xf4 0000106b: SHL 0000106c: PUSH1 0x20 0000106e: DUP6 0000106f: DUP6 00001070: SWAP10 00001071: SUB 00001072: SWAP3 00001073: PUSH1 0x03 00001075: NOT 00001076: DUP5 00001077: ADD 00001078: PUSH1 0x64 0000107a: DUP9 0000107b: ADD 0000107c: MSTORE 0000107d: PUSH1 0x02 0000107f: DUP2 00001080: MSTORE 00001081: ADD 00001082: MSTORE 00001083: ADD 00001084: SWAP3 00001085: GAS 00001086: CALL 00001087: DUP1 00001088: ISZERO 00001089: PUSH2 0x10a0 0000108c: JUMPI 0000108d: PUSH2 0x1094 00001090: JUMPI 00001091: POP 00001092: DUP1 00001093: RETURN 00001094: JUMPDEST 00001095: PUSH2 0x0018 00001098: SWAP2 00001099: POP 0000109a: PUSH0 0000109b: SWAP1 0000109c: PUSH2 0x10c4 0000109f: JUMP 000010a0: JUMPDEST 000010a1: PUSH1 0x40 000010a3: MLOAD 000010a4: RETURNDATASIZE 000010a5: PUSH0 000010a6: DUP3 000010a7: RETURNDATACOPY 000010a8: RETURNDATASIZE 000010a9: SWAP1 000010aa: REVERT 000010ab: JUMPDEST 000010ac: DUP3 000010ad: MLOAD 000010ae: DUP5 000010af: MSTORE 000010b0: DUP7 000010b1: SWAP5 000010b2: POP 000010b3: PUSH1 0x20 000010b5: SWAP4 000010b6: DUP5 000010b7: ADD 000010b8: SWAP4 000010b9: SWAP1 000010ba: SWAP3 000010bb: ADD 000010bc: SWAP2 000010bd: PUSH1 0x01 000010bf: ADD 000010c0: PUSH2 0x1055 000010c3: JUMP 000010c4: JUMPDEST 000010c5: SWAP1 000010c6: PUSH1 0x1f 000010c8: DUP1 000010c9: NOT 000010ca: SWAP2 000010cb: ADD 000010cc: AND 000010cd: DUP2 000010ce: ADD 000010cf: SWAP1 000010d0: DUP2 000010d1: LT 000010d2: PUSH1 0x01 000010d4: PUSH1 0x01 000010d6: PUSH1 0x40 000010d8: SHL 000010d9: SUB 000010da: DUP3 000010db: GT 000010dc: OR 000010dd: PUSH2 0x10e5 000010e0: JUMPI 000010e1: PUSH1 0x40 000010e3: MSTORE 000010e4: JUMP 000010e5: JUMPDEST 000010e6: PUSH4 0x4e487b71 000010eb: PUSH1 0xe0 000010ed: SHL 000010ee: PUSH0 000010ef: MSTORE 000010f0: PUSH1 0x41 000010f2: PUSH1 0x04 000010f4: MSTORE 000010f5: PUSH1 0x24 000010f7: PUSH0 000010f8: REVERT 000010f9: JUMPDEST 000010fa: PUSH1 0x01 000010fc: PUSH1 0x01 000010fe: PUSH1 0x40 00001100: SHL 00001101: SUB 00001102: DUP2 00001103: GT 00001104: PUSH2 0x10e5 00001107: JUMPI 00001108: PUSH1 0x05 0000110a: SHL 0000110b: PUSH1 0x20 0000110d: ADD 0000110e: SWAP1 0000110f: JUMP 00001110: JUMPDEST 00001111: SWAP1 00001112: DUP1 00001113: PUSH1 0x1f 00001115: DUP4 00001116: ADD 00001117: SLT 00001118: ISZERO 00001119: PUSH2 0x0376 0000111c: JUMPI 0000111d: DUP2 0000111e: CALLDATALOAD 0000111f: SWAP1 00001120: PUSH2 0x1128 00001123: DUP3 00001124: PUSH2 0x10f9 00001127: JUMP 00001128: JUMPDEST 00001129: SWAP3 0000112a: PUSH2 0x1136 0000112d: PUSH1 0x40 0000112f: MLOAD 00001130: SWAP5 00001131: DUP6 00001132: PUSH2 0x10c4 00001135: JUMP 00001136: JUMPDEST 00001137: DUP3 00001138: DUP5 00001139: MSTORE 0000113a: PUSH1 0x20 0000113c: DUP1 0000113d: DUP6 0000113e: ADD 0000113f: SWAP4 00001140: PUSH1 0x05 00001142: SHL 00001143: DUP3 00001144: ADD 00001145: ADD 00001146: SWAP2 00001147: DUP3 00001148: GT 00001149: PUSH2 0x0376 0000114c: JUMPI 0000114d: PUSH1 0x20 0000114f: ADD 00001150: SWAP2 00001151: JUMPDEST 00001152: DUP2 00001153: DUP4 00001154: LT 00001155: PUSH2 0x115e 00001158: JUMPI 00001159: POP 0000115a: POP 0000115b: POP 0000115c: SWAP1 0000115d: JUMP 0000115e: JUMPDEST 0000115f: DUP3 00001160: CALLDATALOAD 00001161: PUSH1 0x01 00001163: PUSH1 0x01 00001165: PUSH1 0xa0 00001167: SHL 00001168: SUB 00001169: DUP2 0000116a: AND 0000116b: DUP2 0000116c: SUB 0000116d: PUSH2 0x0376 00001170: JUMPI 00001171: DUP2 00001172: MSTORE 00001173: PUSH1 0x20 00001175: SWAP3 00001176: DUP4 00001177: ADD 00001178: SWAP3 00001179: ADD 0000117a: PUSH2 0x1151 0000117d: JUMP 0000117e: JUMPDEST 0000117f: SWAP1 00001180: DUP1 00001181: PUSH1 0x1f 00001183: DUP4 00001184: ADD 00001185: SLT 00001186: ISZERO 00001187: PUSH2 0x0376 0000118a: JUMPI 0000118b: DUP2 0000118c: CALLDATALOAD 0000118d: PUSH2 0x1195 00001190: DUP2 00001191: PUSH2 0x10f9 00001194: JUMP 00001195: JUMPDEST 00001196: SWAP3 00001197: PUSH2 0x11a3 0000119a: PUSH1 0x40 0000119c: MLOAD 0000119d: SWAP5 0000119e: DUP6 0000119f: PUSH2 0x10c4 000011a2: JUMP 000011a3: JUMPDEST 000011a4: DUP2 000011a5: DUP5 000011a6: MSTORE 000011a7: PUSH1 0x20 000011a9: DUP1 000011aa: DUP6 000011ab: ADD 000011ac: SWAP3 000011ad: PUSH1 0x05 000011af: SHL 000011b0: DUP3 000011b1: ADD 000011b2: ADD 000011b3: SWAP3 000011b4: DUP4 000011b5: GT 000011b6: PUSH2 0x0376 000011b9: JUMPI 000011ba: PUSH1 0x20 000011bc: ADD 000011bd: SWAP1 000011be: JUMPDEST 000011bf: DUP3 000011c0: DUP3 000011c1: LT 000011c2: PUSH2 0x11cb 000011c5: JUMPI 000011c6: POP 000011c7: POP 000011c8: POP 000011c9: SWAP1 000011ca: JUMP 000011cb: JUMPDEST 000011cc: DUP2 000011cd: CALLDATALOAD 000011ce: DUP2 000011cf: MSTORE 000011d0: PUSH1 0x20 000011d2: SWAP2 000011d3: DUP3 000011d4: ADD 000011d5: SWAP2 000011d6: ADD 000011d7: PUSH2 0x11be 000011da: JUMP 000011db: JUMPDEST 000011dc: SWAP1 000011dd: PUSH1 0x20 000011df: DUP1 000011e0: DUP4 000011e1: MLOAD 000011e2: SWAP3 000011e3: DUP4 000011e4: DUP2 000011e5: MSTORE 000011e6: ADD 000011e7: SWAP3 000011e8: ADD 000011e9: SWAP1 000011ea: PUSH0 000011eb: JUMPDEST 000011ec: DUP2 000011ed: DUP2 000011ee: LT 000011ef: PUSH2 0x11f8 000011f2: JUMPI 000011f3: POP 000011f4: POP 000011f5: POP 000011f6: SWAP1 000011f7: JUMP 000011f8: JUMPDEST 000011f9: DUP3 000011fa: MLOAD 000011fb: PUSH1 0x01 000011fd: PUSH1 0x01 000011ff: PUSH1 0xa0 00001201: SHL 00001202: SUB 00001203: AND 00001204: DUP5 00001205: MSTORE 00001206: PUSH1 0x20 00001208: SWAP4 00001209: DUP5 0000120a: ADD 0000120b: SWAP4 0000120c: SWAP1 0000120d: SWAP3 0000120e: ADD 0000120f: SWAP2 00001210: PUSH1 0x01 00001212: ADD 00001213: PUSH2 0x11eb 00001216: JUMP 00001217: JUMPDEST 00001218: MLOAD 00001219: SWAP1 0000121a: PUSH1 0x01 0000121c: PUSH1 0x01 0000121e: PUSH1 0xa0 00001220: SHL 00001221: SUB 00001222: DUP3 00001223: AND 00001224: DUP3 00001225: SUB 00001226: PUSH2 0x0376 00001229: JUMPI 0000122a: JUMP 0000122b: JUMPDEST 0000122c: PUSH1 0x20 0000122e: DUP2 0000122f: DUP4 00001230: SUB 00001231: SLT 00001232: PUSH2 0x0376 00001235: JUMPI 00001236: DUP1 00001237: MLOAD 00001238: SWAP1 00001239: PUSH1 0x01 0000123b: PUSH1 0x01 0000123d: PUSH1 0x40 0000123f: SHL 00001240: SUB 00001241: DUP3 00001242: GT 00001243: PUSH2 0x0376 00001246: JUMPI 00001247: ADD 00001248: SWAP1 00001249: DUP1 0000124a: PUSH1 0x1f 0000124c: DUP4 0000124d: ADD 0000124e: SLT 0000124f: ISZERO 00001250: PUSH2 0x0376 00001253: JUMPI 00001254: DUP2 00001255: MLOAD 00001256: PUSH2 0x125e 00001259: DUP2 0000125a: PUSH2 0x10f9 0000125d: JUMP 0000125e: JUMPDEST 0000125f: SWAP3 00001260: PUSH2 0x126c 00001263: PUSH1 0x40 00001265: MLOAD 00001266: SWAP5 00001267: DUP6 00001268: PUSH2 0x10c4 0000126b: JUMP 0000126c: JUMPDEST 0000126d: DUP2 0000126e: DUP5 0000126f: MSTORE 00001270: PUSH1 0x20 00001272: DUP1 00001273: DUP6 00001274: ADD 00001275: SWAP3 00001276: PUSH1 0x05 00001278: SHL 00001279: DUP3 0000127a: ADD 0000127b: ADD 0000127c: SWAP3 0000127d: DUP4 0000127e: GT 0000127f: PUSH2 0x0376 00001282: JUMPI 00001283: PUSH1 0x20 00001285: ADD 00001286: SWAP1 00001287: JUMPDEST 00001288: DUP3 00001289: DUP3 0000128a: LT 0000128b: PUSH2 0x1294 0000128e: JUMPI 0000128f: POP 00001290: POP 00001291: POP 00001292: SWAP1 00001293: JUMP 00001294: JUMPDEST 00001295: PUSH1 0x20 00001297: DUP1 00001298: SWAP2 00001299: PUSH2 0x12a1 0000129c: DUP5 0000129d: PUSH2 0x1217 000012a0: JUMP 000012a1: JUMPDEST 000012a2: DUP2 000012a3: MSTORE 000012a4: ADD 000012a5: SWAP2 000012a6: ADD 000012a7: SWAP1 000012a8: PUSH2 0x1287 000012ab: JUMP 000012ac: JUMPDEST 000012ad: PUSH1 0x10 000012af: SLOAD 000012b0: DUP2 000012b1: LT 000012b2: ISZERO 000012b3: PUSH2 0x12c4 000012b6: JUMPI 000012b7: PUSH1 0x10 000012b9: PUSH0 000012ba: MSTORE 000012bb: PUSH1 0x20 000012bd: PUSH0 000012be: KECCAK256 000012bf: ADD 000012c0: SWAP1 000012c1: PUSH0 000012c2: SWAP1 000012c3: JUMP 000012c4: JUMPDEST 000012c5: PUSH4 0x4e487b71 000012ca: PUSH1 0xe0 000012cc: SHL 000012cd: PUSH0 000012ce: MSTORE 000012cf: PUSH1 0x32 000012d1: PUSH1 0x04 000012d3: MSTORE 000012d4: PUSH1 0x24 000012d6: PUSH0 000012d7: REVERT 000012d8: JUMPDEST 000012d9: SWAP1 000012da: DUP2 000012db: PUSH1 0x20 000012dd: SWAP2 000012de: SUB 000012df: SLT 000012e0: PUSH2 0x0376 000012e3: JUMPI 000012e4: MLOAD 000012e5: DUP1 000012e6: ISZERO 000012e7: ISZERO 000012e8: DUP2 000012e9: SUB 000012ea: PUSH2 0x0376 000012ed: JUMPI 000012ee: SWAP1 000012ef: JUMP 000012f0: INVALID 000012f1: PUSH1 0x80 000012f3: DUP1 000012f4: PUSH1 0x40 000012f6: MSTORE 000012f7: CALLVALUE 000012f8: PUSH1 0x13 000012fa: JUMPI 000012fb: PUSH1 0x85 000012fd: SWAP1 000012fe: DUP2 000012ff: PUSH1 0x18 00001301: DUP3 00001302: CODECOPY 00001303: RETURN 00001304: JUMPDEST 00001305: PUSH0 00001306: DUP1 00001307: REVERT 00001308: INVALID 00001309: PUSH1 0x80 0000130b: DUP1 0000130c: PUSH1 0x40 0000130e: MSTORE 0000130f: PUSH1 0x04 00001311: CALLDATASIZE 00001312: LT 00001313: ISZERO 00001314: PUSH1 0x11 00001316: JUMPI 00001317: PUSH0 00001318: DUP1 00001319: REVERT 0000131a: JUMPDEST 0000131b: PUSH0 0000131c: CALLDATALOAD 0000131d: PUSH1 0xe0 0000131f: SHR 00001320: PUSH4 0x70a08231 00001325: EQ 00001326: PUSH1 0x23 00001328: JUMPI 00001329: PUSH0 0000132a: DUP1 0000132b: REVERT 0000132c: JUMPDEST 0000132d: CALLVALUE 0000132e: PUSH1 0x4b 00001330: JUMPI 00001331: PUSH1 0x20 00001333: CALLDATASIZE 00001334: PUSH1 0x03 00001336: NOT 00001337: ADD 00001338: SLT 00001339: PUSH1 0x4b 0000133b: JUMPI 0000133c: PUSH1 0x04 0000133e: CALLDATALOAD 0000133f: PUSH1 0x01 00001341: PUSH1 0x01 00001343: PUSH1 0xa0 00001345: SHL 00001346: SUB 00001347: DUP2 00001348: AND 00001349: SUB 0000134a: PUSH1 0x4b 0000134c: JUMPI 0000134d: DUP1 0000134e: PUSH0 0000134f: PUSH1 0x20 00001351: SWAP3 00001352: MSTORE 00001353: RETURN 00001354: JUMPDEST 00001355: PUSH0 00001356: DUP1 00001357: REVERT 00001358: INVALID 00001359: LOG2 0000135a: PUSH5 0x6970667358 00001360: UNKNOWN(0x22) 00001361: SLT 00001362: KECCAK256 00001363: UNKNOWN(0xB0) 00001364: DUP9 00001365: SWAP11 00001366: UNKNOWN(0xF8) 00001367: MLOAD 00001368: PUSH17 0xf94977a2985e629e04f499c186ece9fd0c 0000137a: MSTORE8 0000137b: UNKNOWN(0xD0) 0000137c: BLOCKHASH 0000137d: PUSH3 0xae2318 00001381: CALL 00001382: CALLVALUE 00001383: PUSH5 0x736f6c6343 00001389: STOP 0000138a: ADDMOD 0000138b: BYTE 0000138c: STOP 0000138d: CALLER 0000138e: PUSH1 0x80 00001390: DUP1 00001391: PUSH1 0x40 00001393: MSTORE 00001394: CALLVALUE 00001395: PUSH1 0x13 00001397: JUMPI 00001398: PUSH1 0xdb 0000139a: SWAP1 0000139b: DUP2 0000139c: PUSH1 0x18 0000139e: DUP3 0000139f: CODECOPY 000013a0: RETURN 000013a1: JUMPDEST 000013a2: PUSH0 000013a3: DUP1 000013a4: REVERT 000013a5: INVALID 000013a6: PUSH1 0x80 000013a8: PUSH1 0x40 000013aa: MSTORE 000013ab: PUSH1 0x04 000013ad: CALLDATASIZE 000013ae: LT 000013af: ISZERO 000013b0: PUSH1 0x10 000013b2: JUMPI 000013b3: PUSH0 000013b4: DUP1 000013b5: REVERT 000013b6: JUMPDEST 000013b7: PUSH0 000013b8: CALLDATALOAD 000013b9: PUSH1 0xe0 000013bb: SHR 000013bc: DUP1 000013bd: PUSH4 0x095ea7b3 000013c2: EQ 000013c3: PUSH1 0x36 000013c5: JUMPI 000013c6: DUP1 000013c7: PUSH4 0x23b872dd 000013cc: EQ 000013cd: PUSH1 0x3a 000013cf: JUMPI 000013d0: PUSH4 0xa9059cbb 000013d5: EQ 000013d6: PUSH1 0x36 000013d8: JUMPI 000013d9: PUSH0 000013da: DUP1 000013db: REVERT 000013dc: JUMPDEST 000013dd: PUSH1 0x90 000013df: JUMP 000013e0: JUMPDEST 000013e1: CALLVALUE 000013e2: PUSH1 0x62 000013e4: JUMPI 000013e5: PUSH1 0x60 000013e7: CALLDATASIZE 000013e8: PUSH1 0x03 000013ea: NOT 000013eb: ADD 000013ec: SLT 000013ed: PUSH1 0x62 000013ef: JUMPI 000013f0: PUSH1 0x4f 000013f2: PUSH1 0x66 000013f4: JUMP 000013f5: JUMPDEST 000013f6: POP 000013f7: PUSH1 0x56 000013f9: PUSH1 0x7b 000013fb: JUMP 000013fc: JUMPDEST 000013fd: POP 000013fe: PUSH1 0x20 00001400: PUSH1 0x40 00001402: MLOAD 00001403: PUSH1 0x01 00001405: DUP2 00001406: MSTORE 00001407: RETURN 00001408: JUMPDEST 00001409: PUSH0 0000140a: DUP1 0000140b: REVERT 0000140c: JUMPDEST 0000140d: PUSH1 0x04 0000140f: CALLDATALOAD 00001410: SWAP1 00001411: PUSH1 0x01 00001413: PUSH1 0x01 00001415: PUSH1 0xa0 00001417: SHL 00001418: SUB 00001419: DUP3 0000141a: AND 0000141b: DUP3 0000141c: SUB 0000141d: PUSH1 0x62 0000141f: JUMPI 00001420: JUMP 00001421: JUMPDEST 00001422: PUSH1 0x24 00001424: CALLDATALOAD 00001425: SWAP1 00001426: PUSH1 0x01 00001428: PUSH1 0x01 0000142a: PUSH1 0xa0 0000142c: SHL 0000142d: SUB 0000142e: DUP3 0000142f: AND 00001430: DUP3 00001431: SUB 00001432: PUSH1 0x62 00001434: JUMPI 00001435: JUMP 00001436: JUMPDEST 00001437: CALLVALUE 00001438: PUSH1 0x62 0000143a: JUMPI 0000143b: PUSH1 0x40 0000143d: CALLDATASIZE 0000143e: PUSH1 0x03 00001440: NOT 00001441: ADD 00001442: SLT 00001443: PUSH1 0x62 00001445: JUMPI 00001446: PUSH1 0x56 00001448: PUSH1 0x66 0000144a: JUMP 0000144b: INVALID 0000144c: LOG2 0000144d: PUSH5 0x6970667358 00001453: UNKNOWN(0x22) 00001454: SLT 00001455: KECCAK256 00001456: PUSH21 0x2381b81be3ee3d2ebe93c8cb1b6c0e83696b65975e 0000146c: CALL 0000146d: UNKNOWN(0xC7) 0000146e: UNKNOWN(0xC7) 0000146f: PUSH3 0xb4e371 00001473: UNKNOWN(0xE8) 00001474: UNKNOWN(0x2C) 00001475: UNKNOWN(0x0D) 00001476: PUSH5 0x736f6c6343 0000147c: STOP 0000147d: ADDMOD 0000147e: BYTE 0000147f: STOP 00001480: CALLER 00001481: PUSH1 0x80 00001483: DUP1 00001484: PUSH1 0x40 00001486: MSTORE 00001487: CALLVALUE 00001488: PUSH1 0x14 0000148a: JUMPI 0000148b: PUSH1 0xfa 0000148d: SWAP1 0000148e: DUP2 0000148f: PUSH2 0x0019 00001492: DUP3 00001493: CODECOPY 00001494: RETURN 00001495: JUMPDEST 00001496: PUSH0 00001497: DUP1 00001498: REVERT 00001499: INVALID 0000149a: PUSH1 0x80 0000149c: DUP1 0000149d: PUSH1 0x40 0000149f: MSTORE 000014a0: PUSH1 0x04 000014a2: CALLDATASIZE 000014a3: LT 000014a4: ISZERO 000014a5: PUSH1 0x11 000014a7: JUMPI 000014a8: PUSH0 000014a9: DUP1 000014aa: REVERT 000014ab: JUMPDEST 000014ac: PUSH0 000014ad: CALLDATALOAD 000014ae: PUSH1 0xe0 000014b0: SHR 000014b1: SWAP1 000014b2: DUP2 000014b3: PUSH4 0x62ac38a9 000014b8: EQ 000014b9: PUSH1 0x87 000014bb: JUMPI 000014bc: DUP2 000014bd: PUSH4 0x6f307dc3 000014c2: EQ 000014c3: PUSH1 0x67 000014c5: JUMPI 000014c6: POP 000014c7: PUSH4 0x70a08231 000014cc: EQ 000014cd: PUSH1 0x39 000014cf: JUMPI 000014d0: PUSH0 000014d1: DUP1 000014d2: REVERT 000014d3: JUMPDEST 000014d4: CALLVALUE 000014d5: PUSH1 0x63 000014d7: JUMPI 000014d8: PUSH1 0x20 000014da: CALLDATASIZE 000014db: PUSH1 0x03 000014dd: NOT 000014de: ADD 000014df: SLT 000014e0: PUSH1 0x63 000014e2: JUMPI 000014e3: PUSH1 0x04 000014e5: CALLDATALOAD 000014e6: PUSH1 0x01 000014e8: PUSH1 0x01 000014ea: PUSH1 0xa0 000014ec: SHL 000014ed: SUB 000014ee: DUP2 000014ef: AND 000014f0: SUB 000014f1: PUSH1 0x63 000014f3: JUMPI 000014f4: PUSH1 0x20 000014f6: PUSH1 0x40 000014f8: MLOAD 000014f9: PUSH0 000014fa: DUP2 000014fb: MSTORE 000014fc: RETURN 000014fd: JUMPDEST 000014fe: PUSH0 000014ff: DUP1 00001500: REVERT 00001501: JUMPDEST 00001502: CALLVALUE 00001503: PUSH1 0x63 00001505: JUMPI 00001506: PUSH0 00001507: CALLDATASIZE 00001508: PUSH1 0x03 0000150a: NOT 0000150b: ADD 0000150c: SLT 0000150d: PUSH1 0x63 0000150f: JUMPI 00001510: PUSH0 00001511: SLOAD 00001512: PUSH1 0x01 00001514: PUSH1 0x01 00001516: PUSH1 0xa0 00001518: SHL 00001519: SUB 0000151a: AND 0000151b: DUP2 0000151c: MSTORE 0000151d: PUSH1 0x20 0000151f: SWAP1 00001520: RETURN 00001521: JUMPDEST 00001522: CALLVALUE 00001523: PUSH1 0x63 00001525: JUMPI 00001526: PUSH1 0x20 00001528: CALLDATASIZE 00001529: PUSH1 0x03 0000152b: NOT 0000152c: ADD 0000152d: SLT 0000152e: PUSH1 0x63 00001530: JUMPI 00001531: PUSH1 0x04 00001533: CALLDATALOAD 00001534: PUSH1 0x01 00001536: PUSH1 0x01 00001538: PUSH1 0xa0 0000153a: SHL 0000153b: SUB 0000153c: DUP2 0000153d: AND 0000153e: SWAP1 0000153f: DUP2 00001540: SWAP1 00001541: SUB 00001542: PUSH1 0x63 00001544: JUMPI 00001545: PUSH12 0xffffffffffffffffffffffff 00001552: PUSH1 0xa0 00001554: SHL 00001555: PUSH0 00001556: SLOAD 00001557: AND 00001558: OR 00001559: PUSH0 0000155a: SSTORE 0000155b: PUSH0 0000155c: DUP1 0000155d: RETURN 0000155e: INVALID 0000155f: LOG2 00001560: PUSH5 0x6970667358 00001566: UNKNOWN(0x22) 00001567: SLT 00001568: KECCAK256 00001569: UNKNOWN(0xC8) 0000156a: UNKNOWN(0xD0) 0000156b: EXP 0000156c: UNKNOWN(0xCB) 0000156d: MSTORE8 0000156e: GAS 0000156f: UNKNOWN(0xF8) 00001570: PUSH27 0x90254a6a4ae0856f579338a8293ecb9f49c9baa92c16940164736f 0000158c: PUSH13 0x634300081a0033608080604052 0000159a: CALLVALUE 0000159b: PUSH1 0xb7 0000159d: JUMPI 0000159e: PUSH1 0x01 000015a0: DUP1 000015a1: SLOAD 000015a2: PUSH1 0x01 000015a4: PUSH1 0x01 000015a6: PUSH1 0xa0 000015a8: SHL 000015a9: SUB 000015aa: NOT 000015ab: SWAP1 000015ac: DUP2 000015ad: AND 000015ae: PUSH20 0x0bffdd787c83235f6f0afa0faed42061a4619b7a 000015c3: OR 000015c4: SWAP1 000015c5: SWAP2 000015c6: SSTORE 000015c7: PUSH1 0x02 000015c9: DUP1 000015ca: SLOAD 000015cb: DUP3 000015cc: AND 000015cd: PUSH20 0xee894c051c402301bc19be46c231d2a8e38b0451 000015e2: OR 000015e3: SWAP1 000015e4: SSTORE 000015e5: PUSH1 0x03 000015e7: DUP1 000015e8: SLOAD 000015e9: DUP3 000015ea: AND 000015eb: PUSH20 0x2ccb7d00a9e10d0c3408b5eefb67011abfacb075 00001600: OR 00001601: SWAP1 00001602: SSTORE 00001603: PUSH1 0x04 00001605: DUP1 00001606: SLOAD 00001607: DUP3 00001608: AND 00001609: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 0000161e: OR 0000161f: SWAP1 00001620: SSTORE 00001621: PUSH1 0x05 00001623: DUP1 00001624: SLOAD 00001625: SWAP1 00001626: SWAP2 00001627: AND 00001628: PUSH20 0x680910cf5fc9969a25fd57e7896a14ff1e55f36b 0000163d: OR 0000163e: SWAP1 0000163f: SSTORE 00001640: PUSH2 0x061e 00001643: SWAP1 00001644: DUP2 00001645: PUSH2 0x00bc 00001648: DUP3 00001649: CODECOPY 0000164a: RETURN 0000164b: JUMPDEST 0000164c: PUSH0 0000164d: DUP1 0000164e: REVERT 0000164f: INVALID 00001650: PUSH1 0x80 00001652: PUSH1 0x40 00001654: MSTORE 00001655: PUSH1 0x04 00001657: CALLDATASIZE 00001658: LT 00001659: ISZERO 0000165a: PUSH2 0x001a 0000165d: JUMPI 0000165e: JUMPDEST 0000165f: CALLDATASIZE 00001660: ISZERO 00001661: PUSH2 0x0018 00001664: JUMPI 00001665: PUSH0 00001666: DUP1 00001667: REVERT 00001668: JUMPDEST 00001669: STOP 0000166a: JUMPDEST 0000166b: PUSH0 0000166c: CALLDATALOAD 0000166d: PUSH1 0xe0 0000166f: SHR 00001670: DUP1 00001671: PUSH4 0x17bfdfbc 00001676: EQ 00001677: PUSH2 0x0454 0000167a: JUMPI 0000167b: DUP1 0000167c: PUSH4 0x48631ffd 00001681: EQ 00001682: PUSH2 0x04fa 00001685: JUMPI 00001686: DUP1 00001687: PUSH4 0x5d288adc 0000168c: EQ 0000168d: PUSH2 0x04bc 00001690: JUMPI 00001691: DUP1 00001692: PUSH4 0x62ac38a9 00001697: EQ 00001698: PUSH2 0x0480 0000169b: JUMPI 0000169c: DUP1 0000169d: PUSH4 0x6f307dc3 000016a2: EQ 000016a3: PUSH2 0x0459 000016a6: JUMPI 000016a7: DUP1 000016a8: PUSH4 0x70a08231 000016ad: EQ 000016ae: PUSH2 0x0454 000016b1: JUMPI 000016b2: DUP1 000016b3: PUSH4 0x8559f08b 000016b8: EQ 000016b9: PUSH2 0x0366 000016bc: JUMPI 000016bd: DUP1 000016be: PUSH4 0xa0712d68 000016c3: EQ 000016c4: PUSH2 0x034b 000016c7: JUMPI 000016c8: DUP1 000016c9: PUSH4 0xa9059cbb 000016ce: EQ 000016cf: PUSH2 0x0139 000016d2: JUMPI 000016d3: DUP1 000016d4: PUSH4 0xcec7b115 000016d9: EQ 000016da: PUSH2 0x00c8 000016dd: JUMPI 000016de: PUSH4 0xf5e3c462 000016e3: SUB 000016e4: PUSH2 0x000e 000016e7: JUMPI 000016e8: CALLVALUE 000016e9: PUSH2 0x00c4 000016ec: JUMPI 000016ed: PUSH1 0x60 000016ef: CALLDATASIZE 000016f0: PUSH1 0x03 000016f2: NOT 000016f3: ADD 000016f4: SLT 000016f5: PUSH2 0x00c4 000016f8: JUMPI 000016f9: PUSH2 0x00b0 000016fc: PUSH2 0x0569 000016ff: JUMP 00001700: JUMPDEST 00001701: POP 00001702: PUSH2 0x00b9 00001705: PUSH2 0x057f 00001708: JUMP 00001709: JUMPDEST 0000170a: POP 0000170b: PUSH1 0x20 0000170d: PUSH1 0x40 0000170f: MLOAD 00001710: PUSH0 00001711: DUP2 00001712: MSTORE 00001713: RETURN 00001714: JUMPDEST 00001715: PUSH0 00001716: DUP1 00001717: REVERT 00001718: JUMPDEST 00001719: CALLVALUE 0000171a: PUSH2 0x00c4 0000171d: JUMPI 0000171e: PUSH0 0000171f: CALLDATASIZE 00001720: PUSH1 0x03 00001722: NOT 00001723: ADD 00001724: SLT 00001725: PUSH2 0x00c4 00001728: JUMPI 00001729: PUSH0 0000172a: DUP1 0000172b: DUP1 0000172c: DUP1 0000172d: PUSH1 0x01 0000172f: DUP1 00001730: PUSH1 0xa0 00001732: SHL 00001733: SUB 00001734: PUSH1 0x05 00001736: SLOAD 00001737: AND 00001738: SELFBALANCE 00001739: SWAP1 0000173a: GAS 0000173b: CALL 0000173c: POP 0000173d: RETURNDATASIZE 0000173e: ISZERO 0000173f: PUSH2 0x0018 00001742: JUMPI 00001743: RETURNDATASIZE 00001744: PUSH8 0xffffffffffffffff 0000174d: DUP2 0000174e: GT 0000174f: PUSH2 0x0125 00001752: JUMPI 00001753: PUSH1 0x40 00001755: MLOAD 00001756: SWAP1 00001757: PUSH2 0x011a 0000175a: PUSH1 0x1f 0000175c: DUP3 0000175d: ADD 0000175e: PUSH1 0x1f 00001760: NOT 00001761: AND 00001762: PUSH1 0x20 00001764: ADD 00001765: DUP4 00001766: PUSH2 0x05ae 00001769: JUMP 0000176a: JUMPDEST 0000176b: DUP2 0000176c: MSTORE 0000176d: PUSH0 0000176e: PUSH1 0x20 00001770: RETURNDATASIZE 00001771: SWAP3 00001772: ADD 00001773: RETURNDATACOPY 00001774: STOP 00001775: JUMPDEST 00001776: PUSH4 0x4e487b71 0000177b: PUSH1 0xe0 0000177d: SHL 0000177e: PUSH0 0000177f: MSTORE 00001780: PUSH1 0x41 00001782: PUSH1 0x04 00001784: MSTORE 00001785: PUSH1 0x24 00001787: PUSH0 00001788: REVERT 00001789: JUMPDEST 0000178a: CALLVALUE 0000178b: PUSH2 0x00c4 0000178e: JUMPI 0000178f: PUSH1 0x40 00001791: CALLDATASIZE 00001792: PUSH1 0x03 00001794: NOT 00001795: ADD 00001796: SLT 00001797: PUSH2 0x00c4 0000179a: JUMPI 0000179b: PUSH2 0x0152 0000179e: PUSH2 0x0569 000017a1: JUMP 000017a2: JUMPDEST 000017a3: POP 000017a4: PUSH1 0x01 000017a6: SLOAD 000017a7: PUSH1 0x02 000017a9: SLOAD 000017aa: PUSH1 0x40 000017ac: MLOAD 000017ad: PUSH4 0x095ea7b3 000017b2: PUSH1 0xe0 000017b4: SHL 000017b5: DUP2 000017b6: MSTORE 000017b7: PUSH1 0x01 000017b9: PUSH1 0x01 000017bb: PUSH1 0xa0 000017bd: SHL 000017be: SUB 000017bf: SWAP2 000017c0: DUP3 000017c1: AND 000017c2: PUSH1 0x04 000017c4: DUP3 000017c5: ADD 000017c6: MSTORE 000017c7: PUSH0 000017c8: NOT 000017c9: PUSH1 0x24 000017cb: DUP3 000017cc: ADD 000017cd: MSTORE 000017ce: SWAP2 000017cf: PUSH1 0x20 000017d1: SWAP2 000017d2: DUP4 000017d3: SWAP2 000017d4: PUSH1 0x44 000017d6: SWAP2 000017d7: DUP4 000017d8: SWAP2 000017d9: PUSH0 000017da: SWAP2 000017db: AND 000017dc: GAS 000017dd: CALL 000017de: DUP1 000017df: ISZERO 000017e0: PUSH2 0x027a 000017e3: JUMPI 000017e4: PUSH2 0x031e 000017e7: JUMPI 000017e8: JUMPDEST 000017e9: POP 000017ea: PUSH1 0x02 000017ec: SLOAD 000017ed: PUSH1 0x06 000017ef: SLOAD 000017f0: PUSH1 0x03 000017f2: SLOAD 000017f3: PUSH1 0x40 000017f5: MLOAD 000017f6: PUSH4 0x7af1e231 000017fb: PUSH1 0xe1 000017fd: SHL 000017fe: DUP2 000017ff: MSTORE 00001800: PUSH1 0x01 00001802: PUSH1 0x01 00001804: PUSH1 0xa0 00001806: SHL 00001807: SUB 00001808: SWAP3 00001809: DUP4 0000180a: AND 0000180b: PUSH1 0x04 0000180d: DUP3 0000180e: ADD 0000180f: MSTORE 00001810: PUSH1 0x01 00001812: PUSH1 0x24 00001814: DUP3 00001815: ADD 00001816: MSTORE 00001817: SWAP1 00001818: DUP3 00001819: AND 0000181a: PUSH1 0x44 0000181c: DUP3 0000181d: ADD 0000181e: MSTORE 0000181f: SWAP2 00001820: PUSH1 0x20 00001822: SWAP2 00001823: DUP4 00001824: SWAP2 00001825: PUSH1 0x64 00001827: SWAP2 00001828: DUP4 00001829: SWAP2 0000182a: PUSH0 0000182b: SWAP2 0000182c: AND 0000182d: GAS 0000182e: CALL 0000182f: DUP1 00001830: ISZERO 00001831: PUSH2 0x027a 00001834: JUMPI 00001835: PUSH2 0x02ef 00001838: JUMPI 00001839: JUMPDEST 0000183a: POP 0000183b: PUSH1 0x03 0000183d: SLOAD 0000183e: PUSH1 0x40 00001840: MLOAD 00001841: PUSH4 0x70a08231 00001846: PUSH1 0xe0 00001848: SHL 00001849: DUP2 0000184a: MSTORE 0000184b: ADDRESS 0000184c: PUSH1 0x04 0000184e: DUP3 0000184f: ADD 00001850: MSTORE 00001851: PUSH1 0x01 00001853: PUSH1 0x01 00001855: PUSH1 0xa0 00001857: SHL 00001858: SUB 00001859: SWAP1 0000185a: SWAP2 0000185b: AND 0000185c: SWAP1 0000185d: PUSH1 0x20 0000185f: DUP2 00001860: PUSH1 0x24 00001862: DUP2 00001863: DUP6 00001864: GAS 00001865: STATICCALL 00001866: SWAP1 00001867: DUP2 00001868: ISZERO 00001869: PUSH2 0x027a 0000186c: JUMPI 0000186d: PUSH0 0000186e: SWAP2 0000186f: PUSH2 0x02bd 00001872: JUMPI 00001873: JUMPDEST 00001874: POP 00001875: PUSH0 00001876: SWAP2 00001877: PUSH1 0x24 00001879: PUSH1 0x20 0000187b: SWAP3 0000187c: PUSH1 0x40 0000187e: MLOAD 0000187f: SWAP5 00001880: DUP6 00001881: SWAP4 00001882: DUP5 00001883: SWAP3 00001884: PUSH4 0xdb006a75 00001889: PUSH1 0xe0 0000188b: SHL 0000188c: DUP5 0000188d: MSTORE 0000188e: PUSH1 0x04 00001890: DUP5 00001891: ADD 00001892: MSTORE 00001893: GAS 00001894: CALL 00001895: DUP1 00001896: ISZERO 00001897: PUSH2 0x027a 0000189a: JUMPI 0000189b: PUSH2 0x028e 0000189e: JUMPI 0000189f: JUMPDEST 000018a0: POP 000018a1: PUSH0 000018a2: DUP1 000018a3: DUP1 000018a4: DUP1 000018a5: PUSH1 0x01 000018a7: DUP1 000018a8: PUSH1 0xa0 000018aa: SHL 000018ab: SUB 000018ac: PUSH1 0x06 000018ae: SLOAD 000018af: AND 000018b0: SELFBALANCE 000018b1: SWAP1 000018b2: DUP3 000018b3: DUP3 000018b4: ISZERO 000018b5: PUSH2 0x0285 000018b8: JUMPI 000018b9: JUMPDEST 000018ba: CALL 000018bb: ISZERO 000018bc: PUSH2 0x027a 000018bf: JUMPI 000018c0: PUSH1 0x20 000018c2: PUSH1 0x40 000018c4: MLOAD 000018c5: PUSH1 0x01 000018c7: DUP2 000018c8: MSTORE 000018c9: RETURN 000018ca: JUMPDEST 000018cb: PUSH1 0x40 000018cd: MLOAD 000018ce: RETURNDATASIZE 000018cf: PUSH0 000018d0: DUP3 000018d1: RETURNDATACOPY 000018d2: RETURNDATASIZE 000018d3: SWAP1 000018d4: REVERT 000018d5: JUMPDEST 000018d6: POP 000018d7: PUSH2 0x08fc 000018da: PUSH2 0x0269 000018dd: JUMP 000018de: JUMPDEST 000018df: PUSH1 0x20 000018e1: DUP2 000018e2: RETURNDATASIZE 000018e3: PUSH1 0x20 000018e5: GT 000018e6: PUSH2 0x02b5 000018e9: JUMPI 000018ea: JUMPDEST 000018eb: DUP2 000018ec: PUSH2 0x02a7 000018ef: PUSH1 0x20 000018f1: SWAP4 000018f2: DUP4 000018f3: PUSH2 0x05ae 000018f6: JUMP 000018f7: JUMPDEST 000018f8: DUP2 000018f9: ADD 000018fa: SUB 000018fb: SLT 000018fc: PUSH2 0x00c4 000018ff: JUMPI 00001900: MLOAD 00001901: PUSH2 0x024f 00001904: JUMP 00001905: JUMPDEST 00001906: RETURNDATASIZE 00001907: SWAP2 00001908: POP 00001909: PUSH2 0x029a 0000190c: JUMP 0000190d: JUMPDEST 0000190e: SWAP1 0000190f: POP 00001910: PUSH1 0x20 00001912: DUP2 00001913: RETURNDATASIZE 00001914: PUSH1 0x20 00001916: GT 00001917: PUSH2 0x02e7 0000191a: JUMPI 0000191b: JUMPDEST 0000191c: DUP2 0000191d: PUSH2 0x02d8 00001920: PUSH1 0x20 00001922: SWAP4 00001923: DUP4 00001924: PUSH2 0x05ae 00001927: JUMP 00001928: JUMPDEST 00001929: DUP2 0000192a: ADD 0000192b: SUB 0000192c: SLT 0000192d: PUSH2 0x00c4 00001930: JUMPI 00001931: MLOAD 00001932: PUSH0 00001933: PUSH2 0x0223 00001936: JUMP 00001937: JUMPDEST 00001938: RETURNDATASIZE 00001939: SWAP2 0000193a: POP 0000193b: PUSH2 0x02cb 0000193e: JUMP 0000193f: JUMPDEST 00001940: PUSH1 0x20 00001942: DUP2 00001943: RETURNDATASIZE 00001944: PUSH1 0x20 00001946: GT 00001947: PUSH2 0x0316 0000194a: JUMPI 0000194b: JUMPDEST 0000194c: DUP2 0000194d: PUSH2 0x0308 00001950: PUSH1 0x20 00001952: SWAP4 00001953: DUP4 00001954: PUSH2 0x05ae 00001957: JUMP 00001958: JUMPDEST 00001959: DUP2 0000195a: ADD 0000195b: SUB 0000195c: SLT 0000195d: PUSH2 0x00c4 00001960: JUMPI 00001961: MLOAD 00001962: PUSH2 0x01e9 00001965: JUMP 00001966: JUMPDEST 00001967: RETURNDATASIZE 00001968: SWAP2 00001969: POP 0000196a: PUSH2 0x02fb 0000196d: JUMP 0000196e: JUMPDEST 0000196f: PUSH2 0x033f 00001972: SWAP1 00001973: PUSH1 0x20 00001975: RETURNDATASIZE 00001976: PUSH1 0x20 00001978: GT 00001979: PUSH2 0x0344 0000197c: JUMPI 0000197d: JUMPDEST 0000197e: PUSH2 0x0337 00001981: DUP2 00001982: DUP4 00001983: PUSH2 0x05ae 00001986: JUMP 00001987: JUMPDEST 00001988: DUP2 00001989: ADD 0000198a: SWAP1 0000198b: PUSH2 0x05d0 0000198e: JUMP 0000198f: JUMPDEST 00001990: PUSH2 0x0198 00001993: JUMP 00001994: JUMPDEST 00001995: POP 00001996: RETURNDATASIZE 00001997: PUSH2 0x032d 0000199a: JUMP 0000199b: JUMPDEST 0000199c: CALLVALUE 0000199d: PUSH2 0x00c4 000019a0: JUMPI 000019a1: PUSH1 0x20 000019a3: CALLDATASIZE 000019a4: PUSH1 0x03 000019a6: NOT 000019a7: ADD 000019a8: SLT 000019a9: PUSH2 0x00c4 000019ac: JUMPI 000019ad: PUSH1 0x20 000019af: PUSH1 0x40 000019b1: MLOAD 000019b2: PUSH0 000019b3: DUP2 000019b4: MSTORE 000019b5: RETURN 000019b6: JUMPDEST 000019b7: CALLVALUE 000019b8: PUSH2 0x00c4 000019bb: JUMPI 000019bc: PUSH1 0x20 000019be: CALLDATASIZE 000019bf: PUSH1 0x03 000019c1: NOT 000019c2: ADD 000019c3: SLT 000019c4: PUSH2 0x00c4 000019c7: JUMPI 000019c8: PUSH1 0x01 000019ca: PUSH1 0x01 000019cc: PUSH1 0xa0 000019ce: SHL 000019cf: SUB 000019d0: PUSH2 0x0387 000019d3: PUSH2 0x0569 000019d6: JUMP 000019d7: JUMPDEST 000019d8: PUSH1 0x05 000019da: SLOAD 000019db: PUSH1 0x40 000019dd: MLOAD 000019de: PUSH4 0x70a08231 000019e3: PUSH1 0xe0 000019e5: SHL 000019e6: DUP2 000019e7: MSTORE 000019e8: ADDRESS 000019e9: PUSH1 0x04 000019eb: DUP3 000019ec: ADD 000019ed: MSTORE 000019ee: SWAP2 000019ef: SWAP1 000019f0: SWAP3 000019f1: AND 000019f2: SWAP2 000019f3: PUSH1 0x01 000019f5: PUSH1 0x01 000019f7: PUSH1 0xa0 000019f9: SHL 000019fa: SUB 000019fb: AND 000019fc: PUSH1 0x20 000019fe: DUP3 000019ff: PUSH1 0x24 00001a01: DUP2 00001a02: DUP7 00001a03: GAS 00001a04: STATICCALL 00001a05: SWAP2 00001a06: DUP3 00001a07: ISZERO 00001a08: PUSH2 0x027a 00001a0b: JUMPI 00001a0c: PUSH0 00001a0d: SWAP3 00001a0e: PUSH2 0x041e 00001a11: JUMPI 00001a12: JUMPDEST 00001a13: POP 00001a14: PUSH1 0x40 00001a16: MLOAD 00001a17: PUSH4 0xa9059cbb 00001a1c: PUSH1 0xe0 00001a1e: SHL 00001a1f: DUP2 00001a20: MSTORE 00001a21: PUSH1 0x01 00001a23: PUSH1 0x01 00001a25: PUSH1 0xa0 00001a27: SHL 00001a28: SUB 00001a29: SWAP1 00001a2a: SWAP2 00001a2b: AND 00001a2c: PUSH1 0x04 00001a2e: DUP3 00001a2f: ADD 00001a30: MSTORE 00001a31: PUSH1 0x24 00001a33: DUP2 00001a34: ADD 00001a35: SWAP2 00001a36: SWAP1 00001a37: SWAP2 00001a38: MSTORE 00001a39: SWAP1 00001a3a: PUSH1 0x20 00001a3c: SWAP1 00001a3d: DUP3 00001a3e: SWAP1 00001a3f: DUP2 00001a40: PUSH0 00001a41: DUP2 00001a42: PUSH1 0x44 00001a44: DUP2 00001a45: ADD 00001a46: JUMPDEST 00001a47: SUB 00001a48: SWAP3 00001a49: GAS 00001a4a: CALL 00001a4b: DUP1 00001a4c: ISZERO 00001a4d: PUSH2 0x027a 00001a50: JUMPI 00001a51: PUSH2 0x0406 00001a54: JUMPI 00001a55: STOP 00001a56: JUMPDEST 00001a57: PUSH2 0x0018 00001a5a: SWAP1 00001a5b: PUSH1 0x20 00001a5d: RETURNDATASIZE 00001a5e: PUSH1 0x20 00001a60: GT 00001a61: PUSH2 0x0344 00001a64: JUMPI 00001a65: PUSH2 0x0337 00001a68: DUP2 00001a69: DUP4 00001a6a: PUSH2 0x05ae 00001a6d: JUMP 00001a6e: JUMPDEST 00001a6f: SWAP2 00001a70: POP 00001a71: PUSH1 0x20 00001a73: DUP3 00001a74: RETURNDATASIZE 00001a75: PUSH1 0x20 00001a77: GT 00001a78: PUSH2 0x044c 00001a7b: JUMPI 00001a7c: JUMPDEST 00001a7d: DUP2 00001a7e: PUSH2 0x0439 00001a81: PUSH1 0x20 00001a83: SWAP4 00001a84: DUP4 00001a85: PUSH2 0x05ae 00001a88: JUMP 00001a89: JUMPDEST 00001a8a: DUP2 00001a8b: ADD 00001a8c: SUB 00001a8d: SLT 00001a8e: PUSH2 0x00c4 00001a91: JUMPI 00001a92: SWAP1 00001a93: MLOAD 00001a94: SWAP1 00001a95: PUSH2 0x03f6 00001a98: PUSH2 0x03c2 00001a9b: JUMP 00001a9c: JUMPDEST 00001a9d: RETURNDATASIZE 00001a9e: SWAP2 00001a9f: POP 00001aa0: PUSH2 0x042c 00001aa3: JUMP 00001aa4: JUMPDEST 00001aa5: PUSH2 0x0595 00001aa8: JUMP 00001aa9: JUMPDEST 00001aaa: CALLVALUE 00001aab: PUSH2 0x00c4 00001aae: JUMPI 00001aaf: PUSH0 00001ab0: CALLDATASIZE 00001ab1: PUSH1 0x03 00001ab3: NOT 00001ab4: ADD 00001ab5: SLT 00001ab6: PUSH2 0x00c4 00001ab9: JUMPI 00001aba: PUSH0 00001abb: SLOAD 00001abc: PUSH1 0x40 00001abe: MLOAD 00001abf: PUSH1 0x01 00001ac1: PUSH1 0x01 00001ac3: PUSH1 0xa0 00001ac5: SHL 00001ac6: SUB 00001ac7: SWAP1 00001ac8: SWAP2 00001ac9: AND 00001aca: DUP2 00001acb: MSTORE 00001acc: PUSH1 0x20 00001ace: SWAP1 00001acf: RETURN 00001ad0: JUMPDEST 00001ad1: CALLVALUE 00001ad2: PUSH2 0x00c4 00001ad5: JUMPI 00001ad6: PUSH1 0x20 00001ad8: CALLDATASIZE 00001ad9: PUSH1 0x03 00001adb: NOT 00001adc: ADD 00001add: SLT 00001ade: PUSH2 0x00c4 00001ae1: JUMPI 00001ae2: PUSH1 0x01 00001ae4: PUSH1 0x01 00001ae6: PUSH1 0xa0 00001ae8: SHL 00001ae9: SUB 00001aea: PUSH2 0x04a1 00001aed: PUSH2 0x0569 00001af0: JUMP 00001af1: JUMPDEST 00001af2: AND 00001af3: PUSH12 0xffffffffffffffffffffffff 00001b00: PUSH1 0xa0 00001b02: SHL 00001b03: PUSH0 00001b04: SLOAD 00001b05: AND 00001b06: OR 00001b07: PUSH0 00001b08: SSTORE 00001b09: PUSH0 00001b0a: DUP1 00001b0b: RETURN 00001b0c: JUMPDEST 00001b0d: CALLVALUE 00001b0e: PUSH2 0x00c4 00001b11: JUMPI 00001b12: PUSH1 0x20 00001b14: CALLDATASIZE 00001b15: PUSH1 0x03 00001b17: NOT 00001b18: ADD 00001b19: SLT 00001b1a: PUSH2 0x00c4 00001b1d: JUMPI 00001b1e: PUSH1 0x01 00001b20: PUSH1 0x01 00001b22: PUSH1 0xa0 00001b24: SHL 00001b25: SUB 00001b26: PUSH2 0x04dd 00001b29: PUSH2 0x0569 00001b2c: JUMP 00001b2d: JUMPDEST 00001b2e: AND 00001b2f: PUSH12 0xffffffffffffffffffffffff 00001b3c: PUSH1 0xa0 00001b3e: SHL 00001b3f: PUSH1 0x06 00001b41: SLOAD 00001b42: AND 00001b43: OR 00001b44: PUSH1 0x06 00001b46: SSTORE 00001b47: PUSH0 00001b48: DUP1 00001b49: RETURN 00001b4a: JUMPDEST 00001b4b: CALLVALUE 00001b4c: PUSH2 0x00c4 00001b4f: JUMPI 00001b50: PUSH1 0x40 00001b52: CALLDATASIZE 00001b53: PUSH1 0x03 00001b55: NOT 00001b56: ADD 00001b57: SLT 00001b58: PUSH2 0x00c4 00001b5b: JUMPI 00001b5c: PUSH0 00001b5d: PUSH1 0x20 00001b5f: PUSH2 0x0550 00001b62: PUSH2 0x0519 00001b65: PUSH2 0x0569 00001b68: JUMP 00001b69: JUMPDEST 00001b6a: PUSH1 0x05 00001b6c: SLOAD 00001b6d: PUSH1 0x40 00001b6f: MLOAD 00001b70: PUSH4 0xa9059cbb 00001b75: PUSH1 0xe0 00001b77: SHL 00001b78: DUP2 00001b79: MSTORE 00001b7a: PUSH1 0x01 00001b7c: PUSH1 0x01 00001b7e: PUSH1 0xa0 00001b80: SHL 00001b81: SUB 00001b82: SWAP1 00001b83: SWAP2 00001b84: AND 00001b85: PUSH1 0x04 00001b87: DUP3 00001b88: ADD 00001b89: MSTORE 00001b8a: PUSH1 0x24 00001b8c: DUP1 00001b8d: CALLDATALOAD 00001b8e: SWAP1 00001b8f: DUP3 00001b90: ADD 00001b91: MSTORE 00001b92: SWAP4 00001b93: DUP5 00001b94: SWAP3 00001b95: DUP4 00001b96: SWAP2 00001b97: SWAP1 00001b98: DUP3 00001b99: SWAP1 00001b9a: PUSH1 0x44 00001b9c: DUP3 00001b9d: ADD 00001b9e: SWAP1 00001b9f: JUMP 00001ba0: JUMPDEST 00001ba1: SUB 00001ba2: SWAP3 00001ba3: PUSH1 0x01 00001ba5: PUSH1 0x01 00001ba7: PUSH1 0xa0 00001ba9: SHL 00001baa: SUB 00001bab: AND 00001bac: GAS 00001bad: CALL 00001bae: DUP1 00001baf: ISZERO 00001bb0: PUSH2 0x027a 00001bb3: JUMPI 00001bb4: PUSH2 0x0406 00001bb7: JUMPI 00001bb8: STOP 00001bb9: JUMPDEST 00001bba: PUSH1 0x04 00001bbc: CALLDATALOAD 00001bbd: SWAP1 00001bbe: PUSH1 0x01 00001bc0: PUSH1 0x01 00001bc2: PUSH1 0xa0 00001bc4: SHL 00001bc5: SUB 00001bc6: DUP3 00001bc7: AND 00001bc8: DUP3 00001bc9: SUB 00001bca: PUSH2 0x00c4 00001bcd: JUMPI 00001bce: JUMP 00001bcf: JUMPDEST 00001bd0: PUSH1 0x44 00001bd2: CALLDATALOAD 00001bd3: SWAP1 00001bd4: PUSH1 0x01 00001bd6: PUSH1 0x01 00001bd8: PUSH1 0xa0 00001bda: SHL 00001bdb: SUB 00001bdc: DUP3 00001bdd: AND 00001bde: DUP3 00001bdf: SUB 00001be0: PUSH2 0x00c4 00001be3: JUMPI 00001be4: JUMP 00001be5: JUMPDEST 00001be6: CALLVALUE 00001be7: PUSH2 0x00c4 00001bea: JUMPI 00001beb: PUSH1 0x20 00001bed: CALLDATASIZE 00001bee: PUSH1 0x03 00001bf0: NOT 00001bf1: ADD 00001bf2: SLT 00001bf3: PUSH2 0x00c4 00001bf6: JUMPI 00001bf7: PUSH2 0x00b9 00001bfa: PUSH2 0x0569 00001bfd: JUMP 00001bfe: JUMPDEST 00001bff: SWAP1 00001c00: PUSH1 0x1f 00001c02: DUP1 00001c03: NOT 00001c04: SWAP2 00001c05: ADD 00001c06: AND 00001c07: DUP2 00001c08: ADD 00001c09: SWAP1 00001c0a: DUP2 00001c0b: LT 00001c0c: PUSH8 0xffffffffffffffff 00001c15: DUP3 00001c16: GT 00001c17: OR 00001c18: PUSH2 0x0125 00001c1b: JUMPI 00001c1c: PUSH1 0x40 00001c1e: MSTORE 00001c1f: JUMP 00001c20: JUMPDEST 00001c21: SWAP1 00001c22: DUP2 00001c23: PUSH1 0x20 00001c25: SWAP2 00001c26: SUB 00001c27: SLT 00001c28: PUSH2 0x00c4 00001c2b: JUMPI 00001c2c: MLOAD 00001c2d: DUP1 00001c2e: ISZERO 00001c2f: ISZERO 00001c30: DUP2 00001c31: SUB 00001c32: PUSH2 0x00c4 00001c35: JUMPI 00001c36: SWAP1 00001c37: JUMP 00001c38: INVALID 00001c39: LOG2 00001c3a: PUSH5 0x6970667358 00001c40: UNKNOWN(0x22) 00001c41: SLT 00001c42: KECCAK256 00001c43: UNKNOWN(0xC5) 00001c44: UNKNOWN(0xE8) 00001c45: UNKNOWN(0xC9) 00001c46: SHR 00001c47: UNKNOWN(0xA7) 00001c48: MULMOD 00001c49: CALLDATASIZE 00001c4a: GT 00001c4b: PUSH24 0xa57c82349cb752d2737ec3799e31de6132379ed629007f64 00001c64: PUSH20 0x6f6c634300081a003360808060405234607a575f 00001c79: DUP1 00001c7a: SLOAD 00001c7b: PUSH1 0x01 00001c7d: PUSH1 0x01 00001c7f: PUSH1 0xa0 00001c81: SHL 00001c82: SUB 00001c83: NOT 00001c84: SWAP1 00001c85: DUP2 00001c86: AND 00001c87: PUSH20 0xcc53f8ff403824a350885a345ed4da649e060369 00001c9c: OR 00001c9d: SWAP1 00001c9e: SWAP2 00001c9f: SSTORE 00001ca0: PUSH1 0x01 00001ca2: DUP1 00001ca3: SLOAD 00001ca4: DUP3 00001ca5: AND 00001ca6: PUSH20 0x2ccb7d00a9e10d0c3408b5eefb67011abfacb075 00001cbb: OR 00001cbc: SWAP1 00001cbd: SSTORE 00001cbe: PUSH1 0x02 00001cc0: DUP1 00001cc1: SLOAD 00001cc2: SWAP1 00001cc3: SWAP2 00001cc4: AND 00001cc5: PUSH20 0x680910cf5fc9969a25fd57e7896a14ff1e55f36b 00001cda: OR 00001cdb: SWAP1 00001cdc: SSTORE 00001cdd: PUSH2 0x04df 00001ce0: SWAP1 00001ce1: DUP2 00001ce2: PUSH2 0x007f 00001ce5: DUP3 00001ce6: CODECOPY 00001ce7: RETURN 00001ce8: JUMPDEST 00001ce9: PUSH0 00001cea: DUP1 00001ceb: REVERT 00001cec: INVALID 00001ced: PUSH1 0x80 00001cef: DUP1 00001cf0: PUSH1 0x40 00001cf2: MSTORE 00001cf3: PUSH1 0x04 00001cf5: CALLDATASIZE 00001cf6: LT 00001cf7: ISZERO 00001cf8: PUSH2 0x001c 00001cfb: JUMPI 00001cfc: JUMPDEST 00001cfd: POP 00001cfe: CALLDATASIZE 00001cff: ISZERO 00001d00: PUSH2 0x001a 00001d03: JUMPI 00001d04: PUSH0 00001d05: DUP1 00001d06: REVERT 00001d07: JUMPDEST 00001d08: STOP 00001d09: JUMPDEST 00001d0a: PUSH0 00001d0b: CALLDATALOAD 00001d0c: PUSH1 0xe0 00001d0e: SHR 00001d0f: SWAP1 00001d10: DUP2 00001d11: PUSH4 0x48631ffd 00001d16: EQ 00001d17: PUSH2 0x03a0 00001d1a: JUMPI 00001d1b: POP 00001d1c: DUP1 00001d1d: PUSH4 0x8559f08b 00001d22: EQ 00001d23: PUSH2 0x02a2 00001d26: JUMPI 00001d27: DUP1 00001d28: PUSH4 0x95786b1c 00001d2d: EQ 00001d2e: PUSH2 0x0084 00001d31: JUMPI 00001d32: PUSH4 0xcec7b115 00001d37: EQ 00001d38: PUSH2 0x0054 00001d3b: JUMPI 00001d3c: PUSH0 00001d3d: PUSH2 0x000f 00001d40: JUMP 00001d41: JUMPDEST 00001d42: CALLVALUE 00001d43: PUSH2 0x0080 00001d46: JUMPI 00001d47: PUSH0 00001d48: CALLDATASIZE 00001d49: PUSH1 0x03 00001d4b: NOT 00001d4c: ADD 00001d4d: SLT 00001d4e: PUSH2 0x0080 00001d51: JUMPI 00001d52: PUSH0 00001d53: DUP1 00001d54: DUP1 00001d55: DUP1 00001d56: PUSH1 0x01 00001d58: DUP1 00001d59: PUSH1 0xa0 00001d5b: SHL 00001d5c: SUB 00001d5d: PUSH1 0x02 00001d5f: SLOAD 00001d60: AND 00001d61: SELFBALANCE 00001d62: SWAP1 00001d63: GAS 00001d64: CALL 00001d65: POP 00001d66: PUSH2 0x001a 00001d69: PUSH2 0x046a 00001d6c: JUMP 00001d6d: JUMPDEST 00001d6e: PUSH0 00001d6f: DUP1 00001d70: REVERT 00001d71: JUMPDEST 00001d72: CALLVALUE 00001d73: PUSH2 0x0080 00001d76: JUMPI 00001d77: PUSH0 00001d78: CALLDATASIZE 00001d79: PUSH1 0x03 00001d7b: NOT 00001d7c: ADD 00001d7d: SLT 00001d7e: PUSH2 0x0080 00001d81: JUMPI 00001d82: PUSH1 0x02 00001d84: SLOAD 00001d85: PUSH1 0x01 00001d87: PUSH1 0x01 00001d89: PUSH1 0xa0 00001d8b: SHL 00001d8c: SUB 00001d8d: AND 00001d8e: ORIGIN 00001d8f: SUB 00001d90: PUSH2 0x0080 00001d93: JUMPI 00001d94: PUSH0 00001d95: JUMPDEST 00001d96: PUSH1 0x37 00001d98: DUP2 00001d99: LT 00001d9a: PUSH2 0x00db 00001d9d: JUMPI 00001d9e: PUSH0 00001d9f: DUP1 00001da0: DUP1 00001da1: DUP1 00001da2: SELFBALANCE 00001da3: DUP2 00001da4: DUP2 00001da5: ISZERO 00001da6: PUSH2 0x00d2 00001da9: JUMPI 00001daa: JUMPDEST 00001dab: CALLER 00001dac: SWAP1 00001dad: CALL 00001dae: ISZERO 00001daf: PUSH2 0x00c7 00001db2: JUMPI 00001db3: STOP 00001db4: JUMPDEST 00001db5: PUSH1 0x40 00001db7: MLOAD 00001db8: RETURNDATASIZE 00001db9: PUSH0 00001dba: DUP3 00001dbb: RETURNDATACOPY 00001dbc: RETURNDATASIZE 00001dbd: SWAP1 00001dbe: REVERT 00001dbf: JUMPDEST 00001dc0: POP 00001dc1: PUSH2 0x08fc 00001dc4: PUSH2 0x00bd 00001dc7: JUMP 00001dc8: JUMPDEST 00001dc9: PUSH1 0x01 00001dcb: SLOAD 00001dcc: PUSH1 0x40 00001dce: MLOAD 00001dcf: PUSH4 0x182df0f5 00001dd4: PUSH1 0xe0 00001dd6: SHL 00001dd7: DUP2 00001dd8: MSTORE 00001dd9: SWAP1 00001dda: PUSH1 0x20 00001ddc: SWAP1 00001ddd: DUP3 00001dde: SWAP1 00001ddf: PUSH1 0x04 00001de1: SWAP1 00001de2: DUP3 00001de3: SWAP1 00001de4: PUSH0 00001de5: SWAP1 00001de6: PUSH1 0x01 00001de8: PUSH1 0x01 00001dea: PUSH1 0xa0 00001dec: SHL 00001ded: SUB 00001dee: AND 00001def: GAS 00001df0: CALL 00001df1: DUP1 00001df2: ISZERO 00001df3: PUSH2 0x00c7 00001df6: JUMPI 00001df7: PUSH0 00001df8: SWAP1 00001df9: PUSH2 0x0269 00001dfc: JUMPI 00001dfd: JUMPDEST 00001dfe: PUSH8 0x0de0b6b3a7640000 00001e07: SWAP2 00001e08: POP 00001e09: DIV 00001e0a: PUSH1 0x02 00001e0c: DUP2 00001e0d: ADD 00001e0e: DUP1 00001e0f: SWAP2 00001e10: GT 00001e11: PUSH2 0x021c 00001e14: JUMPI 00001e15: PUSH1 0x01 00001e17: SLOAD 00001e18: PUSH0 00001e19: SWAP2 00001e1a: DUP3 00001e1b: SWAP2 00001e1c: DUP3 00001e1d: SWAP2 00001e1e: DUP3 00001e1f: SWAP2 00001e20: PUSH1 0x01 00001e22: PUSH1 0x01 00001e24: PUSH1 0xa0 00001e26: SHL 00001e27: SUB 00001e28: AND 00001e29: GAS 00001e2a: CALL 00001e2b: POP 00001e2c: PUSH2 0x0146 00001e2f: PUSH2 0x046a 00001e32: JUMP 00001e33: JUMPDEST 00001e34: POP 00001e35: PUSH1 0x01 00001e37: SLOAD 00001e38: PUSH1 0x40 00001e3a: MLOAD 00001e3b: PUSH4 0x182df0f5 00001e40: PUSH1 0xe0 00001e42: SHL 00001e43: DUP2 00001e44: MSTORE 00001e45: SWAP1 00001e46: PUSH1 0x20 00001e48: SWAP1 00001e49: DUP3 00001e4a: SWAP1 00001e4b: PUSH1 0x04 00001e4d: SWAP1 00001e4e: DUP3 00001e4f: SWAP1 00001e50: PUSH0 00001e51: SWAP1 00001e52: PUSH1 0x01 00001e54: PUSH1 0x01 00001e56: PUSH1 0xa0 00001e58: SHL 00001e59: SUB 00001e5a: AND 00001e5b: GAS 00001e5c: CALL 00001e5d: DUP1 00001e5e: ISZERO 00001e5f: PUSH2 0x00c7 00001e62: JUMPI 00001e63: PUSH0 00001e64: SWAP1 00001e65: PUSH2 0x0230 00001e68: JUMPI 00001e69: JUMPDEST 00001e6a: PUSH8 0x0de0b6b3a7640000 00001e73: SWAP1 00001e74: DIV 00001e75: PUSH1 0x01 00001e77: DUP2 00001e78: SWAP1 00001e79: SHL 00001e7a: SWAP3 00001e7b: SWAP2 00001e7c: POP 00001e7d: PUSH1 0x01 00001e7f: PUSH1 0x01 00001e81: PUSH1 0xff 00001e83: SHL 00001e84: SUB 00001e85: DUP2 00001e86: AND 00001e87: SUB 00001e88: PUSH2 0x021c 00001e8b: JUMPI 00001e8c: PUSH0 00001e8d: NOT 00001e8e: DUP3 00001e8f: ADD 00001e90: SWAP2 00001e91: DUP3 00001e92: GT 00001e93: PUSH2 0x021c 00001e96: JUMPI 00001e97: PUSH1 0x01 00001e99: SLOAD 00001e9a: PUSH1 0x40 00001e9c: MLOAD 00001e9d: PUSH4 0x852a12e3 00001ea2: PUSH1 0xe0 00001ea4: SHL 00001ea5: DUP2 00001ea6: MSTORE 00001ea7: PUSH1 0x04 00001ea9: DUP2 00001eaa: ADD 00001eab: SWAP4 00001eac: SWAP1 00001ead: SWAP4 00001eae: MSTORE 00001eaf: PUSH1 0x20 00001eb1: SWAP1 00001eb2: DUP4 00001eb3: SWAP1 00001eb4: PUSH1 0x24 00001eb6: SWAP1 00001eb7: DUP3 00001eb8: SWAP1 00001eb9: PUSH0 00001eba: SWAP1 00001ebb: PUSH1 0x01 00001ebd: PUSH1 0x01 00001ebf: PUSH1 0xa0 00001ec1: SHL 00001ec2: SUB 00001ec3: AND 00001ec4: GAS 00001ec5: CALL 00001ec6: SWAP2 00001ec7: DUP3 00001ec8: ISZERO 00001ec9: PUSH2 0x00c7 00001ecc: JUMPI 00001ecd: PUSH1 0x01 00001ecf: SWAP3 00001ed0: PUSH2 0x01ee 00001ed3: JUMPI 00001ed4: JUMPDEST 00001ed5: POP 00001ed6: ADD 00001ed7: PUSH2 0x00a8 00001eda: JUMP 00001edb: JUMPDEST 00001edc: PUSH2 0x020e 00001edf: SWAP1 00001ee0: PUSH1 0x20 00001ee2: RETURNDATASIZE 00001ee3: DUP2 00001ee4: GT 00001ee5: PUSH2 0x0215 00001ee8: JUMPI 00001ee9: JUMPDEST 00001eea: PUSH2 0x0206 00001eed: DUP2 00001eee: DUP4 00001eef: PUSH2 0x040d 00001ef2: JUMP 00001ef3: JUMPDEST 00001ef4: DUP2 00001ef5: ADD 00001ef6: SWAP1 00001ef7: PUSH2 0x045b 00001efa: JUMP 00001efb: JUMPDEST 00001efc: POP 00001efd: DUP3 00001efe: PUSH2 0x01e7 00001f01: JUMP 00001f02: JUMPDEST 00001f03: POP 00001f04: RETURNDATASIZE 00001f05: PUSH2 0x01fc 00001f08: JUMP 00001f09: JUMPDEST 00001f0a: PUSH4 0x4e487b71 00001f0f: PUSH1 0xe0 00001f11: SHL 00001f12: PUSH0 00001f13: MSTORE 00001f14: PUSH1 0x11 00001f16: PUSH1 0x04 00001f18: MSTORE 00001f19: PUSH1 0x24 00001f1b: PUSH0 00001f1c: REVERT 00001f1d: JUMPDEST 00001f1e: POP 00001f1f: PUSH1 0x20 00001f21: DUP2 00001f22: RETURNDATASIZE 00001f23: DUP3 00001f24: GT 00001f25: PUSH2 0x0261 00001f28: JUMPI 00001f29: JUMPDEST 00001f2a: DUP2 00001f2b: PUSH2 0x0249 00001f2e: PUSH1 0x20 00001f30: SWAP4 00001f31: DUP4 00001f32: PUSH2 0x040d 00001f35: JUMP 00001f36: JUMPDEST 00001f37: DUP2 00001f38: ADD 00001f39: SUB 00001f3a: SLT 00001f3b: PUSH2 0x0080 00001f3e: JUMPI 00001f3f: PUSH8 0x0de0b6b3a7640000 00001f48: SWAP1 00001f49: MLOAD 00001f4a: PUSH2 0x017c 00001f4d: JUMP 00001f4e: JUMPDEST 00001f4f: RETURNDATASIZE 00001f50: SWAP2 00001f51: POP 00001f52: PUSH2 0x023c 00001f55: JUMP 00001f56: JUMPDEST 00001f57: POP 00001f58: PUSH1 0x20 00001f5a: DUP2 00001f5b: RETURNDATASIZE 00001f5c: DUP3 00001f5d: GT 00001f5e: PUSH2 0x029a 00001f61: JUMPI 00001f62: JUMPDEST 00001f63: DUP2 00001f64: PUSH2 0x0282 00001f67: PUSH1 0x20 00001f69: SWAP4 00001f6a: DUP4 00001f6b: PUSH2 0x040d 00001f6e: JUMP 00001f6f: JUMPDEST 00001f70: DUP2 00001f71: ADD 00001f72: SUB 00001f73: SLT 00001f74: PUSH2 0x0080 00001f77: JUMPI 00001f78: PUSH8 0x0de0b6b3a7640000 00001f81: SWAP1 00001f82: MLOAD 00001f83: PUSH2 0x0110 00001f86: JUMP 00001f87: JUMPDEST 00001f88: RETURNDATASIZE 00001f89: SWAP2 00001f8a: POP 00001f8b: PUSH2 0x0275 00001f8e: JUMP 00001f8f: JUMPDEST 00001f90: CALLVALUE 00001f91: PUSH2 0x0080 00001f94: JUMPI 00001f95: PUSH1 0x20 00001f97: CALLDATASIZE 00001f98: PUSH1 0x03 00001f9a: NOT 00001f9b: ADD 00001f9c: SLT 00001f9d: PUSH2 0x0080 00001fa0: JUMPI 00001fa1: PUSH1 0x01 00001fa3: PUSH1 0x01 00001fa5: PUSH1 0xa0 00001fa7: SHL 00001fa8: SUB 00001fa9: PUSH2 0x02c3 00001fac: PUSH2 0x03f7 00001faf: JUMP 00001fb0: JUMPDEST 00001fb1: PUSH1 0x02 00001fb3: SLOAD 00001fb4: PUSH1 0x40 00001fb6: MLOAD 00001fb7: PUSH4 0x70a08231 00001fbc: PUSH1 0xe0 00001fbe: SHL 00001fbf: DUP2 00001fc0: MSTORE 00001fc1: ADDRESS 00001fc2: PUSH1 0x04 00001fc4: DUP3 00001fc5: ADD 00001fc6: MSTORE 00001fc7: SWAP2 00001fc8: SWAP1 00001fc9: SWAP3 00001fca: AND 00001fcb: SWAP2 00001fcc: PUSH1 0x01 00001fce: PUSH1 0x01 00001fd0: PUSH1 0xa0 00001fd2: SHL 00001fd3: SUB 00001fd4: AND 00001fd5: PUSH1 0x20 00001fd7: DUP3 00001fd8: PUSH1 0x24 00001fda: DUP2 00001fdb: DUP7 00001fdc: GAS 00001fdd: STATICCALL 00001fde: SWAP2 00001fdf: DUP3 00001fe0: ISZERO 00001fe1: PUSH2 0x00c7 00001fe4: JUMPI 00001fe5: PUSH0 00001fe6: SWAP3 00001fe7: PUSH2 0x036a 00001fea: JUMPI 00001feb: JUMPDEST 00001fec: POP 00001fed: PUSH1 0x40 00001fef: MLOAD 00001ff0: PUSH4 0xa9059cbb 00001ff5: PUSH1 0xe0 00001ff7: SHL 00001ff8: DUP2 00001ff9: MSTORE 00001ffa: PUSH1 0x01 00001ffc: PUSH1 0x01 00001ffe: PUSH1 0xa0 00002000: SHL 00002001: SUB 00002002: SWAP1 00002003: SWAP2 00002004: AND 00002005: PUSH1 0x04 00002007: DUP3 00002008: ADD 00002009: MSTORE 0000200a: PUSH1 0x24 0000200c: DUP2 0000200d: ADD 0000200e: SWAP2 0000200f: SWAP1 00002010: SWAP2 00002011: MSTORE 00002012: SWAP1 00002013: PUSH1 0x20 00002015: SWAP1 00002016: DUP3 00002017: SWAP1 00002018: DUP2 00002019: PUSH0 0000201a: DUP2 0000201b: PUSH1 0x44 0000201d: DUP2 0000201e: ADD 0000201f: JUMPDEST 00002020: SUB 00002021: SWAP3 00002022: GAS 00002023: CALL 00002024: DUP1 00002025: ISZERO 00002026: PUSH2 0x00c7 00002029: JUMPI 0000202a: PUSH2 0x0342 0000202d: JUMPI 0000202e: STOP 0000202f: JUMPDEST 00002030: PUSH2 0x001a 00002033: SWAP1 00002034: PUSH1 0x20 00002036: RETURNDATASIZE 00002037: PUSH1 0x20 00002039: GT 0000203a: PUSH2 0x0363 0000203d: JUMPI 0000203e: JUMPDEST 0000203f: PUSH2 0x035b 00002042: DUP2 00002043: DUP4 00002044: PUSH2 0x040d 00002047: JUMP 00002048: JUMPDEST 00002049: DUP2 0000204a: ADD 0000204b: SWAP1 0000204c: PUSH2 0x0443 0000204f: JUMP 00002050: JUMPDEST 00002051: POP 00002052: RETURNDATASIZE 00002053: PUSH2 0x0351 00002056: JUMP 00002057: JUMPDEST 00002058: SWAP2 00002059: POP 0000205a: PUSH1 0x20 0000205c: DUP3 0000205d: RETURNDATASIZE 0000205e: PUSH1 0x20 00002060: GT 00002061: PUSH2 0x0398 00002064: JUMPI 00002065: JUMPDEST 00002066: DUP2 00002067: PUSH2 0x0385 0000206a: PUSH1 0x20 0000206c: SWAP4 0000206d: DUP4 0000206e: PUSH2 0x040d 00002071: JUMP 00002072: JUMPDEST 00002073: DUP2 00002074: ADD 00002075: SUB 00002076: SLT 00002077: PUSH2 0x0080 0000207a: JUMPI 0000207b: SWAP1 0000207c: MLOAD 0000207d: SWAP1 0000207e: PUSH2 0x0332 00002081: PUSH2 0x02fe 00002084: JUMP 00002085: JUMPDEST 00002086: RETURNDATASIZE 00002087: SWAP2 00002088: POP 00002089: PUSH2 0x0378 0000208c: JUMP 0000208d: JUMPDEST 0000208e: CALLVALUE 0000208f: PUSH2 0x0080 00002092: JUMPI 00002093: PUSH1 0x40 00002095: CALLDATASIZE 00002096: PUSH1 0x03 00002098: NOT 00002099: ADD 0000209a: SLT 0000209b: PUSH2 0x0080 0000209e: JUMPI 0000209f: PUSH1 0x20 000020a1: DUP2 000020a2: PUSH2 0x03bc 000020a5: PUSH2 0x03f7 000020a8: JUMP 000020a9: JUMPDEST 000020aa: PUSH1 0x02 000020ac: SLOAD 000020ad: PUSH4 0xa9059cbb 000020b2: PUSH1 0xe0 000020b4: SHL 000020b5: DUP4 000020b6: MSTORE 000020b7: PUSH1 0x01 000020b9: PUSH1 0x01 000020bb: PUSH1 0xa0 000020bd: SHL 000020be: SUB 000020bf: SWAP1 000020c0: DUP2 000020c1: AND 000020c2: PUSH1 0x04 000020c4: DUP5 000020c5: ADD 000020c6: MSTORE 000020c7: PUSH1 0x24 000020c9: DUP1 000020ca: CALLDATALOAD 000020cb: SWAP1 000020cc: DUP5 000020cd: ADD 000020ce: MSTORE 000020cf: PUSH1 0x44 000020d1: SWAP2 000020d2: DUP4 000020d3: SWAP2 000020d4: PUSH0 000020d5: SWAP2 000020d6: AND 000020d7: GAS 000020d8: CALL 000020d9: DUP1 000020da: ISZERO 000020db: PUSH2 0x00c7 000020de: JUMPI 000020df: PUSH2 0x0342 000020e2: JUMPI 000020e3: STOP 000020e4: JUMPDEST 000020e5: PUSH1 0x04 000020e7: CALLDATALOAD 000020e8: SWAP1 000020e9: PUSH1 0x01 000020eb: PUSH1 0x01 000020ed: PUSH1 0xa0 000020ef: SHL 000020f0: SUB 000020f1: DUP3 000020f2: AND 000020f3: DUP3 000020f4: SUB 000020f5: PUSH2 0x0080 000020f8: JUMPI 000020f9: JUMP 000020fa: JUMPDEST 000020fb: SWAP1 000020fc: PUSH1 0x1f 000020fe: DUP1 000020ff: NOT 00002100: SWAP2 00002101: ADD 00002102: AND 00002103: DUP2 00002104: ADD 00002105: SWAP1 00002106: DUP2 00002107: LT 00002108: PUSH8 0xffffffffffffffff 00002111: DUP3 00002112: GT 00002113: OR 00002114: PUSH2 0x042f 00002117: JUMPI 00002118: PUSH1 0x40 0000211a: MSTORE 0000211b: JUMP 0000211c: JUMPDEST 0000211d: PUSH4 0x4e487b71 00002122: PUSH1 0xe0 00002124: SHL 00002125: PUSH0 00002126: MSTORE 00002127: PUSH1 0x41 00002129: PUSH1 0x04 0000212b: MSTORE 0000212c: PUSH1 0x24 0000212e: PUSH0 0000212f: REVERT 00002130: JUMPDEST 00002131: SWAP1 00002132: DUP2 00002133: PUSH1 0x20 00002135: SWAP2 00002136: SUB 00002137: SLT 00002138: PUSH2 0x0080 0000213b: JUMPI 0000213c: MLOAD 0000213d: DUP1 0000213e: ISZERO 0000213f: ISZERO 00002140: DUP2 00002141: SUB 00002142: PUSH2 0x0080 00002145: JUMPI 00002146: SWAP1 00002147: JUMP 00002148: JUMPDEST 00002149: SWAP1 0000214a: DUP2 0000214b: PUSH1 0x20 0000214d: SWAP2 0000214e: SUB 0000214f: SLT 00002150: PUSH2 0x0080 00002153: JUMPI 00002154: MLOAD 00002155: SWAP1 00002156: JUMP 00002157: JUMPDEST 00002158: RETURNDATASIZE 00002159: ISZERO 0000215a: PUSH2 0x04a4 0000215d: JUMPI 0000215e: RETURNDATASIZE 0000215f: SWAP1 00002160: PUSH8 0xffffffffffffffff 00002169: DUP3 0000216a: GT 0000216b: PUSH2 0x042f 0000216e: JUMPI 0000216f: PUSH1 0x40 00002171: MLOAD 00002172: SWAP2 00002173: PUSH2 0x0499 00002176: PUSH1 0x1f 00002178: DUP3 00002179: ADD 0000217a: PUSH1 0x1f 0000217c: NOT 0000217d: AND 0000217e: PUSH1 0x20 00002180: ADD 00002181: DUP5 00002182: PUSH2 0x040d 00002185: JUMP 00002186: JUMPDEST 00002187: DUP3 00002188: MSTORE 00002189: RETURNDATASIZE 0000218a: PUSH0 0000218b: PUSH1 0x20 0000218d: DUP5 0000218e: ADD 0000218f: RETURNDATACOPY 00002190: JUMP 00002191: JUMPDEST 00002192: PUSH1 0x60 00002194: SWAP1 00002195: JUMP 00002196: INVALID 00002197: LOG2 00002198: PUSH5 0x6970667358 0000219e: UNKNOWN(0x22) 0000219f: SLT 000021a0: KECCAK256 000021a1: UNKNOWN(0x23) 000021a2: UNKNOWN(0xE8) 000021a3: LOG3 000021a4: UNKNOWN(0xE2) 000021a5: PUSH23 0xcf266d4d70073e0a5da8b92987465785da5fa6b62b78dd 000021bd: GAS 000021be: GAS 000021bf: UNKNOWN(0xF6) 000021c0: UNKNOWN(0x2E) 000021c1: PUSH5 0x736f6c6343 000021c7: STOP 000021c8: ADDMOD 000021c9: BYTE 000021ca: STOP 000021cb: CALLER 000021cc: LOG2 000021cd: PUSH5 0x6970667358 000021d3: UNKNOWN(0x22) 000021d4: SLT 000021d5: KECCAK256 000021d6: UNKNOWN(0xAA) 000021d7: UNKNOWN(0xE6) 000021d8: PUSH28 0xf214fbc5abe36e834501fe296044a6b09d083e49110edbc33843ed3a 000021f5: UNKNOWN(0xED) 000021f6: PUSH5 0x736f6c6343 000021fc: STOP 000021fd: ADDMOD 000021fe: BYTE 000021ff: STOP 00002200: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xce30fb6a",
"selector": "0xce30fb6a",
"calldata_variants": [
"0xce30fb6a",
"0xce30fb6a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe21dbf10",
"selector": "0xe21dbf10",
"calldata_variants": [
"0xe21dbf10",
"0xe21dbf100000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf04f2707",
"selector": "0xf04f2707",
"calldata_variants": [
"0xf04f2707",
"0xf04f27070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x62ac38a9",
"selector": "0x62ac38a9",
"calldata_variants": [
"0x62ac38a9",
"0x62ac38a90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 253,
"type": "tx_origin_used"
},
{
"pc": 7566,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x2e38464fe70ce1950124d1d61a7179e53be40c500b69b37a8b41b8e045adcdf8
call_targets:
0xa57eda20be51ae07df3c8b92494c974a92cf8956
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2e38464fe70ce1950124d1d61a7179e53be40c500b69b37a8b41b8e045adcdf8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa57eda20be51ae07df3c8b92494c974a92cf8956"
],
"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": "0xce30fb6a",
"selector": "0xce30fb6a",
"calldata_variants": [
"0xce30fb6a",
"0xce30fb6a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe21dbf10",
"selector": "0xe21dbf10",
"calldata_variants": [
"0xe21dbf10",
"0xe21dbf100000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf04f2707",
"selector": "0xf04f2707",
"calldata_variants": [
"0xf04f2707",
"0xf04f27070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x62ac38a9",
"selector": "0x62ac38a9",
"calldata_variants": [
"0x62ac38a9",
"0x62ac38a90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 354,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 405,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 489,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 43,
"guards_detected": [
{
"pc": 253,
"type": "tx_origin_used"
},
{
"pc": 7566,
"type": "tx_origin_used"
}
]
}
|
| medium | auth | codex | Authorization uses tx.origin (phishable auth bypass) | 75 | no | — |
viewevidence_json{
"evidence": "Detector flags tx.origin usage as guards at pc 253 and pc 7566; basic block at pc 241 shows ORIGIN compared against a storage-loaded value before a conditional jump.",
"locations": [
"pc:253",
"pc:7566"
],
"recommendation": "Replace tx.origin checks with msg.sender-based authorization or explicit signature verification. If meta-transactions are required, verify trusted forwarders (EIP-2771) rather than tx.origin.",
"exploit_scenario": "If a privileged function gates access by comparing tx.origin to a stored owner/admin, a malicious contract can trick the owner into calling it, then invoke the protected function so that tx.origin still equals the owner, bypassing intended access control."
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x2e38464fe70ce1950124d1d61a7179e53be40c500b69b37a8b41b8e045adcdf8
call_targets:
0xa57eda20be51ae07df3c8b92494c974a92cf8956
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2e38464fe70ce1950124d1d61a7179e53be40c500b69b37a8b41b8e045adcdf8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa57eda20be51ae07df3c8b92494c974a92cf8956"
],
"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": "0xce30fb6a",
"selector": "0xce30fb6a",
"calldata_variants": [
"0xce30fb6a",
"0xce30fb6a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe21dbf10",
"selector": "0xe21dbf10",
"calldata_variants": [
"0xe21dbf10",
"0xe21dbf100000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf04f2707",
"selector": "0xf04f2707",
"calldata_variants": [
"0xf04f2707",
"0xf04f27070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x62ac38a9",
"selector": "0x62ac38a9",
"calldata_variants": [
"0x62ac38a9",
"0x62ac38a90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 354,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 405,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 489,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 43,
"guards_detected": [
{
"pc": 253,
"type": "tx_origin_used"
},
{
"pc": 7566,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 43
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xf836c95d73c1ecc9426237db39f0dc524a16dc33443ef5b90acb981e41cbeca6
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xf836c95d73c1ecc9426237db39f0dc524a16dc33443ef5b90acb981e41cbeca6",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xce30fb6a",
"selector": "0xce30fb6a",
"calldata_variants": [
"0xce30fb6a",
"0xce30fb6a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe21dbf10",
"selector": "0xe21dbf10",
"calldata_variants": [
"0xe21dbf10",
"0xe21dbf100000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf04f2707",
"selector": "0xf04f2707",
"calldata_variants": [
"0xf04f2707",
"0xf04f27070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x62ac38a9",
"selector": "0x62ac38a9",
"calldata_variants": [
"0x62ac38a9",
"0x62ac38a90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 5,
"create2_count": 0
}
|
| low | other | cast | Contract creation opcode present | 60 | no | — |
viewevidence_json{
"notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
"create_count": 5,
"create2_count": 0
}
|
| low | reentrancy | codex | External CALLs with computed target/value (potential untrusted call / reentrancy surface) | 65 | no | — |
viewevidence_json{
"evidence": "Callsite list shows 43 CALLs with computed target/value (e.g., pc 354, 405, 489) and detector notes eth_value_calls=43; trace validation could not confirm target variation (constant target observed in one trace).",
"locations": [
"pc:354",
"pc:405",
"pc:489",
"pc:539",
"pc:615"
],
"recommendation": "Ensure external calls are to trusted/immutable targets or enforce strict allowlists. Use checks-effects-interactions and/or reentrancy guards where state is updated after calls. Consider verifying return data where applicable.",
"exploit_scenario": "If any of these CALLs allow user-influenced targets or value, an attacker-controlled callee could reenter or trigger unintended external effects, especially if state updates occur after the call. Trace validation observed a constant target in one run, so this risk depends on actual target control."
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 10
}
|
| info | other | cast | Heavy CALL-family usage | 55 | no | — |
viewevidence_json{
"notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
"call_family_count": 50
}
|