019c0eab-4fce-73b8-bbdb-0d0d0ffdf301
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 |
|---|---|---|---|---|
| 42379 | artifact.fetch | complete | 1 / 3 | 2 months ago |
| 42380 | proxy.resolve | complete | 1 / 3 | 2 months ago |
| 42381 | tool.cast_disasm | complete | 1 / 3 | 2 months ago |
| 42382 | analysis.bundle | complete | 1 / 3 | 2 months ago |
| 42383 | capability.graph | complete | 1 / 3 | 2 months ago |
| 42384 | detector.run | complete | 1 / 3 | 2 months ago |
| 42385 | validation.fork | complete | 1 / 3 | 2 months ago |
| 42497 | report.consolidate | complete | 1 / 6 | 2 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
{"no_findings":false,"summary":"Bytecode analysis shows multiple CALL sites with computed target/value and possible ETH transfer; no guards were detected in the artifacts, so these external calls could be risky, but selector inference and validation are uncertain from bytecode alone.","findings":[{"severity":"medium","category":"reentrancy","title":"Untrusted external CALLs with potential ETH value transfer and no detected guard","exploit_scenario":"If any of the CALL targets/values are attacker-influenced, an adversary could receive ETH and reenter or force unexpected control flow during the external call. The detector suggests computed targets/values and no guards, but validation did not confirm target variability, so this is a best‑effort risk assessment from bytecode.","recommendation":"Confirm call target/value sources and enforce allowlists or fixed targets; apply checks‑effects‑interactions or a reentrancy guard around any state‑mutating logic preceding external calls; validate call success and handle failures explicitly.","evidence":"Detector reports 5 CALL sites with computed target/value, possible nonzero ETH value, no guards detected; returndata checking unknown. Validation marked constant_target but not confirmed.","locations":["pc:0x7ab","pc:0x1cfe","pc:0x1e3c","pc:0x23d0","pc:0x258b"]}]}
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-y7m3nglp
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019c0fc4-fa0e-7810-b644-1f9fad170e7f
--------
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-y7m3nglp succeeded in 6ms:
BYTECODE_BUNDLE.json
codex-output-schema.json
exec
/bin/bash -lc 'cat BYTECODE_BUNDLE.json' in /tmp/codex-y7m3nglp succeeded in 11ms:
{
"analysis_artifact": {
"address": "0x9c3a4329ff26934b04312162f83c8f69d52aa060",
"artifact_hash": "0xa7dd2b6e8e3cb0d649103d99290b549346171b94a19c1a2d73d2b0c46cd18ee9",
"artifact_json": {
"auth": {
"guards": []
},
"basic_blocks": [
{
"end_pc": 12,
"hash": "0xd1922a9ce9b117ded240b43eeb59ae63961b5f856ae439922b81171ded1b6c50",
"opcodes": [
"PUSH1",
"PUSH1",
"MSTORE",
"PUSH1",
"CALLDATASIZE",
"LT",
"PUSH2",
codex
{"no_findings":false,"summary":"Bytecode analysis shows multiple CALL sites with computed target/value and possible ETH transfer; no guards were detected in the artifacts, so these external calls could be risky, but selector inference and validation are uncertain from bytecode alone.","findings":[{"severity":"medium","category":"reentrancy","title":"Untrusted external CALLs with potential ETH value transfer and no detected guard","exploit_scenario":"If any of the CALL targets/values are attacker-influenced, an adversary could receive ETH and reenter or force unexpected control flow during the external call. The detector suggests computed targets/values and no guards, but validation did not confirm target variability, so this is a best‑effort risk assessment from bytecode.","recommendation":"Confirm call target/value sources and enforce allowlists or fixed targets; apply checks‑effects‑interactions or a reentrancy guard around any state‑mutating logic preceding external calls; validate call success and handle failures explicitly.","evidence":"Detector reports 5 CALL sites with computed target/value, possible nonzero ETH value, no guards detected; returndata checking unknown. Validation marked constant_target but not confirmed.","locations":["pc:0x7ab","pc:0x1cfe","pc:0x1e3c","pc:0x23d0","pc:0x258b"]}]}
tokens used
20,449
{
"codex": {
"ran_at": "2026-01-30T16:38:36.192660+00:00",
"returncode": 0
},
"project": {
"mode": "bytecode",
"bytecode_length": 23574,
"bytecode_truncated": false,
"capability_graph_present": true,
"analysis_artifact_present": true
},
"summary": "Bytecode analysis shows multiple CALL sites with computed target/value and possible ETH transfer; no guards were detected in the artifacts, so these external calls could be risky, but selector inference and validation are uncertain from bytecode alone.",
"raw_final": {
"summary": "Bytecode analysis shows multiple CALL sites with computed target/value and possible ETH transfer; no guards were detected in the artifacts, so these external calls could be risky, but selector inference and validation are uncertain from bytecode alone.",
"findings": [
{
"title": "Untrusted external CALLs with potential ETH value transfer and no detected guard",
"category": "reentrancy",
"evidence": "Detector reports 5 CALL sites with computed target/value, possible nonzero ETH value, no guards detected; returndata checking unknown. Validation marked constant_target but not confirmed.",
"severity": "medium",
"locations": [
"pc:0x7ab",
"pc:0x1cfe",
"pc:0x1e3c",
"pc:0x23d0",
"pc:0x258b"
],
"recommendation": "Confirm call target/value sources and enforce allowlists or fixed targets; apply checks\u2011effects\u2011interactions or a reentrancy guard around any state\u2011mutating logic preceding external calls; validate call success and handle failures explicitly.",
"exploit_scenario": "If any of the CALL targets/values are attacker-influenced, an adversary could receive ETH and reenter or force unexpected control flow during the external call. The detector suggests computed targets/values and no guards, but validation did not confirm target variability, so this is a best\u2011effort risk assessment from bytecode."
}
],
"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: PUSH2 0x01f2 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x7c374f99 00000019: GT 0000001a: PUSH2 0x010d 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xcdc18424 00000024: GT 00000025: PUSH2 0x00a0 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xea7b42a6 0000002f: GT 00000030: PUSH2 0x006f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xea7b42a6 0000003a: EQ 0000003b: PUSH2 0x05f7 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x060d 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf7b188a5 00000050: EQ 00000051: PUSH2 0x062d 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfa52c7d8 0000005b: EQ 0000005c: PUSH2 0x0642 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xfe9ae209 00000066: EQ 00000067: PUSH2 0x0672 0000006a: JUMPI 0000006b: PUSH1 0x00 0000006d: DUP1 0000006e: REVERT 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0xcdc18424 00000076: EQ 00000077: PUSH2 0x058d 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xdc038251 00000081: EQ 00000082: PUSH2 0x05ad 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xe0591af3 0000008c: EQ 0000008d: PUSH2 0x05c2 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xe1ffe8b9 00000097: EQ 00000098: PUSH2 0x05d7 0000009b: JUMPI 0000009c: PUSH1 0x00 0000009e: DUP1 0000009f: REVERT 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0xafbc7011 000000a7: GT 000000a8: PUSH2 0x00dc 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xafbc7011 000000b2: EQ 000000b3: PUSH2 0x0506 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xc0c53b8b 000000bd: EQ 000000be: PUSH2 0x0526 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xc30f2e87 000000c8: EQ 000000c9: PUSH2 0x0546 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0xc7977be7 000000d3: EQ 000000d4: PUSH2 0x0559 000000d7: JUMPI 000000d8: PUSH1 0x00 000000da: DUP1 000000db: REVERT 000000dc: JUMPDEST 000000dd: DUP1 000000de: PUSH4 0x7c374f99 000000e3: EQ 000000e4: PUSH2 0x0469 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x82787cda 000000ee: EQ 000000ef: PUSH2 0x0489 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x86013de5 000000f9: EQ 000000fa: PUSH2 0x04a9 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x8da5cb5b 00000104: EQ 00000105: PUSH2 0x04c9 00000108: JUMPI 00000109: PUSH1 0x00 0000010b: DUP1 0000010c: REVERT 0000010d: JUMPDEST 0000010e: DUP1 0000010f: PUSH4 0x4227b57e 00000114: GT 00000115: PUSH2 0x0185 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x5c975abb 0000011f: GT 00000120: PUSH2 0x0154 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x5c975abb 0000012a: EQ 0000012b: PUSH2 0x03df 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x5e35359e 00000135: EQ 00000136: PUSH2 0x0404 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0x5fb2386e 00000140: EQ 00000141: PUSH2 0x0424 00000144: JUMPI 00000145: DUP1 00000146: PUSH4 0x715018a6 0000014b: EQ 0000014c: PUSH2 0x0454 0000014f: JUMPI 00000150: PUSH1 0x00 00000152: DUP1 00000153: REVERT 00000154: JUMPDEST 00000155: DUP1 00000156: PUSH4 0x4227b57e 0000015b: EQ 0000015c: PUSH2 0x0341 0000015f: JUMPI 00000160: DUP1 00000161: PUSH4 0x4864ce00 00000166: EQ 00000167: PUSH2 0x0371 0000016a: JUMPI 0000016b: DUP1 0000016c: PUSH4 0x4fd101d7 00000171: EQ 00000172: PUSH2 0x03a9 00000175: JUMPI 00000176: DUP1 00000177: PUSH4 0x5bc0fbc7 0000017c: EQ 0000017d: PUSH2 0x03bf 00000180: JUMPI 00000181: PUSH1 0x00 00000183: DUP1 00000184: REVERT 00000185: JUMPDEST 00000186: DUP1 00000187: PUSH4 0x1b9a91a4 0000018c: GT 0000018d: PUSH2 0x01c1 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x1b9a91a4 00000197: EQ 00000198: PUSH2 0x02a9 0000019b: JUMPI 0000019c: DUP1 0000019d: PUSH4 0x22447cf2 000001a2: EQ 000001a3: PUSH2 0x02c9 000001a6: JUMPI 000001a7: DUP1 000001a8: PUSH4 0x2ae2baff 000001ad: EQ 000001ae: PUSH2 0x0301 000001b1: JUMPI 000001b2: DUP1 000001b3: PUSH4 0x2d60da01 000001b8: EQ 000001b9: PUSH2 0x0321 000001bc: JUMPI 000001bd: PUSH1 0x00 000001bf: DUP1 000001c0: REVERT 000001c1: JUMPDEST 000001c2: DUP1 000001c3: PUSH4 0x09ef61b0 000001c8: EQ 000001c9: PUSH2 0x01fe 000001cc: JUMPI 000001cd: DUP1 000001ce: PUSH4 0x0d174c24 000001d3: EQ 000001d4: PUSH2 0x024e 000001d7: JUMPI 000001d8: DUP1 000001d9: PUSH4 0x12f280b5 000001de: EQ 000001df: PUSH2 0x0270 000001e2: JUMPI 000001e3: DUP1 000001e4: PUSH4 0x17d18bee 000001e9: EQ 000001ea: PUSH2 0x0293 000001ed: JUMPI 000001ee: PUSH1 0x00 000001f0: DUP1 000001f1: REVERT 000001f2: JUMPDEST 000001f3: CALLDATASIZE 000001f4: PUSH2 0x01f9 000001f7: JUMPI 000001f8: STOP 000001f9: JUMPDEST 000001fa: PUSH1 0x00 000001fc: DUP1 000001fd: REVERT 000001fe: JUMPDEST 000001ff: CALLVALUE 00000200: DUP1 00000201: ISZERO 00000202: PUSH2 0x020a 00000205: JUMPI 00000206: PUSH1 0x00 00000208: DUP1 00000209: REVERT 0000020a: JUMPDEST 0000020b: POP 0000020c: PUSH2 0x0239 0000020f: PUSH2 0x0219 00000212: CALLDATASIZE 00000213: PUSH1 0x04 00000215: PUSH2 0x263c 00000218: JUMP 00000219: JUMPDEST 0000021a: DUP1 0000021b: MLOAD 0000021c: PUSH1 0x20 0000021e: DUP2 0000021f: DUP4 00000220: ADD 00000221: DUP2 00000222: ADD 00000223: DUP1 00000224: MLOAD 00000225: PUSH1 0x07 00000227: DUP3 00000228: MSTORE 00000229: SWAP3 0000022a: DUP3 0000022b: ADD 0000022c: SWAP2 0000022d: SWAP1 0000022e: SWAP4 0000022f: ADD 00000230: KECCAK256 00000231: SWAP2 00000232: MSTORE 00000233: SLOAD 00000234: PUSH1 0xff 00000236: AND 00000237: DUP2 00000238: JUMP 00000239: JUMPDEST 0000023a: PUSH1 0x40 0000023c: MLOAD 0000023d: SWAP1 0000023e: ISZERO 0000023f: ISZERO 00000240: DUP2 00000241: MSTORE 00000242: PUSH1 0x20 00000244: ADD 00000245: JUMPDEST 00000246: PUSH1 0x40 00000248: MLOAD 00000249: DUP1 0000024a: SWAP2 0000024b: SUB 0000024c: SWAP1 0000024d: RETURN 0000024e: JUMPDEST 0000024f: CALLVALUE 00000250: DUP1 00000251: ISZERO 00000252: PUSH2 0x025a 00000255: JUMPI 00000256: PUSH1 0x00 00000258: DUP1 00000259: REVERT 0000025a: JUMPDEST 0000025b: POP 0000025c: PUSH2 0x026e 0000025f: PUSH2 0x0269 00000262: CALLDATASIZE 00000263: PUSH1 0x04 00000265: PUSH2 0x2711 00000268: JUMP 00000269: JUMPDEST 0000026a: PUSH2 0x0688 0000026d: JUMP 0000026e: JUMPDEST 0000026f: STOP 00000270: JUMPDEST 00000271: CALLVALUE 00000272: DUP1 00000273: ISZERO 00000274: PUSH2 0x027c 00000277: JUMPI 00000278: PUSH1 0x00 0000027a: DUP1 0000027b: REVERT 0000027c: JUMPDEST 0000027d: POP 0000027e: PUSH2 0x0285 00000281: PUSH2 0x0709 00000284: JUMP 00000285: JUMPDEST 00000286: PUSH1 0x40 00000288: MLOAD 00000289: SWAP1 0000028a: DUP2 0000028b: MSTORE 0000028c: PUSH1 0x20 0000028e: ADD 0000028f: PUSH2 0x0245 00000292: JUMP 00000293: JUMPDEST 00000294: CALLVALUE 00000295: DUP1 00000296: ISZERO 00000297: PUSH2 0x029f 0000029a: JUMPI 0000029b: PUSH1 0x00 0000029d: DUP1 0000029e: REVERT 0000029f: JUMPDEST 000002a0: POP 000002a1: PUSH2 0x0285 000002a4: PUSH1 0x01 000002a6: SLOAD 000002a7: DUP2 000002a8: JUMP 000002a9: JUMPDEST 000002aa: CALLVALUE 000002ab: DUP1 000002ac: ISZERO 000002ad: PUSH2 0x02b5 000002b0: JUMPI 000002b1: PUSH1 0x00 000002b3: DUP1 000002b4: REVERT 000002b5: JUMPDEST 000002b6: POP 000002b7: PUSH2 0x026e 000002ba: PUSH2 0x02c4 000002bd: CALLDATASIZE 000002be: PUSH1 0x04 000002c0: PUSH2 0x2733 000002c3: JUMP 000002c4: JUMPDEST 000002c5: PUSH2 0x0731 000002c8: JUMP 000002c9: JUMPDEST 000002ca: CALLVALUE 000002cb: DUP1 000002cc: ISZERO 000002cd: PUSH2 0x02d5 000002d0: JUMPI 000002d1: PUSH1 0x00 000002d3: DUP1 000002d4: REVERT 000002d5: JUMPDEST 000002d6: POP 000002d7: PUSH1 0x04 000002d9: SLOAD 000002da: PUSH2 0x02e9 000002dd: SWAP1 000002de: PUSH1 0x01 000002e0: PUSH1 0x01 000002e2: PUSH1 0xa0 000002e4: SHL 000002e5: SUB 000002e6: AND 000002e7: DUP2 000002e8: JUMP 000002e9: JUMPDEST 000002ea: PUSH1 0x40 000002ec: MLOAD 000002ed: PUSH1 0x01 000002ef: PUSH1 0x01 000002f1: PUSH1 0xa0 000002f3: SHL 000002f4: SUB 000002f5: SWAP1 000002f6: SWAP2 000002f7: AND 000002f8: DUP2 000002f9: MSTORE 000002fa: PUSH1 0x20 000002fc: ADD 000002fd: PUSH2 0x0245 00000300: JUMP 00000301: JUMPDEST 00000302: CALLVALUE 00000303: DUP1 00000304: ISZERO 00000305: PUSH2 0x030d 00000308: JUMPI 00000309: PUSH1 0x00 0000030b: DUP1 0000030c: REVERT 0000030d: JUMPDEST 0000030e: POP 0000030f: PUSH2 0x026e 00000312: PUSH2 0x031c 00000315: CALLDATASIZE 00000316: PUSH1 0x04 00000318: PUSH2 0x275d 0000031b: JUMP 0000031c: JUMPDEST 0000031d: PUSH2 0x0858 00000320: JUMP 00000321: JUMPDEST 00000322: CALLVALUE 00000323: DUP1 00000324: ISZERO 00000325: PUSH2 0x032d 00000328: JUMPI 00000329: PUSH1 0x00 0000032b: DUP1 0000032c: REVERT 0000032d: JUMPDEST 0000032e: POP 0000032f: PUSH2 0x026e 00000332: PUSH2 0x033c 00000335: CALLDATASIZE 00000336: PUSH1 0x04 00000338: PUSH2 0x2798 0000033b: JUMP 0000033c: JUMPDEST 0000033d: PUSH2 0x0bb5 00000340: JUMP 00000341: JUMPDEST 00000342: CALLVALUE 00000343: DUP1 00000344: ISZERO 00000345: PUSH2 0x034d 00000348: JUMPI 00000349: PUSH1 0x00 0000034b: DUP1 0000034c: REVERT 0000034d: JUMPDEST 0000034e: POP 0000034f: PUSH2 0x0239 00000352: PUSH2 0x035c 00000355: CALLDATASIZE 00000356: PUSH1 0x04 00000358: PUSH2 0x27d3 0000035b: JUMP 0000035c: JUMPDEST 0000035d: PUSH1 0x09 0000035f: PUSH1 0x20 00000361: MSTORE 00000362: PUSH1 0x00 00000364: SWAP1 00000365: DUP2 00000366: MSTORE 00000367: PUSH1 0x40 00000369: SWAP1 0000036a: KECCAK256 0000036b: SLOAD 0000036c: PUSH1 0xff 0000036e: AND 0000036f: DUP2 00000370: JUMP 00000371: JUMPDEST 00000372: CALLVALUE 00000373: DUP1 00000374: ISZERO 00000375: PUSH2 0x037d 00000378: JUMPI 00000379: PUSH1 0x00 0000037b: DUP1 0000037c: REVERT 0000037d: JUMPDEST 0000037e: POP 0000037f: PUSH2 0x0285 00000382: PUSH2 0x038c 00000385: CALLDATASIZE 00000386: PUSH1 0x04 00000388: PUSH2 0x27ec 0000038b: JUMP 0000038c: JUMPDEST 0000038d: PUSH1 0x0a 0000038f: PUSH1 0x20 00000391: SWAP1 00000392: DUP2 00000393: MSTORE 00000394: PUSH1 0x00 00000396: SWAP3 00000397: DUP4 00000398: MSTORE 00000399: PUSH1 0x40 0000039b: DUP1 0000039c: DUP5 0000039d: KECCAK256 0000039e: SWAP1 0000039f: SWAP2 000003a0: MSTORE 000003a1: SWAP1 000003a2: DUP3 000003a3: MSTORE 000003a4: SWAP1 000003a5: KECCAK256 000003a6: SLOAD 000003a7: DUP2 000003a8: JUMP 000003a9: JUMPDEST 000003aa: CALLVALUE 000003ab: DUP1 000003ac: ISZERO 000003ad: PUSH2 0x03b5 000003b0: JUMPI 000003b1: PUSH1 0x00 000003b3: DUP1 000003b4: REVERT 000003b5: JUMPDEST 000003b6: POP 000003b7: PUSH2 0x0285 000003ba: PUSH1 0x02 000003bc: SLOAD 000003bd: DUP2 000003be: JUMP 000003bf: JUMPDEST 000003c0: CALLVALUE 000003c1: DUP1 000003c2: ISZERO 000003c3: PUSH2 0x03cb 000003c6: JUMPI 000003c7: PUSH1 0x00 000003c9: DUP1 000003ca: REVERT 000003cb: JUMPDEST 000003cc: POP 000003cd: PUSH2 0x026e 000003d0: PUSH2 0x03da 000003d3: CALLDATASIZE 000003d4: PUSH1 0x04 000003d6: PUSH2 0x27d3 000003d9: JUMP 000003da: JUMPDEST 000003db: PUSH2 0x0d35 000003de: JUMP 000003df: JUMPDEST 000003e0: CALLVALUE 000003e1: DUP1 000003e2: ISZERO 000003e3: PUSH2 0x03eb 000003e6: JUMPI 000003e7: PUSH1 0x00 000003e9: DUP1 000003ea: REVERT 000003eb: JUMPDEST 000003ec: POP 000003ed: PUSH1 0x00 000003ef: DUP1 000003f0: MLOAD 000003f1: PUSH1 0x20 000003f3: PUSH2 0x2d95 000003f6: DUP4 000003f7: CODECOPY 000003f8: DUP2 000003f9: MLOAD 000003fa: SWAP2 000003fb: MSTORE 000003fc: SLOAD 000003fd: PUSH1 0xff 000003ff: AND 00000400: PUSH2 0x0239 00000403: JUMP 00000404: JUMPDEST 00000405: CALLVALUE 00000406: DUP1 00000407: ISZERO 00000408: PUSH2 0x0410 0000040b: JUMPI 0000040c: PUSH1 0x00 0000040e: DUP1 0000040f: REVERT 00000410: JUMPDEST 00000411: POP 00000412: PUSH2 0x026e 00000415: PUSH2 0x041f 00000418: CALLDATASIZE 00000419: PUSH1 0x04 0000041b: PUSH2 0x281f 0000041e: JUMP 0000041f: JUMPDEST 00000420: PUSH2 0x0d97 00000423: JUMP 00000424: JUMPDEST 00000425: CALLVALUE 00000426: DUP1 00000427: ISZERO 00000428: PUSH2 0x0430 0000042b: JUMPI 0000042c: PUSH1 0x00 0000042e: DUP1 0000042f: REVERT 00000430: JUMPDEST 00000431: POP 00000432: PUSH2 0x0239 00000435: PUSH2 0x043f 00000438: CALLDATASIZE 00000439: PUSH1 0x04 0000043b: PUSH2 0x2711 0000043e: JUMP 0000043f: JUMPDEST 00000440: PUSH1 0x08 00000442: PUSH1 0x20 00000444: MSTORE 00000445: PUSH1 0x00 00000447: SWAP1 00000448: DUP2 00000449: MSTORE 0000044a: PUSH1 0x40 0000044c: SWAP1 0000044d: KECCAK256 0000044e: SLOAD 0000044f: PUSH1 0xff 00000451: AND 00000452: DUP2 00000453: JUMP 00000454: JUMPDEST 00000455: CALLVALUE 00000456: DUP1 00000457: ISZERO 00000458: PUSH2 0x0460 0000045b: JUMPI 0000045c: PUSH1 0x00 0000045e: DUP1 0000045f: REVERT 00000460: JUMPDEST 00000461: POP 00000462: PUSH2 0x026e 00000465: PUSH2 0x0e7d 00000468: JUMP 00000469: JUMPDEST 0000046a: CALLVALUE 0000046b: DUP1 0000046c: ISZERO 0000046d: PUSH2 0x0475 00000470: JUMPI 00000471: PUSH1 0x00 00000473: DUP1 00000474: REVERT 00000475: JUMPDEST 00000476: POP 00000477: PUSH2 0x026e 0000047a: PUSH2 0x0484 0000047d: CALLDATASIZE 0000047e: PUSH1 0x04 00000480: PUSH2 0x286c 00000483: JUMP 00000484: JUMPDEST 00000485: PUSH2 0x0e91 00000488: JUMP 00000489: JUMPDEST 0000048a: CALLVALUE 0000048b: DUP1 0000048c: ISZERO 0000048d: PUSH2 0x0495 00000490: JUMPI 00000491: PUSH1 0x00 00000493: DUP1 00000494: REVERT 00000495: JUMPDEST 00000496: POP 00000497: PUSH2 0x026e 0000049a: PUSH2 0x04a4 0000049d: CALLDATASIZE 0000049e: PUSH1 0x04 000004a0: PUSH2 0x281f 000004a3: JUMP 000004a4: JUMPDEST 000004a5: PUSH2 0x0eed 000004a8: JUMP 000004a9: JUMPDEST 000004aa: CALLVALUE 000004ab: DUP1 000004ac: ISZERO 000004ad: PUSH2 0x04b5 000004b0: JUMPI 000004b1: PUSH1 0x00 000004b3: DUP1 000004b4: REVERT 000004b5: JUMPDEST 000004b6: POP 000004b7: PUSH2 0x026e 000004ba: PUSH2 0x04c4 000004bd: CALLDATASIZE 000004be: PUSH1 0x04 000004c0: PUSH2 0x28e2 000004c3: JUMP 000004c4: JUMPDEST 000004c5: PUSH2 0x0f92 000004c8: JUMP 000004c9: JUMPDEST 000004ca: CALLVALUE 000004cb: DUP1 000004cc: ISZERO 000004cd: PUSH2 0x04d5 000004d0: JUMPI 000004d1: PUSH1 0x00 000004d3: DUP1 000004d4: REVERT 000004d5: JUMPDEST 000004d6: POP 000004d7: PUSH32 0x9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c199300 000004f8: SLOAD 000004f9: PUSH1 0x01 000004fb: PUSH1 0x01 000004fd: PUSH1 0xa0 000004ff: SHL 00000500: SUB 00000501: AND 00000502: PUSH2 0x02e9 00000505: JUMP 00000506: JUMPDEST 00000507: CALLVALUE 00000508: DUP1 00000509: ISZERO 0000050a: PUSH2 0x0512 0000050d: JUMPI 0000050e: PUSH1 0x00 00000510: DUP1 00000511: REVERT 00000512: JUMPDEST 00000513: POP 00000514: PUSH2 0x026e 00000517: PUSH2 0x0521 0000051a: CALLDATASIZE 0000051b: PUSH1 0x04 0000051d: PUSH2 0x28e2 00000520: JUMP 00000521: JUMPDEST 00000522: PUSH2 0x109a 00000525: JUMP 00000526: JUMPDEST 00000527: CALLVALUE 00000528: DUP1 00000529: ISZERO 0000052a: PUSH2 0x0532 0000052d: JUMPI 0000052e: PUSH1 0x00 00000530: DUP1 00000531: REVERT 00000532: JUMPDEST 00000533: POP 00000534: PUSH2 0x026e 00000537: PUSH2 0x0541 0000053a: CALLDATASIZE 0000053b: PUSH1 0x04 0000053d: PUSH2 0x2936 00000540: JUMP 00000541: JUMPDEST 00000542: PUSH2 0x11da 00000545: JUMP 00000546: JUMPDEST 00000547: PUSH2 0x026e 0000054a: PUSH2 0x0554 0000054d: CALLDATASIZE 0000054e: PUSH1 0x04 00000550: PUSH2 0x2970 00000553: JUMP 00000554: JUMPDEST 00000555: PUSH2 0x137d 00000558: JUMP 00000559: JUMPDEST 0000055a: CALLVALUE 0000055b: DUP1 0000055c: ISZERO 0000055d: PUSH2 0x0565 00000560: JUMPI 00000561: PUSH1 0x00 00000563: DUP1 00000564: REVERT 00000565: JUMPDEST 00000566: POP 00000567: PUSH2 0x0285 0000056a: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f 0000058b: DUP2 0000058c: JUMP 0000058d: JUMPDEST 0000058e: CALLVALUE 0000058f: DUP1 00000590: ISZERO 00000591: PUSH2 0x0599 00000594: JUMPI 00000595: PUSH1 0x00 00000597: DUP1 00000598: REVERT 00000599: JUMPDEST 0000059a: POP 0000059b: PUSH1 0x03 0000059d: SLOAD 0000059e: PUSH2 0x02e9 000005a1: SWAP1 000005a2: PUSH1 0x01 000005a4: PUSH1 0x01 000005a6: PUSH1 0xa0 000005a8: SHL 000005a9: SUB 000005aa: AND 000005ab: DUP2 000005ac: JUMP 000005ad: JUMPDEST 000005ae: CALLVALUE 000005af: DUP1 000005b0: ISZERO 000005b1: PUSH2 0x05b9 000005b4: JUMPI 000005b5: PUSH1 0x00 000005b7: DUP1 000005b8: REVERT 000005b9: JUMPDEST 000005ba: POP 000005bb: PUSH2 0x0285 000005be: PUSH2 0x16a6 000005c1: JUMP 000005c2: JUMPDEST 000005c3: CALLVALUE 000005c4: DUP1 000005c5: ISZERO 000005c6: PUSH2 0x05ce 000005c9: JUMPI 000005ca: PUSH1 0x00 000005cc: DUP1 000005cd: REVERT 000005ce: JUMPDEST 000005cf: POP 000005d0: PUSH2 0x026e 000005d3: PUSH2 0x16b5 000005d6: JUMP 000005d7: JUMPDEST 000005d8: CALLVALUE 000005d9: DUP1 000005da: ISZERO 000005db: PUSH2 0x05e3 000005de: JUMPI 000005df: PUSH1 0x00 000005e1: DUP1 000005e2: REVERT 000005e3: JUMPDEST 000005e4: POP 000005e5: PUSH2 0x026e 000005e8: PUSH2 0x05f2 000005eb: CALLDATASIZE 000005ec: PUSH1 0x04 000005ee: PUSH2 0x2711 000005f1: JUMP 000005f2: JUMPDEST 000005f3: PUSH2 0x16c5 000005f6: JUMP 000005f7: JUMPDEST 000005f8: CALLVALUE 000005f9: DUP1 000005fa: ISZERO 000005fb: PUSH2 0x0603 000005fe: JUMPI 000005ff: PUSH1 0x00 00000601: DUP1 00000602: REVERT 00000603: JUMPDEST 00000604: POP 00000605: PUSH2 0x0285 00000608: PUSH1 0x05 0000060a: SLOAD 0000060b: DUP2 0000060c: JUMP 0000060d: JUMPDEST 0000060e: CALLVALUE 0000060f: DUP1 00000610: ISZERO 00000611: PUSH2 0x0619 00000614: JUMPI 00000615: PUSH1 0x00 00000617: DUP1 00000618: REVERT 00000619: JUMPDEST 0000061a: POP 0000061b: PUSH2 0x026e 0000061e: PUSH2 0x0628 00000621: CALLDATASIZE 00000622: PUSH1 0x04 00000624: PUSH2 0x2711 00000627: JUMP 00000628: JUMPDEST 00000629: PUSH2 0x1746 0000062c: JUMP 0000062d: JUMPDEST 0000062e: CALLVALUE 0000062f: DUP1 00000630: ISZERO 00000631: PUSH2 0x0639 00000634: JUMPI 00000635: PUSH1 0x00 00000637: DUP1 00000638: REVERT 00000639: JUMPDEST 0000063a: POP 0000063b: PUSH2 0x026e 0000063e: PUSH2 0x1786 00000641: JUMP 00000642: JUMPDEST 00000643: CALLVALUE 00000644: DUP1 00000645: ISZERO 00000646: PUSH2 0x064e 00000649: JUMPI 0000064a: PUSH1 0x00 0000064c: DUP1 0000064d: REVERT 0000064e: JUMPDEST 0000064f: POP 00000650: PUSH2 0x0239 00000653: PUSH2 0x065d 00000656: CALLDATASIZE 00000657: PUSH1 0x04 00000659: PUSH2 0x2711 0000065c: JUMP 0000065d: JUMPDEST 0000065e: PUSH1 0x0b 00000660: PUSH1 0x20 00000662: MSTORE 00000663: PUSH1 0x00 00000665: SWAP1 00000666: DUP2 00000667: MSTORE 00000668: PUSH1 0x40 0000066a: SWAP1 0000066b: KECCAK256 0000066c: SLOAD 0000066d: PUSH1 0xff 0000066f: AND 00000670: DUP2 00000671: JUMP 00000672: JUMPDEST 00000673: CALLVALUE 00000674: DUP1 00000675: ISZERO 00000676: PUSH2 0x067e 00000679: JUMPI 0000067a: PUSH1 0x00 0000067c: DUP1 0000067d: REVERT 0000067e: JUMPDEST 0000067f: POP 00000680: PUSH2 0x0285 00000683: PUSH1 0x06 00000685: SLOAD 00000686: DUP2 00000687: JUMP 00000688: JUMPDEST 00000689: PUSH2 0x0690 0000068c: PUSH2 0x1796 0000068f: JUMP 00000690: JUMPDEST 00000691: PUSH1 0x01 00000693: PUSH1 0x01 00000695: PUSH1 0xa0 00000697: SHL 00000698: SUB 00000699: DUP2 0000069a: AND 0000069b: PUSH2 0x06b7 0000069e: JUMPI 0000069f: PUSH1 0x40 000006a1: MLOAD 000006a2: PUSH4 0x3494a40d 000006a7: PUSH1 0xe2 000006a9: SHL 000006aa: DUP2 000006ab: MSTORE 000006ac: PUSH1 0x04 000006ae: ADD 000006af: PUSH1 0x40 000006b1: MLOAD 000006b2: DUP1 000006b3: SWAP2 000006b4: SUB 000006b5: SWAP1 000006b6: REVERT 000006b7: JUMPDEST 000006b8: PUSH1 0x03 000006ba: DUP1 000006bb: SLOAD 000006bc: PUSH1 0x01 000006be: PUSH1 0x01 000006c0: PUSH1 0xa0 000006c2: SHL 000006c3: SUB 000006c4: DUP4 000006c5: DUP2 000006c6: AND 000006c7: PUSH1 0x01 000006c9: PUSH1 0x01 000006cb: PUSH1 0xa0 000006cd: SHL 000006ce: SUB 000006cf: NOT 000006d0: DUP4 000006d1: AND 000006d2: DUP2 000006d3: OR 000006d4: SWAP1 000006d5: SWAP4 000006d6: SSTORE 000006d7: PUSH1 0x40 000006d9: MLOAD 000006da: SWAP2 000006db: AND 000006dc: SWAP2 000006dd: SWAP1 000006de: DUP3 000006df: SWAP1 000006e0: PUSH32 0x9b431f4cf75dbaf17a347849220af90fb504f416cd786408fd64698c39f7e195 00000701: SWAP1 00000702: PUSH1 0x00 00000704: SWAP1 00000705: LOG3 00000706: POP 00000707: POP 00000708: JUMP 00000709: JUMPDEST 0000070a: PUSH1 0x40 0000070c: MLOAD 0000070d: PUSH1 0x20 0000070f: ADD 00000710: PUSH2 0x0718 00000713: SWAP1 00000714: PUSH2 0x29ac 00000717: JUMP 00000718: JUMPDEST 00000719: PUSH1 0x40 0000071b: MLOAD 0000071c: PUSH1 0x20 0000071e: DUP2 0000071f: DUP4 00000720: SUB 00000721: SUB 00000722: DUP2 00000723: MSTORE 00000724: SWAP1 00000725: PUSH1 0x40 00000727: MSTORE 00000728: DUP1 00000729: MLOAD 0000072a: SWAP1 0000072b: PUSH1 0x20 0000072d: ADD 0000072e: KECCAK256 0000072f: DUP2 00000730: JUMP 00000731: JUMPDEST 00000732: PUSH1 0x03 00000734: SLOAD 00000735: PUSH1 0x01 00000737: PUSH1 0x01 00000739: PUSH1 0xa0 0000073b: SHL 0000073c: SUB 0000073d: AND 0000073e: CALLER 0000073f: EQ 00000740: PUSH2 0x075c 00000743: JUMPI 00000744: PUSH1 0x40 00000746: MLOAD 00000747: PUSH4 0x2d99bc83 0000074c: PUSH1 0xe2 0000074e: SHL 0000074f: DUP2 00000750: MSTORE 00000751: PUSH1 0x04 00000753: ADD 00000754: PUSH1 0x40 00000756: MLOAD 00000757: DUP1 00000758: SWAP2 00000759: SUB 0000075a: SWAP1 0000075b: REVERT 0000075c: JUMPDEST 0000075d: PUSH1 0x01 0000075f: PUSH1 0x01 00000761: PUSH1 0xa0 00000763: SHL 00000764: SUB 00000765: DUP3 00000766: AND 00000767: ISZERO 00000768: DUP1 00000769: PUSH2 0x0770 0000076c: JUMPI 0000076d: POP 0000076e: DUP1 0000076f: ISZERO 00000770: JUMPDEST 00000771: ISZERO 00000772: PUSH2 0x078e 00000775: JUMPI 00000776: PUSH1 0x40 00000778: MLOAD 00000779: PUSH4 0x3494a40d 0000077e: PUSH1 0xe2 00000780: SHL 00000781: DUP2 00000782: MSTORE 00000783: PUSH1 0x04 00000785: ADD 00000786: PUSH1 0x40 00000788: MLOAD 00000789: DUP1 0000078a: SWAP2 0000078b: SUB 0000078c: SWAP1 0000078d: REVERT 0000078e: JUMPDEST 0000078f: PUSH1 0x00 00000791: DUP3 00000792: PUSH1 0x01 00000794: PUSH1 0x01 00000796: PUSH1 0xa0 00000798: SHL 00000799: SUB 0000079a: AND 0000079b: DUP3 0000079c: PUSH1 0x40 0000079e: MLOAD 0000079f: PUSH1 0x00 000007a1: PUSH1 0x40 000007a3: MLOAD 000007a4: DUP1 000007a5: DUP4 000007a6: SUB 000007a7: DUP2 000007a8: DUP6 000007a9: DUP8 000007aa: GAS 000007ab: CALL 000007ac: SWAP3 000007ad: POP 000007ae: POP 000007af: POP 000007b0: RETURNDATASIZE 000007b1: DUP1 000007b2: PUSH1 0x00 000007b4: DUP2 000007b5: EQ 000007b6: PUSH2 0x07db 000007b9: JUMPI 000007ba: PUSH1 0x40 000007bc: MLOAD 000007bd: SWAP2 000007be: POP 000007bf: PUSH1 0x1f 000007c1: NOT 000007c2: PUSH1 0x3f 000007c4: RETURNDATASIZE 000007c5: ADD 000007c6: AND 000007c7: DUP3 000007c8: ADD 000007c9: PUSH1 0x40 000007cb: MSTORE 000007cc: RETURNDATASIZE 000007cd: DUP3 000007ce: MSTORE 000007cf: RETURNDATASIZE 000007d0: PUSH1 0x00 000007d2: PUSH1 0x20 000007d4: DUP5 000007d5: ADD 000007d6: RETURNDATACOPY 000007d7: PUSH2 0x07e0 000007da: JUMP 000007db: JUMPDEST 000007dc: PUSH1 0x60 000007de: SWAP2 000007df: POP 000007e0: JUMPDEST 000007e1: POP 000007e2: POP 000007e3: SWAP1 000007e4: POP 000007e5: DUP1 000007e6: PUSH2 0x0802 000007e9: JUMPI 000007ea: PUSH1 0x40 000007ec: MLOAD 000007ed: PUSH4 0x12171d83 000007f2: PUSH1 0xe3 000007f4: SHL 000007f5: DUP2 000007f6: MSTORE 000007f7: PUSH1 0x04 000007f9: ADD 000007fa: PUSH1 0x40 000007fc: MLOAD 000007fd: DUP1 000007fe: SWAP2 000007ff: SUB 00000800: SWAP1 00000801: REVERT 00000802: JUMPDEST 00000803: PUSH1 0x01 00000805: DUP1 00000806: SLOAD 00000807: PUSH1 0x01 00000809: PUSH1 0x01 0000080b: PUSH1 0xa0 0000080d: SHL 0000080e: SUB 0000080f: DUP6 00000810: AND 00000811: SWAP2 00000812: PUSH1 0x00 00000814: PUSH2 0x081c 00000817: DUP4 00000818: PUSH2 0x2a20 0000081b: JUMP 0000081c: JUMPDEST 0000081d: SWAP1 0000081e: SWAP2 0000081f: SSTORE 00000820: POP 00000821: PUSH1 0x40 00000823: MLOAD 00000824: DUP5 00000825: DUP2 00000826: MSTORE 00000827: PUSH32 0x118315e777ba73caf1c37255d332d12ed062905ad925a41183238e39cdfa0442 00000848: SWAP1 00000849: PUSH1 0x20 0000084b: ADD 0000084c: PUSH1 0x40 0000084e: MLOAD 0000084f: DUP1 00000850: SWAP2 00000851: SUB 00000852: SWAP1 00000853: LOG3 00000854: POP 00000855: POP 00000856: POP 00000857: JUMP 00000858: JUMPDEST 00000859: PUSH2 0x0860 0000085c: PUSH2 0x17f1 0000085f: JUMP 00000860: JUMPDEST 00000861: PUSH2 0x0868 00000864: PUSH2 0x1822 00000867: JUMP 00000868: JUMPDEST 00000869: CALLER 0000086a: PUSH2 0x0876 0000086d: PUSH1 0x20 0000086f: DUP4 00000870: ADD 00000871: DUP4 00000872: PUSH2 0x2711 00000875: JUMP 00000876: JUMPDEST 00000877: PUSH1 0x01 00000879: PUSH1 0x01 0000087b: PUSH1 0xa0 0000087d: SHL 0000087e: SUB 0000087f: DUP1 00000880: DUP4 00000881: AND 00000882: PUSH1 0x00 00000884: SWAP1 00000885: DUP2 00000886: MSTORE 00000887: PUSH1 0x0a 00000889: PUSH1 0x20 0000088b: SWAP1 0000088c: DUP2 0000088d: MSTORE 0000088e: PUSH1 0x40 00000890: DUP1 00000891: DUP4 00000892: KECCAK256 00000893: SWAP4 00000894: DUP6 00000895: AND 00000896: DUP4 00000897: MSTORE 00000898: SWAP3 00000899: SWAP1 0000089a: MSTORE 0000089b: DUP2 0000089c: SWAP1 0000089d: KECCAK256 0000089e: SLOAD 0000089f: SWAP1 000008a0: DUP5 000008a1: ADD 000008a2: CALLDATALOAD 000008a3: SWAP1 000008a4: DUP2 000008a5: GT 000008a6: ISZERO 000008a7: PUSH2 0x08c3 000008aa: JUMPI 000008ab: PUSH1 0x40 000008ad: MLOAD 000008ae: PUSH4 0x177785fb 000008b3: PUSH1 0xe1 000008b5: SHL 000008b6: DUP2 000008b7: MSTORE 000008b8: PUSH1 0x04 000008ba: ADD 000008bb: PUSH1 0x40 000008bd: MLOAD 000008be: DUP1 000008bf: SWAP2 000008c0: SUB 000008c1: SWAP1 000008c2: REVERT 000008c3: JUMPDEST 000008c4: PUSH2 0x08d0 000008c7: PUSH1 0x20 000008c9: DUP6 000008ca: ADD 000008cb: DUP6 000008cc: PUSH2 0x2711 000008cf: JUMP 000008d0: JUMPDEST 000008d1: PUSH1 0x01 000008d3: PUSH1 0x01 000008d5: PUSH1 0xa0 000008d7: SHL 000008d8: SUB 000008d9: DUP2 000008da: AND 000008db: PUSH1 0x00 000008dd: SWAP1 000008de: DUP2 000008df: MSTORE 000008e0: PUSH1 0x08 000008e2: PUSH1 0x20 000008e4: MSTORE 000008e5: PUSH1 0x40 000008e7: SWAP1 000008e8: KECCAK256 000008e9: SLOAD 000008ea: PUSH1 0xff 000008ec: AND 000008ed: PUSH2 0x0909 000008f0: JUMPI 000008f1: PUSH1 0x40 000008f3: MLOAD 000008f4: PUSH4 0x65a9cebb 000008f9: PUSH1 0xe0 000008fb: SHL 000008fc: DUP2 000008fd: MSTORE 000008fe: PUSH1 0x04 00000900: ADD 00000901: PUSH1 0x40 00000903: MLOAD 00000904: DUP1 00000905: SWAP2 00000906: SUB 00000907: SWAP1 00000908: REVERT 00000909: JUMPDEST 0000090a: PUSH1 0x00 0000090c: PUSH2 0x0918 0000090f: PUSH1 0x20 00000911: DUP8 00000912: ADD 00000913: DUP8 00000914: PUSH2 0x2711 00000917: JUMP 00000918: JUMPDEST 00000919: PUSH1 0x01 0000091b: PUSH1 0x01 0000091d: PUSH1 0xa0 0000091f: SHL 00000920: SUB 00000921: AND 00000922: EQ 00000923: DUP1 00000924: PUSH2 0x0945 00000927: JUMPI 00000928: POP 00000929: PUSH1 0x00 0000092b: PUSH2 0x093a 0000092e: PUSH1 0x40 00000930: DUP8 00000931: ADD 00000932: PUSH1 0x20 00000934: DUP9 00000935: ADD 00000936: PUSH2 0x2711 00000939: JUMP 0000093a: JUMPDEST 0000093b: PUSH1 0x01 0000093d: PUSH1 0x01 0000093f: PUSH1 0xa0 00000941: SHL 00000942: SUB 00000943: AND 00000944: EQ 00000945: JUMPDEST 00000946: DUP1 00000947: PUSH2 0x0952 0000094a: JUMPI 0000094b: POP 0000094c: PUSH1 0x40 0000094e: DUP6 0000094f: ADD 00000950: CALLDATALOAD 00000951: ISZERO 00000952: JUMPDEST 00000953: ISZERO 00000954: PUSH2 0x0970 00000957: JUMPI 00000958: PUSH1 0x40 0000095a: MLOAD 0000095b: PUSH4 0x3494a40d 00000960: PUSH1 0xe2 00000962: SHL 00000963: DUP2 00000964: MSTORE 00000965: PUSH1 0x04 00000967: ADD 00000968: PUSH1 0x40 0000096a: MLOAD 0000096b: DUP1 0000096c: SWAP2 0000096d: SUB 0000096e: SWAP1 0000096f: REVERT 00000970: JUMPDEST 00000971: PUSH1 0x07 00000973: PUSH2 0x097f 00000976: PUSH1 0x60 00000978: DUP8 00000979: ADD 0000097a: DUP8 0000097b: PUSH2 0x2a39 0000097e: JUMP 0000097f: JUMPDEST 00000980: PUSH1 0x40 00000982: MLOAD 00000983: PUSH2 0x098d 00000986: SWAP3 00000987: SWAP2 00000988: SWAP1 00000989: PUSH2 0x2a80 0000098c: JUMP 0000098d: JUMPDEST 0000098e: SWAP1 0000098f: DUP2 00000990: MSTORE 00000991: PUSH1 0x40 00000993: MLOAD 00000994: SWAP1 00000995: DUP2 00000996: SWAP1 00000997: SUB 00000998: PUSH1 0x20 0000099a: ADD 0000099b: SWAP1 0000099c: KECCAK256 0000099d: SLOAD 0000099e: PUSH1 0xff 000009a0: AND 000009a1: ISZERO 000009a2: PUSH2 0x09be 000009a5: JUMPI 000009a6: PUSH1 0x40 000009a8: MLOAD 000009a9: PUSH4 0xdcd7877f 000009ae: PUSH1 0xe0 000009b0: SHL 000009b1: DUP2 000009b2: MSTORE 000009b3: PUSH1 0x04 000009b5: ADD 000009b6: PUSH1 0x40 000009b8: MLOAD 000009b9: DUP1 000009ba: SWAP2 000009bb: SUB 000009bc: SWAP1 000009bd: REVERT 000009be: JUMPDEST 000009bf: PUSH1 0x02 000009c1: SLOAD 000009c2: ISZERO 000009c3: DUP1 000009c4: PUSH2 0x09dc 000009c7: JUMPI 000009c8: POP 000009c9: PUSH1 0x02 000009cb: SLOAD 000009cc: PUSH2 0x09d8 000009cf: PUSH1 0x80 000009d1: DUP8 000009d2: ADD 000009d3: DUP8 000009d4: PUSH2 0x2a90 000009d7: JUMP 000009d8: JUMPDEST 000009d9: SWAP1 000009da: POP 000009db: LT 000009dc: JUMPDEST 000009dd: ISZERO 000009de: PUSH2 0x09fa 000009e1: JUMPI 000009e2: PUSH1 0x40 000009e4: MLOAD 000009e5: PUSH4 0x37e8456b 000009ea: PUSH1 0xe0 000009ec: SHL 000009ed: DUP2 000009ee: MSTORE 000009ef: PUSH1 0x04 000009f1: ADD 000009f2: PUSH1 0x40 000009f4: MLOAD 000009f5: DUP1 000009f6: SWAP2 000009f7: SUB 000009f8: SWAP1 000009f9: REVERT 000009fa: JUMPDEST 000009fb: PUSH1 0x01 000009fd: PUSH1 0x07 000009ff: PUSH2 0x0a0b 00000a02: PUSH1 0x60 00000a04: DUP9 00000a05: ADD 00000a06: DUP9 00000a07: PUSH2 0x2a39 00000a0a: JUMP 00000a0b: JUMPDEST 00000a0c: PUSH1 0x40 00000a0e: MLOAD 00000a0f: PUSH2 0x0a19 00000a12: SWAP3 00000a13: SWAP2 00000a14: SWAP1 00000a15: PUSH2 0x2a80 00000a18: JUMP 00000a19: JUMPDEST 00000a1a: SWAP1 00000a1b: DUP2 00000a1c: MSTORE 00000a1d: PUSH1 0x40 00000a1f: DUP1 00000a20: MLOAD 00000a21: PUSH1 0x20 00000a23: SWAP3 00000a24: DUP2 00000a25: SWAP1 00000a26: SUB 00000a27: DUP4 00000a28: ADD 00000a29: SWAP1 00000a2a: KECCAK256 00000a2b: DUP1 00000a2c: SLOAD 00000a2d: PUSH1 0xff 00000a2f: NOT 00000a30: AND 00000a31: SWAP4 00000a32: ISZERO 00000a33: ISZERO 00000a34: SWAP4 00000a35: SWAP1 00000a36: SWAP4 00000a37: OR 00000a38: SWAP1 00000a39: SWAP3 00000a3a: SSTORE 00000a3b: CALLER 00000a3c: PUSH1 0x00 00000a3e: SWAP1 00000a3f: DUP2 00000a40: MSTORE 00000a41: PUSH1 0x0a 00000a43: DUP3 00000a44: MSTORE 00000a45: DUP3 00000a46: DUP2 00000a47: KECCAK256 00000a48: SWAP3 00000a49: DUP9 00000a4a: ADD 00000a4b: CALLDATALOAD 00000a4c: SWAP3 00000a4d: SWAP2 00000a4e: PUSH2 0x0a59 00000a51: SWAP1 00000a52: DUP10 00000a53: ADD 00000a54: DUP10 00000a55: PUSH2 0x2711 00000a58: JUMP 00000a59: JUMPDEST 00000a5a: PUSH1 0x01 00000a5c: PUSH1 0x01 00000a5e: PUSH1 0xa0 00000a60: SHL 00000a61: SUB 00000a62: AND 00000a63: PUSH1 0x01 00000a65: PUSH1 0x01 00000a67: PUSH1 0xa0 00000a69: SHL 00000a6a: SUB 00000a6b: AND 00000a6c: DUP2 00000a6d: MSTORE 00000a6e: PUSH1 0x20 00000a70: ADD 00000a71: SWAP1 00000a72: DUP2 00000a73: MSTORE 00000a74: PUSH1 0x20 00000a76: ADD 00000a77: PUSH1 0x00 00000a79: KECCAK256 00000a7a: PUSH1 0x00 00000a7c: DUP3 00000a7d: DUP3 00000a7e: SLOAD 00000a7f: PUSH2 0x0a88 00000a82: SWAP2 00000a83: SWAP1 00000a84: PUSH2 0x2ad9 00000a87: JUMP 00000a88: JUMPDEST 00000a89: SWAP1 00000a8a: SWAP2 00000a8b: SSTORE 00000a8c: POP 00000a8d: PUSH2 0x0ad2 00000a90: SWAP1 00000a91: POP 00000a92: PUSH2 0x0a9e 00000a95: PUSH1 0x20 00000a97: DUP8 00000a98: ADD 00000a99: DUP8 00000a9a: PUSH2 0x2711 00000a9d: JUMP 00000a9e: JUMPDEST 00000a9f: PUSH2 0x0aae 00000aa2: PUSH1 0x40 00000aa4: DUP9 00000aa5: ADD 00000aa6: PUSH1 0x20 00000aa8: DUP10 00000aa9: ADD 00000aaa: PUSH2 0x2711 00000aad: JUMP 00000aae: JUMPDEST 00000aaf: PUSH1 0x40 00000ab1: DUP9 00000ab2: ADD 00000ab3: CALLDATALOAD 00000ab4: PUSH2 0x0ac0 00000ab7: PUSH1 0x60 00000ab9: DUP11 00000aba: ADD 00000abb: DUP11 00000abc: PUSH2 0x2a39 00000abf: JUMP 00000ac0: JUMPDEST 00000ac1: PUSH2 0x0acd 00000ac4: PUSH1 0x80 00000ac6: DUP13 00000ac7: ADD 00000ac8: DUP13 00000ac9: PUSH2 0x2a90 00000acc: JUMP 00000acd: JUMPDEST 00000ace: PUSH2 0x185a 00000ad1: JUMP 00000ad2: JUMPDEST 00000ad3: PUSH2 0x0b07 00000ad6: PUSH2 0x0ae5 00000ad9: PUSH1 0x40 00000adb: DUP8 00000adc: ADD 00000add: PUSH1 0x20 00000adf: DUP9 00000ae0: ADD 00000ae1: PUSH2 0x2711 00000ae4: JUMP 00000ae5: JUMPDEST 00000ae6: PUSH1 0x40 00000ae8: DUP8 00000ae9: ADD 00000aea: CALLDATALOAD 00000aeb: PUSH2 0x0af7 00000aee: PUSH1 0x20 00000af0: DUP10 00000af1: ADD 00000af2: DUP10 00000af3: PUSH2 0x2711 00000af6: JUMP 00000af7: JUMPDEST 00000af8: PUSH1 0x01 00000afa: PUSH1 0x01 00000afc: PUSH1 0xa0 00000afe: SHL 00000aff: SUB 00000b00: AND 00000b01: SWAP2 00000b02: SWAP1 00000b03: PUSH2 0x18fe 00000b06: JUMP 00000b07: JUMPDEST 00000b08: PUSH2 0x0b17 00000b0b: PUSH1 0x40 00000b0d: DUP7 00000b0e: ADD 00000b0f: PUSH1 0x20 00000b11: DUP8 00000b12: ADD 00000b13: PUSH2 0x2711 00000b16: JUMP 00000b17: JUMPDEST 00000b18: PUSH1 0x01 00000b1a: PUSH1 0x01 00000b1c: PUSH1 0xa0 00000b1e: SHL 00000b1f: SUB 00000b20: AND 00000b21: PUSH2 0x0b2d 00000b24: PUSH1 0x20 00000b26: DUP8 00000b27: ADD 00000b28: DUP8 00000b29: PUSH2 0x2711 00000b2c: JUMP 00000b2d: JUMPDEST 00000b2e: PUSH1 0x01 00000b30: PUSH1 0x01 00000b32: PUSH1 0xa0 00000b34: SHL 00000b35: SUB 00000b36: AND 00000b37: PUSH1 0x01 00000b39: PUSH1 0x00 00000b3b: DUP2 00000b3c: SLOAD 00000b3d: DUP1 00000b3e: SWAP3 00000b3f: SWAP2 00000b40: SWAP1 00000b41: PUSH2 0x0b49 00000b44: SWAP1 00000b45: PUSH2 0x2a20 00000b48: JUMP 00000b49: JUMPDEST 00000b4a: SWAP1 00000b4b: SWAP2 00000b4c: SSTORE 00000b4d: POP 00000b4e: PUSH32 0x8825f55e6ec93c9f6395a799699096d79f1ed9ce0899a9656ae210916d85e2c5 00000b6f: PUSH1 0x40 00000b71: DUP10 00000b72: ADD 00000b73: CALLDATALOAD 00000b74: PUSH2 0x0b80 00000b77: PUSH1 0x60 00000b79: DUP12 00000b7a: ADD 00000b7b: DUP12 00000b7c: PUSH2 0x2a39 00000b7f: JUMP 00000b80: JUMPDEST 00000b81: PUSH1 0x40 00000b83: MLOAD 00000b84: PUSH2 0x0b8f 00000b87: SWAP4 00000b88: SWAP3 00000b89: SWAP2 00000b8a: SWAP1 00000b8b: PUSH2 0x2b15 00000b8e: JUMP 00000b8f: JUMPDEST 00000b90: PUSH1 0x40 00000b92: MLOAD 00000b93: DUP1 00000b94: SWAP2 00000b95: SUB 00000b96: SWAP1 00000b97: LOG4 00000b98: POP 00000b99: POP 00000b9a: POP 00000b9b: POP 00000b9c: PUSH2 0x0bb2 00000b9f: PUSH1 0x01 00000ba1: PUSH1 0x00 00000ba3: DUP1 00000ba4: MLOAD 00000ba5: PUSH1 0x20 00000ba7: PUSH2 0x2db5 00000baa: DUP4 00000bab: CODECOPY 00000bac: DUP2 00000bad: MLOAD 00000bae: SWAP2 00000baf: MSTORE 00000bb0: SSTORE 00000bb1: JUMP 00000bb2: JUMPDEST 00000bb3: POP 00000bb4: JUMP 00000bb5: JUMPDEST 00000bb6: PUSH2 0x0bbd 00000bb9: PUSH2 0x17f1 00000bbc: JUMP 00000bbd: JUMPDEST 00000bbe: PUSH2 0x0bc5 00000bc1: PUSH2 0x1822 00000bc4: JUMP 00000bc5: JUMPDEST 00000bc6: PUSH2 0x0bd5 00000bc9: PUSH1 0x40 00000bcb: DUP3 00000bcc: ADD 00000bcd: PUSH1 0x20 00000bcf: DUP4 00000bd0: ADD 00000bd1: PUSH2 0x2711 00000bd4: JUMP 00000bd5: JUMPDEST 00000bd6: PUSH1 0x01 00000bd8: PUSH1 0x01 00000bda: PUSH1 0xa0 00000bdc: SHL 00000bdd: SUB 00000bde: DUP2 00000bdf: AND 00000be0: PUSH1 0x00 00000be2: SWAP1 00000be3: DUP2 00000be4: MSTORE 00000be5: PUSH1 0x08 00000be7: PUSH1 0x20 00000be9: MSTORE 00000bea: PUSH1 0x40 00000bec: SWAP1 00000bed: KECCAK256 00000bee: SLOAD 00000bef: PUSH1 0xff 00000bf1: AND 00000bf2: PUSH2 0x0c0e 00000bf5: JUMPI 00000bf6: PUSH1 0x40 00000bf8: MLOAD 00000bf9: PUSH4 0x65a9cebb 00000bfe: PUSH1 0xe0 00000c00: SHL 00000c01: DUP2 00000c02: MSTORE 00000c03: PUSH1 0x04 00000c05: ADD 00000c06: PUSH1 0x40 00000c08: MLOAD 00000c09: DUP1 00000c0a: SWAP2 00000c0b: SUB 00000c0c: SWAP1 00000c0d: REVERT 00000c0e: JUMPDEST 00000c0f: PUSH1 0x60 00000c11: DUP3 00000c12: ADD 00000c13: CALLDATALOAD 00000c14: ISZERO 00000c15: DUP1 00000c16: PUSH2 0x0c24 00000c19: JUMPI 00000c1a: POP 00000c1b: PUSH1 0x00 00000c1d: SLOAD 00000c1e: DUP3 00000c1f: PUSH1 0x80 00000c21: ADD 00000c22: CALLDATALOAD 00000c23: EQ 00000c24: JUMPDEST 00000c25: DUP1 00000c26: PUSH2 0x0c31 00000c29: JUMPI 00000c2a: POP 00000c2b: PUSH1 0xa0 00000c2d: DUP3 00000c2e: ADD 00000c2f: CALLDATALOAD 00000c30: ISZERO 00000c31: JUMPDEST 00000c32: DUP1 00000c33: PUSH2 0x0c50 00000c36: JUMPI 00000c37: POP 00000c38: PUSH1 0x80 00000c3a: DUP3 00000c3b: ADD 00000c3c: CALLDATALOAD 00000c3d: PUSH1 0x00 00000c3f: SWAP1 00000c40: DUP2 00000c41: MSTORE 00000c42: PUSH1 0x09 00000c44: PUSH1 0x20 00000c46: MSTORE 00000c47: PUSH1 0x40 00000c49: SWAP1 00000c4a: KECCAK256 00000c4b: SLOAD 00000c4c: PUSH1 0xff 00000c4e: AND 00000c4f: ISZERO 00000c50: JUMPDEST 00000c51: ISZERO 00000c52: PUSH2 0x0c6e 00000c55: JUMPI 00000c56: PUSH1 0x40 00000c58: MLOAD 00000c59: PUSH4 0x3494a40d 00000c5e: PUSH1 0xe2 00000c60: SHL 00000c61: DUP2 00000c62: MSTORE 00000c63: PUSH1 0x04 00000c65: ADD 00000c66: PUSH1 0x40 00000c68: MLOAD 00000c69: DUP1 00000c6a: SWAP2 00000c6b: SUB 00000c6c: SWAP1 00000c6d: REVERT 00000c6e: JUMPDEST 00000c6f: PUSH2 0x0c99 00000c72: CALLER 00000c73: ADDRESS 00000c74: PUSH1 0xa0 00000c76: DUP6 00000c77: ADD 00000c78: CALLDATALOAD 00000c79: PUSH2 0x0c88 00000c7c: PUSH1 0x40 00000c7e: DUP8 00000c7f: ADD 00000c80: PUSH1 0x20 00000c82: DUP9 00000c83: ADD 00000c84: PUSH2 0x2711 00000c87: JUMP 00000c88: JUMPDEST 00000c89: PUSH1 0x01 00000c8b: PUSH1 0x01 00000c8d: PUSH1 0xa0 00000c8f: SHL 00000c90: SUB 00000c91: AND 00000c92: SWAP3 00000c93: SWAP2 00000c94: SWAP1 00000c95: PUSH2 0x1976 00000c98: JUMP 00000c99: JUMPDEST 00000c9a: PUSH1 0x01 00000c9c: DUP1 00000c9d: SLOAD 00000c9e: CALLER 00000c9f: SWAP2 00000ca0: PUSH1 0x00 00000ca2: PUSH2 0x0caa 00000ca5: DUP4 00000ca6: PUSH2 0x2a20 00000ca9: JUMP 00000caa: JUMPDEST 00000cab: SWAP1 00000cac: SWAP2 00000cad: SSTORE 00000cae: POP 00000caf: DUP4 00000cb0: CALLDATALOAD 00000cb1: PUSH32 0x025db04755092f8dbbb04993e1f88a5cfc855abf2fcb4012929fa3acaef5827e 00000cd2: PUSH2 0x0ce1 00000cd5: PUSH1 0x40 00000cd7: DUP8 00000cd8: ADD 00000cd9: PUSH1 0x20 00000cdb: DUP9 00000cdc: ADD 00000cdd: PUSH2 0x2711 00000ce0: JUMP 00000ce1: JUMPDEST 00000ce2: PUSH1 0x00 00000ce4: SLOAD 00000ce5: PUSH1 0x60 00000ce7: DUP9 00000ce8: ADD 00000ce9: CALLDATALOAD 00000cea: SWAP1 00000ceb: PUSH1 0xa0 00000ced: DUP10 00000cee: ADD 00000cef: CALLDATALOAD 00000cf0: SWAP1 00000cf1: PUSH1 0x80 00000cf3: DUP11 00000cf4: ADD 00000cf5: CALLDATALOAD 00000cf6: PUSH2 0x0d02 00000cf9: PUSH1 0x40 00000cfb: DUP13 00000cfc: ADD 00000cfd: DUP13 00000cfe: PUSH2 0x2a39 00000d01: JUMP 00000d02: JUMPDEST 00000d03: PUSH1 0x40 00000d05: MLOAD 00000d06: PUSH2 0x0d15 00000d09: SWAP8 00000d0a: SWAP7 00000d0b: SWAP6 00000d0c: SWAP5 00000d0d: SWAP4 00000d0e: SWAP3 00000d0f: SWAP2 00000d10: SWAP1 00000d11: PUSH2 0x2b38 00000d14: JUMP 00000d15: JUMPDEST 00000d16: PUSH1 0x40 00000d18: MLOAD 00000d19: DUP1 00000d1a: SWAP2 00000d1b: SUB 00000d1c: SWAP1 00000d1d: LOG4 00000d1e: POP 00000d1f: PUSH2 0x0bb2 00000d22: PUSH1 0x01 00000d24: PUSH1 0x00 00000d26: DUP1 00000d27: MLOAD 00000d28: PUSH1 0x20 00000d2a: PUSH2 0x2db5 00000d2d: DUP4 00000d2e: CODECOPY 00000d2f: DUP2 00000d30: MLOAD 00000d31: SWAP2 00000d32: MSTORE 00000d33: SSTORE 00000d34: JUMP 00000d35: JUMPDEST 00000d36: PUSH2 0x0d3d 00000d39: PUSH2 0x1796 00000d3c: JUMP 00000d3d: JUMPDEST 00000d3e: DUP1 00000d3f: PUSH1 0x00 00000d41: SUB 00000d42: PUSH2 0x0d5e 00000d45: JUMPI 00000d46: PUSH1 0x40 00000d48: MLOAD 00000d49: PUSH4 0x3494a40d 00000d4e: PUSH1 0xe2 00000d50: SHL 00000d51: DUP2 00000d52: MSTORE 00000d53: PUSH1 0x04 00000d55: ADD 00000d56: PUSH1 0x40 00000d58: MLOAD 00000d59: DUP1 00000d5a: SWAP2 00000d5b: SUB 00000d5c: SWAP1 00000d5d: REVERT 00000d5e: JUMPDEST 00000d5f: PUSH1 0x02 00000d61: DUP1 00000d62: SLOAD 00000d63: SWAP1 00000d64: DUP3 00000d65: SWAP1 00000d66: SSTORE 00000d67: PUSH1 0x40 00000d69: MLOAD 00000d6a: DUP3 00000d6b: SWAP1 00000d6c: DUP3 00000d6d: SWAP1 00000d6e: PUSH32 0x58f51e951d4e8c4a65c9cf79d19f03dea8edc361d61d6c4fecb3ce58952803f1 00000d8f: SWAP1 00000d90: PUSH1 0x00 00000d92: SWAP1 00000d93: LOG3 00000d94: POP 00000d95: POP 00000d96: JUMP 00000d97: JUMPDEST 00000d98: PUSH1 0x03 00000d9a: SLOAD 00000d9b: PUSH1 0x01 00000d9d: PUSH1 0x01 00000d9f: PUSH1 0xa0 00000da1: SHL 00000da2: SUB 00000da3: AND 00000da4: CALLER 00000da5: EQ 00000da6: PUSH2 0x0dc2 00000da9: JUMPI 00000daa: PUSH1 0x40 00000dac: MLOAD 00000dad: PUSH4 0x2d99bc83 00000db2: PUSH1 0xe2 00000db4: SHL 00000db5: DUP2 00000db6: MSTORE 00000db7: PUSH1 0x04 00000db9: ADD 00000dba: PUSH1 0x40 00000dbc: MLOAD 00000dbd: DUP1 00000dbe: SWAP2 00000dbf: SUB 00000dc0: SWAP1 00000dc1: REVERT 00000dc2: JUMPDEST 00000dc3: PUSH1 0x01 00000dc5: PUSH1 0x01 00000dc7: PUSH1 0xa0 00000dc9: SHL 00000dca: SUB 00000dcb: DUP4 00000dcc: AND 00000dcd: ISZERO 00000dce: DUP1 00000dcf: PUSH2 0x0ddf 00000dd2: JUMPI 00000dd3: POP 00000dd4: PUSH1 0x01 00000dd6: PUSH1 0x01 00000dd8: PUSH1 0xa0 00000dda: SHL 00000ddb: SUB 00000ddc: DUP3 00000ddd: AND 00000dde: ISZERO 00000ddf: JUMPDEST 00000de0: DUP1 00000de1: PUSH2 0x0de8 00000de4: JUMPI 00000de5: POP 00000de6: DUP1 00000de7: ISZERO 00000de8: JUMPDEST 00000de9: ISZERO 00000dea: PUSH2 0x0e06 00000ded: JUMPI 00000dee: PUSH1 0x40 00000df0: MLOAD 00000df1: PUSH4 0x3494a40d 00000df6: PUSH1 0xe2 00000df8: SHL 00000df9: DUP2 00000dfa: MSTORE 00000dfb: PUSH1 0x04 00000dfd: ADD 00000dfe: PUSH1 0x40 00000e00: MLOAD 00000e01: DUP1 00000e02: SWAP2 00000e03: SUB 00000e04: SWAP1 00000e05: REVERT 00000e06: JUMPDEST 00000e07: PUSH2 0x0e1a 00000e0a: PUSH1 0x01 00000e0c: PUSH1 0x01 00000e0e: PUSH1 0xa0 00000e10: SHL 00000e11: SUB 00000e12: DUP5 00000e13: AND 00000e14: DUP4 00000e15: DUP4 00000e16: PUSH2 0x18fe 00000e19: JUMP 00000e1a: JUMPDEST 00000e1b: DUP2 00000e1c: PUSH1 0x01 00000e1e: PUSH1 0x01 00000e20: PUSH1 0xa0 00000e22: SHL 00000e23: SUB 00000e24: AND 00000e25: DUP4 00000e26: PUSH1 0x01 00000e28: PUSH1 0x01 00000e2a: PUSH1 0xa0 00000e2c: SHL 00000e2d: SUB 00000e2e: AND 00000e2f: PUSH1 0x01 00000e31: PUSH1 0x00 00000e33: DUP2 00000e34: SLOAD 00000e35: DUP1 00000e36: SWAP3 00000e37: SWAP2 00000e38: SWAP1 00000e39: PUSH2 0x0e41 00000e3c: SWAP1 00000e3d: PUSH2 0x2a20 00000e40: JUMP 00000e41: JUMPDEST 00000e42: SWAP1 00000e43: SWAP2 00000e44: SSTORE 00000e45: POP 00000e46: PUSH1 0x40 00000e48: MLOAD 00000e49: DUP5 00000e4a: DUP2 00000e4b: MSTORE 00000e4c: PUSH32 0xc6dd5ca38e28dc9ec5b6b8de57955f0d7fe989597754decbc92eb7e0d501e5c2 00000e6d: SWAP1 00000e6e: PUSH1 0x20 00000e70: ADD 00000e71: PUSH1 0x40 00000e73: MLOAD 00000e74: DUP1 00000e75: SWAP2 00000e76: SUB 00000e77: SWAP1 00000e78: LOG4 00000e79: POP 00000e7a: POP 00000e7b: POP 00000e7c: JUMP 00000e7d: JUMPDEST 00000e7e: PUSH2 0x0e85 00000e81: PUSH2 0x1796 00000e84: JUMP 00000e85: JUMPDEST 00000e86: PUSH2 0x0e8f 00000e89: PUSH1 0x00 00000e8b: PUSH2 0x19af 00000e8e: JUMP 00000e8f: JUMPDEST 00000e90: JUMP 00000e91: JUMPDEST 00000e92: PUSH2 0x0e99 00000e95: PUSH2 0x1796 00000e98: JUMP 00000e99: JUMPDEST 00000e9a: PUSH1 0x01 00000e9c: PUSH1 0x01 00000e9e: PUSH1 0xa0 00000ea0: SHL 00000ea1: SUB 00000ea2: DUP3 00000ea3: AND 00000ea4: PUSH1 0x00 00000ea6: DUP2 00000ea7: DUP2 00000ea8: MSTORE 00000ea9: PUSH1 0x08 00000eab: PUSH1 0x20 00000ead: MSTORE 00000eae: PUSH1 0x40 00000eb0: DUP1 00000eb1: DUP3 00000eb2: KECCAK256 00000eb3: DUP1 00000eb4: SLOAD 00000eb5: PUSH1 0xff 00000eb7: NOT 00000eb8: AND 00000eb9: DUP6 00000eba: ISZERO 00000ebb: ISZERO 00000ebc: SWAP1 00000ebd: DUP2 00000ebe: OR 00000ebf: SWAP1 00000ec0: SWAP2 00000ec1: SSTORE 00000ec2: SWAP1 00000ec3: MLOAD 00000ec4: SWAP1 00000ec5: SWAP3 00000ec6: SWAP2 00000ec7: PUSH32 0xef81a9943b96c8df4ef243401c9bf5159146166211356898b52d382086168d92 00000ee8: SWAP2 00000ee9: LOG3 00000eea: POP 00000eeb: POP 00000eec: JUMP 00000eed: JUMPDEST 00000eee: PUSH2 0x0ef5 00000ef1: PUSH2 0x1796 00000ef4: JUMP 00000ef5: JUMPDEST 00000ef6: PUSH1 0x01 00000ef8: PUSH1 0x01 00000efa: PUSH1 0xa0 00000efc: SHL 00000efd: SUB 00000efe: DUP4 00000eff: AND 00000f00: ISZERO 00000f01: DUP1 00000f02: PUSH2 0x0f12 00000f05: JUMPI 00000f06: POP 00000f07: PUSH1 0x01 00000f09: PUSH1 0x01 00000f0b: PUSH1 0xa0 00000f0d: SHL 00000f0e: SUB 00000f0f: DUP3 00000f10: AND 00000f11: ISZERO 00000f12: JUMPDEST 00000f13: DUP1 00000f14: PUSH2 0x0f1b 00000f17: JUMPI 00000f18: POP 00000f19: DUP1 00000f1a: ISZERO 00000f1b: JUMPDEST 00000f1c: ISZERO 00000f1d: PUSH2 0x0f39 00000f20: JUMPI 00000f21: PUSH1 0x40 00000f23: MLOAD 00000f24: PUSH4 0x3494a40d 00000f29: PUSH1 0xe2 00000f2b: SHL 00000f2c: DUP2 00000f2d: MSTORE 00000f2e: PUSH1 0x04 00000f30: ADD 00000f31: PUSH1 0x40 00000f33: MLOAD 00000f34: DUP1 00000f35: SWAP2 00000f36: SUB 00000f37: SWAP1 00000f38: REVERT 00000f39: JUMPDEST 00000f3a: PUSH1 0x01 00000f3c: PUSH1 0x01 00000f3e: PUSH1 0xa0 00000f40: SHL 00000f41: SUB 00000f42: DUP1 00000f43: DUP5 00000f44: AND 00000f45: PUSH1 0x00 00000f47: DUP2 00000f48: DUP2 00000f49: MSTORE 00000f4a: PUSH1 0x0a 00000f4c: PUSH1 0x20 00000f4e: SWAP1 00000f4f: DUP2 00000f50: MSTORE 00000f51: PUSH1 0x40 00000f53: DUP1 00000f54: DUP4 00000f55: KECCAK256 00000f56: SWAP5 00000f57: DUP8 00000f58: AND 00000f59: DUP1 00000f5a: DUP5 00000f5b: MSTORE 00000f5c: SWAP5 00000f5d: SWAP1 00000f5e: SWAP2 00000f5f: MSTORE 00000f60: DUP1 00000f61: DUP3 00000f62: KECCAK256 00000f63: DUP6 00000f64: SWAP1 00000f65: SSTORE 00000f66: MLOAD 00000f67: DUP5 00000f68: SWAP4 00000f69: SWAP3 00000f6a: SWAP2 00000f6b: PUSH32 0x252acc991d80f2ab8c82e01e67dd8e11a164f9109d36acc485c68c8e98a2a45d 00000f8c: SWAP2 00000f8d: LOG4 00000f8e: POP 00000f8f: POP 00000f90: POP 00000f91: JUMP 00000f92: JUMPDEST 00000f93: PUSH2 0x0f9a 00000f96: PUSH2 0x1796 00000f99: JUMP 00000f9a: JUMPDEST 00000f9b: PUSH1 0x00 00000f9d: DUP3 00000f9e: SWAP1 00000f9f: SUB 00000fa0: PUSH2 0x0fbc 00000fa3: JUMPI 00000fa4: PUSH1 0x40 00000fa6: MLOAD 00000fa7: PUSH4 0x3494a40d 00000fac: PUSH1 0xe2 00000fae: SHL 00000faf: DUP2 00000fb0: MSTORE 00000fb1: PUSH1 0x04 00000fb3: ADD 00000fb4: PUSH1 0x40 00000fb6: MLOAD 00000fb7: DUP1 00000fb8: SWAP2 00000fb9: SUB 00000fba: SWAP1 00000fbb: REVERT 00000fbc: JUMPDEST 00000fbd: PUSH1 0x00 00000fbf: JUMPDEST 00000fc0: DUP3 00000fc1: DUP2 00000fc2: LT 00000fc3: ISZERO 00000fc4: PUSH2 0x1094 00000fc7: JUMPI 00000fc8: PUSH1 0x00 00000fca: SLOAD 00000fcb: DUP5 00000fcc: DUP5 00000fcd: DUP4 00000fce: DUP2 00000fcf: DUP2 00000fd0: LT 00000fd1: PUSH2 0x0fdc 00000fd4: JUMPI 00000fd5: PUSH2 0x0fdc 00000fd8: PUSH2 0x2b7f 00000fdb: JUMP 00000fdc: JUMPDEST 00000fdd: SWAP1 00000fde: POP 00000fdf: PUSH1 0x20 00000fe1: MUL 00000fe2: ADD 00000fe3: CALLDATALOAD 00000fe4: SUB 00000fe5: PUSH2 0x1001 00000fe8: JUMPI 00000fe9: PUSH1 0x40 00000feb: MLOAD 00000fec: PUSH4 0x3494a40d 00000ff1: PUSH1 0xe2 00000ff3: SHL 00000ff4: DUP2 00000ff5: MSTORE 00000ff6: PUSH1 0x04 00000ff8: ADD 00000ff9: PUSH1 0x40 00000ffb: MLOAD 00000ffc: DUP1 00000ffd: SWAP2 00000ffe: SUB 00000fff: SWAP1 00001000: REVERT 00001001: JUMPDEST 00001002: DUP2 00001003: PUSH1 0x09 00001005: PUSH1 0x00 00001007: DUP7 00001008: DUP7 00001009: DUP6 0000100a: DUP2 0000100b: DUP2 0000100c: LT 0000100d: PUSH2 0x1018 00001010: JUMPI 00001011: PUSH2 0x1018 00001014: PUSH2 0x2b7f 00001017: JUMP 00001018: JUMPDEST 00001019: SWAP1 0000101a: POP 0000101b: PUSH1 0x20 0000101d: MUL 0000101e: ADD 0000101f: CALLDATALOAD 00001020: DUP2 00001021: MSTORE 00001022: PUSH1 0x20 00001024: ADD 00001025: SWAP1 00001026: DUP2 00001027: MSTORE 00001028: PUSH1 0x20 0000102a: ADD 0000102b: PUSH1 0x00 0000102d: KECCAK256 0000102e: PUSH1 0x00 00001030: PUSH2 0x0100 00001033: EXP 00001034: DUP2 00001035: SLOAD 00001036: DUP2 00001037: PUSH1 0xff 00001039: MUL 0000103a: NOT 0000103b: AND 0000103c: SWAP1 0000103d: DUP4 0000103e: ISZERO 0000103f: ISZERO 00001040: MUL 00001041: OR 00001042: SWAP1 00001043: SSTORE 00001044: POP 00001045: DUP2 00001046: ISZERO 00001047: ISZERO 00001048: DUP5 00001049: DUP5 0000104a: DUP4 0000104b: DUP2 0000104c: DUP2 0000104d: LT 0000104e: PUSH2 0x1059 00001051: JUMPI 00001052: PUSH2 0x1059 00001055: PUSH2 0x2b7f 00001058: JUMP 00001059: JUMPDEST 0000105a: SWAP1 0000105b: POP 0000105c: PUSH1 0x20 0000105e: MUL 0000105f: ADD 00001060: CALLDATALOAD 00001061: PUSH32 0xac93333dd2b741068e5b9198e654c667c62a6dc60b7fd2a730da9a95fd604b61 00001082: PUSH1 0x40 00001084: MLOAD 00001085: PUSH1 0x40 00001087: MLOAD 00001088: DUP1 00001089: SWAP2 0000108a: SUB 0000108b: SWAP1 0000108c: LOG3 0000108d: PUSH1 0x01 0000108f: ADD 00001090: PUSH2 0x0fbf 00001093: JUMP 00001094: JUMPDEST 00001095: POP 00001096: POP 00001097: POP 00001098: POP 00001099: JUMP 0000109a: JUMPDEST 0000109b: PUSH2 0x10a2 0000109e: PUSH2 0x1796 000010a1: JUMP 000010a2: JUMPDEST 000010a3: PUSH1 0x00 000010a5: DUP3 000010a6: SWAP1 000010a7: SUB 000010a8: PUSH2 0x10c4 000010ab: JUMPI 000010ac: PUSH1 0x40 000010ae: MLOAD 000010af: PUSH4 0x3494a40d 000010b4: PUSH1 0xe2 000010b6: SHL 000010b7: DUP2 000010b8: MSTORE 000010b9: PUSH1 0x04 000010bb: ADD 000010bc: PUSH1 0x40 000010be: MLOAD 000010bf: DUP1 000010c0: SWAP2 000010c1: SUB 000010c2: SWAP1 000010c3: REVERT 000010c4: JUMPDEST 000010c5: PUSH1 0x00 000010c7: JUMPDEST 000010c8: DUP3 000010c9: DUP2 000010ca: LT 000010cb: ISZERO 000010cc: PUSH2 0x1094 000010cf: JUMPI 000010d0: PUSH1 0x00 000010d2: DUP5 000010d3: DUP5 000010d4: DUP4 000010d5: DUP2 000010d6: DUP2 000010d7: LT 000010d8: PUSH2 0x10e3 000010db: JUMPI 000010dc: PUSH2 0x10e3 000010df: PUSH2 0x2b7f 000010e2: JUMP 000010e3: JUMPDEST 000010e4: SWAP1 000010e5: POP 000010e6: PUSH1 0x20 000010e8: MUL 000010e9: ADD 000010ea: PUSH1 0x20 000010ec: DUP2 000010ed: ADD 000010ee: SWAP1 000010ef: PUSH2 0x10f8 000010f2: SWAP2 000010f3: SWAP1 000010f4: PUSH2 0x2711 000010f7: JUMP 000010f8: JUMPDEST 000010f9: PUSH1 0x01 000010fb: PUSH1 0x01 000010fd: PUSH1 0xa0 000010ff: SHL 00001100: SUB 00001101: AND 00001102: SUB 00001103: PUSH2 0x111f 00001106: JUMPI 00001107: PUSH1 0x40 00001109: MLOAD 0000110a: PUSH4 0x3494a40d 0000110f: PUSH1 0xe2 00001111: SHL 00001112: DUP2 00001113: MSTORE 00001114: PUSH1 0x04 00001116: ADD 00001117: PUSH1 0x40 00001119: MLOAD 0000111a: DUP1 0000111b: SWAP2 0000111c: SUB 0000111d: SWAP1 0000111e: REVERT 0000111f: JUMPDEST 00001120: DUP2 00001121: PUSH1 0x0b 00001123: PUSH1 0x00 00001125: DUP7 00001126: DUP7 00001127: DUP6 00001128: DUP2 00001129: DUP2 0000112a: LT 0000112b: PUSH2 0x1136 0000112e: JUMPI 0000112f: PUSH2 0x1136 00001132: PUSH2 0x2b7f 00001135: JUMP 00001136: JUMPDEST 00001137: SWAP1 00001138: POP 00001139: PUSH1 0x20 0000113b: MUL 0000113c: ADD 0000113d: PUSH1 0x20 0000113f: DUP2 00001140: ADD 00001141: SWAP1 00001142: PUSH2 0x114b 00001145: SWAP2 00001146: SWAP1 00001147: PUSH2 0x2711 0000114a: JUMP 0000114b: JUMPDEST 0000114c: PUSH1 0x01 0000114e: PUSH1 0x01 00001150: PUSH1 0xa0 00001152: SHL 00001153: SUB 00001154: AND 00001155: DUP2 00001156: MSTORE 00001157: PUSH1 0x20 00001159: DUP2 0000115a: ADD 0000115b: SWAP2 0000115c: SWAP1 0000115d: SWAP2 0000115e: MSTORE 0000115f: PUSH1 0x40 00001161: ADD 00001162: PUSH1 0x00 00001164: KECCAK256 00001165: DUP1 00001166: SLOAD 00001167: PUSH1 0xff 00001169: NOT 0000116a: AND 0000116b: SWAP2 0000116c: ISZERO 0000116d: ISZERO 0000116e: SWAP2 0000116f: SWAP1 00001170: SWAP2 00001171: OR 00001172: SWAP1 00001173: SSTORE 00001174: DUP2 00001175: ISZERO 00001176: ISZERO 00001177: DUP5 00001178: DUP5 00001179: DUP4 0000117a: DUP2 0000117b: DUP2 0000117c: LT 0000117d: PUSH2 0x1188 00001180: JUMPI 00001181: PUSH2 0x1188 00001184: PUSH2 0x2b7f 00001187: JUMP 00001188: JUMPDEST 00001189: SWAP1 0000118a: POP 0000118b: PUSH1 0x20 0000118d: MUL 0000118e: ADD 0000118f: PUSH1 0x20 00001191: DUP2 00001192: ADD 00001193: SWAP1 00001194: PUSH2 0x119d 00001197: SWAP2 00001198: SWAP1 00001199: PUSH2 0x2711 0000119c: JUMP 0000119d: JUMPDEST 0000119e: PUSH1 0x01 000011a0: PUSH1 0x01 000011a2: PUSH1 0xa0 000011a4: SHL 000011a5: SUB 000011a6: AND 000011a7: PUSH32 0xd2b4a3ae4917617aaa5e6caa5541a3331944d66baa187ef6c350f1ce4012d819 000011c8: PUSH1 0x40 000011ca: MLOAD 000011cb: PUSH1 0x40 000011cd: MLOAD 000011ce: DUP1 000011cf: SWAP2 000011d0: SUB 000011d1: SWAP1 000011d2: LOG3 000011d3: PUSH1 0x01 000011d5: ADD 000011d6: PUSH2 0x10c7 000011d9: JUMP 000011da: JUMPDEST 000011db: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00 000011fc: DUP1 000011fd: SLOAD 000011fe: PUSH1 0x01 00001200: PUSH1 0x40 00001202: SHL 00001203: DUP2 00001204: DIV 00001205: PUSH1 0xff 00001207: AND 00001208: ISZERO 00001209: SWAP1 0000120a: PUSH8 0xffffffffffffffff 00001213: AND 00001214: PUSH1 0x00 00001216: DUP2 00001217: ISZERO 00001218: DUP1 00001219: ISZERO 0000121a: PUSH2 0x1220 0000121d: JUMPI 0000121e: POP 0000121f: DUP3 00001220: JUMPDEST 00001221: SWAP1 00001222: POP 00001223: PUSH1 0x00 00001225: DUP3 00001226: PUSH8 0xffffffffffffffff 0000122f: AND 00001230: PUSH1 0x01 00001232: EQ 00001233: DUP1 00001234: ISZERO 00001235: PUSH2 0x123d 00001238: JUMPI 00001239: POP 0000123a: ADDRESS 0000123b: EXTCODESIZE 0000123c: ISZERO 0000123d: JUMPDEST 0000123e: SWAP1 0000123f: POP 00001240: DUP2 00001241: ISZERO 00001242: DUP1 00001243: ISZERO 00001244: PUSH2 0x124b 00001247: JUMPI 00001248: POP 00001249: DUP1 0000124a: ISZERO 0000124b: JUMPDEST 0000124c: ISZERO 0000124d: PUSH2 0x1269 00001250: JUMPI 00001251: PUSH1 0x40 00001253: MLOAD 00001254: PUSH4 0xf92ee8a9 00001259: PUSH1 0xe0 0000125b: SHL 0000125c: DUP2 0000125d: MSTORE 0000125e: PUSH1 0x04 00001260: ADD 00001261: PUSH1 0x40 00001263: MLOAD 00001264: DUP1 00001265: SWAP2 00001266: SUB 00001267: SWAP1 00001268: REVERT 00001269: JUMPDEST 0000126a: DUP5 0000126b: SLOAD 0000126c: PUSH8 0xffffffffffffffff 00001275: NOT 00001276: AND 00001277: PUSH1 0x01 00001279: OR 0000127a: DUP6 0000127b: SSTORE 0000127c: DUP4 0000127d: ISZERO 0000127e: PUSH2 0x1293 00001281: JUMPI 00001282: DUP5 00001283: SLOAD 00001284: PUSH1 0xff 00001286: PUSH1 0x40 00001288: SHL 00001289: NOT 0000128a: AND 0000128b: PUSH1 0x01 0000128d: PUSH1 0x40 0000128f: SHL 00001290: OR 00001291: DUP6 00001292: SSTORE 00001293: JUMPDEST 00001294: PUSH1 0x01 00001296: PUSH1 0x01 00001298: PUSH1 0xa0 0000129a: SHL 0000129b: SUB 0000129c: DUP9 0000129d: AND 0000129e: ISZERO 0000129f: DUP1 000012a0: PUSH2 0x12b0 000012a3: JUMPI 000012a4: POP 000012a5: PUSH1 0x01 000012a7: PUSH1 0x01 000012a9: PUSH1 0xa0 000012ab: SHL 000012ac: SUB 000012ad: DUP8 000012ae: AND 000012af: ISZERO 000012b0: JUMPDEST 000012b1: DUP1 000012b2: PUSH2 0x12c2 000012b5: JUMPI 000012b6: POP 000012b7: PUSH1 0x01 000012b9: PUSH1 0x01 000012bb: PUSH1 0xa0 000012bd: SHL 000012be: SUB 000012bf: DUP7 000012c0: AND 000012c1: ISZERO 000012c2: JUMPDEST 000012c3: ISZERO 000012c4: PUSH2 0x12e0 000012c7: JUMPI 000012c8: PUSH1 0x40 000012ca: MLOAD 000012cb: PUSH4 0x3494a40d 000012d0: PUSH1 0xe2 000012d2: SHL 000012d3: DUP2 000012d4: MSTORE 000012d5: PUSH1 0x04 000012d7: ADD 000012d8: PUSH1 0x40 000012da: MLOAD 000012db: DUP1 000012dc: SWAP2 000012dd: SUB 000012de: SWAP1 000012df: REVERT 000012e0: JUMPDEST 000012e1: CHAINID 000012e2: PUSH2 0x12e9 000012e5: PUSH2 0x1a20 000012e8: JUMP 000012e9: JUMPDEST 000012ea: PUSH2 0x12f1 000012ed: PUSH2 0x1a30 000012f0: JUMP 000012f1: JUMPDEST 000012f2: PUSH2 0x12fa 000012f5: DUP10 000012f6: PUSH2 0x1a40 000012f9: JUMP 000012fa: JUMPDEST 000012fb: PUSH1 0x00 000012fd: SSTORE 000012fe: PUSH1 0x03 00001300: DUP1 00001301: SLOAD 00001302: PUSH1 0x01 00001304: PUSH1 0x01 00001306: PUSH1 0xa0 00001308: SHL 00001309: SUB 0000130a: DUP1 0000130b: DUP11 0000130c: AND 0000130d: PUSH1 0x01 0000130f: PUSH1 0x01 00001311: PUSH1 0xa0 00001313: SHL 00001314: SUB 00001315: NOT 00001316: SWAP3 00001317: DUP4 00001318: AND 00001319: OR 0000131a: SWAP1 0000131b: SWAP3 0000131c: SSTORE 0000131d: PUSH1 0x04 0000131f: DUP1 00001320: SLOAD 00001321: SWAP3 00001322: DUP10 00001323: AND 00001324: SWAP3 00001325: SWAP1 00001326: SWAP2 00001327: AND 00001328: SWAP2 00001329: SWAP1 0000132a: SWAP2 0000132b: OR 0000132c: SWAP1 0000132d: SSTORE 0000132e: DUP4 0000132f: ISZERO 00001330: PUSH2 0x1373 00001333: JUMPI 00001334: DUP5 00001335: SLOAD 00001336: PUSH1 0xff 00001338: PUSH1 0x40 0000133a: SHL 0000133b: NOT 0000133c: AND 0000133d: DUP6 0000133e: SSTORE 0000133f: PUSH1 0x40 00001341: MLOAD 00001342: PUSH1 0x01 00001344: DUP2 00001345: MSTORE 00001346: PUSH32 0xc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2 00001367: SWAP1 00001368: PUSH1 0x20 0000136a: ADD 0000136b: PUSH1 0x40 0000136d: MLOAD 0000136e: DUP1 0000136f: SWAP2 00001370: SUB 00001371: SWAP1 00001372: LOG1 00001373: JUMPDEST 00001374: POP 00001375: POP 00001376: POP 00001377: POP 00001378: POP 00001379: POP 0000137a: POP 0000137b: POP 0000137c: JUMP 0000137d: JUMPDEST 0000137e: PUSH2 0x1385 00001381: PUSH2 0x17f1 00001384: JUMP 00001385: JUMPDEST 00001386: PUSH2 0x138d 00001389: PUSH2 0x1822 0000138c: JUMP 0000138d: JUMPDEST 0000138e: CALLER 0000138f: PUSH2 0x139b 00001392: PUSH1 0x20 00001394: DUP4 00001395: ADD 00001396: DUP4 00001397: PUSH2 0x2711 0000139a: JUMP 0000139b: JUMPDEST 0000139c: PUSH1 0x01 0000139e: PUSH1 0x01 000013a0: PUSH1 0xa0 000013a2: SHL 000013a3: SUB 000013a4: DUP1 000013a5: DUP4 000013a6: AND 000013a7: PUSH1 0x00 000013a9: SWAP1 000013aa: DUP2 000013ab: MSTORE 000013ac: PUSH1 0x0a 000013ae: PUSH1 0x20 000013b0: SWAP1 000013b1: DUP2 000013b2: MSTORE 000013b3: PUSH1 0x40 000013b5: DUP1 000013b6: DUP4 000013b7: KECCAK256 000013b8: SWAP4 000013b9: DUP6 000013ba: AND 000013bb: DUP4 000013bc: MSTORE 000013bd: SWAP3 000013be: SWAP1 000013bf: MSTORE 000013c0: KECCAK256 000013c1: SLOAD 000013c2: PUSH1 0x60 000013c4: DUP5 000013c5: ADD 000013c6: CALLDATALOAD 000013c7: SWAP1 000013c8: DUP2 000013c9: GT 000013ca: ISZERO 000013cb: PUSH2 0x13e7 000013ce: JUMPI 000013cf: PUSH1 0x40 000013d1: MLOAD 000013d2: PUSH4 0x177785fb 000013d7: PUSH1 0xe1 000013d9: SHL 000013da: DUP2 000013db: MSTORE 000013dc: PUSH1 0x04 000013de: ADD 000013df: PUSH1 0x40 000013e1: MLOAD 000013e2: DUP1 000013e3: SWAP2 000013e4: SUB 000013e5: SWAP1 000013e6: REVERT 000013e7: JUMPDEST 000013e8: PUSH2 0x13f4 000013eb: PUSH1 0x20 000013ed: DUP6 000013ee: ADD 000013ef: DUP6 000013f0: PUSH2 0x2711 000013f3: JUMP 000013f4: JUMPDEST 000013f5: PUSH1 0x01 000013f7: PUSH1 0x01 000013f9: PUSH1 0xa0 000013fb: SHL 000013fc: SUB 000013fd: DUP2 000013fe: AND 000013ff: PUSH1 0x00 00001401: SWAP1 00001402: DUP2 00001403: MSTORE 00001404: PUSH1 0x08 00001406: PUSH1 0x20 00001408: MSTORE 00001409: PUSH1 0x40 0000140b: SWAP1 0000140c: KECCAK256 0000140d: SLOAD 0000140e: PUSH1 0xff 00001410: AND 00001411: PUSH2 0x142d 00001414: JUMPI 00001415: PUSH1 0x40 00001417: MLOAD 00001418: PUSH4 0x65a9cebb 0000141d: PUSH1 0xe0 0000141f: SHL 00001420: DUP2 00001421: MSTORE 00001422: PUSH1 0x04 00001424: ADD 00001425: PUSH1 0x40 00001427: MLOAD 00001428: DUP1 00001429: SWAP2 0000142a: SUB 0000142b: SWAP1 0000142c: REVERT 0000142d: JUMPDEST 0000142e: PUSH1 0x02 00001430: SLOAD 00001431: ISZERO 00001432: DUP1 00001433: PUSH2 0x144c 00001436: JUMPI 00001437: POP 00001438: PUSH1 0x02 0000143a: SLOAD 0000143b: PUSH2 0x1448 0000143e: PUSH2 0x0100 00001441: DUP8 00001442: ADD 00001443: DUP8 00001444: PUSH2 0x2a90 00001447: JUMP 00001448: JUMPDEST 00001449: SWAP1 0000144a: POP 0000144b: LT 0000144c: JUMPDEST 0000144d: ISZERO 0000144e: PUSH2 0x146a 00001451: JUMPI 00001452: PUSH1 0x40 00001454: MLOAD 00001455: PUSH4 0x37e8456b 0000145a: PUSH1 0xe0 0000145c: SHL 0000145d: DUP2 0000145e: MSTORE 0000145f: PUSH1 0x04 00001461: ADD 00001462: PUSH1 0x40 00001464: MLOAD 00001465: DUP1 00001466: SWAP2 00001467: SUB 00001468: SWAP1 00001469: REVERT 0000146a: JUMPDEST 0000146b: PUSH1 0x00 0000146d: PUSH2 0x147c 00001470: PUSH1 0x60 00001472: DUP8 00001473: ADD 00001474: PUSH1 0x40 00001476: DUP9 00001477: ADD 00001478: PUSH2 0x2711 0000147b: JUMP 0000147c: JUMPDEST 0000147d: PUSH1 0x01 0000147f: PUSH1 0x01 00001481: PUSH1 0xa0 00001483: SHL 00001484: SUB 00001485: AND 00001486: EQ 00001487: DUP1 00001488: PUSH2 0x1496 0000148b: JUMPI 0000148c: POP 0000148d: PUSH1 0x00 0000148f: SLOAD 00001490: DUP6 00001491: PUSH1 0x80 00001493: ADD 00001494: CALLDATALOAD 00001495: EQ 00001496: JUMPDEST 00001497: DUP1 00001498: PUSH2 0x14a7 0000149b: JUMPI 0000149c: POP 0000149d: PUSH1 0x00 0000149f: SLOAD 000014a0: DUP6 000014a1: PUSH1 0xa0 000014a3: ADD 000014a4: CALLDATALOAD 000014a5: EQ 000014a6: ISZERO 000014a7: JUMPDEST 000014a8: DUP1 000014a9: PUSH2 0x14b4 000014ac: JUMPI 000014ad: POP 000014ae: PUSH1 0x60 000014b0: DUP6 000014b1: ADD 000014b2: CALLDATALOAD 000014b3: ISZERO 000014b4: JUMPDEST 000014b5: ISZERO 000014b6: PUSH2 0x14d2 000014b9: JUMPI 000014ba: PUSH1 0x40 000014bc: MLOAD 000014bd: PUSH4 0x3494a40d 000014c2: PUSH1 0xe2 000014c4: SHL 000014c5: DUP2 000014c6: MSTORE 000014c7: PUSH1 0x04 000014c9: ADD 000014ca: PUSH1 0x40 000014cc: MLOAD 000014cd: DUP1 000014ce: SWAP2 000014cf: SUB 000014d0: SWAP1 000014d1: REVERT 000014d2: JUMPDEST 000014d3: PUSH1 0x07 000014d5: PUSH2 0x14e1 000014d8: PUSH1 0xc0 000014da: DUP8 000014db: ADD 000014dc: DUP8 000014dd: PUSH2 0x2a39 000014e0: JUMP 000014e1: JUMPDEST 000014e2: PUSH1 0x40 000014e4: MLOAD 000014e5: PUSH2 0x14ef 000014e8: SWAP3 000014e9: SWAP2 000014ea: SWAP1 000014eb: PUSH2 0x2a80 000014ee: JUMP 000014ef: JUMPDEST 000014f0: SWAP1 000014f1: DUP2 000014f2: MSTORE 000014f3: PUSH1 0x40 000014f5: MLOAD 000014f6: SWAP1 000014f7: DUP2 000014f8: SWAP1 000014f9: SUB 000014fa: PUSH1 0x20 000014fc: ADD 000014fd: SWAP1 000014fe: KECCAK256 000014ff: SLOAD 00001500: PUSH1 0xff 00001502: AND 00001503: ISZERO 00001504: PUSH2 0x1520 00001507: JUMPI 00001508: PUSH1 0x40 0000150a: MLOAD 0000150b: PUSH4 0xdcd7877f 00001510: PUSH1 0xe0 00001512: SHL 00001513: DUP2 00001514: MSTORE 00001515: PUSH1 0x04 00001517: ADD 00001518: PUSH1 0x40 0000151a: MLOAD 0000151b: DUP1 0000151c: SWAP2 0000151d: SUB 0000151e: SWAP1 0000151f: REVERT 00001520: JUMPDEST 00001521: PUSH2 0x1529 00001524: DUP6 00001525: PUSH2 0x1a51 00001528: JUMP 00001529: JUMPDEST 0000152a: PUSH1 0x01 0000152c: PUSH1 0x07 0000152e: PUSH2 0x153a 00001531: PUSH1 0xc0 00001533: DUP9 00001534: ADD 00001535: DUP9 00001536: PUSH2 0x2a39 00001539: JUMP 0000153a: JUMPDEST 0000153b: PUSH1 0x40 0000153d: MLOAD 0000153e: PUSH2 0x1548 00001541: SWAP3 00001542: SWAP2 00001543: SWAP1 00001544: PUSH2 0x2a80 00001547: JUMP 00001548: JUMPDEST 00001549: SWAP1 0000154a: DUP2 0000154b: MSTORE 0000154c: PUSH1 0x40 0000154e: DUP1 0000154f: MLOAD 00001550: PUSH1 0x20 00001552: SWAP3 00001553: DUP2 00001554: SWAP1 00001555: SUB 00001556: DUP4 00001557: ADD 00001558: SWAP1 00001559: KECCAK256 0000155a: DUP1 0000155b: SLOAD 0000155c: PUSH1 0xff 0000155e: NOT 0000155f: AND 00001560: SWAP4 00001561: ISZERO 00001562: ISZERO 00001563: SWAP4 00001564: SWAP1 00001565: SWAP4 00001566: OR 00001567: SWAP1 00001568: SWAP3 00001569: SSTORE 0000156a: CALLER 0000156b: PUSH1 0x00 0000156d: SWAP1 0000156e: DUP2 0000156f: MSTORE 00001570: PUSH1 0x0a 00001572: DUP3 00001573: MSTORE 00001574: SWAP2 00001575: DUP3 00001576: KECCAK256 00001577: PUSH1 0x60 00001579: DUP9 0000157a: ADD 0000157b: CALLDATALOAD 0000157c: SWAP3 0000157d: SWAP1 0000157e: SWAP2 0000157f: PUSH2 0x158a 00001582: SWAP1 00001583: DUP10 00001584: ADD 00001585: DUP10 00001586: PUSH2 0x2711 00001589: JUMP 0000158a: JUMPDEST 0000158b: PUSH1 0x01 0000158d: PUSH1 0x01 0000158f: PUSH1 0xa0 00001591: SHL 00001592: SUB 00001593: AND 00001594: PUSH1 0x01 00001596: PUSH1 0x01 00001598: PUSH1 0xa0 0000159a: SHL 0000159b: SUB 0000159c: AND 0000159d: DUP2 0000159e: MSTORE 0000159f: PUSH1 0x20 000015a1: ADD 000015a2: SWAP1 000015a3: DUP2 000015a4: MSTORE 000015a5: PUSH1 0x20 000015a7: ADD 000015a8: PUSH1 0x00 000015aa: KECCAK256 000015ab: PUSH1 0x00 000015ad: DUP3 000015ae: DUP3 000015af: SLOAD 000015b0: PUSH2 0x15b9 000015b3: SWAP2 000015b4: SWAP1 000015b5: PUSH2 0x2ad9 000015b8: JUMP 000015b9: JUMPDEST 000015ba: SWAP1 000015bb: SWAP2 000015bc: SSTORE 000015bd: POP 000015be: PUSH2 0x15cf 000015c1: SWAP1 000015c2: POP 000015c3: PUSH1 0x40 000015c5: DUP7 000015c6: ADD 000015c7: PUSH1 0x20 000015c9: DUP8 000015ca: ADD 000015cb: PUSH2 0x2711 000015ce: JUMP 000015cf: JUMPDEST 000015d0: PUSH1 0x01 000015d2: PUSH1 0x01 000015d4: PUSH1 0xa0 000015d6: SHL 000015d7: SUB 000015d8: AND 000015d9: PUSH2 0x15e5 000015dc: PUSH1 0x20 000015de: DUP8 000015df: ADD 000015e0: DUP8 000015e1: PUSH2 0x2711 000015e4: JUMP 000015e5: JUMPDEST 000015e6: PUSH1 0x01 000015e8: PUSH1 0x01 000015ea: PUSH1 0xa0 000015ec: SHL 000015ed: SUB 000015ee: AND 000015ef: EQ 000015f0: DUP1 000015f1: ISZERO 000015f2: PUSH2 0x1607 000015f5: JUMPI 000015f6: POP 000015f7: PUSH2 0x1603 000015fa: PUSH1 0xe0 000015fc: DUP7 000015fd: ADD 000015fe: DUP7 000015ff: PUSH2 0x2a39 00001602: JUMP 00001603: JUMPDEST 00001604: ISZERO 00001605: SWAP1 00001606: POP 00001607: JUMPDEST 00001608: ISZERO 00001609: PUSH2 0x161a 0000160c: JUMPI 0000160d: PUSH2 0x1615 00001610: DUP6 00001611: PUSH2 0x1b3e 00001614: JUMP 00001615: JUMPDEST 00001616: PUSH2 0x168b 00001619: JUMP 0000161a: JUMPDEST 0000161b: PUSH2 0x162a 0000161e: PUSH1 0x40 00001620: DUP7 00001621: ADD 00001622: PUSH1 0x20 00001624: DUP8 00001625: ADD 00001626: PUSH2 0x2711 00001629: JUMP 0000162a: JUMPDEST 0000162b: PUSH1 0x01 0000162d: PUSH1 0x01 0000162f: PUSH1 0xa0 00001631: SHL 00001632: SUB 00001633: AND 00001634: PUSH2 0x1640 00001637: PUSH1 0x20 00001639: DUP8 0000163a: ADD 0000163b: DUP8 0000163c: PUSH2 0x2711 0000163f: JUMP 00001640: JUMPDEST 00001641: PUSH1 0x01 00001643: PUSH1 0x01 00001645: PUSH1 0xa0 00001647: SHL 00001648: SUB 00001649: AND 0000164a: EQ 0000164b: ISZERO 0000164c: DUP1 0000164d: ISZERO 0000164e: PUSH2 0x1664 00001651: JUMPI 00001652: POP 00001653: PUSH2 0x165f 00001656: PUSH1 0xe0 00001658: DUP7 00001659: ADD 0000165a: DUP7 0000165b: PUSH2 0x2a39 0000165e: JUMP 0000165f: JUMPDEST 00001660: ISZERO 00001661: ISZERO 00001662: SWAP1 00001663: POP 00001664: JUMPDEST 00001665: ISZERO 00001666: PUSH2 0x1672 00001669: JUMPI 0000166a: PUSH2 0x1615 0000166d: DUP6 0000166e: PUSH2 0x1c0c 00001671: JUMP 00001672: JUMPDEST 00001673: PUSH1 0x40 00001675: MLOAD 00001676: PUSH4 0x3494a40d 0000167b: PUSH1 0xe2 0000167d: SHL 0000167e: DUP2 0000167f: MSTORE 00001680: PUSH1 0x04 00001682: ADD 00001683: PUSH1 0x40 00001685: MLOAD 00001686: DUP1 00001687: SWAP2 00001688: SUB 00001689: SWAP1 0000168a: REVERT 0000168b: JUMPDEST 0000168c: POP 0000168d: POP 0000168e: POP 0000168f: POP 00001690: PUSH2 0x0bb2 00001693: PUSH1 0x01 00001695: PUSH1 0x00 00001697: DUP1 00001698: MLOAD 00001699: PUSH1 0x20 0000169b: PUSH2 0x2db5 0000169e: DUP4 0000169f: CODECOPY 000016a0: DUP2 000016a1: MLOAD 000016a2: SWAP2 000016a3: MSTORE 000016a4: SSTORE 000016a5: JUMP 000016a6: JUMPDEST 000016a7: PUSH1 0x40 000016a9: MLOAD 000016aa: PUSH1 0x20 000016ac: ADD 000016ad: PUSH2 0x0718 000016b0: SWAP1 000016b1: PUSH2 0x2b95 000016b4: JUMP 000016b5: JUMPDEST 000016b6: PUSH2 0x16bd 000016b9: PUSH2 0x1796 000016bc: JUMP 000016bd: JUMPDEST 000016be: PUSH2 0x0e8f 000016c1: PUSH2 0x20c2 000016c4: JUMP 000016c5: JUMPDEST 000016c6: PUSH2 0x16cd 000016c9: PUSH2 0x1796 000016cc: JUMP 000016cd: JUMPDEST 000016ce: PUSH1 0x01 000016d0: PUSH1 0x01 000016d2: PUSH1 0xa0 000016d4: SHL 000016d5: SUB 000016d6: DUP2 000016d7: AND 000016d8: PUSH2 0x16f4 000016db: JUMPI 000016dc: PUSH1 0x40 000016de: MLOAD 000016df: PUSH4 0x3494a40d 000016e4: PUSH1 0xe2 000016e6: SHL 000016e7: DUP2 000016e8: MSTORE 000016e9: PUSH1 0x04 000016eb: ADD 000016ec: PUSH1 0x40 000016ee: MLOAD 000016ef: DUP1 000016f0: SWAP2 000016f1: SUB 000016f2: SWAP1 000016f3: REVERT 000016f4: JUMPDEST 000016f5: PUSH1 0x04 000016f7: DUP1 000016f8: SLOAD 000016f9: PUSH1 0x01 000016fb: PUSH1 0x01 000016fd: PUSH1 0xa0 000016ff: SHL 00001700: SUB 00001701: DUP4 00001702: DUP2 00001703: AND 00001704: PUSH1 0x01 00001706: PUSH1 0x01 00001708: PUSH1 0xa0 0000170a: SHL 0000170b: SUB 0000170c: NOT 0000170d: DUP4 0000170e: AND 0000170f: DUP2 00001710: OR 00001711: SWAP1 00001712: SWAP4 00001713: SSTORE 00001714: PUSH1 0x40 00001716: MLOAD 00001717: SWAP2 00001718: AND 00001719: SWAP2 0000171a: SWAP1 0000171b: DUP3 0000171c: SWAP1 0000171d: PUSH32 0xf84836a601a18c91711e701aae356537c76b3003eec99122fa2bdca4d340acc9 0000173e: SWAP1 0000173f: PUSH1 0x00 00001741: SWAP1 00001742: LOG3 00001743: POP 00001744: POP 00001745: JUMP 00001746: JUMPDEST 00001747: PUSH2 0x174e 0000174a: PUSH2 0x1796 0000174d: JUMP 0000174e: JUMPDEST 0000174f: PUSH1 0x01 00001751: PUSH1 0x01 00001753: PUSH1 0xa0 00001755: SHL 00001756: SUB 00001757: DUP2 00001758: AND 00001759: PUSH2 0x177d 0000175c: JUMPI 0000175d: PUSH1 0x40 0000175f: MLOAD 00001760: PUSH4 0x1e4fbdf7 00001765: PUSH1 0xe0 00001767: SHL 00001768: DUP2 00001769: MSTORE 0000176a: PUSH1 0x00 0000176c: PUSH1 0x04 0000176e: DUP3 0000176f: ADD 00001770: MSTORE 00001771: PUSH1 0x24 00001773: ADD 00001774: JUMPDEST 00001775: PUSH1 0x40 00001777: MLOAD 00001778: DUP1 00001779: SWAP2 0000177a: SUB 0000177b: SWAP1 0000177c: REVERT 0000177d: JUMPDEST 0000177e: PUSH2 0x0bb2 00001781: DUP2 00001782: PUSH2 0x19af 00001785: JUMP 00001786: JUMPDEST 00001787: PUSH2 0x178e 0000178a: PUSH2 0x1796 0000178d: JUMP 0000178e: JUMPDEST 0000178f: PUSH2 0x0e8f 00001792: PUSH2 0x2125 00001795: JUMP 00001796: JUMPDEST 00001797: CALLER 00001798: PUSH2 0x17c8 0000179b: PUSH32 0x9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c199300 000017bc: SLOAD 000017bd: PUSH1 0x01 000017bf: PUSH1 0x01 000017c1: PUSH1 0xa0 000017c3: SHL 000017c4: SUB 000017c5: AND 000017c6: SWAP1 000017c7: JUMP 000017c8: JUMPDEST 000017c9: PUSH1 0x01 000017cb: PUSH1 0x01 000017cd: PUSH1 0xa0 000017cf: SHL 000017d0: SUB 000017d1: AND 000017d2: EQ 000017d3: PUSH2 0x0e8f 000017d6: JUMPI 000017d7: PUSH1 0x40 000017d9: MLOAD 000017da: PUSH4 0x118cdaa7 000017df: PUSH1 0xe0 000017e1: SHL 000017e2: DUP2 000017e3: MSTORE 000017e4: CALLER 000017e5: PUSH1 0x04 000017e7: DUP3 000017e8: ADD 000017e9: MSTORE 000017ea: PUSH1 0x24 000017ec: ADD 000017ed: PUSH2 0x1774 000017f0: JUMP 000017f1: JUMPDEST 000017f2: PUSH1 0x00 000017f4: DUP1 000017f5: MLOAD 000017f6: PUSH1 0x20 000017f8: PUSH2 0x2d95 000017fb: DUP4 000017fc: CODECOPY 000017fd: DUP2 000017fe: MLOAD 000017ff: SWAP2 00001800: MSTORE 00001801: SLOAD 00001802: PUSH1 0xff 00001804: AND 00001805: ISZERO 00001806: PUSH2 0x0e8f 00001809: JUMPI 0000180a: PUSH1 0x40 0000180c: MLOAD 0000180d: PUSH4 0xd93c0665 00001812: PUSH1 0xe0 00001814: SHL 00001815: DUP2 00001816: MSTORE 00001817: PUSH1 0x04 00001819: ADD 0000181a: PUSH1 0x40 0000181c: MLOAD 0000181d: DUP1 0000181e: SWAP2 0000181f: SUB 00001820: SWAP1 00001821: REVERT 00001822: JUMPDEST 00001823: PUSH1 0x00 00001825: DUP1 00001826: MLOAD 00001827: PUSH1 0x20 00001829: PUSH2 0x2db5 0000182c: DUP4 0000182d: CODECOPY 0000182e: DUP2 0000182f: MLOAD 00001830: SWAP2 00001831: MSTORE 00001832: DUP1 00001833: SLOAD 00001834: PUSH1 0x01 00001836: NOT 00001837: ADD 00001838: PUSH2 0x1854 0000183b: JUMPI 0000183c: PUSH1 0x40 0000183e: MLOAD 0000183f: PUSH4 0x3ee5aeb5 00001844: PUSH1 0xe0 00001846: SHL 00001847: DUP2 00001848: MSTORE 00001849: PUSH1 0x04 0000184b: ADD 0000184c: PUSH1 0x40 0000184e: MLOAD 0000184f: DUP1 00001850: SWAP2 00001851: SUB 00001852: SWAP1 00001853: REVERT 00001854: JUMPDEST 00001855: PUSH1 0x02 00001857: SWAP1 00001858: SSTORE 00001859: JUMP 0000185a: JUMPDEST 0000185b: PUSH2 0x18f5 0000185e: PUSH2 0x18ee 00001861: PUSH1 0x40 00001863: MLOAD 00001864: PUSH1 0x20 00001866: ADD 00001867: PUSH2 0x186f 0000186a: SWAP1 0000186b: PUSH2 0x29ac 0000186e: JUMP 0000186f: JUMPDEST 00001870: PUSH1 0x40 00001872: MLOAD 00001873: PUSH1 0x20 00001875: DUP2 00001876: DUP4 00001877: SUB 00001878: SUB 00001879: DUP2 0000187a: MSTORE 0000187b: SWAP1 0000187c: PUSH1 0x40 0000187e: MSTORE 0000187f: DUP1 00001880: MLOAD 00001881: SWAP1 00001882: PUSH1 0x20 00001884: ADD 00001885: KECCAK256 00001886: DUP10 00001887: DUP10 00001888: DUP10 00001889: DUP10 0000188a: DUP10 0000188b: PUSH1 0x40 0000188d: MLOAD 0000188e: PUSH2 0x1898 00001891: SWAP3 00001892: SWAP2 00001893: SWAP1 00001894: PUSH2 0x2a80 00001897: JUMP 00001898: JUMPDEST 00001899: PUSH1 0x40 0000189b: DUP1 0000189c: MLOAD 0000189d: SWAP2 0000189e: DUP3 0000189f: SWAP1 000018a0: SUB 000018a1: DUP3 000018a2: KECCAK256 000018a3: PUSH1 0x20 000018a5: DUP4 000018a6: ADD 000018a7: SWAP7 000018a8: SWAP1 000018a9: SWAP7 000018aa: MSTORE 000018ab: PUSH1 0x01 000018ad: PUSH1 0x01 000018af: PUSH1 0xa0 000018b1: SHL 000018b2: SUB 000018b3: SWAP5 000018b4: DUP6 000018b5: AND 000018b6: SWAP1 000018b7: DUP3 000018b8: ADD 000018b9: MSTORE 000018ba: SWAP3 000018bb: SWAP1 000018bc: SWAP2 000018bd: AND 000018be: PUSH1 0x60 000018c0: DUP4 000018c1: ADD 000018c2: MSTORE 000018c3: PUSH1 0x80 000018c5: DUP3 000018c6: ADD 000018c7: MSTORE 000018c8: PUSH1 0xa0 000018ca: DUP2 000018cb: ADD 000018cc: SWAP2 000018cd: SWAP1 000018ce: SWAP2 000018cf: MSTORE 000018d0: PUSH1 0xc0 000018d2: ADD 000018d3: JUMPDEST 000018d4: PUSH1 0x40 000018d6: MLOAD 000018d7: PUSH1 0x20 000018d9: DUP2 000018da: DUP4 000018db: SUB 000018dc: SUB 000018dd: DUP2 000018de: MSTORE 000018df: SWAP1 000018e0: PUSH1 0x40 000018e2: MSTORE 000018e3: DUP1 000018e4: MLOAD 000018e5: SWAP1 000018e6: PUSH1 0x20 000018e8: ADD 000018e9: KECCAK256 000018ea: PUSH2 0x216b 000018ed: JUMP 000018ee: JUMPDEST 000018ef: DUP4 000018f0: DUP4 000018f1: PUSH2 0x2258 000018f4: JUMP 000018f5: JUMPDEST 000018f6: POP 000018f7: POP 000018f8: POP 000018f9: POP 000018fa: POP 000018fb: POP 000018fc: POP 000018fd: JUMP 000018fe: JUMPDEST 000018ff: PUSH1 0x40 00001901: MLOAD 00001902: PUSH1 0x01 00001904: PUSH1 0x01 00001906: PUSH1 0xa0 00001908: SHL 00001909: SUB 0000190a: DUP4 0000190b: DUP2 0000190c: AND 0000190d: PUSH1 0x24 0000190f: DUP4 00001910: ADD 00001911: MSTORE 00001912: PUSH1 0x44 00001914: DUP3 00001915: ADD 00001916: DUP4 00001917: SWAP1 00001918: MSTORE 00001919: PUSH2 0x195d 0000191c: SWAP2 0000191d: DUP6 0000191e: SWAP2 0000191f: DUP3 00001920: AND 00001921: SWAP1 00001922: PUSH4 0xa9059cbb 00001927: SWAP1 00001928: PUSH1 0x64 0000192a: ADD 0000192b: JUMPDEST 0000192c: PUSH1 0x40 0000192e: MLOAD 0000192f: PUSH1 0x20 00001931: DUP2 00001932: DUP4 00001933: SUB 00001934: SUB 00001935: DUP2 00001936: MSTORE 00001937: SWAP1 00001938: PUSH1 0x40 0000193a: MSTORE 0000193b: SWAP2 0000193c: POP 0000193d: PUSH1 0xe0 0000193f: SHL 00001940: PUSH1 0x20 00001942: DUP3 00001943: ADD 00001944: DUP1 00001945: MLOAD 00001946: PUSH1 0x01 00001948: PUSH1 0x01 0000194a: PUSH1 0xe0 0000194c: SHL 0000194d: SUB 0000194e: DUP4 0000194f: DUP2 00001950: DUP4 00001951: AND 00001952: OR 00001953: DUP4 00001954: MSTORE 00001955: POP 00001956: POP 00001957: POP 00001958: POP 00001959: PUSH2 0x23be 0000195c: JUMP 0000195d: JUMPDEST 0000195e: POP 0000195f: POP 00001960: POP 00001961: JUMP 00001962: JUMPDEST 00001963: PUSH1 0x01 00001965: PUSH1 0x00 00001967: DUP1 00001968: MLOAD 00001969: PUSH1 0x20 0000196b: PUSH2 0x2db5 0000196e: DUP4 0000196f: CODECOPY 00001970: DUP2 00001971: MLOAD 00001972: SWAP2 00001973: MSTORE 00001974: SSTORE 00001975: JUMP 00001976: JUMPDEST 00001977: PUSH1 0x40 00001979: MLOAD 0000197a: PUSH1 0x01 0000197c: PUSH1 0x01 0000197e: PUSH1 0xa0 00001980: SHL 00001981: SUB 00001982: DUP5 00001983: DUP2 00001984: AND 00001985: PUSH1 0x24 00001987: DUP4 00001988: ADD 00001989: MSTORE 0000198a: DUP4 0000198b: DUP2 0000198c: AND 0000198d: PUSH1 0x44 0000198f: DUP4 00001990: ADD 00001991: MSTORE 00001992: PUSH1 0x64 00001994: DUP3 00001995: ADD 00001996: DUP4 00001997: SWAP1 00001998: MSTORE 00001999: PUSH2 0x1094 0000199c: SWAP2 0000199d: DUP7 0000199e: SWAP2 0000199f: DUP3 000019a0: AND 000019a1: SWAP1 000019a2: PUSH4 0x23b872dd 000019a7: SWAP1 000019a8: PUSH1 0x84 000019aa: ADD 000019ab: PUSH2 0x192b 000019ae: JUMP 000019af: JUMPDEST 000019b0: PUSH32 0x9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c199300 000019d1: DUP1 000019d2: SLOAD 000019d3: PUSH1 0x01 000019d5: PUSH1 0x01 000019d7: PUSH1 0xa0 000019d9: SHL 000019da: SUB 000019db: NOT 000019dc: DUP2 000019dd: AND 000019de: PUSH1 0x01 000019e0: PUSH1 0x01 000019e2: PUSH1 0xa0 000019e4: SHL 000019e5: SUB 000019e6: DUP5 000019e7: DUP2 000019e8: AND 000019e9: SWAP2 000019ea: DUP3 000019eb: OR 000019ec: DUP5 000019ed: SSTORE 000019ee: PUSH1 0x40 000019f0: MLOAD 000019f1: SWAP3 000019f2: AND 000019f3: SWAP2 000019f4: DUP3 000019f5: SWAP1 000019f6: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001a17: SWAP1 00001a18: PUSH1 0x00 00001a1a: SWAP1 00001a1b: LOG3 00001a1c: POP 00001a1d: POP 00001a1e: POP 00001a1f: JUMP 00001a20: JUMPDEST 00001a21: PUSH2 0x1a28 00001a24: PUSH2 0x242f 00001a27: JUMP 00001a28: JUMPDEST 00001a29: PUSH2 0x0e8f 00001a2c: PUSH2 0x2478 00001a2f: JUMP 00001a30: JUMPDEST 00001a31: PUSH2 0x1a38 00001a34: PUSH2 0x242f 00001a37: JUMP 00001a38: JUMPDEST 00001a39: PUSH2 0x0e8f 00001a3c: PUSH2 0x2499 00001a3f: JUMP 00001a40: JUMPDEST 00001a41: PUSH2 0x1a48 00001a44: PUSH2 0x242f 00001a47: JUMP 00001a48: JUMPDEST 00001a49: PUSH2 0x0bb2 00001a4c: DUP2 00001a4d: PUSH2 0x24a1 00001a50: JUMP 00001a51: JUMPDEST 00001a52: PUSH2 0x0bb2 00001a55: PUSH2 0x1b2b 00001a58: PUSH1 0x40 00001a5a: MLOAD 00001a5b: PUSH1 0x20 00001a5d: ADD 00001a5e: PUSH2 0x1a66 00001a61: SWAP1 00001a62: PUSH2 0x2b95 00001a65: JUMP 00001a66: JUMPDEST 00001a67: PUSH1 0x40 00001a69: DUP1 00001a6a: MLOAD 00001a6b: PUSH1 0x1f 00001a6d: NOT 00001a6e: DUP2 00001a6f: DUP5 00001a70: SUB 00001a71: ADD 00001a72: DUP2 00001a73: MSTORE 00001a74: SWAP2 00001a75: SWAP1 00001a76: MSTORE 00001a77: DUP1 00001a78: MLOAD 00001a79: PUSH1 0x20 00001a7b: SWAP2 00001a7c: DUP3 00001a7d: ADD 00001a7e: KECCAK256 00001a7f: SWAP1 00001a80: PUSH2 0x1a8b 00001a83: SWAP1 00001a84: DUP6 00001a85: ADD 00001a86: DUP6 00001a87: PUSH2 0x2711 00001a8a: JUMP 00001a8b: JUMPDEST 00001a8c: PUSH2 0x1a9b 00001a8f: PUSH1 0x40 00001a91: DUP7 00001a92: ADD 00001a93: PUSH1 0x20 00001a95: DUP8 00001a96: ADD 00001a97: PUSH2 0x2711 00001a9a: JUMP 00001a9b: JUMPDEST 00001a9c: PUSH2 0x1aab 00001a9f: PUSH1 0x60 00001aa1: DUP8 00001aa2: ADD 00001aa3: PUSH1 0x40 00001aa5: DUP9 00001aa6: ADD 00001aa7: PUSH2 0x2711 00001aaa: JUMP 00001aab: JUMPDEST 00001aac: PUSH1 0x60 00001aae: DUP8 00001aaf: ADD 00001ab0: CALLDATALOAD 00001ab1: PUSH1 0x80 00001ab3: DUP9 00001ab4: ADD 00001ab5: CALLDATALOAD 00001ab6: PUSH1 0xa0 00001ab8: DUP10 00001ab9: ADD 00001aba: CALLDATALOAD 00001abb: PUSH2 0x1ac7 00001abe: PUSH1 0xc0 00001ac0: DUP12 00001ac1: ADD 00001ac2: DUP12 00001ac3: PUSH2 0x2a39 00001ac6: JUMP 00001ac7: JUMPDEST 00001ac8: PUSH1 0x40 00001aca: MLOAD 00001acb: PUSH2 0x1ad5 00001ace: SWAP3 00001acf: SWAP2 00001ad0: SWAP1 00001ad1: PUSH2 0x2a80 00001ad4: JUMP 00001ad5: JUMPDEST 00001ad6: PUSH1 0x40 00001ad8: DUP1 00001ad9: MLOAD 00001ada: SWAP2 00001adb: DUP3 00001adc: SWAP1 00001add: SUB 00001ade: DUP3 00001adf: KECCAK256 00001ae0: PUSH1 0x20 00001ae2: DUP4 00001ae3: ADD 00001ae4: SWAP10 00001ae5: SWAP1 00001ae6: SWAP10 00001ae7: MSTORE 00001ae8: PUSH1 0x01 00001aea: PUSH1 0x01 00001aec: PUSH1 0xa0 00001aee: SHL 00001aef: SUB 00001af0: SWAP8 00001af1: DUP9 00001af2: AND 00001af3: SWAP1 00001af4: DUP3 00001af5: ADD 00001af6: MSTORE 00001af7: SWAP5 00001af8: DUP7 00001af9: AND 00001afa: PUSH1 0x60 00001afc: DUP7 00001afd: ADD 00001afe: MSTORE 00001aff: SWAP5 00001b00: SWAP1 00001b01: SWAP3 00001b02: AND 00001b03: PUSH1 0x80 00001b05: DUP5 00001b06: ADD 00001b07: MSTORE 00001b08: PUSH1 0xa0 00001b0a: DUP4 00001b0b: ADD 00001b0c: MSTORE 00001b0d: PUSH1 0xc0 00001b0f: DUP3 00001b10: ADD 00001b11: MSTORE 00001b12: PUSH1 0xe0 00001b14: DUP2 00001b15: ADD 00001b16: SWAP2 00001b17: SWAP1 00001b18: SWAP2 00001b19: MSTORE 00001b1a: PUSH2 0x0100 00001b1d: DUP2 00001b1e: ADD 00001b1f: SWAP2 00001b20: SWAP1 00001b21: SWAP2 00001b22: MSTORE 00001b23: PUSH2 0x0120 00001b26: ADD 00001b27: PUSH2 0x18d3 00001b2a: JUMP 00001b2b: JUMPDEST 00001b2c: PUSH2 0x1b39 00001b2f: PUSH2 0x0100 00001b32: DUP5 00001b33: ADD 00001b34: DUP5 00001b35: PUSH2 0x2a90 00001b38: JUMP 00001b39: JUMPDEST 00001b3a: PUSH2 0x2258 00001b3d: JUMP 00001b3e: JUMPDEST 00001b3f: PUSH2 0x1b63 00001b42: PUSH2 0x1b51 00001b45: PUSH1 0x60 00001b47: DUP4 00001b48: ADD 00001b49: PUSH1 0x40 00001b4b: DUP5 00001b4c: ADD 00001b4d: PUSH2 0x2711 00001b50: JUMP 00001b51: JUMPDEST 00001b52: PUSH1 0x60 00001b54: DUP4 00001b55: ADD 00001b56: CALLDATALOAD 00001b57: PUSH2 0x0af7 00001b5a: PUSH1 0x20 00001b5c: DUP6 00001b5d: ADD 00001b5e: DUP6 00001b5f: PUSH2 0x2711 00001b62: JUMP 00001b63: JUMPDEST 00001b64: PUSH2 0x1b70 00001b67: PUSH1 0x20 00001b69: DUP3 00001b6a: ADD 00001b6b: DUP3 00001b6c: PUSH2 0x2711 00001b6f: JUMP 00001b70: JUMPDEST 00001b71: PUSH1 0x01 00001b73: DUP1 00001b74: SLOAD 00001b75: PUSH1 0x01 00001b77: PUSH1 0x01 00001b79: PUSH1 0xa0 00001b7b: SHL 00001b7c: SUB 00001b7d: SWAP3 00001b7e: SWAP1 00001b7f: SWAP3 00001b80: AND 00001b81: SWAP2 00001b82: CALLER 00001b83: SWAP2 00001b84: PUSH1 0x00 00001b86: PUSH2 0x1b8e 00001b89: DUP4 00001b8a: PUSH2 0x2a20 00001b8d: JUMP 00001b8e: JUMPDEST 00001b8f: SWAP1 00001b90: SWAP2 00001b91: SSTORE 00001b92: POP 00001b93: PUSH32 0x12cfef552106633ca5f39bdbb776ed0778d8ea02de88d4f55a1e97dc53e8a19c 00001bb4: PUSH2 0x1bc3 00001bb7: PUSH1 0x40 00001bb9: DUP7 00001bba: ADD 00001bbb: PUSH1 0x20 00001bbd: DUP8 00001bbe: ADD 00001bbf: PUSH2 0x2711 00001bc2: JUMP 00001bc3: JUMPDEST 00001bc4: PUSH2 0x1bd3 00001bc7: PUSH1 0x60 00001bc9: DUP8 00001bca: ADD 00001bcb: PUSH1 0x40 00001bcd: DUP9 00001bce: ADD 00001bcf: PUSH2 0x2711 00001bd2: JUMP 00001bd3: JUMPDEST 00001bd4: PUSH1 0x60 00001bd6: DUP8 00001bd7: ADD 00001bd8: CALLDATALOAD 00001bd9: DUP1 00001bda: PUSH1 0x80 00001bdc: DUP10 00001bdd: ADD 00001bde: CALLDATALOAD 00001bdf: PUSH2 0x1beb 00001be2: PUSH1 0xc0 00001be4: DUP12 00001be5: ADD 00001be6: DUP12 00001be7: PUSH2 0x2a39 00001bea: JUMP 00001beb: JUMPDEST 00001bec: PUSH1 0x01 00001bee: PUSH1 0x40 00001bf0: MLOAD 00001bf1: PUSH2 0x1c01 00001bf4: SWAP9 00001bf5: SWAP8 00001bf6: SWAP7 00001bf7: SWAP6 00001bf8: SWAP5 00001bf9: SWAP4 00001bfa: SWAP3 00001bfb: SWAP2 00001bfc: SWAP1 00001bfd: PUSH2 0x2c42 00001c00: JUMP 00001c01: JUMPDEST 00001c02: PUSH1 0x40 00001c04: MLOAD 00001c05: DUP1 00001c06: SWAP2 00001c07: SUB 00001c08: SWAP1 00001c09: LOG4 00001c0a: POP 00001c0b: JUMP 00001c0c: JUMPDEST 00001c0d: PUSH1 0x00 00001c0f: PUSH2 0x1c1b 00001c12: PUSH1 0x20 00001c14: DUP4 00001c15: ADD 00001c16: DUP4 00001c17: PUSH2 0x2711 00001c1a: JUMP 00001c1b: JUMPDEST 00001c1c: PUSH1 0x40 00001c1e: MLOAD 00001c1f: PUSH4 0x70a08231 00001c24: PUSH1 0xe0 00001c26: SHL 00001c27: DUP2 00001c28: MSTORE 00001c29: ADDRESS 00001c2a: PUSH1 0x04 00001c2c: DUP3 00001c2d: ADD 00001c2e: MSTORE 00001c2f: PUSH1 0x01 00001c31: PUSH1 0x01 00001c33: PUSH1 0xa0 00001c35: SHL 00001c36: SUB 00001c37: SWAP2 00001c38: SWAP1 00001c39: SWAP2 00001c3a: AND 00001c3b: SWAP1 00001c3c: PUSH4 0x70a08231 00001c41: SWAP1 00001c42: PUSH1 0x24 00001c44: ADD 00001c45: PUSH1 0x20 00001c47: PUSH1 0x40 00001c49: MLOAD 00001c4a: DUP1 00001c4b: DUP4 00001c4c: SUB 00001c4d: DUP2 00001c4e: DUP7 00001c4f: GAS 00001c50: STATICCALL 00001c51: ISZERO 00001c52: DUP1 00001c53: ISZERO 00001c54: PUSH2 0x1c61 00001c57: JUMPI 00001c58: RETURNDATASIZE 00001c59: PUSH1 0x00 00001c5b: DUP1 00001c5c: RETURNDATACOPY 00001c5d: RETURNDATASIZE 00001c5e: PUSH1 0x00 00001c60: REVERT 00001c61: JUMPDEST 00001c62: POP 00001c63: POP 00001c64: POP 00001c65: POP 00001c66: PUSH1 0x40 00001c68: MLOAD 00001c69: RETURNDATASIZE 00001c6a: PUSH1 0x1f 00001c6c: NOT 00001c6d: PUSH1 0x1f 00001c6f: DUP3 00001c70: ADD 00001c71: AND 00001c72: DUP3 00001c73: ADD 00001c74: DUP1 00001c75: PUSH1 0x40 00001c77: MSTORE 00001c78: POP 00001c79: DUP2 00001c7a: ADD 00001c7b: SWAP1 00001c7c: PUSH2 0x1c85 00001c7f: SWAP2 00001c80: SWAP1 00001c81: PUSH2 0x2c9b 00001c84: JUMP 00001c85: JUMPDEST 00001c86: SWAP1 00001c87: POP 00001c88: PUSH1 0x00 00001c8a: PUSH2 0x1ca1 00001c8d: PUSH2 0x1c9c 00001c90: PUSH1 0x40 00001c92: DUP6 00001c93: ADD 00001c94: PUSH1 0x20 00001c96: DUP7 00001c97: ADD 00001c98: PUSH2 0x2711 00001c9b: JUMP 00001c9c: JUMPDEST 00001c9d: PUSH2 0x24a9 00001ca0: JUMP 00001ca1: JUMPDEST 00001ca2: PUSH1 0x04 00001ca4: SLOAD 00001ca5: SWAP1 00001ca6: SWAP2 00001ca7: POP 00001ca8: PUSH2 0x1cc6 00001cab: SWAP1 00001cac: PUSH1 0x01 00001cae: PUSH1 0x01 00001cb0: PUSH1 0xa0 00001cb2: SHL 00001cb3: SUB 00001cb4: AND 00001cb5: PUSH1 0x60 00001cb7: DUP6 00001cb8: ADD 00001cb9: CALLDATALOAD 00001cba: PUSH2 0x0af7 00001cbd: PUSH1 0x20 00001cbf: DUP8 00001cc0: ADD 00001cc1: DUP8 00001cc2: PUSH2 0x2711 00001cc5: JUMP 00001cc6: JUMPDEST 00001cc7: PUSH1 0x04 00001cc9: SLOAD 00001cca: PUSH1 0x00 00001ccc: SWAP1 00001ccd: PUSH1 0x01 00001ccf: PUSH1 0x01 00001cd1: PUSH1 0xa0 00001cd3: SHL 00001cd4: SUB 00001cd5: AND 00001cd6: PUSH2 0x1ce2 00001cd9: PUSH1 0xe0 00001cdb: DUP7 00001cdc: ADD 00001cdd: DUP7 00001cde: PUSH2 0x2a39 00001ce1: JUMP 00001ce2: JUMPDEST 00001ce3: PUSH1 0x40 00001ce5: MLOAD 00001ce6: PUSH2 0x1cf0 00001ce9: SWAP3 00001cea: SWAP2 00001ceb: SWAP1 00001cec: PUSH2 0x2a80 00001cef: JUMP 00001cf0: JUMPDEST 00001cf1: PUSH1 0x00 00001cf3: PUSH1 0x40 00001cf5: MLOAD 00001cf6: DUP1 00001cf7: DUP4 00001cf8: SUB 00001cf9: DUP2 00001cfa: PUSH1 0x00 00001cfc: DUP7 00001cfd: GAS 00001cfe: CALL 00001cff: SWAP2 00001d00: POP 00001d01: POP 00001d02: RETURNDATASIZE 00001d03: DUP1 00001d04: PUSH1 0x00 00001d06: DUP2 00001d07: EQ 00001d08: PUSH2 0x1d2d 00001d0b: JUMPI 00001d0c: PUSH1 0x40 00001d0e: MLOAD 00001d0f: SWAP2 00001d10: POP 00001d11: PUSH1 0x1f 00001d13: NOT 00001d14: PUSH1 0x3f 00001d16: RETURNDATASIZE 00001d17: ADD 00001d18: AND 00001d19: DUP3 00001d1a: ADD 00001d1b: PUSH1 0x40 00001d1d: MSTORE 00001d1e: RETURNDATASIZE 00001d1f: DUP3 00001d20: MSTORE 00001d21: RETURNDATASIZE 00001d22: PUSH1 0x00 00001d24: PUSH1 0x20 00001d26: DUP5 00001d27: ADD 00001d28: RETURNDATACOPY 00001d29: PUSH2 0x1d32 00001d2c: JUMP 00001d2d: JUMPDEST 00001d2e: PUSH1 0x60 00001d30: SWAP2 00001d31: POP 00001d32: JUMPDEST 00001d33: POP 00001d34: SWAP1 00001d35: SWAP2 00001d36: POP 00001d37: PUSH1 0x01 00001d39: SWAP1 00001d3a: POP 00001d3b: PUSH1 0x00 00001d3d: DUP3 00001d3e: PUSH2 0x1efa 00001d41: JUMPI 00001d42: PUSH1 0x40 00001d44: MLOAD 00001d45: PUSH1 0x05 00001d47: PUSH1 0xf8 00001d49: SHL 00001d4a: PUSH1 0x20 00001d4c: DUP3 00001d4d: ADD 00001d4e: MSTORE 00001d4f: PUSH1 0x00 00001d51: SWAP1 00001d52: PUSH1 0x21 00001d54: ADD 00001d55: PUSH1 0x40 00001d57: DUP1 00001d58: MLOAD 00001d59: DUP1 00001d5a: DUP4 00001d5b: SUB 00001d5c: PUSH1 0x1f 00001d5e: NOT 00001d5f: ADD 00001d60: DUP2 00001d61: MSTORE 00001d62: PUSH1 0x01 00001d64: DUP1 00001d65: DUP5 00001d66: MSTORE 00001d67: DUP4 00001d68: DUP4 00001d69: ADD 00001d6a: SWAP1 00001d6b: SWAP3 00001d6c: MSTORE 00001d6d: SWAP3 00001d6e: POP 00001d6f: PUSH1 0x00 00001d71: SWAP2 00001d72: SWAP1 00001d73: DUP2 00001d74: PUSH1 0x20 00001d76: ADD 00001d77: JUMPDEST 00001d78: PUSH1 0x60 00001d7a: DUP2 00001d7b: MSTORE 00001d7c: PUSH1 0x20 00001d7e: ADD 00001d7f: SWAP1 00001d80: PUSH1 0x01 00001d82: SWAP1 00001d83: SUB 00001d84: SWAP1 00001d85: DUP2 00001d86: PUSH2 0x1d77 00001d89: JUMPI 00001d8a: SWAP1 00001d8b: POP 00001d8c: POP 00001d8d: SWAP1 00001d8e: POP 00001d8f: PUSH2 0x1d9b 00001d92: PUSH1 0x20 00001d94: DUP10 00001d95: ADD 00001d96: DUP10 00001d97: PUSH2 0x2711 00001d9a: JUMP 00001d9b: JUMPDEST 00001d9c: PUSH1 0x40 00001d9e: DUP1 00001d9f: MLOAD 00001da0: PUSH1 0x01 00001da2: PUSH1 0x01 00001da4: PUSH1 0xa0 00001da6: SHL 00001da7: SUB 00001da8: SWAP1 00001da9: SWAP3 00001daa: AND 00001dab: PUSH1 0x20 00001dad: DUP4 00001dae: ADD 00001daf: MSTORE 00001db0: ADDRESS 00001db1: SWAP1 00001db2: DUP3 00001db3: ADD 00001db4: MSTORE 00001db5: PUSH1 0x60 00001db7: DUP1 00001db8: DUP11 00001db9: ADD 00001dba: CALLDATALOAD 00001dbb: SWAP1 00001dbc: DUP3 00001dbd: ADD 00001dbe: MSTORE 00001dbf: PUSH1 0x80 00001dc1: ADD 00001dc2: PUSH1 0x40 00001dc4: MLOAD 00001dc5: PUSH1 0x20 00001dc7: DUP2 00001dc8: DUP4 00001dc9: SUB 00001dca: SUB 00001dcb: DUP2 00001dcc: MSTORE 00001dcd: SWAP1 00001dce: PUSH1 0x40 00001dd0: MSTORE 00001dd1: DUP2 00001dd2: PUSH1 0x00 00001dd4: DUP2 00001dd5: MLOAD 00001dd6: DUP2 00001dd7: LT 00001dd8: PUSH2 0x1de3 00001ddb: JUMPI 00001ddc: PUSH2 0x1de3 00001ddf: PUSH2 0x2b7f 00001de2: JUMP 00001de3: JUMPDEST 00001de4: PUSH1 0x20 00001de6: SWAP1 00001de7: DUP2 00001de8: MUL 00001de9: SWAP2 00001dea: SWAP1 00001deb: SWAP2 00001dec: ADD 00001ded: ADD 00001dee: MSTORE 00001def: PUSH1 0x04 00001df1: DUP1 00001df2: SLOAD 00001df3: PUSH1 0x40 00001df5: MLOAD 00001df6: PUSH4 0x24856bc3 00001dfb: PUSH1 0xe0 00001dfd: SHL 00001dfe: DUP2 00001dff: MSTORE 00001e00: PUSH1 0x01 00001e02: PUSH1 0x01 00001e04: PUSH1 0xa0 00001e06: SHL 00001e07: SUB 00001e08: SWAP1 00001e09: SWAP2 00001e0a: AND 00001e0b: SWAP2 00001e0c: PUSH4 0x24856bc3 00001e11: SWAP2 00001e12: PUSH2 0x1e1f 00001e15: SWAP2 00001e16: DUP7 00001e17: SWAP2 00001e18: DUP7 00001e19: SWAP2 00001e1a: ADD 00001e1b: PUSH2 0x2cfa 00001e1e: JUMP 00001e1f: JUMPDEST 00001e20: PUSH1 0x00 00001e22: PUSH1 0x40 00001e24: MLOAD 00001e25: DUP1 00001e26: DUP4 00001e27: SUB 00001e28: DUP2 00001e29: PUSH1 0x00 00001e2b: DUP8 00001e2c: DUP1 00001e2d: EXTCODESIZE 00001e2e: ISZERO 00001e2f: DUP1 00001e30: ISZERO 00001e31: PUSH2 0x1e39 00001e34: JUMPI 00001e35: PUSH1 0x00 00001e37: DUP1 00001e38: REVERT 00001e39: JUMPDEST 00001e3a: POP 00001e3b: GAS 00001e3c: CALL 00001e3d: ISZERO 00001e3e: DUP1 00001e3f: ISZERO 00001e40: PUSH2 0x1e4d 00001e43: JUMPI 00001e44: RETURNDATASIZE 00001e45: PUSH1 0x00 00001e47: DUP1 00001e48: RETURNDATACOPY 00001e49: RETURNDATASIZE 00001e4a: PUSH1 0x00 00001e4c: REVERT 00001e4d: JUMPDEST 00001e4e: POP 00001e4f: PUSH1 0x00 00001e51: SWAP3 00001e52: POP 00001e53: PUSH2 0x1e62 00001e56: SWAP2 00001e57: POP 00001e58: POP 00001e59: PUSH1 0x20 00001e5b: DUP11 00001e5c: ADD 00001e5d: DUP11 00001e5e: PUSH2 0x2711 00001e61: JUMP 00001e62: JUMPDEST 00001e63: PUSH1 0x40 00001e65: MLOAD 00001e66: PUSH4 0x70a08231 00001e6b: PUSH1 0xe0 00001e6d: SHL 00001e6e: DUP2 00001e6f: MSTORE 00001e70: ADDRESS 00001e71: PUSH1 0x04 00001e73: DUP3 00001e74: ADD 00001e75: MSTORE 00001e76: PUSH1 0x01 00001e78: PUSH1 0x01 00001e7a: PUSH1 0xa0 00001e7c: SHL 00001e7d: SUB 00001e7e: SWAP2 00001e7f: SWAP1 00001e80: SWAP2 00001e81: AND 00001e82: SWAP1 00001e83: PUSH4 0x70a08231 00001e88: SWAP1 00001e89: PUSH1 0x24 00001e8b: ADD 00001e8c: PUSH1 0x20 00001e8e: PUSH1 0x40 00001e90: MLOAD 00001e91: DUP1 00001e92: DUP4 00001e93: SUB 00001e94: DUP2 00001e95: DUP7 00001e96: GAS 00001e97: STATICCALL 00001e98: ISZERO 00001e99: DUP1 00001e9a: ISZERO 00001e9b: PUSH2 0x1ea8 00001e9e: JUMPI 00001e9f: RETURNDATASIZE 00001ea0: PUSH1 0x00 00001ea2: DUP1 00001ea3: RETURNDATACOPY 00001ea4: RETURNDATASIZE 00001ea5: PUSH1 0x00 00001ea7: REVERT 00001ea8: JUMPDEST 00001ea9: POP 00001eaa: POP 00001eab: POP 00001eac: POP 00001ead: PUSH1 0x40 00001eaf: MLOAD 00001eb0: RETURNDATASIZE 00001eb1: PUSH1 0x1f 00001eb3: NOT 00001eb4: PUSH1 0x1f 00001eb6: DUP3 00001eb7: ADD 00001eb8: AND 00001eb9: DUP3 00001eba: ADD 00001ebb: DUP1 00001ebc: PUSH1 0x40 00001ebe: MSTORE 00001ebf: POP 00001ec0: DUP2 00001ec1: ADD 00001ec2: SWAP1 00001ec3: PUSH2 0x1ecc 00001ec6: SWAP2 00001ec7: SWAP1 00001ec8: PUSH2 0x2c9b 00001ecb: JUMP 00001ecc: JUMPDEST 00001ecd: SWAP1 00001ece: POP 00001ecf: DUP8 00001ed0: DUP2 00001ed1: EQ 00001ed2: PUSH2 0x1eee 00001ed5: JUMPI 00001ed6: PUSH1 0x40 00001ed8: MLOAD 00001ed9: PUSH4 0x2e5e1d11 00001ede: PUSH1 0xe2 00001ee0: SHL 00001ee1: DUP2 00001ee2: MSTORE 00001ee3: PUSH1 0x04 00001ee5: ADD 00001ee6: PUSH1 0x40 00001ee8: MLOAD 00001ee9: DUP1 00001eea: SWAP2 00001eeb: SUB 00001eec: SWAP1 00001eed: REVERT 00001eee: JUMPDEST 00001eef: PUSH1 0x00 00001ef1: SWAP5 00001ef2: POP 00001ef3: POP 00001ef4: POP 00001ef5: POP 00001ef6: PUSH2 0x2012 00001ef9: JUMP 00001efa: JUMPDEST 00001efb: PUSH1 0x00 00001efd: PUSH2 0x1f09 00001f00: PUSH1 0x20 00001f02: DUP9 00001f03: ADD 00001f04: DUP9 00001f05: PUSH2 0x2711 00001f08: JUMP 00001f09: JUMPDEST 00001f0a: PUSH1 0x40 00001f0c: MLOAD 00001f0d: PUSH4 0x70a08231 00001f12: PUSH1 0xe0 00001f14: SHL 00001f15: DUP2 00001f16: MSTORE 00001f17: ADDRESS 00001f18: PUSH1 0x04 00001f1a: DUP3 00001f1b: ADD 00001f1c: MSTORE 00001f1d: PUSH1 0x01 00001f1f: PUSH1 0x01 00001f21: PUSH1 0xa0 00001f23: SHL 00001f24: SUB 00001f25: SWAP2 00001f26: SWAP1 00001f27: SWAP2 00001f28: AND 00001f29: SWAP1 00001f2a: PUSH4 0x70a08231 00001f2f: SWAP1 00001f30: PUSH1 0x24 00001f32: ADD 00001f33: PUSH1 0x20 00001f35: PUSH1 0x40 00001f37: MLOAD 00001f38: DUP1 00001f39: DUP4 00001f3a: SUB 00001f3b: DUP2 00001f3c: DUP7 00001f3d: GAS 00001f3e: STATICCALL 00001f3f: ISZERO 00001f40: DUP1 00001f41: ISZERO 00001f42: PUSH2 0x1f4f 00001f45: JUMPI 00001f46: RETURNDATASIZE 00001f47: PUSH1 0x00 00001f49: DUP1 00001f4a: RETURNDATACOPY 00001f4b: RETURNDATASIZE 00001f4c: PUSH1 0x00 00001f4e: REVERT 00001f4f: JUMPDEST 00001f50: POP 00001f51: POP 00001f52: POP 00001f53: POP 00001f54: PUSH1 0x40 00001f56: MLOAD 00001f57: RETURNDATASIZE 00001f58: PUSH1 0x1f 00001f5a: NOT 00001f5b: PUSH1 0x1f 00001f5d: DUP3 00001f5e: ADD 00001f5f: AND 00001f60: DUP3 00001f61: ADD 00001f62: DUP1 00001f63: PUSH1 0x40 00001f65: MSTORE 00001f66: POP 00001f67: DUP2 00001f68: ADD 00001f69: SWAP1 00001f6a: PUSH2 0x1f73 00001f6d: SWAP2 00001f6e: SWAP1 00001f6f: PUSH2 0x2c9b 00001f72: JUMP 00001f73: JUMPDEST 00001f74: SWAP1 00001f75: POP 00001f76: PUSH1 0x60 00001f78: DUP8 00001f79: ADD 00001f7a: CALLDATALOAD 00001f7b: PUSH2 0x1f84 00001f7e: DUP3 00001f7f: DUP9 00001f80: PUSH2 0x2ad9 00001f83: JUMP 00001f84: JUMPDEST 00001f85: EQ 00001f86: PUSH2 0x1fa2 00001f89: JUMPI 00001f8a: PUSH1 0x40 00001f8c: MLOAD 00001f8d: PUSH4 0x03eadf35 00001f92: PUSH1 0xe0 00001f94: SHL 00001f95: DUP2 00001f96: MSTORE 00001f97: PUSH1 0x04 00001f99: ADD 00001f9a: PUSH1 0x40 00001f9c: MLOAD 00001f9d: DUP1 00001f9e: SWAP2 00001f9f: SUB 00001fa0: SWAP1 00001fa1: REVERT 00001fa2: JUMPDEST 00001fa3: PUSH1 0x00 00001fa5: PUSH2 0x1fb7 00001fa8: PUSH2 0x1c9c 00001fab: PUSH1 0x40 00001fad: DUP11 00001fae: ADD 00001faf: PUSH1 0x20 00001fb1: DUP12 00001fb2: ADD 00001fb3: PUSH2 0x2711 00001fb6: JUMP 00001fb7: JUMPDEST 00001fb8: SWAP1 00001fb9: POP 00001fba: PUSH2 0x1fc3 00001fbd: DUP7 00001fbe: DUP3 00001fbf: PUSH2 0x2ad9 00001fc2: JUMP 00001fc3: JUMPDEST 00001fc4: SWAP3 00001fc5: POP 00001fc6: DUP3 00001fc7: PUSH1 0x00 00001fc9: SUB 00001fca: PUSH2 0x1fe6 00001fcd: JUMPI 00001fce: PUSH1 0x40 00001fd0: MLOAD 00001fd1: PUSH4 0xd4ce04b9 00001fd6: PUSH1 0xe0 00001fd8: SHL 00001fd9: DUP2 00001fda: MSTORE 00001fdb: PUSH1 0x04 00001fdd: ADD 00001fde: PUSH1 0x40 00001fe0: MLOAD 00001fe1: DUP1 00001fe2: SWAP2 00001fe3: SUB 00001fe4: SWAP1 00001fe5: REVERT 00001fe6: JUMPDEST 00001fe7: PUSH2 0x200f 00001fea: PUSH2 0x1ff9 00001fed: PUSH1 0x40 00001fef: DUP11 00001ff0: ADD 00001ff1: PUSH1 0x20 00001ff3: DUP12 00001ff4: ADD 00001ff5: PUSH2 0x2711 00001ff8: JUMP 00001ff9: JUMPDEST 00001ffa: PUSH2 0x2009 00001ffd: PUSH1 0x60 00001fff: DUP12 00002000: ADD 00002001: PUSH1 0x40 00002003: DUP13 00002004: ADD 00002005: PUSH2 0x2711 00002008: JUMP 00002009: JUMPDEST 0000200a: DUP6 0000200b: PUSH2 0x2549 0000200e: JUMP 0000200f: JUMPDEST 00002010: POP 00002011: POP 00002012: JUMPDEST 00002013: PUSH2 0x201f 00002016: PUSH1 0x20 00002018: DUP8 00002019: ADD 0000201a: DUP8 0000201b: PUSH2 0x2711 0000201e: JUMP 0000201f: JUMPDEST 00002020: PUSH1 0x01 00002022: DUP1 00002023: SLOAD 00002024: PUSH1 0x01 00002026: PUSH1 0x01 00002028: PUSH1 0xa0 0000202a: SHL 0000202b: SUB 0000202c: SWAP3 0000202d: SWAP1 0000202e: SWAP3 0000202f: AND 00002030: SWAP2 00002031: CALLER 00002032: SWAP2 00002033: PUSH1 0x00 00002035: PUSH2 0x203d 00002038: DUP4 00002039: PUSH2 0x2a20 0000203c: JUMP 0000203d: JUMPDEST 0000203e: SWAP1 0000203f: SWAP2 00002040: SSTORE 00002041: POP 00002042: PUSH32 0x12cfef552106633ca5f39bdbb776ed0778d8ea02de88d4f55a1e97dc53e8a19c 00002063: PUSH2 0x2072 00002066: PUSH1 0x40 00002068: DUP12 00002069: ADD 0000206a: PUSH1 0x20 0000206c: DUP13 0000206d: ADD 0000206e: PUSH2 0x2711 00002071: JUMP 00002072: JUMPDEST 00002073: PUSH2 0x2082 00002076: PUSH1 0x60 00002078: DUP13 00002079: ADD 0000207a: PUSH1 0x40 0000207c: DUP14 0000207d: ADD 0000207e: PUSH2 0x2711 00002081: JUMP 00002082: JUMPDEST 00002083: DUP12 00002084: PUSH1 0x60 00002086: ADD 00002087: CALLDATALOAD 00002088: DUP8 00002089: DUP14 0000208a: PUSH1 0x80 0000208c: ADD 0000208d: CALLDATALOAD 0000208e: DUP15 0000208f: DUP1 00002090: PUSH1 0xc0 00002092: ADD 00002093: SWAP1 00002094: PUSH2 0x209d 00002097: SWAP2 00002098: SWAP1 00002099: PUSH2 0x2a39 0000209c: JUMP 0000209d: JUMPDEST 0000209e: DUP13 0000209f: PUSH1 0x40 000020a1: MLOAD 000020a2: PUSH2 0x20b2 000020a5: SWAP9 000020a6: SWAP8 000020a7: SWAP7 000020a8: SWAP6 000020a9: SWAP5 000020aa: SWAP4 000020ab: SWAP3 000020ac: SWAP2 000020ad: SWAP1 000020ae: PUSH2 0x2c42 000020b1: JUMP 000020b2: JUMPDEST 000020b3: PUSH1 0x40 000020b5: MLOAD 000020b6: DUP1 000020b7: SWAP2 000020b8: SUB 000020b9: SWAP1 000020ba: LOG4 000020bb: POP 000020bc: POP 000020bd: POP 000020be: POP 000020bf: POP 000020c0: POP 000020c1: JUMP 000020c2: JUMPDEST 000020c3: PUSH2 0x20ca 000020c6: PUSH2 0x17f1 000020c9: JUMP 000020ca: JUMPDEST 000020cb: PUSH1 0x00 000020cd: DUP1 000020ce: MLOAD 000020cf: PUSH1 0x20 000020d1: PUSH2 0x2d95 000020d4: DUP4 000020d5: CODECOPY 000020d6: DUP2 000020d7: MLOAD 000020d8: SWAP2 000020d9: MSTORE 000020da: DUP1 000020db: SLOAD 000020dc: PUSH1 0xff 000020de: NOT 000020df: AND 000020e0: PUSH1 0x01 000020e2: OR 000020e3: DUP2 000020e4: SSTORE 000020e5: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 00002106: CALLER 00002107: JUMPDEST 00002108: PUSH1 0x40 0000210a: MLOAD 0000210b: PUSH1 0x01 0000210d: PUSH1 0x01 0000210f: PUSH1 0xa0 00002111: SHL 00002112: SUB 00002113: SWAP1 00002114: SWAP2 00002115: AND 00002116: DUP2 00002117: MSTORE 00002118: PUSH1 0x20 0000211a: ADD 0000211b: PUSH1 0x40 0000211d: MLOAD 0000211e: DUP1 0000211f: SWAP2 00002120: SUB 00002121: SWAP1 00002122: LOG1 00002123: POP 00002124: JUMP 00002125: JUMPDEST 00002126: PUSH2 0x212d 00002129: PUSH2 0x25f6 0000212c: JUMP 0000212d: JUMPDEST 0000212e: PUSH1 0x00 00002130: DUP1 00002131: MLOAD 00002132: PUSH1 0x20 00002134: PUSH2 0x2d95 00002137: DUP4 00002138: CODECOPY 00002139: DUP2 0000213a: MLOAD 0000213b: SWAP2 0000213c: MSTORE 0000213d: DUP1 0000213e: SLOAD 0000213f: PUSH1 0xff 00002141: NOT 00002142: AND 00002143: DUP2 00002144: SSTORE 00002145: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 00002166: CALLER 00002167: PUSH2 0x2107 0000216a: JUMP 0000216b: JUMPDEST 0000216c: PUSH1 0x00 0000216e: DUP1 0000216f: PUSH2 0x2219 00002172: PUSH1 0x00 00002174: DUP1 00002175: SLOAD 00002176: PUSH1 0x40 00002178: DUP1 00002179: MLOAD 0000217a: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f 0000219b: PUSH1 0x20 0000219d: DUP3 0000219e: ADD 0000219f: MSTORE 000021a0: PUSH32 0xa5e0928a48d40203e25b3284d29c713686a489a5407e6411b082118ba07b3902 000021c1: SWAP2 000021c2: DUP2 000021c3: ADD 000021c4: SWAP2 000021c5: SWAP1 000021c6: SWAP2 000021c7: MSTORE 000021c8: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6 000021e9: PUSH1 0x60 000021eb: DUP3 000021ec: ADD 000021ed: MSTORE 000021ee: PUSH1 0x80 000021f0: DUP2 000021f1: ADD 000021f2: SWAP2 000021f3: SWAP1 000021f4: SWAP2 000021f5: MSTORE 000021f6: ADDRESS 000021f7: PUSH1 0xa0 000021f9: DUP3 000021fa: ADD 000021fb: MSTORE 000021fc: PUSH1 0xc0 000021fe: ADD 000021ff: PUSH1 0x40 00002201: MLOAD 00002202: PUSH1 0x20 00002204: DUP2 00002205: DUP4 00002206: SUB 00002207: SUB 00002208: DUP2 00002209: MSTORE 0000220a: SWAP1 0000220b: PUSH1 0x40 0000220d: MSTORE 0000220e: DUP1 0000220f: MLOAD 00002210: SWAP1 00002211: PUSH1 0x20 00002213: ADD 00002214: KECCAK256 00002215: SWAP1 00002216: POP 00002217: SWAP1 00002218: JUMP 00002219: JUMPDEST 0000221a: PUSH1 0x40 0000221c: MLOAD 0000221d: PUSH2 0x1901 00002220: PUSH1 0xf0 00002222: SHL 00002223: PUSH1 0x20 00002225: DUP3 00002226: ADD 00002227: MSTORE 00002228: PUSH1 0x22 0000222a: DUP2 0000222b: ADD 0000222c: SWAP2 0000222d: SWAP1 0000222e: SWAP2 0000222f: MSTORE 00002230: PUSH1 0x42 00002232: DUP2 00002233: ADD 00002234: DUP5 00002235: SWAP1 00002236: MSTORE 00002237: PUSH1 0x62 00002239: ADD 0000223a: PUSH1 0x40 0000223c: DUP1 0000223d: MLOAD 0000223e: PUSH1 0x1f 00002240: NOT 00002241: DUP2 00002242: DUP5 00002243: SUB 00002244: ADD 00002245: DUP2 00002246: MSTORE 00002247: SWAP2 00002248: SWAP1 00002249: MSTORE 0000224a: DUP1 0000224b: MLOAD 0000224c: PUSH1 0x20 0000224e: SWAP1 0000224f: SWAP2 00002250: ADD 00002251: KECCAK256 00002252: SWAP4 00002253: SWAP3 00002254: POP 00002255: POP 00002256: POP 00002257: JUMP 00002258: JUMPDEST 00002259: PUSH1 0x00 0000225b: DUP1 0000225c: JUMPDEST 0000225d: DUP3 0000225e: DUP2 0000225f: LT 00002260: ISZERO 00002261: PUSH2 0x23b7 00002264: JUMPI 00002265: PUSH1 0x00 00002267: PUSH1 0x01 00002269: DUP7 0000226a: DUP7 0000226b: DUP7 0000226c: DUP6 0000226d: DUP2 0000226e: DUP2 0000226f: LT 00002270: PUSH2 0x227b 00002273: JUMPI 00002274: PUSH2 0x227b 00002277: PUSH2 0x2b7f 0000227a: JUMP 0000227b: JUMPDEST 0000227c: PUSH2 0x2291 0000227f: SWAP3 00002280: PUSH1 0x20 00002282: PUSH1 0x60 00002284: SWAP1 00002285: SWAP3 00002286: MUL 00002287: ADD 00002288: SWAP1 00002289: DUP2 0000228a: ADD 0000228b: SWAP2 0000228c: POP 0000228d: PUSH2 0x2d71 00002290: JUMP 00002291: JUMPDEST 00002292: DUP8 00002293: DUP8 00002294: DUP7 00002295: DUP2 00002296: DUP2 00002297: LT 00002298: PUSH2 0x22a3 0000229b: JUMPI 0000229c: PUSH2 0x22a3 0000229f: PUSH2 0x2b7f 000022a2: JUMP 000022a3: JUMPDEST 000022a4: SWAP1 000022a5: POP 000022a6: PUSH1 0x60 000022a8: MUL 000022a9: ADD 000022aa: PUSH1 0x20 000022ac: ADD 000022ad: CALLDATALOAD 000022ae: DUP9 000022af: DUP9 000022b0: DUP8 000022b1: DUP2 000022b2: DUP2 000022b3: LT 000022b4: PUSH2 0x22bf 000022b7: JUMPI 000022b8: PUSH2 0x22bf 000022bb: PUSH2 0x2b7f 000022be: JUMP 000022bf: JUMPDEST 000022c0: SWAP1 000022c1: POP 000022c2: PUSH1 0x60 000022c4: MUL 000022c5: ADD 000022c6: PUSH1 0x40 000022c8: ADD 000022c9: CALLDATALOAD 000022ca: PUSH1 0x40 000022cc: MLOAD 000022cd: PUSH1 0x00 000022cf: DUP2 000022d0: MSTORE 000022d1: PUSH1 0x20 000022d3: ADD 000022d4: PUSH1 0x40 000022d6: MSTORE 000022d7: PUSH1 0x40 000022d9: MLOAD 000022da: PUSH2 0x22ff 000022dd: SWAP5 000022de: SWAP4 000022df: SWAP3 000022e0: SWAP2 000022e1: SWAP1 000022e2: SWAP4 000022e3: DUP5 000022e4: MSTORE 000022e5: PUSH1 0xff 000022e7: SWAP3 000022e8: SWAP1 000022e9: SWAP3 000022ea: AND 000022eb: PUSH1 0x20 000022ed: DUP5 000022ee: ADD 000022ef: MSTORE 000022f0: PUSH1 0x40 000022f2: DUP4 000022f3: ADD 000022f4: MSTORE 000022f5: PUSH1 0x60 000022f7: DUP3 000022f8: ADD 000022f9: MSTORE 000022fa: PUSH1 0x80 000022fc: ADD 000022fd: SWAP1 000022fe: JUMP 000022ff: JUMPDEST 00002300: PUSH1 0x20 00002302: PUSH1 0x40 00002304: MLOAD 00002305: PUSH1 0x20 00002307: DUP2 00002308: SUB 00002309: SWAP1 0000230a: DUP1 0000230b: DUP5 0000230c: SUB 0000230d: SWAP1 0000230e: DUP6 0000230f: GAS 00002310: STATICCALL 00002311: ISZERO 00002312: DUP1 00002313: ISZERO 00002314: PUSH2 0x2321 00002317: JUMPI 00002318: RETURNDATASIZE 00002319: PUSH1 0x00 0000231b: DUP1 0000231c: RETURNDATACOPY 0000231d: RETURNDATASIZE 0000231e: PUSH1 0x00 00002320: REVERT 00002321: JUMPDEST 00002322: POP 00002323: POP 00002324: PUSH1 0x40 00002326: MLOAD 00002327: PUSH1 0x1f 00002329: NOT 0000232a: ADD 0000232b: MLOAD 0000232c: SWAP2 0000232d: POP 0000232e: POP 0000232f: PUSH1 0x01 00002331: PUSH1 0x01 00002333: PUSH1 0xa0 00002335: SHL 00002336: SUB 00002337: DUP2 00002338: AND 00002339: ISZERO 0000233a: DUP1 0000233b: PUSH2 0x235d 0000233e: JUMPI 0000233f: POP 00002340: PUSH1 0x01 00002342: PUSH1 0x01 00002344: PUSH1 0xa0 00002346: SHL 00002347: SUB 00002348: DUP2 00002349: AND 0000234a: PUSH1 0x00 0000234c: SWAP1 0000234d: DUP2 0000234e: MSTORE 0000234f: PUSH1 0x0b 00002351: PUSH1 0x20 00002353: MSTORE 00002354: PUSH1 0x40 00002356: SWAP1 00002357: KECCAK256 00002358: SLOAD 00002359: PUSH1 0xff 0000235b: AND 0000235c: ISZERO 0000235d: JUMPDEST 0000235e: ISZERO 0000235f: PUSH2 0x237b 00002362: JUMPI 00002363: PUSH1 0x40 00002365: MLOAD 00002366: PUSH4 0x37e8456b 0000236b: PUSH1 0xe0 0000236d: SHL 0000236e: DUP2 0000236f: MSTORE 00002370: PUSH1 0x04 00002372: ADD 00002373: PUSH1 0x40 00002375: MLOAD 00002376: DUP1 00002377: SWAP2 00002378: SUB 00002379: SWAP1 0000237a: REVERT 0000237b: JUMPDEST 0000237c: DUP3 0000237d: PUSH1 0x01 0000237f: PUSH1 0x01 00002381: PUSH1 0xa0 00002383: SHL 00002384: SUB 00002385: AND 00002386: DUP2 00002387: PUSH1 0x01 00002389: PUSH1 0x01 0000238b: PUSH1 0xa0 0000238d: SHL 0000238e: SUB 0000238f: AND 00002390: GT 00002391: PUSH2 0x23ad 00002394: JUMPI 00002395: PUSH1 0x40 00002397: MLOAD 00002398: PUSH4 0xa3936519 0000239d: PUSH1 0xe0 0000239f: SHL 000023a0: DUP2 000023a1: MSTORE 000023a2: PUSH1 0x04 000023a4: ADD 000023a5: PUSH1 0x40 000023a7: MLOAD 000023a8: DUP1 000023a9: SWAP2 000023aa: SUB 000023ab: SWAP1 000023ac: REVERT 000023ad: JUMPDEST 000023ae: SWAP2 000023af: POP 000023b0: PUSH1 0x01 000023b2: ADD 000023b3: PUSH2 0x225c 000023b6: JUMP 000023b7: JUMPDEST 000023b8: POP 000023b9: POP 000023ba: POP 000023bb: POP 000023bc: POP 000023bd: JUMP 000023be: JUMPDEST 000023bf: PUSH1 0x00 000023c1: DUP1 000023c2: PUSH1 0x20 000023c4: PUSH1 0x00 000023c6: DUP5 000023c7: MLOAD 000023c8: PUSH1 0x20 000023ca: DUP7 000023cb: ADD 000023cc: PUSH1 0x00 000023ce: DUP9 000023cf: GAS 000023d0: CALL 000023d1: DUP1 000023d2: PUSH2 0x23e1 000023d5: JUMPI 000023d6: PUSH1 0x40 000023d8: MLOAD 000023d9: RETURNDATASIZE 000023da: PUSH1 0x00 000023dc: DUP3 000023dd: RETURNDATACOPY 000023de: RETURNDATASIZE 000023df: DUP2 000023e0: REVERT 000023e1: JUMPDEST 000023e2: POP 000023e3: POP 000023e4: PUSH1 0x00 000023e6: MLOAD 000023e7: RETURNDATASIZE 000023e8: SWAP2 000023e9: POP 000023ea: DUP2 000023eb: ISZERO 000023ec: PUSH2 0x23f9 000023ef: JUMPI 000023f0: DUP1 000023f1: PUSH1 0x01 000023f3: EQ 000023f4: ISZERO 000023f5: PUSH2 0x2406 000023f8: JUMP 000023f9: JUMPDEST 000023fa: PUSH1 0x01 000023fc: PUSH1 0x01 000023fe: PUSH1 0xa0 00002400: SHL 00002401: SUB 00002402: DUP5 00002403: AND 00002404: EXTCODESIZE 00002405: ISZERO 00002406: JUMPDEST 00002407: ISZERO 00002408: PUSH2 0x1094 0000240b: JUMPI 0000240c: PUSH1 0x40 0000240e: MLOAD 0000240f: PUSH4 0x5274afe7 00002414: PUSH1 0xe0 00002416: SHL 00002417: DUP2 00002418: MSTORE 00002419: PUSH1 0x01 0000241b: PUSH1 0x01 0000241d: PUSH1 0xa0 0000241f: SHL 00002420: SUB 00002421: DUP6 00002422: AND 00002423: PUSH1 0x04 00002425: DUP3 00002426: ADD 00002427: MSTORE 00002428: PUSH1 0x24 0000242a: ADD 0000242b: PUSH2 0x1774 0000242e: JUMP 0000242f: JUMPDEST 00002430: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00 00002451: SLOAD 00002452: PUSH1 0x01 00002454: PUSH1 0x40 00002456: SHL 00002457: SWAP1 00002458: DIV 00002459: PUSH1 0xff 0000245b: AND 0000245c: PUSH2 0x0e8f 0000245f: JUMPI 00002460: PUSH1 0x40 00002462: MLOAD 00002463: PUSH4 0x1afcd79f 00002468: PUSH1 0xe3 0000246a: SHL 0000246b: DUP2 0000246c: MSTORE 0000246d: PUSH1 0x04 0000246f: ADD 00002470: PUSH1 0x40 00002472: MLOAD 00002473: DUP1 00002474: SWAP2 00002475: SUB 00002476: SWAP1 00002477: REVERT 00002478: JUMPDEST 00002479: PUSH2 0x2480 0000247c: PUSH2 0x242f 0000247f: JUMP 00002480: JUMPDEST 00002481: PUSH1 0x00 00002483: DUP1 00002484: MLOAD 00002485: PUSH1 0x20 00002487: PUSH2 0x2d95 0000248a: DUP4 0000248b: CODECOPY 0000248c: DUP2 0000248d: MLOAD 0000248e: SWAP2 0000248f: MSTORE 00002490: DUP1 00002491: SLOAD 00002492: PUSH1 0xff 00002494: NOT 00002495: AND 00002496: SWAP1 00002497: SSTORE 00002498: JUMP 00002499: JUMPDEST 0000249a: PUSH2 0x1962 0000249d: PUSH2 0x242f 000024a0: JUMP 000024a1: JUMPDEST 000024a2: PUSH2 0x174e 000024a5: PUSH2 0x242f 000024a8: JUMP 000024a9: JUMPDEST 000024aa: PUSH1 0x00 000024ac: DUP1 000024ad: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeed 000024c2: NOT 000024c3: PUSH1 0x01 000024c5: PUSH1 0x01 000024c7: PUSH1 0xa0 000024c9: SHL 000024ca: SUB 000024cb: DUP5 000024cc: AND 000024cd: ADD 000024ce: PUSH2 0x24d8 000024d1: JUMPI 000024d2: POP 000024d3: SELFBALANCE 000024d4: PUSH2 0x2543 000024d7: JUMP 000024d8: JUMPDEST 000024d9: PUSH1 0x40 000024db: MLOAD 000024dc: PUSH4 0x70a08231 000024e1: PUSH1 0xe0 000024e3: SHL 000024e4: DUP2 000024e5: MSTORE 000024e6: ADDRESS 000024e7: PUSH1 0x04 000024e9: DUP3 000024ea: ADD 000024eb: MSTORE 000024ec: PUSH1 0x01 000024ee: PUSH1 0x01 000024f0: PUSH1 0xa0 000024f2: SHL 000024f3: SUB 000024f4: DUP5 000024f5: AND 000024f6: SWAP1 000024f7: PUSH4 0x70a08231 000024fc: SWAP1 000024fd: PUSH1 0x24 000024ff: ADD 00002500: PUSH1 0x20 00002502: PUSH1 0x40 00002504: MLOAD 00002505: DUP1 00002506: DUP4 00002507: SUB 00002508: DUP2 00002509: DUP7 0000250a: GAS 0000250b: STATICCALL 0000250c: ISZERO 0000250d: DUP1 0000250e: ISZERO 0000250f: PUSH2 0x251c 00002512: JUMPI 00002513: RETURNDATASIZE 00002514: PUSH1 0x00 00002516: DUP1 00002517: RETURNDATACOPY 00002518: RETURNDATASIZE 00002519: PUSH1 0x00 0000251b: REVERT 0000251c: JUMPDEST 0000251d: POP 0000251e: POP 0000251f: POP 00002520: POP 00002521: PUSH1 0x40 00002523: MLOAD 00002524: RETURNDATASIZE 00002525: PUSH1 0x1f 00002527: NOT 00002528: PUSH1 0x1f 0000252a: DUP3 0000252b: ADD 0000252c: AND 0000252d: DUP3 0000252e: ADD 0000252f: DUP1 00002530: PUSH1 0x40 00002532: MSTORE 00002533: POP 00002534: DUP2 00002535: ADD 00002536: SWAP1 00002537: PUSH2 0x2540 0000253a: SWAP2 0000253b: SWAP1 0000253c: PUSH2 0x2c9b 0000253f: JUMP 00002540: JUMPDEST 00002541: SWAP1 00002542: POP 00002543: JUMPDEST 00002544: SWAP3 00002545: SWAP2 00002546: POP 00002547: POP 00002548: JUMP 00002549: JUMPDEST 0000254a: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeed 0000255f: NOT 00002560: PUSH1 0x01 00002562: PUSH1 0x01 00002564: PUSH1 0xa0 00002566: SHL 00002567: SUB 00002568: DUP5 00002569: AND 0000256a: ADD 0000256b: PUSH2 0x25e2 0000256e: JUMPI 0000256f: PUSH1 0x00 00002571: DUP3 00002572: PUSH1 0x01 00002574: PUSH1 0x01 00002576: PUSH1 0xa0 00002578: SHL 00002579: SUB 0000257a: AND 0000257b: DUP3 0000257c: PUSH1 0x40 0000257e: MLOAD 0000257f: PUSH1 0x00 00002581: PUSH1 0x40 00002583: MLOAD 00002584: DUP1 00002585: DUP4 00002586: SUB 00002587: DUP2 00002588: DUP6 00002589: DUP8 0000258a: GAS 0000258b: CALL 0000258c: SWAP3 0000258d: POP 0000258e: POP 0000258f: POP 00002590: RETURNDATASIZE 00002591: DUP1 00002592: PUSH1 0x00 00002594: DUP2 00002595: EQ 00002596: PUSH2 0x25bb 00002599: JUMPI 0000259a: PUSH1 0x40 0000259c: MLOAD 0000259d: SWAP2 0000259e: POP 0000259f: PUSH1 0x1f 000025a1: NOT 000025a2: PUSH1 0x3f 000025a4: RETURNDATASIZE 000025a5: ADD 000025a6: AND 000025a7: DUP3 000025a8: ADD 000025a9: PUSH1 0x40 000025ab: MSTORE 000025ac: RETURNDATASIZE 000025ad: DUP3 000025ae: MSTORE 000025af: RETURNDATASIZE 000025b0: PUSH1 0x00 000025b2: PUSH1 0x20 000025b4: DUP5 000025b5: ADD 000025b6: RETURNDATACOPY 000025b7: PUSH2 0x25c0 000025ba: JUMP 000025bb: JUMPDEST 000025bc: PUSH1 0x60 000025be: SWAP2 000025bf: POP 000025c0: JUMPDEST 000025c1: POP 000025c2: POP 000025c3: SWAP1 000025c4: POP 000025c5: DUP1 000025c6: PUSH2 0x1094 000025c9: JUMPI 000025ca: PUSH1 0x40 000025cc: MLOAD 000025cd: PUSH4 0x12171d83 000025d2: PUSH1 0xe3 000025d4: SHL 000025d5: DUP2 000025d6: MSTORE 000025d7: PUSH1 0x04 000025d9: ADD 000025da: PUSH1 0x40 000025dc: MLOAD 000025dd: DUP1 000025de: SWAP2 000025df: SUB 000025e0: SWAP1 000025e1: REVERT 000025e2: JUMPDEST 000025e3: PUSH2 0x195d 000025e6: PUSH1 0x01 000025e8: PUSH1 0x01 000025ea: PUSH1 0xa0 000025ec: SHL 000025ed: SUB 000025ee: DUP5 000025ef: AND 000025f0: DUP4 000025f1: DUP4 000025f2: PUSH2 0x18fe 000025f5: JUMP 000025f6: JUMPDEST 000025f7: PUSH1 0x00 000025f9: DUP1 000025fa: MLOAD 000025fb: PUSH1 0x20 000025fd: PUSH2 0x2d95 00002600: DUP4 00002601: CODECOPY 00002602: DUP2 00002603: MLOAD 00002604: SWAP2 00002605: MSTORE 00002606: SLOAD 00002607: PUSH1 0xff 00002609: AND 0000260a: PUSH2 0x0e8f 0000260d: JUMPI 0000260e: PUSH1 0x40 00002610: MLOAD 00002611: PUSH4 0x8dfc202b 00002616: PUSH1 0xe0 00002618: SHL 00002619: DUP2 0000261a: MSTORE 0000261b: PUSH1 0x04 0000261d: ADD 0000261e: PUSH1 0x40 00002620: MLOAD 00002621: DUP1 00002622: SWAP2 00002623: SUB 00002624: SWAP1 00002625: REVERT 00002626: JUMPDEST 00002627: PUSH4 0x4e487b71 0000262c: PUSH1 0xe0 0000262e: SHL 0000262f: PUSH1 0x00 00002631: MSTORE 00002632: PUSH1 0x41 00002634: PUSH1 0x04 00002636: MSTORE 00002637: PUSH1 0x24 00002639: PUSH1 0x00 0000263b: REVERT 0000263c: JUMPDEST 0000263d: PUSH1 0x00 0000263f: PUSH1 0x20 00002641: DUP3 00002642: DUP5 00002643: SUB 00002644: SLT 00002645: ISZERO 00002646: PUSH2 0x264e 00002649: JUMPI 0000264a: PUSH1 0x00 0000264c: DUP1 0000264d: REVERT 0000264e: JUMPDEST 0000264f: DUP2 00002650: CALLDATALOAD 00002651: PUSH8 0xffffffffffffffff 0000265a: DUP2 0000265b: GT 0000265c: ISZERO 0000265d: PUSH2 0x2665 00002660: JUMPI 00002661: PUSH1 0x00 00002663: DUP1 00002664: REVERT 00002665: JUMPDEST 00002666: DUP3 00002667: ADD 00002668: PUSH1 0x1f 0000266a: DUP2 0000266b: ADD 0000266c: DUP5 0000266d: SGT 0000266e: PUSH2 0x2676 00002671: JUMPI 00002672: PUSH1 0x00 00002674: DUP1 00002675: REVERT 00002676: JUMPDEST 00002677: DUP1 00002678: CALLDATALOAD 00002679: PUSH8 0xffffffffffffffff 00002682: DUP2 00002683: GT 00002684: ISZERO 00002685: PUSH2 0x2690 00002688: JUMPI 00002689: PUSH2 0x2690 0000268c: PUSH2 0x2626 0000268f: JUMP 00002690: JUMPDEST 00002691: PUSH1 0x40 00002693: MLOAD 00002694: PUSH1 0x1f 00002696: DUP3 00002697: ADD 00002698: PUSH1 0x1f 0000269a: NOT 0000269b: SWAP1 0000269c: DUP2 0000269d: AND 0000269e: PUSH1 0x3f 000026a0: ADD 000026a1: AND 000026a2: DUP2 000026a3: ADD 000026a4: PUSH8 0xffffffffffffffff 000026ad: DUP2 000026ae: GT 000026af: DUP3 000026b0: DUP3 000026b1: LT 000026b2: OR 000026b3: ISZERO 000026b4: PUSH2 0x26bf 000026b7: JUMPI 000026b8: PUSH2 0x26bf 000026bb: PUSH2 0x2626 000026be: JUMP 000026bf: JUMPDEST 000026c0: PUSH1 0x40 000026c2: MSTORE 000026c3: DUP2 000026c4: DUP2 000026c5: MSTORE 000026c6: DUP3 000026c7: DUP3 000026c8: ADD 000026c9: PUSH1 0x20 000026cb: ADD 000026cc: DUP7 000026cd: LT 000026ce: ISZERO 000026cf: PUSH2 0x26d7 000026d2: JUMPI 000026d3: PUSH1 0x00 000026d5: DUP1 000026d6: REVERT 000026d7: JUMPDEST 000026d8: DUP2 000026d9: PUSH1 0x20 000026db: DUP5 000026dc: ADD 000026dd: PUSH1 0x20 000026df: DUP4 000026e0: ADD 000026e1: CALLDATACOPY 000026e2: PUSH1 0x00 000026e4: SWAP2 000026e5: DUP2 000026e6: ADD 000026e7: PUSH1 0x20 000026e9: ADD 000026ea: SWAP2 000026eb: SWAP1 000026ec: SWAP2 000026ed: MSTORE 000026ee: SWAP5 000026ef: SWAP4 000026f0: POP 000026f1: POP 000026f2: POP 000026f3: POP 000026f4: JUMP 000026f5: JUMPDEST 000026f6: DUP1 000026f7: CALLDATALOAD 000026f8: PUSH1 0x01 000026fa: PUSH1 0x01 000026fc: PUSH1 0xa0 000026fe: SHL 000026ff: SUB 00002700: DUP2 00002701: AND 00002702: DUP2 00002703: EQ 00002704: PUSH2 0x270c 00002707: JUMPI 00002708: PUSH1 0x00 0000270a: DUP1 0000270b: REVERT 0000270c: JUMPDEST 0000270d: SWAP2 0000270e: SWAP1 0000270f: POP 00002710: JUMP 00002711: JUMPDEST 00002712: PUSH1 0x00 00002714: PUSH1 0x20 00002716: DUP3 00002717: DUP5 00002718: SUB 00002719: SLT 0000271a: ISZERO 0000271b: PUSH2 0x2723 0000271e: JUMPI 0000271f: PUSH1 0x00 00002721: DUP1 00002722: REVERT 00002723: JUMPDEST 00002724: PUSH2 0x272c 00002727: DUP3 00002728: PUSH2 0x26f5 0000272b: JUMP 0000272c: JUMPDEST 0000272d: SWAP4 0000272e: SWAP3 0000272f: POP 00002730: POP 00002731: POP 00002732: JUMP 00002733: JUMPDEST 00002734: PUSH1 0x00 00002736: DUP1 00002737: PUSH1 0x40 00002739: DUP4 0000273a: DUP6 0000273b: SUB 0000273c: SLT 0000273d: ISZERO 0000273e: PUSH2 0x2746 00002741: JUMPI 00002742: PUSH1 0x00 00002744: DUP1 00002745: REVERT 00002746: JUMPDEST 00002747: PUSH2 0x274f 0000274a: DUP4 0000274b: PUSH2 0x26f5 0000274e: JUMP 0000274f: JUMPDEST 00002750: SWAP5 00002751: PUSH1 0x20 00002753: SWAP4 00002754: SWAP1 00002755: SWAP4 00002756: ADD 00002757: CALLDATALOAD 00002758: SWAP4 00002759: POP 0000275a: POP 0000275b: POP 0000275c: JUMP 0000275d: JUMPDEST 0000275e: PUSH1 0x00 00002760: PUSH1 0x20 00002762: DUP3 00002763: DUP5 00002764: SUB 00002765: SLT 00002766: ISZERO 00002767: PUSH2 0x276f 0000276a: JUMPI 0000276b: PUSH1 0x00 0000276d: DUP1 0000276e: REVERT 0000276f: JUMPDEST 00002770: DUP2 00002771: CALLDATALOAD 00002772: PUSH8 0xffffffffffffffff 0000277b: DUP2 0000277c: GT 0000277d: ISZERO 0000277e: PUSH2 0x2786 00002781: JUMPI 00002782: PUSH1 0x00 00002784: DUP1 00002785: REVERT 00002786: JUMPDEST 00002787: DUP3 00002788: ADD 00002789: PUSH1 0xa0 0000278b: DUP2 0000278c: DUP6 0000278d: SUB 0000278e: SLT 0000278f: ISZERO 00002790: PUSH2 0x272c 00002793: JUMPI 00002794: PUSH1 0x00 00002796: DUP1 00002797: REVERT 00002798: JUMPDEST 00002799: PUSH1 0x00 0000279b: PUSH1 0x20 0000279d: DUP3 0000279e: DUP5 0000279f: SUB 000027a0: SLT 000027a1: ISZERO 000027a2: PUSH2 0x27aa 000027a5: JUMPI 000027a6: PUSH1 0x00 000027a8: DUP1 000027a9: REVERT 000027aa: JUMPDEST 000027ab: DUP2 000027ac: CALLDATALOAD 000027ad: PUSH8 0xffffffffffffffff 000027b6: DUP2 000027b7: GT 000027b8: ISZERO 000027b9: PUSH2 0x27c1 000027bc: JUMPI 000027bd: PUSH1 0x00 000027bf: DUP1 000027c0: REVERT 000027c1: JUMPDEST 000027c2: DUP3 000027c3: ADD 000027c4: PUSH1 0xc0 000027c6: DUP2 000027c7: DUP6 000027c8: SUB 000027c9: SLT 000027ca: ISZERO 000027cb: PUSH2 0x272c 000027ce: JUMPI 000027cf: PUSH1 0x00 000027d1: DUP1 000027d2: REVERT 000027d3: JUMPDEST 000027d4: PUSH1 0x00 000027d6: PUSH1 0x20 000027d8: DUP3 000027d9: DUP5 000027da: SUB 000027db: SLT 000027dc: ISZERO 000027dd: PUSH2 0x27e5 000027e0: JUMPI 000027e1: PUSH1 0x00 000027e3: DUP1 000027e4: REVERT 000027e5: JUMPDEST 000027e6: POP 000027e7: CALLDATALOAD 000027e8: SWAP2 000027e9: SWAP1 000027ea: POP 000027eb: JUMP 000027ec: JUMPDEST 000027ed: PUSH1 0x00 000027ef: DUP1 000027f0: PUSH1 0x40 000027f2: DUP4 000027f3: DUP6 000027f4: SUB 000027f5: SLT 000027f6: ISZERO 000027f7: PUSH2 0x27ff 000027fa: JUMPI 000027fb: PUSH1 0x00 000027fd: DUP1 000027fe: REVERT 000027ff: JUMPDEST 00002800: PUSH2 0x2808 00002803: DUP4 00002804: PUSH2 0x26f5 00002807: JUMP 00002808: JUMPDEST 00002809: SWAP2 0000280a: POP 0000280b: PUSH2 0x2816 0000280e: PUSH1 0x20 00002810: DUP5 00002811: ADD 00002812: PUSH2 0x26f5 00002815: JUMP 00002816: JUMPDEST 00002817: SWAP1 00002818: POP 00002819: SWAP3 0000281a: POP 0000281b: SWAP3 0000281c: SWAP1 0000281d: POP 0000281e: JUMP 0000281f: JUMPDEST 00002820: PUSH1 0x00 00002822: DUP1 00002823: PUSH1 0x00 00002825: PUSH1 0x60 00002827: DUP5 00002828: DUP7 00002829: SUB 0000282a: SLT 0000282b: ISZERO 0000282c: PUSH2 0x2834 0000282f: JUMPI 00002830: PUSH1 0x00 00002832: DUP1 00002833: REVERT 00002834: JUMPDEST 00002835: PUSH2 0x283d 00002838: DUP5 00002839: PUSH2 0x26f5 0000283c: JUMP 0000283d: JUMPDEST 0000283e: SWAP3 0000283f: POP 00002840: PUSH2 0x284b 00002843: PUSH1 0x20 00002845: DUP6 00002846: ADD 00002847: PUSH2 0x26f5 0000284a: JUMP 0000284b: JUMPDEST 0000284c: SWAP3 0000284d: SWAP6 0000284e: SWAP3 0000284f: SWAP5 00002850: POP 00002851: POP 00002852: POP 00002853: PUSH1 0x40 00002855: SWAP2 00002856: SWAP1 00002857: SWAP2 00002858: ADD 00002859: CALLDATALOAD 0000285a: SWAP1 0000285b: JUMP 0000285c: JUMPDEST 0000285d: DUP1 0000285e: CALLDATALOAD 0000285f: DUP1 00002860: ISZERO 00002861: ISZERO 00002862: DUP2 00002863: EQ 00002864: PUSH2 0x270c 00002867: JUMPI 00002868: PUSH1 0x00 0000286a: DUP1 0000286b: REVERT 0000286c: JUMPDEST 0000286d: PUSH1 0x00 0000286f: DUP1 00002870: PUSH1 0x40 00002872: DUP4 00002873: DUP6 00002874: SUB 00002875: SLT 00002876: ISZERO 00002877: PUSH2 0x287f 0000287a: JUMPI 0000287b: PUSH1 0x00 0000287d: DUP1 0000287e: REVERT 0000287f: JUMPDEST 00002880: PUSH2 0x2888 00002883: DUP4 00002884: PUSH2 0x26f5 00002887: JUMP 00002888: JUMPDEST 00002889: SWAP2 0000288a: POP 0000288b: PUSH2 0x2816 0000288e: PUSH1 0x20 00002890: DUP5 00002891: ADD 00002892: PUSH2 0x285c 00002895: JUMP 00002896: JUMPDEST 00002897: PUSH1 0x00 00002899: DUP1 0000289a: DUP4 0000289b: PUSH1 0x1f 0000289d: DUP5 0000289e: ADD 0000289f: SLT 000028a0: PUSH2 0x28a8 000028a3: JUMPI 000028a4: PUSH1 0x00 000028a6: DUP1 000028a7: REVERT 000028a8: JUMPDEST 000028a9: POP 000028aa: DUP2 000028ab: CALLDATALOAD 000028ac: PUSH8 0xffffffffffffffff 000028b5: DUP2 000028b6: GT 000028b7: ISZERO 000028b8: PUSH2 0x28c0 000028bb: JUMPI 000028bc: PUSH1 0x00 000028be: DUP1 000028bf: REVERT 000028c0: JUMPDEST 000028c1: PUSH1 0x20 000028c3: DUP4 000028c4: ADD 000028c5: SWAP2 000028c6: POP 000028c7: DUP4 000028c8: PUSH1 0x20 000028ca: DUP3 000028cb: PUSH1 0x05 000028cd: SHL 000028ce: DUP6 000028cf: ADD 000028d0: ADD 000028d1: GT 000028d2: ISZERO 000028d3: PUSH2 0x28db 000028d6: JUMPI 000028d7: PUSH1 0x00 000028d9: DUP1 000028da: REVERT 000028db: JUMPDEST 000028dc: SWAP3 000028dd: POP 000028de: SWAP3 000028df: SWAP1 000028e0: POP 000028e1: JUMP 000028e2: JUMPDEST 000028e3: PUSH1 0x00 000028e5: DUP1 000028e6: PUSH1 0x00 000028e8: PUSH1 0x40 000028ea: DUP5 000028eb: DUP7 000028ec: SUB 000028ed: SLT 000028ee: ISZERO 000028ef: PUSH2 0x28f7 000028f2: JUMPI 000028f3: PUSH1 0x00 000028f5: DUP1 000028f6: REVERT 000028f7: JUMPDEST 000028f8: DUP4 000028f9: CALLDATALOAD 000028fa: PUSH8 0xffffffffffffffff 00002903: DUP2 00002904: GT 00002905: ISZERO 00002906: PUSH2 0x290e 00002909: JUMPI 0000290a: PUSH1 0x00 0000290c: DUP1 0000290d: REVERT 0000290e: JUMPDEST 0000290f: PUSH2 0x291a 00002912: DUP7 00002913: DUP3 00002914: DUP8 00002915: ADD 00002916: PUSH2 0x2896 00002919: JUMP 0000291a: JUMPDEST 0000291b: SWAP1 0000291c: SWAP5 0000291d: POP 0000291e: SWAP3 0000291f: POP 00002920: PUSH2 0x292d 00002923: SWAP1 00002924: POP 00002925: PUSH1 0x20 00002927: DUP6 00002928: ADD 00002929: PUSH2 0x285c 0000292c: JUMP 0000292d: JUMPDEST 0000292e: SWAP1 0000292f: POP 00002930: SWAP3 00002931: POP 00002932: SWAP3 00002933: POP 00002934: SWAP3 00002935: JUMP 00002936: JUMPDEST 00002937: PUSH1 0x00 00002939: DUP1 0000293a: PUSH1 0x00 0000293c: PUSH1 0x60 0000293e: DUP5 0000293f: DUP7 00002940: SUB 00002941: SLT 00002942: ISZERO 00002943: PUSH2 0x294b 00002946: JUMPI 00002947: PUSH1 0x00 00002949: DUP1 0000294a: REVERT 0000294b: JUMPDEST 0000294c: PUSH2 0x2954 0000294f: DUP5 00002950: PUSH2 0x26f5 00002953: JUMP 00002954: JUMPDEST 00002955: SWAP3 00002956: POP 00002957: PUSH2 0x2962 0000295a: PUSH1 0x20 0000295c: DUP6 0000295d: ADD 0000295e: PUSH2 0x26f5 00002961: JUMP 00002962: JUMPDEST 00002963: SWAP2 00002964: POP 00002965: PUSH2 0x292d 00002968: PUSH1 0x40 0000296a: DUP6 0000296b: ADD 0000296c: PUSH2 0x26f5 0000296f: JUMP 00002970: JUMPDEST 00002971: PUSH1 0x00 00002973: PUSH1 0x20 00002975: DUP3 00002976: DUP5 00002977: SUB 00002978: SLT 00002979: ISZERO 0000297a: PUSH2 0x2982 0000297d: JUMPI 0000297e: PUSH1 0x00 00002980: DUP1 00002981: REVERT 00002982: JUMPDEST 00002983: DUP2 00002984: CALLDATALOAD 00002985: PUSH8 0xffffffffffffffff 0000298e: DUP2 0000298f: GT 00002990: ISZERO 00002991: PUSH2 0x2999 00002994: JUMPI 00002995: PUSH1 0x00 00002997: DUP1 00002998: REVERT 00002999: JUMPDEST 0000299a: DUP3 0000299b: ADD 0000299c: PUSH2 0x0120 0000299f: DUP2 000029a0: DUP6 000029a1: SUB 000029a2: SLT 000029a3: ISZERO 000029a4: PUSH2 0x272c 000029a7: JUMPI 000029a8: PUSH1 0x00 000029aa: DUP1 000029ab: REVERT 000029ac: JUMPDEST 000029ad: PUSH32 0x526566756e64537461626c65436f696e286164647265737320746f6b656e2c61 000029ce: DUP2 000029cf: MSTORE 000029d0: PUSH32 0x64647265737320746f2c75696e7432353620616d6f756e742c62797465732074 000029f1: PUSH1 0x20 000029f3: DUP3 000029f4: ADD 000029f5: MSTORE 000029f6: PUSH6 0x784861736829 000029fd: PUSH1 0xd0 000029ff: SHL 00002a00: PUSH1 0x40 00002a02: DUP3 00002a03: ADD 00002a04: MSTORE 00002a05: PUSH1 0x46 00002a07: ADD 00002a08: SWAP1 00002a09: JUMP 00002a0a: JUMPDEST 00002a0b: PUSH4 0x4e487b71 00002a10: PUSH1 0xe0 00002a12: SHL 00002a13: PUSH1 0x00 00002a15: MSTORE 00002a16: PUSH1 0x11 00002a18: PUSH1 0x04 00002a1a: MSTORE 00002a1b: PUSH1 0x24 00002a1d: PUSH1 0x00 00002a1f: REVERT 00002a20: JUMPDEST 00002a21: PUSH1 0x00 00002a23: PUSH1 0x01 00002a25: DUP3 00002a26: ADD 00002a27: PUSH2 0x2a32 00002a2a: JUMPI 00002a2b: PUSH2 0x2a32 00002a2e: PUSH2 0x2a0a 00002a31: JUMP 00002a32: JUMPDEST 00002a33: POP 00002a34: PUSH1 0x01 00002a36: ADD 00002a37: SWAP1 00002a38: JUMP 00002a39: JUMPDEST 00002a3a: PUSH1 0x00 00002a3c: DUP1 00002a3d: DUP4 00002a3e: CALLDATALOAD 00002a3f: PUSH1 0x1e 00002a41: NOT 00002a42: DUP5 00002a43: CALLDATASIZE 00002a44: SUB 00002a45: ADD 00002a46: DUP2 00002a47: SLT 00002a48: PUSH2 0x2a50 00002a4b: JUMPI 00002a4c: PUSH1 0x00 00002a4e: DUP1 00002a4f: REVERT 00002a50: JUMPDEST 00002a51: DUP4 00002a52: ADD 00002a53: DUP1 00002a54: CALLDATALOAD 00002a55: SWAP2 00002a56: POP 00002a57: PUSH8 0xffffffffffffffff 00002a60: DUP3 00002a61: GT 00002a62: ISZERO 00002a63: PUSH2 0x2a6b 00002a66: JUMPI 00002a67: PUSH1 0x00 00002a69: DUP1 00002a6a: REVERT 00002a6b: JUMPDEST 00002a6c: PUSH1 0x20 00002a6e: ADD 00002a6f: SWAP2 00002a70: POP 00002a71: CALLDATASIZE 00002a72: DUP2 00002a73: SWAP1 00002a74: SUB 00002a75: DUP3 00002a76: SGT 00002a77: ISZERO 00002a78: PUSH2 0x28db 00002a7b: JUMPI 00002a7c: PUSH1 0x00 00002a7e: DUP1 00002a7f: REVERT 00002a80: JUMPDEST 00002a81: DUP2 00002a82: DUP4 00002a83: DUP3 00002a84: CALLDATACOPY 00002a85: PUSH1 0x00 00002a87: SWAP2 00002a88: ADD 00002a89: SWAP1 00002a8a: DUP2 00002a8b: MSTORE 00002a8c: SWAP2 00002a8d: SWAP1 00002a8e: POP 00002a8f: JUMP 00002a90: JUMPDEST 00002a91: PUSH1 0x00 00002a93: DUP1 00002a94: DUP4 00002a95: CALLDATALOAD 00002a96: PUSH1 0x1e 00002a98: NOT 00002a99: DUP5 00002a9a: CALLDATASIZE 00002a9b: SUB 00002a9c: ADD 00002a9d: DUP2 00002a9e: SLT 00002a9f: PUSH2 0x2aa7 00002aa2: JUMPI 00002aa3: PUSH1 0x00 00002aa5: DUP1 00002aa6: REVERT 00002aa7: JUMPDEST 00002aa8: DUP4 00002aa9: ADD 00002aaa: DUP1 00002aab: CALLDATALOAD 00002aac: SWAP2 00002aad: POP 00002aae: PUSH8 0xffffffffffffffff 00002ab7: DUP3 00002ab8: GT 00002ab9: ISZERO 00002aba: PUSH2 0x2ac2 00002abd: JUMPI 00002abe: PUSH1 0x00 00002ac0: DUP1 00002ac1: REVERT 00002ac2: JUMPDEST 00002ac3: PUSH1 0x20 00002ac5: ADD 00002ac6: SWAP2 00002ac7: POP 00002ac8: PUSH1 0x60 00002aca: DUP2 00002acb: MUL 00002acc: CALLDATASIZE 00002acd: SUB 00002ace: DUP3 00002acf: SGT 00002ad0: ISZERO 00002ad1: PUSH2 0x28db 00002ad4: JUMPI 00002ad5: PUSH1 0x00 00002ad7: DUP1 00002ad8: REVERT 00002ad9: JUMPDEST 00002ada: DUP2 00002adb: DUP2 00002adc: SUB 00002add: DUP2 00002ade: DUP2 00002adf: GT 00002ae0: ISZERO 00002ae1: PUSH2 0x2543 00002ae4: JUMPI 00002ae5: PUSH2 0x2543 00002ae8: PUSH2 0x2a0a 00002aeb: JUMP 00002aec: JUMPDEST 00002aed: DUP2 00002aee: DUP4 00002aef: MSTORE 00002af0: DUP2 00002af1: DUP2 00002af2: PUSH1 0x20 00002af4: DUP6 00002af5: ADD 00002af6: CALLDATACOPY 00002af7: POP 00002af8: PUSH1 0x00 00002afa: DUP3 00002afb: DUP3 00002afc: ADD 00002afd: PUSH1 0x20 00002aff: SWAP1 00002b00: DUP2 00002b01: ADD 00002b02: SWAP2 00002b03: SWAP1 00002b04: SWAP2 00002b05: MSTORE 00002b06: PUSH1 0x1f 00002b08: SWAP1 00002b09: SWAP2 00002b0a: ADD 00002b0b: PUSH1 0x1f 00002b0d: NOT 00002b0e: AND 00002b0f: SWAP1 00002b10: SWAP2 00002b11: ADD 00002b12: ADD 00002b13: SWAP1 00002b14: JUMP 00002b15: JUMPDEST 00002b16: DUP4 00002b17: DUP2 00002b18: MSTORE 00002b19: PUSH1 0x40 00002b1b: PUSH1 0x20 00002b1d: DUP3 00002b1e: ADD 00002b1f: MSTORE 00002b20: PUSH1 0x00 00002b22: PUSH2 0x2b2f 00002b25: PUSH1 0x40 00002b27: DUP4 00002b28: ADD 00002b29: DUP5 00002b2a: DUP7 00002b2b: PUSH2 0x2aec 00002b2e: JUMP 00002b2f: JUMPDEST 00002b30: SWAP6 00002b31: SWAP5 00002b32: POP 00002b33: POP 00002b34: POP 00002b35: POP 00002b36: POP 00002b37: JUMP 00002b38: JUMPDEST 00002b39: PUSH1 0x01 00002b3b: DUP1 00002b3c: PUSH1 0xa0 00002b3e: SHL 00002b3f: SUB 00002b40: DUP9 00002b41: AND 00002b42: DUP2 00002b43: MSTORE 00002b44: DUP7 00002b45: PUSH1 0x20 00002b47: DUP3 00002b48: ADD 00002b49: MSTORE 00002b4a: DUP6 00002b4b: PUSH1 0x40 00002b4d: DUP3 00002b4e: ADD 00002b4f: MSTORE 00002b50: DUP5 00002b51: PUSH1 0x60 00002b53: DUP3 00002b54: ADD 00002b55: MSTORE 00002b56: DUP4 00002b57: PUSH1 0x80 00002b59: DUP3 00002b5a: ADD 00002b5b: MSTORE 00002b5c: PUSH1 0xc0 00002b5e: PUSH1 0xa0 00002b60: DUP3 00002b61: ADD 00002b62: MSTORE 00002b63: PUSH1 0x00 00002b65: PUSH2 0x2b72 00002b68: PUSH1 0xc0 00002b6a: DUP4 00002b6b: ADD 00002b6c: DUP5 00002b6d: DUP7 00002b6e: PUSH2 0x2aec 00002b71: JUMP 00002b72: JUMPDEST 00002b73: SWAP10 00002b74: SWAP9 00002b75: POP 00002b76: POP 00002b77: POP 00002b78: POP 00002b79: POP 00002b7a: POP 00002b7b: POP 00002b7c: POP 00002b7d: POP 00002b7e: JUMP 00002b7f: JUMPDEST 00002b80: PUSH4 0x4e487b71 00002b85: PUSH1 0xe0 00002b87: SHL 00002b88: PUSH1 0x00 00002b8a: MSTORE 00002b8b: PUSH1 0x32 00002b8d: PUSH1 0x04 00002b8f: MSTORE 00002b90: PUSH1 0x24 00002b92: PUSH1 0x00 00002b94: REVERT 00002b95: JUMPDEST 00002b96: PUSH32 0x43726f7373436861696e53776170427950726f746f636f6c2861646472657373 00002bb7: DUP2 00002bb8: MSTORE 00002bb9: PUSH32 0x20737263546f6b656e2c6164647265737320647374546f6b656e2c6164647265 00002bda: PUSH1 0x20 00002bdc: DUP3 00002bdd: ADD 00002bde: MSTORE 00002bdf: PUSH32 0x737320746f2c75696e7432353620616d6f756e742c75696e743235362066726f 00002c00: PUSH1 0x40 00002c02: DUP3 00002c03: ADD 00002c04: MSTORE 00002c05: PUSH32 0x6d436861696e49642c75696e7432353620647374436861696e49642c62797465 00002c26: PUSH1 0x60 00002c28: DUP3 00002c29: ADD 00002c2a: MSTORE 00002c2b: PUSH9 0x732074784861736829 00002c35: PUSH1 0xb8 00002c37: SHL 00002c38: PUSH1 0x80 00002c3a: DUP3 00002c3b: ADD 00002c3c: MSTORE 00002c3d: PUSH1 0x89 00002c3f: ADD 00002c40: SWAP1 00002c41: JUMP 00002c42: JUMPDEST 00002c43: PUSH1 0x01 00002c45: PUSH1 0x01 00002c47: PUSH1 0xa0 00002c49: SHL 00002c4a: SUB 00002c4b: DUP10 00002c4c: DUP2 00002c4d: AND 00002c4e: DUP3 00002c4f: MSTORE 00002c50: DUP9 00002c51: AND 00002c52: PUSH1 0x20 00002c54: DUP3 00002c55: ADD 00002c56: MSTORE 00002c57: PUSH1 0x40 00002c59: DUP2 00002c5a: ADD 00002c5b: DUP8 00002c5c: SWAP1 00002c5d: MSTORE 00002c5e: PUSH1 0x60 00002c60: DUP2 00002c61: ADD 00002c62: DUP7 00002c63: SWAP1 00002c64: MSTORE 00002c65: PUSH1 0x80 00002c67: DUP2 00002c68: ADD 00002c69: DUP6 00002c6a: SWAP1 00002c6b: MSTORE 00002c6c: PUSH1 0xe0 00002c6e: PUSH1 0xa0 00002c70: DUP3 00002c71: ADD 00002c72: DUP2 00002c73: SWAP1 00002c74: MSTORE 00002c75: PUSH1 0x00 00002c77: SWAP1 00002c78: PUSH2 0x2c84 00002c7b: SWAP1 00002c7c: DUP4 00002c7d: ADD 00002c7e: DUP6 00002c7f: DUP8 00002c80: PUSH2 0x2aec 00002c83: JUMP 00002c84: JUMPDEST 00002c85: SWAP1 00002c86: POP 00002c87: DUP3 00002c88: ISZERO 00002c89: ISZERO 00002c8a: PUSH1 0xc0 00002c8c: DUP4 00002c8d: ADD 00002c8e: MSTORE 00002c8f: SWAP10 00002c90: SWAP9 00002c91: POP 00002c92: POP 00002c93: POP 00002c94: POP 00002c95: POP 00002c96: POP 00002c97: POP 00002c98: POP 00002c99: POP 00002c9a: JUMP 00002c9b: JUMPDEST 00002c9c: PUSH1 0x00 00002c9e: PUSH1 0x20 00002ca0: DUP3 00002ca1: DUP5 00002ca2: SUB 00002ca3: SLT 00002ca4: ISZERO 00002ca5: PUSH2 0x2cad 00002ca8: JUMPI 00002ca9: PUSH1 0x00 00002cab: DUP1 00002cac: REVERT 00002cad: JUMPDEST 00002cae: POP 00002caf: MLOAD 00002cb0: SWAP2 00002cb1: SWAP1 00002cb2: POP 00002cb3: JUMP 00002cb4: JUMPDEST 00002cb5: PUSH1 0x00 00002cb7: DUP2 00002cb8: MLOAD 00002cb9: DUP1 00002cba: DUP5 00002cbb: MSTORE 00002cbc: PUSH1 0x00 00002cbe: JUMPDEST 00002cbf: DUP2 00002cc0: DUP2 00002cc1: LT 00002cc2: ISZERO 00002cc3: PUSH2 0x2cda 00002cc6: JUMPI 00002cc7: PUSH1 0x20 00002cc9: DUP2 00002cca: DUP6 00002ccb: ADD 00002ccc: DUP2 00002ccd: ADD 00002cce: MLOAD 00002ccf: DUP7 00002cd0: DUP4 00002cd1: ADD 00002cd2: DUP3 00002cd3: ADD 00002cd4: MSTORE 00002cd5: ADD 00002cd6: PUSH2 0x2cbe 00002cd9: JUMP 00002cda: JUMPDEST 00002cdb: POP 00002cdc: PUSH1 0x00 00002cde: PUSH1 0x20 00002ce0: DUP3 00002ce1: DUP7 00002ce2: ADD 00002ce3: ADD 00002ce4: MSTORE 00002ce5: PUSH1 0x20 00002ce7: PUSH1 0x1f 00002ce9: NOT 00002cea: PUSH1 0x1f 00002cec: DUP4 00002ced: ADD 00002cee: AND 00002cef: DUP6 00002cf0: ADD 00002cf1: ADD 00002cf2: SWAP2 00002cf3: POP 00002cf4: POP 00002cf5: SWAP3 00002cf6: SWAP2 00002cf7: POP 00002cf8: POP 00002cf9: JUMP 00002cfa: JUMPDEST 00002cfb: PUSH1 0x40 00002cfd: DUP2 00002cfe: MSTORE 00002cff: PUSH1 0x00 00002d01: PUSH2 0x2d0d 00002d04: PUSH1 0x40 00002d06: DUP4 00002d07: ADD 00002d08: DUP6 00002d09: PUSH2 0x2cb4 00002d0c: JUMP 00002d0d: JUMPDEST 00002d0e: DUP3 00002d0f: DUP2 00002d10: SUB 00002d11: PUSH1 0x20 00002d13: DUP5 00002d14: ADD 00002d15: MSTORE 00002d16: DUP1 00002d17: DUP5 00002d18: MLOAD 00002d19: DUP1 00002d1a: DUP4 00002d1b: MSTORE 00002d1c: PUSH1 0x20 00002d1e: DUP4 00002d1f: ADD 00002d20: SWAP2 00002d21: POP 00002d22: PUSH1 0x20 00002d24: DUP2 00002d25: PUSH1 0x05 00002d27: SHL 00002d28: DUP5 00002d29: ADD 00002d2a: ADD 00002d2b: PUSH1 0x20 00002d2d: DUP8 00002d2e: ADD 00002d2f: PUSH1 0x00 00002d31: JUMPDEST 00002d32: DUP4 00002d33: DUP2 00002d34: LT 00002d35: ISZERO 00002d36: PUSH2 0x2d63 00002d39: JUMPI 00002d3a: PUSH1 0x1f 00002d3c: NOT 00002d3d: DUP7 00002d3e: DUP5 00002d3f: SUB 00002d40: ADD 00002d41: DUP6 00002d42: MSTORE 00002d43: PUSH2 0x2d4d 00002d46: DUP4 00002d47: DUP4 00002d48: MLOAD 00002d49: PUSH2 0x2cb4 00002d4c: JUMP 00002d4d: JUMPDEST 00002d4e: PUSH1 0x20 00002d50: SWAP6 00002d51: DUP7 00002d52: ADD 00002d53: SWAP6 00002d54: SWAP1 00002d55: SWAP4 00002d56: POP 00002d57: SWAP2 00002d58: SWAP1 00002d59: SWAP2 00002d5a: ADD 00002d5b: SWAP1 00002d5c: PUSH1 0x01 00002d5e: ADD 00002d5f: PUSH2 0x2d31 00002d62: JUMP 00002d63: JUMPDEST 00002d64: POP 00002d65: SWAP1 00002d66: SWAP9 00002d67: SWAP8 00002d68: POP 00002d69: POP 00002d6a: POP 00002d6b: POP 00002d6c: POP 00002d6d: POP 00002d6e: POP 00002d6f: POP 00002d70: JUMP 00002d71: JUMPDEST 00002d72: PUSH1 0x00 00002d74: PUSH1 0x20 00002d76: DUP3 00002d77: DUP5 00002d78: SUB 00002d79: SLT 00002d7a: ISZERO 00002d7b: PUSH2 0x2d83 00002d7e: JUMPI 00002d7f: PUSH1 0x00 00002d81: DUP1 00002d82: REVERT 00002d83: JUMPDEST 00002d84: DUP2 00002d85: CALLDATALOAD 00002d86: PUSH1 0xff 00002d88: DUP2 00002d89: AND 00002d8a: DUP2 00002d8b: EQ 00002d8c: PUSH2 0x272c 00002d8f: JUMPI 00002d90: PUSH1 0x00 00002d92: DUP1 00002d93: REVERT 00002d94: INVALID 00002d95: UNKNOWN(0xCD) 00002d96: MCOPY 00002d97: UNKNOWN(0xD1) 00002d98: TLOAD 00002d99: PUSH15 0x187e77e9aee88184c21f4f2182ab58 00002da9: UNKNOWN(0x27) 00002daa: UNKNOWN(0xCB) 00002dab: EXTCODESIZE 00002dac: PUSH31 0x07fbedcd63f033009b779b17422d0df92223018b32b4d1fa46e071723d6817 00002dcc: UNKNOWN(0xE2) 00002dcd: BASEFEE 00002dce: PUSH14 0x003becc55f00a264697066735822 00002ddd: SLT 00002dde: KECCAK256 00002ddf: DUP14 00002de0: UNKNOWN(0xD2) 00002de1: OR 00002de2: UNKNOWN(0xAE) 00002de3: SWAP3 00002de4: ISZERO 00002de5: SMOD 00002de6: UNKNOWN(0x23) 00002de7: CALLDATACOPY 00002de8: UNKNOWN(0x2D) 00002de9: UNKNOWN(0x2C) 00002dea: LOG1 00002deb: UNKNOWN(0xF8) 00002dec: UNKNOWN(0xCC) 00002ded: UNKNOWN(0xBD) 00002dee: LT 00002def: PUSH32
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x56813d1bca8cc808492ad7bc2eb7ad794bd8baf97c0bd92a74ec64d6c5a8adf5
call_targets:
0x9c3a4329ff26934b04312162f83c8f69d52aa060
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x56813d1bca8cc808492ad7bc2eb7ad794bd8baf97c0bd92a74ec64d6c5a8adf5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9c3a4329ff26934b04312162f83c8f69d52aa060"
],
"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": "0xea7b42a6",
"selector": "0xea7b42a6",
"calldata_variants": [
"0xea7b42a6",
"0xea7b42a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7b188a5",
"selector": "0xf7b188a5",
"calldata_variants": [
"0xf7b188a5",
"0xf7b188a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa52c7d8",
"selector": "0xfa52c7d8",
"calldata_variants": [
"0xfa52c7d8",
"0xfa52c7d80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe9ae209",
"selector": "0xfe9ae209",
"calldata_variants": [
"0xfe9ae209",
"0xfe9ae2090000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcdc18424",
"selector": "0xcdc18424",
"calldata_variants": [
"0xcdc18424",
"0xcdc184240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdc038251",
"selector": "0xdc038251",
"calldata_variants": [
"0xdc038251",
"0xdc0382510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe0591af3",
"selector": "0xe0591af3",
"calldata_variants": [
"0xe0591af3",
"0xe0591af30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1963,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7422,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7740,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x56813d1bca8cc808492ad7bc2eb7ad794bd8baf97c0bd92a74ec64d6c5a8adf5
call_targets:
0x9c3a4329ff26934b04312162f83c8f69d52aa060
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x56813d1bca8cc808492ad7bc2eb7ad794bd8baf97c0bd92a74ec64d6c5a8adf5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9c3a4329ff26934b04312162f83c8f69d52aa060"
],
"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": "0xea7b42a6",
"selector": "0xea7b42a6",
"calldata_variants": [
"0xea7b42a6",
"0xea7b42a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7b188a5",
"selector": "0xf7b188a5",
"calldata_variants": [
"0xf7b188a5",
"0xf7b188a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa52c7d8",
"selector": "0xfa52c7d8",
"calldata_variants": [
"0xfa52c7d8",
"0xfa52c7d80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe9ae209",
"selector": "0xfe9ae209",
"calldata_variants": [
"0xfe9ae209",
"0xfe9ae2090000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcdc18424",
"selector": "0xcdc18424",
"calldata_variants": [
"0xcdc18424",
"0xcdc184240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdc038251",
"selector": "0xdc038251",
"calldata_variants": [
"0xdc038251",
"0xdc0382510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe0591af3",
"selector": "0xe0591af3",
"calldata_variants": [
"0xe0591af3",
"0xe0591af30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1963,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7422,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7740,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|
| medium | reentrancy | codex | Untrusted external CALLs with potential ETH value transfer and no detected guard | 75 | no | — |
viewevidence_json{
"evidence": "Detector reports 5 CALL sites with computed target/value, possible nonzero ETH value, no guards detected; returndata checking unknown. Validation marked constant_target but not confirmed.",
"locations": [
"pc:0x7ab",
"pc:0x1cfe",
"pc:0x1e3c",
"pc:0x23d0",
"pc:0x258b"
],
"recommendation": "Confirm call target/value sources and enforce allowlists or fixed targets; apply checks\u2011effects\u2011interactions or a reentrancy guard around any state\u2011mutating logic preceding external calls; validate call success and handle failures explicitly.",
"exploit_scenario": "If any of the CALL targets/values are attacker-influenced, an adversary could receive ETH and reenter or force unexpected control flow during the external call. The detector suggests computed targets/values and no guards, but validation did not confirm target variability, so this is a best\u2011effort risk assessment from bytecode."
}
|