Analysis Run

[codex:650813] OpenAI Codex v0.77.0 (research preview)
[codex:650813] --------
[codex:650813] workdir: /tmp/codex-multi-i3_8k_cc
[codex:650813] model: gpt-5.2-codex
[codex:650813] provider: openai
[codex:650813] approval: never
[codex:650813] sandbox: read-only
[codex:650813] reasoning effort: xhigh
[codex:650813] reasoning summaries: auto
[codex:650813] session id: 019b6b22-9131-7631-84c0-a01c2b9d9ad7
[codex:650813] --------
[codex:650813] user
[codex:650813] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:650813] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:650813] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:650813] 
[codex:650813] Scope rules:
[codex:650813] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:650813] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:650813] 
[codex:650813] Output MUST be valid JSON matching the provided schema.
[codex:650813] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:650813] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:650813] 
[codex:650813] Output constraints (IMPORTANT):
[codex:650813] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:650813] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:650813] mcp startup: no servers
[codex:650813] 
[codex:650813] thinking
[codex:650813] **Locating and reading audit file**
[codex:650813] exec
[codex:650813] /bin/bash -lc ls in /tmp/codex-multi-i3_8k_cc succeeded in 5ms:
[codex:650813] AUDIT_BUNDLE.txt
[codex:650813] codex-output-schema.json
[codex:650813] contracts
[codex:650813] 
[codex:650813] thinking
[codex:650813] **Reading AUDIT_BUNDLE.txt file**
[codex:650813] exec
[codex:650813] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-i3_8k_cc succeeded in 6ms:
[codex:650813] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:650813] 
[codex:650813] ================================================================================
[codex:650813] FILE: contracts/@openzeppelin/contracts-upgradeable/access/AccessControlUpgradeable.sol
[codex:650813] ================================================================================
[codex:650813] // SPDX-License-Identifier: MIT
[codex:650813] // OpenZeppelin Contracts (last updated v4.5.0) (access/AccessControl.sol)
[codex:650813] 
[codex:650813] pragma solidity ^0.8.0;
[codex:650813] 
[codex:650813] import "./IAccessControlUpgradeable.sol";
[codex:650813] import "../utils/ContextUpgradeable.sol";
[codex:650813] import "../utils/StringsUpgradeable.sol";
[codex:650813] import "../utils/introspection/ERC165Upgradeable.sol";
[codex:650813] import "../proxy/utils/Initializable.sol";
[codex:650813] 
[codex:650813] /**
[codex:650813]  * @dev Contract module that allows children to implement role-based access
[codex:650813]  * control mechanisms. This is a lightweight version that doesn't allow enumerating role
[codex:650813]  * members except through off-chain means by accessing the contract event logs. Some
[codex:650813] 
[codex:650813] 
[codex:650813] 
[codex:650813] thinking
[codex:650813] **Reviewing first-party contract security**
[codex:650813] 
[codex:650813] I've carefully analyzed the main contract, RealtMerkleUUPS, focusing on reentrancy, access control, upgradeability, and external call risks; overall, it looks solid with proper state updates before external calls, role restrictions, and initializer protections, though some deployment and upgrade patterns could be tightened and there are minor configuration and misdeployment risks but no clear exploitable vulnerabilities.
[codex:650813] thinking
[codex:650813] **Analyzing additional edge cases and upgrade risks**
[codex:650813] 
[codex:650813] I'm checking for subtle issues like reentrancy across accounts, proof misuse, and uninitialized implementation contracts; while most patterns look safe, the lack of disabling initializers on the implementation and token transfer accounting could cause configuration risks or token compatibility quirks worth noting.
[codex:650813] thinking
[codex:650813] **Confirming final security considerations**
[codex:650813] 
[codex:650813] I've reviewed remaining details around transfer patterns, external calls, and upgrade controls; nothing stands out as exploitable, though minor notes like uninitialized implementation risk and token compatibility remain low-severity and informational rather than true vulnerabilities.
[codex:650813] exec
[codex:650813] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-i3_8k_cc succeeded in 5ms:
[codex:650813] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:650813] 
[codex:650813] thinking
[codex:650813] **Preparing JSON audit summary**
[codex:650813] 
[codex:650813] I’m putting together a concise JSON output that clearly states no exploitable vulnerabilities were found, but flags residual operational risks like proxy initialization and admin key safety, while noting no tests were executed. I’ll ensure the JSON is clean, valid, and matches the required schema exactly.
[codex:650813] codex
[codex:650813] {"no_findings":true,"summary":"No exploitable vulnerabilities found in first-party contracts in AUDIT_BUNDLE.txt. Residual risks are operational: ensure the proxy is initialized atomically and admin keys are secured; no tests were executed.","findings":[]}
[codex:650813] tokens used
[codex:650813] 24,028
[codex:650813] {"no_findings":true,"summary":"No exploitable vulnerabilities found in first-party contracts in AUDIT_BUNDLE.txt. Residual risks are operational: ensure the proxy is initialized atomically and admin keys are secured; no tests were executed.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-29T17:26:14.346063+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities found in first-party contracts in AUDIT_BUNDLE.txt. Residual risks are operational: ensure the proxy is initialized atomically and admin keys are secured; no tests were executed.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities found in first-party contracts in AUDIT_BUNDLE.txt. Residual risks are operational: ensure the proxy is initialized atomically and admin keys are secured; no tests were executed.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0109
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x4f1ef286
00000019: GT
0000001a: PUSH2 0x0095
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa217fddf
00000024: GT
00000025: PUSH2 0x0064
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xa217fddf
0000002f: EQ
00000030: PUSH2 0x0641
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd547741f
0000003a: EQ
0000003b: PUSH2 0x066c
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf3fef3a3
00000045: EQ
00000046: PUSH2 0x06c7
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf72c0d8b
00000050: EQ
00000051: PUSH2 0x0722
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfc0c546a
0000005b: EQ
0000005c: PUSH2 0x074d
0000005f: JUMPI
00000060: PUSH2 0x0109
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x4f1ef286
0000006b: EQ
0000006c: PUSH2 0x048f
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x52d1902d
00000076: EQ
00000077: PUSH2 0x056a
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x7cb64759
00000081: EQ
00000082: PUSH2 0x0595
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x91d14854
0000008c: EQ
0000008d: PUSH2 0x05d0
00000090: JUMPI
00000091: PUSH2 0x0109
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0x2eb4a7ab
0000009c: GT
0000009d: PUSH2 0x00dc
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x2eb4a7ab
000000a7: EQ
000000a8: PUSH2 0x02ec
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x2f2ff15d
000000b2: EQ
000000b3: PUSH2 0x0317
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x36568abe
000000bd: EQ
000000be: PUSH2 0x0372
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x3659cfe6
000000c8: EQ
000000c9: PUSH2 0x03cd
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x485cc955
000000d3: EQ
000000d4: PUSH2 0x041e
000000d7: JUMPI
000000d8: PUSH2 0x0109
000000db: JUMP
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0x01ffc9a7
000000e3: EQ
000000e4: PUSH2 0x010e
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x128a3457
000000ee: EQ
000000ef: PUSH2 0x017e
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x1d7d4ebc
000000f9: EQ
000000fa: PUSH2 0x01e3
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x248a9ca3
00000104: EQ
00000105: PUSH2 0x029d
00000108: JUMPI
00000109: JUMPDEST
0000010a: PUSH1 0x00
0000010c: DUP1
0000010d: REVERT
0000010e: JUMPDEST
0000010f: CALLVALUE
00000110: DUP1
00000111: ISZERO
00000112: PUSH2 0x011a
00000115: JUMPI
00000116: PUSH1 0x00
00000118: DUP1
00000119: REVERT
0000011a: JUMPDEST
0000011b: POP
0000011c: PUSH2 0x0166
0000011f: PUSH1 0x04
00000121: DUP1
00000122: CALLDATASIZE
00000123: SUB
00000124: PUSH1 0x20
00000126: DUP2
00000127: LT
00000128: ISZERO
00000129: PUSH2 0x0131
0000012c: JUMPI
0000012d: PUSH1 0x00
0000012f: DUP1
00000130: REVERT
00000131: JUMPDEST
00000132: DUP2
00000133: ADD
00000134: SWAP1
00000135: DUP1
00000136: DUP1
00000137: CALLDATALOAD
00000138: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000155: NOT
00000156: AND
00000157: SWAP1
00000158: PUSH1 0x20
0000015a: ADD
0000015b: SWAP1
0000015c: SWAP3
0000015d: SWAP2
0000015e: SWAP1
0000015f: POP
00000160: POP
00000161: POP
00000162: PUSH2 0x078e
00000165: JUMP
00000166: JUMPDEST
00000167: PUSH1 0x40
00000169: MLOAD
0000016a: DUP1
0000016b: DUP3
0000016c: ISZERO
0000016d: ISZERO
0000016e: DUP2
0000016f: MSTORE
00000170: PUSH1 0x20
00000172: ADD
00000173: SWAP2
00000174: POP
00000175: POP
00000176: PUSH1 0x40
00000178: MLOAD
00000179: DUP1
0000017a: SWAP2
0000017b: SUB
0000017c: SWAP1
0000017d: RETURN
0000017e: JUMPDEST
0000017f: CALLVALUE
00000180: DUP1
00000181: ISZERO
00000182: PUSH2 0x018a
00000185: JUMPI
00000186: PUSH1 0x00
00000188: DUP1
00000189: REVERT
0000018a: JUMPDEST
0000018b: POP
0000018c: PUSH2 0x01cd
0000018f: PUSH1 0x04
00000191: DUP1
00000192: CALLDATASIZE
00000193: SUB
00000194: PUSH1 0x20
00000196: DUP2
00000197: LT
00000198: ISZERO
00000199: PUSH2 0x01a1
0000019c: JUMPI
0000019d: PUSH1 0x00
0000019f: DUP1
000001a0: REVERT
000001a1: JUMPDEST
000001a2: DUP2
000001a3: ADD
000001a4: SWAP1
000001a5: DUP1
000001a6: DUP1
000001a7: CALLDATALOAD
000001a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001bd: AND
000001be: SWAP1
000001bf: PUSH1 0x20
000001c1: ADD
000001c2: SWAP1
000001c3: SWAP3
000001c4: SWAP2
000001c5: SWAP1
000001c6: POP
000001c7: POP
000001c8: POP
000001c9: PUSH2 0x0808
000001cc: JUMP
000001cd: JUMPDEST
000001ce: PUSH1 0x40
000001d0: MLOAD
000001d1: DUP1
000001d2: DUP3
000001d3: DUP2
000001d4: MSTORE
000001d5: PUSH1 0x20
000001d7: ADD
000001d8: SWAP2
000001d9: POP
000001da: POP
000001db: PUSH1 0x40
000001dd: MLOAD
000001de: DUP1
000001df: SWAP2
000001e0: SUB
000001e1: SWAP1
000001e2: RETURN
000001e3: JUMPDEST
000001e4: CALLVALUE
000001e5: DUP1
000001e6: ISZERO
000001e7: PUSH2 0x01ef
000001ea: JUMPI
000001eb: PUSH1 0x00
000001ed: DUP1
000001ee: REVERT
000001ef: JUMPDEST
000001f0: POP
000001f1: PUSH2 0x029b
000001f4: PUSH1 0x04
000001f6: DUP1
000001f7: CALLDATASIZE
000001f8: SUB
000001f9: PUSH1 0x80
000001fb: DUP2
000001fc: LT
000001fd: ISZERO
000001fe: PUSH2 0x0206
00000201: JUMPI
00000202: PUSH1 0x00
00000204: DUP1
00000205: REVERT
00000206: JUMPDEST
00000207: DUP2
00000208: ADD
00000209: SWAP1
0000020a: DUP1
0000020b: DUP1
0000020c: CALLDATALOAD
0000020d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000222: AND
00000223: SWAP1
00000224: PUSH1 0x20
00000226: ADD
00000227: SWAP1
00000228: SWAP3
00000229: SWAP2
0000022a: SWAP1
0000022b: DUP1
0000022c: CALLDATALOAD
0000022d: SWAP1
0000022e: PUSH1 0x20
00000230: ADD
00000231: SWAP1
00000232: SWAP3
00000233: SWAP2
00000234: SWAP1
00000235: DUP1
00000236: CALLDATALOAD
00000237: SWAP1
00000238: PUSH1 0x20
0000023a: ADD
0000023b: SWAP1
0000023c: SWAP3
0000023d: SWAP2
0000023e: SWAP1
0000023f: DUP1
00000240: CALLDATALOAD
00000241: SWAP1
00000242: PUSH1 0x20
00000244: ADD
00000245: SWAP1
00000246: PUSH5 0x0100000000
0000024c: DUP2
0000024d: GT
0000024e: ISZERO
0000024f: PUSH2 0x0257
00000252: JUMPI
00000253: PUSH1 0x00
00000255: DUP1
00000256: REVERT
00000257: JUMPDEST
00000258: DUP3
00000259: ADD
0000025a: DUP4
0000025b: PUSH1 0x20
0000025d: DUP3
0000025e: ADD
0000025f: GT
00000260: ISZERO
00000261: PUSH2 0x0269
00000264: JUMPI
00000265: PUSH1 0x00
00000267: DUP1
00000268: REVERT
00000269: JUMPDEST
0000026a: DUP1
0000026b: CALLDATALOAD
0000026c: SWAP1
0000026d: PUSH1 0x20
0000026f: ADD
00000270: SWAP2
00000271: DUP5
00000272: PUSH1 0x20
00000274: DUP4
00000275: MUL
00000276: DUP5
00000277: ADD
00000278: GT
00000279: PUSH5 0x0100000000
0000027f: DUP4
00000280: GT
00000281: OR
00000282: ISZERO
00000283: PUSH2 0x028b
00000286: JUMPI
00000287: PUSH1 0x00
00000289: DUP1
0000028a: REVERT
0000028b: JUMPDEST
0000028c: SWAP1
0000028d: SWAP2
0000028e: SWAP3
0000028f: SWAP4
00000290: SWAP2
00000291: SWAP3
00000292: SWAP4
00000293: SWAP1
00000294: POP
00000295: POP
00000296: POP
00000297: PUSH2 0x0851
0000029a: JUMP
0000029b: JUMPDEST
0000029c: STOP
0000029d: JUMPDEST
0000029e: CALLVALUE
0000029f: DUP1
000002a0: ISZERO
000002a1: PUSH2 0x02a9
000002a4: JUMPI
000002a5: PUSH1 0x00
000002a7: DUP1
000002a8: REVERT
000002a9: JUMPDEST
000002aa: POP
000002ab: PUSH2 0x02d6
000002ae: PUSH1 0x04
000002b0: DUP1
000002b1: CALLDATASIZE
000002b2: SUB
000002b3: PUSH1 0x20
000002b5: DUP2
000002b6: LT
000002b7: ISZERO
000002b8: PUSH2 0x02c0
000002bb: JUMPI
000002bc: PUSH1 0x00
000002be: DUP1
000002bf: REVERT
000002c0: JUMPDEST
000002c1: DUP2
000002c2: ADD
000002c3: SWAP1
000002c4: DUP1
000002c5: DUP1
000002c6: CALLDATALOAD
000002c7: SWAP1
000002c8: PUSH1 0x20
000002ca: ADD
000002cb: SWAP1
000002cc: SWAP3
000002cd: SWAP2
000002ce: SWAP1
000002cf: POP
000002d0: POP
000002d1: POP
000002d2: PUSH2 0x0b31
000002d5: JUMP
000002d6: JUMPDEST
000002d7: PUSH1 0x40
000002d9: MLOAD
000002da: DUP1
000002db: DUP3
000002dc: DUP2
000002dd: MSTORE
000002de: PUSH1 0x20
000002e0: ADD
000002e1: SWAP2
000002e2: POP
000002e3: POP
000002e4: PUSH1 0x40
000002e6: MLOAD
000002e7: DUP1
000002e8: SWAP2
000002e9: SUB
000002ea: SWAP1
000002eb: RETURN
000002ec: JUMPDEST
000002ed: CALLVALUE
000002ee: DUP1
000002ef: ISZERO
000002f0: PUSH2 0x02f8
000002f3: JUMPI
000002f4: PUSH1 0x00
000002f6: DUP1
000002f7: REVERT
000002f8: JUMPDEST
000002f9: POP
000002fa: PUSH2 0x0301
000002fd: PUSH2 0x0b51
00000300: JUMP
00000301: JUMPDEST
00000302: PUSH1 0x40
00000304: MLOAD
00000305: DUP1
00000306: DUP3
00000307: DUP2
00000308: MSTORE
00000309: PUSH1 0x20
0000030b: ADD
0000030c: SWAP2
0000030d: POP
0000030e: POP
0000030f: PUSH1 0x40
00000311: MLOAD
00000312: DUP1
00000313: SWAP2
00000314: SUB
00000315: SWAP1
00000316: RETURN
00000317: JUMPDEST
00000318: CALLVALUE
00000319: DUP1
0000031a: ISZERO
0000031b: PUSH2 0x0323
0000031e: JUMPI
0000031f: PUSH1 0x00
00000321: DUP1
00000322: REVERT
00000323: JUMPDEST
00000324: POP
00000325: PUSH2 0x0370
00000328: PUSH1 0x04
0000032a: DUP1
0000032b: CALLDATASIZE
0000032c: SUB
0000032d: PUSH1 0x40
0000032f: DUP2
00000330: LT
00000331: ISZERO
00000332: PUSH2 0x033a
00000335: JUMPI
00000336: PUSH1 0x00
00000338: DUP1
00000339: REVERT
0000033a: JUMPDEST
0000033b: DUP2
0000033c: ADD
0000033d: SWAP1
0000033e: DUP1
0000033f: DUP1
00000340: CALLDATALOAD
00000341: SWAP1
00000342: PUSH1 0x20
00000344: ADD
00000345: SWAP1
00000346: SWAP3
00000347: SWAP2
00000348: SWAP1
00000349: DUP1
0000034a: CALLDATALOAD
0000034b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000360: AND
00000361: SWAP1
00000362: PUSH1 0x20
00000364: ADD
00000365: SWAP1
00000366: SWAP3
00000367: SWAP2
00000368: SWAP1
00000369: POP
0000036a: POP
0000036b: POP
0000036c: PUSH2 0x0b57
0000036f: JUMP
00000370: JUMPDEST
00000371: STOP
00000372: JUMPDEST
00000373: CALLVALUE
00000374: DUP1
00000375: ISZERO
00000376: PUSH2 0x037e
00000379: JUMPI
0000037a: PUSH1 0x00
0000037c: DUP1
0000037d: REVERT
0000037e: JUMPDEST
0000037f: POP
00000380: PUSH2 0x03cb
00000383: PUSH1 0x04
00000385: DUP1
00000386: CALLDATASIZE
00000387: SUB
00000388: PUSH1 0x40
0000038a: DUP2
0000038b: LT
0000038c: ISZERO
0000038d: PUSH2 0x0395
00000390: JUMPI
00000391: PUSH1 0x00
00000393: DUP1
00000394: REVERT
00000395: JUMPDEST
00000396: DUP2
00000397: ADD
00000398: SWAP1
00000399: DUP1
0000039a: DUP1
0000039b: CALLDATALOAD
0000039c: SWAP1
0000039d: PUSH1 0x20
0000039f: ADD
000003a0: SWAP1
000003a1: SWAP3
000003a2: SWAP2
000003a3: SWAP1
000003a4: DUP1
000003a5: CALLDATALOAD
000003a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003bb: AND
000003bc: SWAP1
000003bd: PUSH1 0x20
000003bf: ADD
000003c0: SWAP1
000003c1: SWAP3
000003c2: SWAP2
000003c3: SWAP1
000003c4: POP
000003c5: POP
000003c6: POP
000003c7: PUSH2 0x0b80
000003ca: JUMP
000003cb: JUMPDEST
000003cc: STOP
000003cd: JUMPDEST
000003ce: CALLVALUE
000003cf: DUP1
000003d0: ISZERO
000003d1: PUSH2 0x03d9
000003d4: JUMPI
000003d5: PUSH1 0x00
000003d7: DUP1
000003d8: REVERT
000003d9: JUMPDEST
000003da: POP
000003db: PUSH2 0x041c
000003de: PUSH1 0x04
000003e0: DUP1
000003e1: CALLDATASIZE
000003e2: SUB
000003e3: PUSH1 0x20
000003e5: DUP2
000003e6: LT
000003e7: ISZERO
000003e8: PUSH2 0x03f0
000003eb: JUMPI
000003ec: PUSH1 0x00
000003ee: DUP1
000003ef: REVERT
000003f0: JUMPDEST
000003f1: DUP2
000003f2: ADD
000003f3: SWAP1
000003f4: DUP1
000003f5: DUP1
000003f6: CALLDATALOAD
000003f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000040c: AND
0000040d: SWAP1
0000040e: PUSH1 0x20
00000410: ADD
00000411: SWAP1
00000412: SWAP3
00000413: SWAP2
00000414: SWAP1
00000415: POP
00000416: POP
00000417: POP
00000418: PUSH2 0x0c03
0000041b: JUMP
0000041c: JUMPDEST
0000041d: STOP
0000041e: JUMPDEST
0000041f: CALLVALUE
00000420: DUP1
00000421: ISZERO
00000422: PUSH2 0x042a
00000425: JUMPI
00000426: PUSH1 0x00
00000428: DUP1
00000429: REVERT
0000042a: JUMPDEST
0000042b: POP
0000042c: PUSH2 0x048d
0000042f: PUSH1 0x04
00000431: DUP1
00000432: CALLDATASIZE
00000433: SUB
00000434: PUSH1 0x40
00000436: DUP2
00000437: LT
00000438: ISZERO
00000439: PUSH2 0x0441
0000043c: JUMPI
0000043d: PUSH1 0x00
0000043f: DUP1
00000440: REVERT
00000441: JUMPDEST
00000442: DUP2
00000443: ADD
00000444: SWAP1
00000445: DUP1
00000446: DUP1
00000447: CALLDATALOAD
00000448: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000045d: AND
0000045e: SWAP1
0000045f: PUSH1 0x20
00000461: ADD
00000462: SWAP1
00000463: SWAP3
00000464: SWAP2
00000465: SWAP1
00000466: DUP1
00000467: CALLDATALOAD
00000468: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000047d: AND
0000047e: SWAP1
0000047f: PUSH1 0x20
00000481: ADD
00000482: SWAP1
00000483: SWAP3
00000484: SWAP2
00000485: SWAP1
00000486: POP
00000487: POP
00000488: POP
00000489: PUSH2 0x0d8c
0000048c: JUMP
0000048d: JUMPDEST
0000048e: STOP
0000048f: JUMPDEST
00000490: PUSH2 0x0568
00000493: PUSH1 0x04
00000495: DUP1
00000496: CALLDATASIZE
00000497: SUB
00000498: PUSH1 0x40
0000049a: DUP2
0000049b: LT
0000049c: ISZERO
0000049d: PUSH2 0x04a5
000004a0: JUMPI
000004a1: PUSH1 0x00
000004a3: DUP1
000004a4: REVERT
000004a5: JUMPDEST
000004a6: DUP2
000004a7: ADD
000004a8: SWAP1
000004a9: DUP1
000004aa: DUP1
000004ab: CALLDATALOAD
000004ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004c1: AND
000004c2: SWAP1
000004c3: PUSH1 0x20
000004c5: ADD
000004c6: SWAP1
000004c7: SWAP3
000004c8: SWAP2
000004c9: SWAP1
000004ca: DUP1
000004cb: CALLDATALOAD
000004cc: SWAP1
000004cd: PUSH1 0x20
000004cf: ADD
000004d0: SWAP1
000004d1: PUSH5 0x0100000000
000004d7: DUP2
000004d8: GT
000004d9: ISZERO
000004da: PUSH2 0x04e2
000004dd: JUMPI
000004de: PUSH1 0x00
000004e0: DUP1
000004e1: REVERT
000004e2: JUMPDEST
000004e3: DUP3
000004e4: ADD
000004e5: DUP4
000004e6: PUSH1 0x20
000004e8: DUP3
000004e9: ADD
000004ea: GT
000004eb: ISZERO
000004ec: PUSH2 0x04f4
000004ef: JUMPI
000004f0: PUSH1 0x00
000004f2: DUP1
000004f3: REVERT
000004f4: JUMPDEST
000004f5: DUP1
000004f6: CALLDATALOAD
000004f7: SWAP1
000004f8: PUSH1 0x20
000004fa: ADD
000004fb: SWAP2
000004fc: DUP5
000004fd: PUSH1 0x01
000004ff: DUP4
00000500: MUL
00000501: DUP5
00000502: ADD
00000503: GT
00000504: PUSH5 0x0100000000
0000050a: DUP4
0000050b: GT
0000050c: OR
0000050d: ISZERO
0000050e: PUSH2 0x0516
00000511: JUMPI
00000512: PUSH1 0x00
00000514: DUP1
00000515: REVERT
00000516: JUMPDEST
00000517: SWAP2
00000518: SWAP1
00000519: DUP1
0000051a: DUP1
0000051b: PUSH1 0x1f
0000051d: ADD
0000051e: PUSH1 0x20
00000520: DUP1
00000521: SWAP2
00000522: DIV
00000523: MUL
00000524: PUSH1 0x20
00000526: ADD
00000527: PUSH1 0x40
00000529: MLOAD
0000052a: SWAP1
0000052b: DUP2
0000052c: ADD
0000052d: PUSH1 0x40
0000052f: MSTORE
00000530: DUP1
00000531: SWAP4
00000532: SWAP3
00000533: SWAP2
00000534: SWAP1
00000535: DUP2
00000536: DUP2
00000537: MSTORE
00000538: PUSH1 0x20
0000053a: ADD
0000053b: DUP4
0000053c: DUP4
0000053d: DUP1
0000053e: DUP3
0000053f: DUP5
00000540: CALLDATACOPY
00000541: PUSH1 0x00
00000543: DUP2
00000544: DUP5
00000545: ADD
00000546: MSTORE
00000547: PUSH1 0x1f
00000549: NOT
0000054a: PUSH1 0x1f
0000054c: DUP3
0000054d: ADD
0000054e: AND
0000054f: SWAP1
00000550: POP
00000551: DUP1
00000552: DUP4
00000553: ADD
00000554: SWAP3
00000555: POP
00000556: POP
00000557: POP
00000558: POP
00000559: POP
0000055a: POP
0000055b: POP
0000055c: SWAP2
0000055d: SWAP3
0000055e: SWAP2
0000055f: SWAP3
00000560: SWAP1
00000561: POP
00000562: POP
00000563: POP
00000564: PUSH2 0x0efa
00000567: JUMP
00000568: JUMPDEST
00000569: STOP
0000056a: JUMPDEST
0000056b: CALLVALUE
0000056c: DUP1
0000056d: ISZERO
0000056e: PUSH2 0x0576
00000571: JUMPI
00000572: PUSH1 0x00
00000574: DUP1
00000575: REVERT
00000576: JUMPDEST
00000577: POP
00000578: PUSH2 0x057f
0000057b: PUSH2 0x1037
0000057e: JUMP
0000057f: JUMPDEST
00000580: PUSH1 0x40
00000582: MLOAD
00000583: DUP1
00000584: DUP3
00000585: DUP2
00000586: MSTORE
00000587: PUSH1 0x20
00000589: ADD
0000058a: SWAP2
0000058b: POP
0000058c: POP
0000058d: PUSH1 0x40
0000058f: MLOAD
00000590: DUP1
00000591: SWAP2
00000592: SUB
00000593: SWAP1
00000594: RETURN
00000595: JUMPDEST
00000596: CALLVALUE
00000597: DUP1
00000598: ISZERO
00000599: PUSH2 0x05a1
0000059c: JUMPI
0000059d: PUSH1 0x00
0000059f: DUP1
000005a0: REVERT
000005a1: JUMPDEST
000005a2: POP
000005a3: PUSH2 0x05ce
000005a6: PUSH1 0x04
000005a8: DUP1
000005a9: CALLDATASIZE
000005aa: SUB
000005ab: PUSH1 0x20
000005ad: DUP2
000005ae: LT
000005af: ISZERO
000005b0: PUSH2 0x05b8
000005b3: JUMPI
000005b4: PUSH1 0x00
000005b6: DUP1
000005b7: REVERT
000005b8: JUMPDEST
000005b9: DUP2
000005ba: ADD
000005bb: SWAP1
000005bc: DUP1
000005bd: DUP1
000005be: CALLDATALOAD
000005bf: SWAP1
000005c0: PUSH1 0x20
000005c2: ADD
000005c3: SWAP1
000005c4: SWAP3
000005c5: SWAP2
000005c6: SWAP1
000005c7: POP
000005c8: POP
000005c9: POP
000005ca: PUSH2 0x10f0
000005cd: JUMP
000005ce: JUMPDEST
000005cf: STOP
000005d0: JUMPDEST
000005d1: CALLVALUE
000005d2: DUP1
000005d3: ISZERO
000005d4: PUSH2 0x05dc
000005d7: JUMPI
000005d8: PUSH1 0x00
000005da: DUP1
000005db: REVERT
000005dc: JUMPDEST
000005dd: POP
000005de: PUSH2 0x0629
000005e1: PUSH1 0x04
000005e3: DUP1
000005e4: CALLDATASIZE
000005e5: SUB
000005e6: PUSH1 0x40
000005e8: DUP2
000005e9: LT
000005ea: ISZERO
000005eb: PUSH2 0x05f3
000005ee: JUMPI
000005ef: PUSH1 0x00
000005f1: DUP1
000005f2: REVERT
000005f3: JUMPDEST
000005f4: DUP2
000005f5: ADD
000005f6: SWAP1
000005f7: DUP1
000005f8: DUP1
000005f9: CALLDATALOAD
000005fa: SWAP1
000005fb: PUSH1 0x20
000005fd: ADD
000005fe: SWAP1
000005ff: SWAP3
00000600: SWAP2
00000601: SWAP1
00000602: DUP1
00000603: CALLDATALOAD
00000604: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000619: AND
0000061a: SWAP1
0000061b: PUSH1 0x20
0000061d: ADD
0000061e: SWAP1
0000061f: SWAP3
00000620: SWAP2
00000621: SWAP1
00000622: POP
00000623: POP
00000624: POP
00000625: PUSH2 0x1140
00000628: JUMP
00000629: JUMPDEST
0000062a: PUSH1 0x40
0000062c: MLOAD
0000062d: DUP1
0000062e: DUP3
0000062f: ISZERO
00000630: ISZERO
00000631: DUP2
00000632: MSTORE
00000633: PUSH1 0x20
00000635: ADD
00000636: SWAP2
00000637: POP
00000638: POP
00000639: PUSH1 0x40
0000063b: MLOAD
0000063c: DUP1
0000063d: SWAP2
0000063e: SUB
0000063f: SWAP1
00000640: RETURN
00000641: JUMPDEST
00000642: CALLVALUE
00000643: DUP1
00000644: ISZERO
00000645: PUSH2 0x064d
00000648: JUMPI
00000649: PUSH1 0x00
0000064b: DUP1
0000064c: REVERT
0000064d: JUMPDEST
0000064e: POP
0000064f: PUSH2 0x0656
00000652: PUSH2 0x11ab
00000655: JUMP
00000656: JUMPDEST
00000657: PUSH1 0x40
00000659: MLOAD
0000065a: DUP1
0000065b: DUP3
0000065c: DUP2
0000065d: MSTORE
0000065e: PUSH1 0x20
00000660: ADD
00000661: SWAP2
00000662: POP
00000663: POP
00000664: PUSH1 0x40
00000666: MLOAD
00000667: DUP1
00000668: SWAP2
00000669: SUB
0000066a: SWAP1
0000066b: RETURN
0000066c: JUMPDEST
0000066d: CALLVALUE
0000066e: DUP1
0000066f: ISZERO
00000670: PUSH2 0x0678
00000673: JUMPI
00000674: PUSH1 0x00
00000676: DUP1
00000677: REVERT
00000678: JUMPDEST
00000679: POP
0000067a: PUSH2 0x06c5
0000067d: PUSH1 0x04
0000067f: DUP1
00000680: CALLDATASIZE
00000681: SUB
00000682: PUSH1 0x40
00000684: DUP2
00000685: LT
00000686: ISZERO
00000687: PUSH2 0x068f
0000068a: JUMPI
0000068b: PUSH1 0x00
0000068d: DUP1
0000068e: REVERT
0000068f: JUMPDEST
00000690: DUP2
00000691: ADD
00000692: SWAP1
00000693: DUP1
00000694: DUP1
00000695: CALLDATALOAD
00000696: SWAP1
00000697: PUSH1 0x20
00000699: ADD
0000069a: SWAP1
0000069b: SWAP3
0000069c: SWAP2
0000069d: SWAP1
0000069e: DUP1
0000069f: CALLDATALOAD
000006a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006b5: AND
000006b6: SWAP1
000006b7: PUSH1 0x20
000006b9: ADD
000006ba: SWAP1
000006bb: SWAP3
000006bc: SWAP2
000006bd: SWAP1
000006be: POP
000006bf: POP
000006c0: POP
000006c1: PUSH2 0x11b2
000006c4: JUMP
000006c5: JUMPDEST
000006c6: STOP
000006c7: JUMPDEST
000006c8: CALLVALUE
000006c9: DUP1
000006ca: ISZERO
000006cb: PUSH2 0x06d3
000006ce: JUMPI
000006cf: PUSH1 0x00
000006d1: DUP1
000006d2: REVERT
000006d3: JUMPDEST
000006d4: POP
000006d5: PUSH2 0x0720
000006d8: PUSH1 0x04
000006da: DUP1
000006db: CALLDATASIZE
000006dc: SUB
000006dd: PUSH1 0x40
000006df: DUP2
000006e0: LT
000006e1: ISZERO
000006e2: PUSH2 0x06ea
000006e5: JUMPI
000006e6: PUSH1 0x00
000006e8: DUP1
000006e9: REVERT
000006ea: JUMPDEST
000006eb: DUP2
000006ec: ADD
000006ed: SWAP1
000006ee: DUP1
000006ef: DUP1
000006f0: CALLDATALOAD
000006f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000706: AND
00000707: SWAP1
00000708: PUSH1 0x20
0000070a: ADD
0000070b: SWAP1
0000070c: SWAP3
0000070d: SWAP2
0000070e: SWAP1
0000070f: DUP1
00000710: CALLDATALOAD
00000711: SWAP1
00000712: PUSH1 0x20
00000714: ADD
00000715: SWAP1
00000716: SWAP3
00000717: SWAP2
00000718: SWAP1
00000719: POP
0000071a: POP
0000071b: POP
0000071c: PUSH2 0x11db
0000071f: JUMP
00000720: JUMPDEST
00000721: STOP
00000722: JUMPDEST
00000723: CALLVALUE
00000724: DUP1
00000725: ISZERO
00000726: PUSH2 0x072e
00000729: JUMPI
0000072a: PUSH1 0x00
0000072c: DUP1
0000072d: REVERT
0000072e: JUMPDEST
0000072f: POP
00000730: PUSH2 0x0737
00000733: PUSH2 0x1286
00000736: JUMP
00000737: JUMPDEST
00000738: PUSH1 0x40
0000073a: MLOAD
0000073b: DUP1
0000073c: DUP3
0000073d: DUP2
0000073e: MSTORE
0000073f: PUSH1 0x20
00000741: ADD
00000742: SWAP2
00000743: POP
00000744: POP
00000745: PUSH1 0x40
00000747: MLOAD
00000748: DUP1
00000749: SWAP2
0000074a: SUB
0000074b: SWAP1
0000074c: RETURN
0000074d: JUMPDEST
0000074e: CALLVALUE
0000074f: DUP1
00000750: ISZERO
00000751: PUSH2 0x0759
00000754: JUMPI
00000755: PUSH1 0x00
00000757: DUP1
00000758: REVERT
00000759: JUMPDEST
0000075a: POP
0000075b: PUSH2 0x0762
0000075e: PUSH2 0x12aa
00000761: JUMP
00000762: JUMPDEST
00000763: PUSH1 0x40
00000765: MLOAD
00000766: DUP1
00000767: DUP3
00000768: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000077d: AND
0000077e: DUP2
0000077f: MSTORE
00000780: PUSH1 0x20
00000782: ADD
00000783: SWAP2
00000784: POP
00000785: POP
00000786: PUSH1 0x40
00000788: MLOAD
00000789: DUP1
0000078a: SWAP2
0000078b: SUB
0000078c: SWAP1
0000078d: RETURN
0000078e: JUMPDEST
0000078f: PUSH1 0x00
00000791: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000
000007b2: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000007cf: NOT
000007d0: AND
000007d1: DUP3
000007d2: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000007ef: NOT
000007f0: AND
000007f1: EQ
000007f2: DUP1
000007f3: PUSH2 0x0801
000007f6: JUMPI
000007f7: POP
000007f8: PUSH2 0x0800
000007fb: DUP3
000007fc: PUSH2 0x12d0
000007ff: JUMP
00000800: JUMPDEST
00000801: JUMPDEST
00000802: SWAP1
00000803: POP
00000804: SWAP2
00000805: SWAP1
00000806: POP
00000807: JUMP
00000808: JUMPDEST
00000809: PUSH1 0x00
0000080b: PUSH1 0xfd
0000080d: PUSH1 0x00
0000080f: DUP4
00000810: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000825: AND
00000826: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000083b: AND
0000083c: DUP2
0000083d: MSTORE
0000083e: PUSH1 0x20
00000840: ADD
00000841: SWAP1
00000842: DUP2
00000843: MSTORE
00000844: PUSH1 0x20
00000846: ADD
00000847: PUSH1 0x00
00000849: KECCAK256
0000084a: SLOAD
0000084b: SWAP1
0000084c: POP
0000084d: SWAP2
0000084e: SWAP1
0000084f: POP
00000850: JUMP
00000851: JUMPDEST
00000852: DUP3
00000853: PUSH1 0xfc
00000855: SLOAD
00000856: EQ
00000857: PUSH2 0x08c8
0000085a: JUMPI
0000085b: PUSH1 0x40
0000085d: MLOAD
0000085e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000087f: DUP2
00000880: MSTORE
00000881: PUSH1 0x04
00000883: ADD
00000884: DUP1
00000885: DUP1
00000886: PUSH1 0x20
00000888: ADD
00000889: DUP3
0000088a: DUP2
0000088b: SUB
0000088c: DUP3
0000088d: MSTORE
0000088e: PUSH1 0x1c
00000890: DUP2
00000891: MSTORE
00000892: PUSH1 0x20
00000894: ADD
00000895: DUP1
00000896: PUSH32 0x434d443a204d65726b6c6520726f6f7420776173207570646174656400000000
000008b7: DUP2
000008b8: MSTORE
000008b9: POP
000008ba: PUSH1 0x20
000008bc: ADD
000008bd: SWAP2
000008be: POP
000008bf: POP
000008c0: PUSH1 0x40
000008c2: MLOAD
000008c3: DUP1
000008c4: SWAP2
000008c5: SUB
000008c6: SWAP1
000008c7: REVERT
000008c8: JUMPDEST
000008c9: PUSH1 0x00
000008cb: DUP6
000008cc: DUP6
000008cd: PUSH1 0x40
000008cf: MLOAD
000008d0: PUSH1 0x20
000008d2: ADD
000008d3: DUP1
000008d4: DUP4
000008d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ea: AND
000008eb: PUSH1 0x60
000008ed: SHL
000008ee: DUP2
000008ef: MSTORE
000008f0: PUSH1 0x14
000008f2: ADD
000008f3: DUP3
000008f4: DUP2
000008f5: MSTORE
000008f6: PUSH1 0x20
000008f8: ADD
000008f9: SWAP3
000008fa: POP
000008fb: POP
000008fc: POP
000008fd: PUSH1 0x40
000008ff: MLOAD
00000900: PUSH1 0x20
00000902: DUP2
00000903: DUP4
00000904: SUB
00000905: SUB
00000906: DUP2
00000907: MSTORE
00000908: SWAP1
00000909: PUSH1 0x40
0000090b: MSTORE
0000090c: DUP1
0000090d: MLOAD
0000090e: SWAP1
0000090f: PUSH1 0x20
00000911: ADD
00000912: KECCAK256
00000913: SWAP1
00000914: POP
00000915: PUSH2 0x0920
00000918: DUP4
00000919: DUP4
0000091a: DUP7
0000091b: DUP5
0000091c: PUSH2 0x133a
0000091f: JUMP
00000920: JUMPDEST
00000921: PUSH2 0x0992
00000924: JUMPI
00000925: PUSH1 0x40
00000927: MLOAD
00000928: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000949: DUP2
0000094a: MSTORE
0000094b: PUSH1 0x04
0000094d: ADD
0000094e: DUP1
0000094f: DUP1
00000950: PUSH1 0x20
00000952: ADD
00000953: DUP3
00000954: DUP2
00000955: SUB
00000956: DUP3
00000957: MSTORE
00000958: PUSH1 0x12
0000095a: DUP2
0000095b: MSTORE
0000095c: PUSH1 0x20
0000095e: ADD
0000095f: DUP1
00000960: PUSH32 0x434d443a20496e76616c69642070726f6f660000000000000000000000000000
00000981: DUP2
00000982: MSTORE
00000983: POP
00000984: PUSH1 0x20
00000986: ADD
00000987: SWAP2
00000988: POP
00000989: POP
0000098a: PUSH1 0x40
0000098c: MLOAD
0000098d: DUP1
0000098e: SWAP2
0000098f: SUB
00000990: SWAP1
00000991: REVERT
00000992: JUMPDEST
00000993: PUSH1 0x00
00000995: PUSH1 0xfd
00000997: PUSH1 0x00
00000999: DUP9
0000099a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009af: AND
000009b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c5: AND
000009c6: DUP2
000009c7: MSTORE
000009c8: PUSH1 0x20
000009ca: ADD
000009cb: SWAP1
000009cc: DUP2
000009cd: MSTORE
000009ce: PUSH1 0x20
000009d0: ADD
000009d1: PUSH1 0x00
000009d3: KECCAK256
000009d4: SLOAD
000009d5: SWAP1
000009d6: POP
000009d7: DUP6
000009d8: DUP2
000009d9: LT
000009da: PUSH2 0x0a4b
000009dd: JUMPI
000009de: PUSH1 0x40
000009e0: MLOAD
000009e1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a02: DUP2
00000a03: MSTORE
00000a04: PUSH1 0x04
00000a06: ADD
00000a07: DUP1
00000a08: DUP1
00000a09: PUSH1 0x20
00000a0b: ADD
00000a0c: DUP3
00000a0d: DUP2
00000a0e: SUB
00000a0f: DUP3
00000a10: MSTORE
00000a11: PUSH1 0x15
00000a13: DUP2
00000a14: MSTORE
00000a15: PUSH1 0x20
00000a17: ADD
00000a18: DUP1
00000a19: PUSH32 0x434d443a204e6f7468696e6720746f20636c61696d0000000000000000000000
00000a3a: DUP2
00000a3b: MSTORE
00000a3c: POP
00000a3d: PUSH1 0x20
00000a3f: ADD
00000a40: SWAP2
00000a41: POP
00000a42: POP
00000a43: PUSH1 0x40
00000a45: MLOAD
00000a46: DUP1
00000a47: SWAP2
00000a48: SUB
00000a49: SWAP1
00000a4a: REVERT
00000a4b: JUMPDEST
00000a4c: DUP6
00000a4d: PUSH1 0xfd
00000a4f: PUSH1 0x00
00000a51: DUP10
00000a52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a67: AND
00000a68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a7d: AND
00000a7e: DUP2
00000a7f: MSTORE
00000a80: PUSH1 0x20
00000a82: ADD
00000a83: SWAP1
00000a84: DUP2
00000a85: MSTORE
00000a86: PUSH1 0x20
00000a88: ADD
00000a89: PUSH1 0x00
00000a8b: KECCAK256
00000a8c: DUP2
00000a8d: SWAP1
00000a8e: SSTORE
00000a8f: POP
00000a90: PUSH1 0x00
00000a92: DUP2
00000a93: DUP8
00000a94: SUB
00000a95: SWAP1
00000a96: POP
00000a97: PUSH2 0x0ae3
00000a9a: DUP9
00000a9b: DUP3
00000a9c: PUSH1 0xfb
00000a9e: PUSH1 0x00
00000aa0: SWAP1
00000aa1: SLOAD
00000aa2: SWAP1
00000aa3: PUSH2 0x0100
00000aa6: EXP
00000aa7: SWAP1
00000aa8: DIV
00000aa9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000abe: AND
00000abf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad4: AND
00000ad5: PUSH2 0x1396
00000ad8: SWAP1
00000ad9: SWAP3
00000ada: SWAP2
00000adb: SWAP1
00000adc: PUSH4 0xffffffff
00000ae1: AND
00000ae2: JUMP
00000ae3: JUMPDEST
00000ae4: DUP1
00000ae5: DUP9
00000ae6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000afb: AND
00000afc: PUSH32 0xd8138f8a3f377c5259ca548e70e4c2de94f129f5a11036a15b69513cba2b426a
00000b1d: PUSH1 0x40
00000b1f: MLOAD
00000b20: PUSH1 0x40
00000b22: MLOAD
00000b23: DUP1
00000b24: SWAP2
00000b25: SUB
00000b26: SWAP1
00000b27: LOG3
00000b28: POP
00000b29: POP
00000b2a: POP
00000b2b: POP
00000b2c: POP
00000b2d: POP
00000b2e: POP
00000b2f: POP
00000b30: JUMP
00000b31: JUMPDEST
00000b32: PUSH1 0x00
00000b34: PUSH1 0x65
00000b36: PUSH1 0x00
00000b38: DUP4
00000b39: DUP2
00000b3a: MSTORE
00000b3b: PUSH1 0x20
00000b3d: ADD
00000b3e: SWAP1
00000b3f: DUP2
00000b40: MSTORE
00000b41: PUSH1 0x20
00000b43: ADD
00000b44: PUSH1 0x00
00000b46: KECCAK256
00000b47: PUSH1 0x01
00000b49: ADD
00000b4a: SLOAD
00000b4b: SWAP1
00000b4c: POP
00000b4d: SWAP2
00000b4e: SWAP1
00000b4f: POP
00000b50: JUMP
00000b51: JUMPDEST
00000b52: PUSH1 0xfc
00000b54: SLOAD
00000b55: DUP2
00000b56: JUMP
00000b57: JUMPDEST
00000b58: PUSH2 0x0b60
00000b5b: DUP3
00000b5c: PUSH2 0x0b31
00000b5f: JUMP
00000b60: JUMPDEST
00000b61: PUSH2 0x0b71
00000b64: DUP2
00000b65: PUSH2 0x0b6c
00000b68: PUSH2 0x141c
00000b6b: JUMP
00000b6c: JUMPDEST
00000b6d: PUSH2 0x1424
00000b70: JUMP
00000b71: JUMPDEST
00000b72: PUSH2 0x0b7b
00000b75: DUP4
00000b76: DUP4
00000b77: PUSH2 0x14c1
00000b7a: JUMP
00000b7b: JUMPDEST
00000b7c: POP
00000b7d: POP
00000b7e: POP
00000b7f: JUMP
00000b80: JUMPDEST
00000b81: PUSH2 0x0b88
00000b84: PUSH2 0x141c
00000b87: JUMP
00000b88: JUMPDEST
00000b89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b9e: AND
00000b9f: DUP2
00000ba0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb5: AND
00000bb6: EQ
00000bb7: PUSH2 0x0bf5
00000bba: JUMPI
00000bbb: PUSH1 0x40
00000bbd: MLOAD
00000bbe: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000bdf: DUP2
00000be0: MSTORE
00000be1: PUSH1 0x04
00000be3: ADD
00000be4: PUSH2 0x0bec
00000be7: SWAP1
00000be8: PUSH2 0x20a9
00000beb: JUMP
00000bec: JUMPDEST
00000bed: PUSH1 0x40
00000bef: MLOAD
00000bf0: DUP1
00000bf1: SWAP2
00000bf2: SUB
00000bf3: SWAP1
00000bf4: REVERT
00000bf5: JUMPDEST
00000bf6: PUSH2 0x0bff
00000bf9: DUP3
00000bfa: DUP3
00000bfb: PUSH2 0x15a2
00000bfe: JUMP
00000bff: JUMPDEST
00000c00: POP
00000c01: POP
00000c02: JUMP
00000c03: JUMPDEST
00000c04: PUSH32 0x00000000000000000000000008baa59d1a22e827dbed6054205c0efc202665a0
00000c25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c3a: AND
00000c3b: ADDRESS
00000c3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c51: AND
00000c52: EQ
00000c53: ISZERO
00000c54: PUSH2 0x0c92
00000c57: JUMPI
00000c58: PUSH1 0x40
00000c5a: MLOAD
00000c5b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c7c: DUP2
00000c7d: MSTORE
00000c7e: PUSH1 0x04
00000c80: ADD
00000c81: PUSH2 0x0c89
00000c84: SWAP1
00000c85: PUSH2 0x213b
00000c88: JUMP
00000c89: JUMPDEST
00000c8a: PUSH1 0x40
00000c8c: MLOAD
00000c8d: DUP1
00000c8e: SWAP2
00000c8f: SUB
00000c90: SWAP1
00000c91: REVERT
00000c92: JUMPDEST
00000c93: PUSH32 0x00000000000000000000000008baa59d1a22e827dbed6054205c0efc202665a0
00000cb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cc9: AND
00000cca: PUSH2 0x0cd1
00000ccd: PUSH2 0x1684
00000cd0: JUMP
00000cd1: JUMPDEST
00000cd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce7: AND
00000ce8: EQ
00000ce9: PUSH2 0x0d27
00000cec: JUMPI
00000ced: PUSH1 0x40
00000cef: MLOAD
00000cf0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d11: DUP2
00000d12: MSTORE
00000d13: PUSH1 0x04
00000d15: ADD
00000d16: PUSH2 0x0d1e
00000d19: SWAP1
00000d1a: PUSH2 0x21cd
00000d1d: JUMP
00000d1e: JUMPDEST
00000d1f: PUSH1 0x40
00000d21: MLOAD
00000d22: DUP1
00000d23: SWAP2
00000d24: SUB
00000d25: SWAP1
00000d26: REVERT
00000d27: JUMPDEST
00000d28: PUSH2 0x0d30
00000d2b: DUP2
00000d2c: PUSH2 0x16db
00000d2f: JUMP
00000d30: JUMPDEST
00000d31: PUSH2 0x0d89
00000d34: DUP2
00000d35: PUSH1 0x00
00000d37: PUSH8 0xffffffffffffffff
00000d40: DUP2
00000d41: GT
00000d42: ISZERO
00000d43: PUSH2 0x0d4f
00000d46: JUMPI
00000d47: PUSH2 0x0d4e
00000d4a: PUSH2 0x21ed
00000d4d: JUMP
00000d4e: JUMPDEST
00000d4f: JUMPDEST
00000d50: PUSH1 0x40
00000d52: MLOAD
00000d53: SWAP1
00000d54: DUP1
00000d55: DUP3
00000d56: MSTORE
00000d57: DUP1
00000d58: PUSH1 0x1f
00000d5a: ADD
00000d5b: PUSH1 0x1f
00000d5d: NOT
00000d5e: AND
00000d5f: PUSH1 0x20
00000d61: ADD
00000d62: DUP3
00000d63: ADD
00000d64: PUSH1 0x40
00000d66: MSTORE
00000d67: DUP1
00000d68: ISZERO
00000d69: PUSH2 0x0d81
00000d6c: JUMPI
00000d6d: DUP2
00000d6e: PUSH1 0x20
00000d70: ADD
00000d71: PUSH1 0x01
00000d73: DUP3
00000d74: MUL
00000d75: DUP1
00000d76: CALLDATASIZE
00000d77: DUP4
00000d78: CALLDATACOPY
00000d79: DUP1
00000d7a: DUP3
00000d7b: ADD
00000d7c: SWAP2
00000d7d: POP
00000d7e: POP
00000d7f: SWAP1
00000d80: POP
00000d81: JUMPDEST
00000d82: POP
00000d83: PUSH1 0x00
00000d85: PUSH2 0x1711
00000d88: JUMP
00000d89: JUMPDEST
00000d8a: POP
00000d8b: JUMP
00000d8c: JUMPDEST
00000d8d: PUSH1 0x00
00000d8f: PUSH1 0x01
00000d91: SWAP1
00000d92: SLOAD
00000d93: SWAP1
00000d94: PUSH2 0x0100
00000d97: EXP
00000d98: SWAP1
00000d99: DIV
00000d9a: PUSH1 0xff
00000d9c: AND
00000d9d: PUSH2 0x0db4
00000da0: JUMPI
00000da1: PUSH1 0x00
00000da3: DUP1
00000da4: SLOAD
00000da5: SWAP1
00000da6: PUSH2 0x0100
00000da9: EXP
00000daa: SWAP1
00000dab: DIV
00000dac: PUSH1 0xff
00000dae: AND
00000daf: ISZERO
00000db0: PUSH2 0x0dbd
00000db3: JUMP
00000db4: JUMPDEST
00000db5: PUSH2 0x0dbc
00000db8: PUSH2 0x188e
00000dbb: JUMP
00000dbc: JUMPDEST
00000dbd: JUMPDEST
00000dbe: PUSH2 0x0dfc
00000dc1: JUMPI
00000dc2: PUSH1 0x40
00000dc4: MLOAD
00000dc5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000de6: DUP2
00000de7: MSTORE
00000de8: PUSH1 0x04
00000dea: ADD
00000deb: PUSH2 0x0df3
00000dee: SWAP1
00000def: PUSH2 0x228e
00000df2: JUMP
00000df3: JUMPDEST
00000df4: PUSH1 0x40
00000df6: MLOAD
00000df7: DUP1
00000df8: SWAP2
00000df9: SUB
00000dfa: SWAP1
00000dfb: REVERT
00000dfc: JUMPDEST
00000dfd: PUSH1 0x00
00000dff: DUP1
00000e00: PUSH1 0x01
00000e02: SWAP1
00000e03: SLOAD
00000e04: SWAP1
00000e05: PUSH2 0x0100
00000e08: EXP
00000e09: SWAP1
00000e0a: DIV
00000e0b: PUSH1 0xff
00000e0d: AND
00000e0e: ISZERO
00000e0f: SWAP1
00000e10: POP
00000e11: DUP1
00000e12: ISZERO
00000e13: PUSH2 0x0e4c
00000e16: JUMPI
00000e17: PUSH1 0x01
00000e19: PUSH1 0x00
00000e1b: PUSH1 0x01
00000e1d: PUSH2 0x0100
00000e20: EXP
00000e21: DUP2
00000e22: SLOAD
00000e23: DUP2
00000e24: PUSH1 0xff
00000e26: MUL
00000e27: NOT
00000e28: AND
00000e29: SWAP1
00000e2a: DUP4
00000e2b: ISZERO
00000e2c: ISZERO
00000e2d: MUL
00000e2e: OR
00000e2f: SWAP1
00000e30: SSTORE
00000e31: POP
00000e32: PUSH1 0x01
00000e34: PUSH1 0x00
00000e36: DUP1
00000e37: PUSH2 0x0100
00000e3a: EXP
00000e3b: DUP2
00000e3c: SLOAD
00000e3d: DUP2
00000e3e: PUSH1 0xff
00000e40: MUL
00000e41: NOT
00000e42: AND
00000e43: SWAP1
00000e44: DUP4
00000e45: ISZERO
00000e46: ISZERO
00000e47: MUL
00000e48: OR
00000e49: SWAP1
00000e4a: SSTORE
00000e4b: POP
00000e4c: JUMPDEST
00000e4d: PUSH2 0x0e54
00000e50: PUSH2 0x189f
00000e53: JUMP
00000e54: JUMPDEST
00000e55: PUSH2 0x0e5c
00000e58: PUSH2 0x18f0
00000e5b: JUMP
00000e5c: JUMPDEST
00000e5d: PUSH2 0x0e69
00000e60: PUSH1 0x00
00000e62: DUP1
00000e63: SHL
00000e64: DUP4
00000e65: PUSH2 0x14c1
00000e68: JUMP
00000e69: JUMPDEST
00000e6a: PUSH2 0x0e93
00000e6d: PUSH32 0x189ab7a9244df0848122154315af71fe140f3db0fe014031783b0946b8c9d2e3
00000e8e: DUP4
00000e8f: PUSH2 0x14c1
00000e92: JUMP
00000e93: JUMPDEST
00000e94: DUP3
00000e95: PUSH1 0xfb
00000e97: PUSH1 0x00
00000e99: PUSH2 0x0100
00000e9c: EXP
00000e9d: DUP2
00000e9e: SLOAD
00000e9f: DUP2
00000ea0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eb5: MUL
00000eb6: NOT
00000eb7: AND
00000eb8: SWAP1
00000eb9: DUP4
00000eba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ecf: AND
00000ed0: MUL
00000ed1: OR
00000ed2: SWAP1
00000ed3: SSTORE
00000ed4: POP
00000ed5: DUP1
00000ed6: ISZERO
00000ed7: PUSH2 0x0ef5
00000eda: JUMPI
00000edb: PUSH1 0x00
00000edd: DUP1
00000ede: PUSH1 0x01
00000ee0: PUSH2 0x0100
00000ee3: EXP
00000ee4: DUP2
00000ee5: SLOAD
00000ee6: DUP2
00000ee7: PUSH1 0xff
00000ee9: MUL
00000eea: NOT
00000eeb: AND
00000eec: SWAP1
00000eed: DUP4
00000eee: ISZERO
00000eef: ISZERO
00000ef0: MUL
00000ef1: OR
00000ef2: SWAP1
00000ef3: SSTORE
00000ef4: POP
00000ef5: JUMPDEST
00000ef6: POP
00000ef7: POP
00000ef8: POP
00000ef9: JUMP
00000efa: JUMPDEST
00000efb: PUSH32 0x00000000000000000000000008baa59d1a22e827dbed6054205c0efc202665a0
00000f1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f31: AND
00000f32: ADDRESS
00000f33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f48: AND
00000f49: EQ
00000f4a: ISZERO
00000f4b: PUSH2 0x0f89
00000f4e: JUMPI
00000f4f: PUSH1 0x40
00000f51: MLOAD
00000f52: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f73: DUP2
00000f74: MSTORE
00000f75: PUSH1 0x04
00000f77: ADD
00000f78: PUSH2 0x0f80
00000f7b: SWAP1
00000f7c: PUSH2 0x213b
00000f7f: JUMP
00000f80: JUMPDEST
00000f81: PUSH1 0x40
00000f83: MLOAD
00000f84: DUP1
00000f85: SWAP2
00000f86: SUB
00000f87: SWAP1
00000f88: REVERT
00000f89: JUMPDEST
00000f8a: PUSH32 0x00000000000000000000000008baa59d1a22e827dbed6054205c0efc202665a0
00000fab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fc0: AND
00000fc1: PUSH2 0x0fc8
00000fc4: PUSH2 0x1684
00000fc7: JUMP
00000fc8: JUMPDEST
00000fc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fde: AND
00000fdf: EQ
00000fe0: PUSH2 0x101e
00000fe3: JUMPI
00000fe4: PUSH1 0x40
00000fe6: MLOAD
00000fe7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001008: DUP2
00001009: MSTORE
0000100a: PUSH1 0x04
0000100c: ADD
0000100d: PUSH2 0x1015
00001010: SWAP1
00001011: PUSH2 0x21cd
00001014: JUMP
00001015: JUMPDEST
00001016: PUSH1 0x40
00001018: MLOAD
00001019: DUP1
0000101a: SWAP2
0000101b: SUB
0000101c: SWAP1
0000101d: REVERT
0000101e: JUMPDEST
0000101f: PUSH2 0x1027
00001022: DUP3
00001023: PUSH2 0x16db
00001026: JUMP
00001027: JUMPDEST
00001028: PUSH2 0x1033
0000102b: DUP3
0000102c: DUP3
0000102d: PUSH1 0x01
0000102f: PUSH2 0x1711
00001032: JUMP
00001033: JUMPDEST
00001034: POP
00001035: POP
00001036: JUMP
00001037: JUMPDEST
00001038: PUSH1 0x00
0000103a: PUSH32 0x00000000000000000000000008baa59d1a22e827dbed6054205c0efc202665a0
0000105b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001070: AND
00001071: ADDRESS
00001072: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001087: AND
00001088: EQ
00001089: PUSH2 0x10c7
0000108c: JUMPI
0000108d: PUSH1 0x40
0000108f: MLOAD
00001090: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000010b1: DUP2
000010b2: MSTORE
000010b3: PUSH1 0x04
000010b5: ADD
000010b6: PUSH2 0x10be
000010b9: SWAP1
000010ba: PUSH2 0x2320
000010bd: JUMP
000010be: JUMPDEST
000010bf: PUSH1 0x40
000010c1: MLOAD
000010c2: DUP1
000010c3: SWAP2
000010c4: SUB
000010c5: SWAP1
000010c6: REVERT
000010c7: JUMPDEST
000010c8: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
000010e9: PUSH1 0x00
000010eb: SHL
000010ec: SWAP1
000010ed: POP
000010ee: SWAP1
000010ef: JUMP
000010f0: JUMPDEST
000010f1: PUSH1 0x00
000010f3: DUP1
000010f4: SHL
000010f5: PUSH2 0x1105
000010f8: DUP2
000010f9: PUSH2 0x1100
000010fc: PUSH2 0x141c
000010ff: JUMP
00001100: JUMPDEST
00001101: PUSH2 0x1424
00001104: JUMP
00001105: JUMPDEST
00001106: DUP2
00001107: PUSH1 0xfc
00001109: SLOAD
0000110a: PUSH32 0x936fd71fceff3b4f98f4935ac269e4f94b4b25e3e38c519d3ff3db222a27117a
0000112b: PUSH1 0x40
0000112d: MLOAD
0000112e: PUSH1 0x40
00001130: MLOAD
00001131: DUP1
00001132: SWAP2
00001133: SUB
00001134: SWAP1
00001135: LOG3
00001136: DUP2
00001137: PUSH1 0xfc
00001139: DUP2
0000113a: SWAP1
0000113b: SSTORE
0000113c: POP
0000113d: POP
0000113e: POP
0000113f: JUMP
00001140: JUMPDEST
00001141: PUSH1 0x00
00001143: PUSH1 0x65
00001145: PUSH1 0x00
00001147: DUP5
00001148: DUP2
00001149: MSTORE
0000114a: PUSH1 0x20
0000114c: ADD
0000114d: SWAP1
0000114e: DUP2
0000114f: MSTORE
00001150: PUSH1 0x20
00001152: ADD
00001153: PUSH1 0x00
00001155: KECCAK256
00001156: PUSH1 0x00
00001158: ADD
00001159: PUSH1 0x00
0000115b: DUP4
0000115c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001171: AND
00001172: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001187: AND
00001188: DUP2
00001189: MSTORE
0000118a: PUSH1 0x20
0000118c: ADD
0000118d: SWAP1
0000118e: DUP2
0000118f: MSTORE
00001190: PUSH1 0x20
00001192: ADD
00001193: PUSH1 0x00
00001195: KECCAK256
00001196: PUSH1 0x00
00001198: SWAP1
00001199: SLOAD
0000119a: SWAP1
0000119b: PUSH2 0x0100
0000119e: EXP
0000119f: SWAP1
000011a0: DIV
000011a1: PUSH1 0xff
000011a3: AND
000011a4: SWAP1
000011a5: POP
000011a6: SWAP3
000011a7: SWAP2
000011a8: POP
000011a9: POP
000011aa: JUMP
000011ab: JUMPDEST
000011ac: PUSH1 0x00
000011ae: DUP1
000011af: SHL
000011b0: DUP2
000011b1: JUMP
000011b2: JUMPDEST
000011b3: PUSH2 0x11bb
000011b6: DUP3
000011b7: PUSH2 0x0b31
000011ba: JUMP
000011bb: JUMPDEST
000011bc: PUSH2 0x11cc
000011bf: DUP2
000011c0: PUSH2 0x11c7
000011c3: PUSH2 0x141c
000011c6: JUMP
000011c7: JUMPDEST
000011c8: PUSH2 0x1424
000011cb: JUMP
000011cc: JUMPDEST
000011cd: PUSH2 0x11d6
000011d0: DUP4
000011d1: DUP4
000011d2: PUSH2 0x15a2
000011d5: JUMP
000011d6: JUMPDEST
000011d7: POP
000011d8: POP
000011d9: POP
000011da: JUMP
000011db: JUMPDEST
000011dc: PUSH1 0x00
000011de: DUP1
000011df: SHL
000011e0: PUSH2 0x11f0
000011e3: DUP2
000011e4: PUSH2 0x11eb
000011e7: PUSH2 0x141c
000011ea: JUMP
000011eb: JUMPDEST
000011ec: PUSH2 0x1424
000011ef: JUMP
000011f0: JUMPDEST
000011f1: PUSH2 0x123d
000011f4: DUP4
000011f5: DUP4
000011f6: PUSH1 0xfb
000011f8: PUSH1 0x00
000011fa: SWAP1
000011fb: SLOAD
000011fc: SWAP1
000011fd: PUSH2 0x0100
00001200: EXP
00001201: SWAP1
00001202: DIV
00001203: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001218: AND
00001219: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000122e: AND
0000122f: PUSH2 0x1396
00001232: SWAP1
00001233: SWAP3
00001234: SWAP2
00001235: SWAP1
00001236: PUSH4 0xffffffff
0000123b: AND
0000123c: JUMP
0000123d: JUMPDEST
0000123e: DUP2
0000123f: DUP4
00001240: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001255: AND
00001256: PUSH32 0x6cca423c6ffc06e62a0acc433965e074b11c28479b0449250ce3ff65ac9e39fe
00001277: PUSH1 0x40
00001279: MLOAD
0000127a: PUSH1 0x40
0000127c: MLOAD
0000127d: DUP1
0000127e: SWAP2
0000127f: SUB
00001280: SWAP1
00001281: LOG3
00001282: POP
00001283: POP
00001284: POP
00001285: JUMP
00001286: JUMPDEST
00001287: PUSH32 0x189ab7a9244df0848122154315af71fe140f3db0fe014031783b0946b8c9d2e3
000012a8: DUP2
000012a9: JUMP
000012aa: JUMPDEST
000012ab: PUSH1 0xfb
000012ad: PUSH1 0x00
000012af: SWAP1
000012b0: SLOAD
000012b1: SWAP1
000012b2: PUSH2 0x0100
000012b5: EXP
000012b6: SWAP1
000012b7: DIV
000012b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012cd: AND
000012ce: DUP2
000012cf: JUMP
000012d0: JUMPDEST
000012d1: PUSH1 0x00
000012d3: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
000012f4: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001311: NOT
00001312: AND
00001313: DUP3
00001314: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001331: NOT
00001332: AND
00001333: EQ
00001334: SWAP1
00001335: POP
00001336: SWAP2
00001337: SWAP1
00001338: POP
00001339: JUMP
0000133a: JUMPDEST
0000133b: PUSH1 0x00
0000133d: PUSH1 0x40
0000133f: MLOAD
00001340: PUSH1 0x20
00001342: DUP2
00001343: ADD
00001344: DUP7
00001345: DUP7
00001346: PUSH1 0x20
00001348: MUL
00001349: DUP2
0000134a: ADD
0000134b: JUMPDEST
0000134c: DUP1
0000134d: DUP3
0000134e: LT
0000134f: ISZERO
00001350: PUSH2 0x1385
00001353: JUMPI
00001354: DUP2
00001355: CALLDATALOAD
00001356: DUP1
00001357: DUP8
00001358: LT
00001359: PUSH1 0x01
0000135b: DUP2
0000135c: EQ
0000135d: PUSH2 0x136b
00001360: JUMPI
00001361: DUP2
00001362: DUP7
00001363: MSTORE
00001364: DUP8
00001365: DUP6
00001366: MSTORE
00001367: PUSH2 0x1372
0000136a: JUMP
0000136b: JUMPDEST
0000136c: DUP8
0000136d: DUP7
0000136e: MSTORE
0000136f: DUP2
00001370: DUP6
00001371: MSTORE
00001372: JUMPDEST
00001373: POP
00001374: PUSH1 0x40
00001376: DUP6
00001377: KECCAK256
00001378: SWAP7
00001379: POP
0000137a: POP
0000137b: PUSH1 0x20
0000137d: DUP3
0000137e: ADD
0000137f: SWAP2
00001380: POP
00001381: PUSH2 0x134b
00001384: JUMP
00001385: JUMPDEST
00001386: POP
00001387: DUP5
00001388: DUP7
00001389: EQ
0000138a: SWAP4
0000138b: POP
0000138c: POP
0000138d: POP
0000138e: POP
0000138f: SWAP5
00001390: SWAP4
00001391: POP
00001392: POP
00001393: POP
00001394: POP
00001395: JUMP
00001396: JUMPDEST
00001397: PUSH2 0x1417
0000139a: DUP4
0000139b: PUSH4 0xa9059cbb
000013a0: PUSH1 0xe0
000013a2: SHL
000013a3: DUP5
000013a4: DUP5
000013a5: PUSH1 0x40
000013a7: MLOAD
000013a8: PUSH1 0x24
000013aa: ADD
000013ab: PUSH2 0x13b5
000013ae: SWAP3
000013af: SWAP2
000013b0: SWAP1
000013b1: PUSH2 0x239a
000013b4: JUMP
000013b5: JUMPDEST
000013b6: PUSH1 0x40
000013b8: MLOAD
000013b9: PUSH1 0x20
000013bb: DUP2
000013bc: DUP4
000013bd: SUB
000013be: SUB
000013bf: DUP2
000013c0: MSTORE
000013c1: SWAP1
000013c2: PUSH1 0x40
000013c4: MSTORE
000013c5: SWAP1
000013c6: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000013e3: NOT
000013e4: AND
000013e5: PUSH1 0x20
000013e7: DUP3
000013e8: ADD
000013e9: DUP1
000013ea: MLOAD
000013eb: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001408: DUP4
00001409: DUP2
0000140a: DUP4
0000140b: AND
0000140c: OR
0000140d: DUP4
0000140e: MSTORE
0000140f: POP
00001410: POP
00001411: POP
00001412: POP
00001413: PUSH2 0x1941
00001416: JUMP
00001417: JUMPDEST
00001418: POP
00001419: POP
0000141a: POP
0000141b: JUMP
0000141c: JUMPDEST
0000141d: PUSH1 0x00
0000141f: CALLER
00001420: SWAP1
00001421: POP
00001422: SWAP1
00001423: JUMP
00001424: JUMPDEST
00001425: PUSH2 0x142e
00001428: DUP3
00001429: DUP3
0000142a: PUSH2 0x1140
0000142d: JUMP
0000142e: JUMPDEST
0000142f: PUSH2 0x14bd
00001432: JUMPI
00001433: PUSH2 0x1453
00001436: DUP2
00001437: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000144c: AND
0000144d: PUSH1 0x14
0000144f: PUSH2 0x1a08
00001452: JUMP
00001453: JUMPDEST
00001454: PUSH2 0x1461
00001457: DUP4
00001458: PUSH1 0x00
0000145a: SHR
0000145b: PUSH1 0x20
0000145d: PUSH2 0x1a08
00001460: JUMP
00001461: JUMPDEST
00001462: PUSH1 0x40
00001464: MLOAD
00001465: PUSH1 0x20
00001467: ADD
00001468: PUSH2 0x1472
0000146b: SWAP3
0000146c: SWAP2
0000146d: SWAP1
0000146e: PUSH2 0x24d5
00001471: JUMP
00001472: JUMPDEST
00001473: PUSH1 0x40
00001475: MLOAD
00001476: PUSH1 0x20
00001478: DUP2
00001479: DUP4
0000147a: SUB
0000147b: SUB
0000147c: DUP2
0000147d: MSTORE
0000147e: SWAP1
0000147f: PUSH1 0x40
00001481: MSTORE
00001482: PUSH1 0x40
00001484: MLOAD
00001485: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014a6: DUP2
000014a7: MSTORE
000014a8: PUSH1 0x04
000014aa: ADD
000014ab: PUSH2 0x14b4
000014ae: SWAP2
000014af: SWAP1
000014b0: PUSH2 0x2559
000014b3: JUMP
000014b4: JUMPDEST
000014b5: PUSH1 0x40
000014b7: MLOAD
000014b8: DUP1
000014b9: SWAP2
000014ba: SUB
000014bb: SWAP1
000014bc: REVERT
000014bd: JUMPDEST
000014be: POP
000014bf: POP
000014c0: JUMP
000014c1: JUMPDEST
000014c2: PUSH2 0x14cb
000014c5: DUP3
000014c6: DUP3
000014c7: PUSH2 0x1140
000014ca: JUMP
000014cb: JUMPDEST
000014cc: PUSH2 0x159e
000014cf: JUMPI
000014d0: PUSH1 0x01
000014d2: PUSH1 0x65
000014d4: PUSH1 0x00
000014d6: DUP5
000014d7: DUP2
000014d8: MSTORE
000014d9: PUSH1 0x20
000014db: ADD
000014dc: SWAP1
000014dd: DUP2
000014de: MSTORE
000014df: PUSH1 0x20
000014e1: ADD
000014e2: PUSH1 0x00
000014e4: KECCAK256
000014e5: PUSH1 0x00
000014e7: ADD
000014e8: PUSH1 0x00
000014ea: DUP4
000014eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001500: AND
00001501: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001516: AND
00001517: DUP2
00001518: MSTORE
00001519: PUSH1 0x20
0000151b: ADD
0000151c: SWAP1
0000151d: DUP2
0000151e: MSTORE
0000151f: PUSH1 0x20
00001521: ADD
00001522: PUSH1 0x00
00001524: KECCAK256
00001525: PUSH1 0x00
00001527: PUSH2 0x0100
0000152a: EXP
0000152b: DUP2
0000152c: SLOAD
0000152d: DUP2
0000152e: PUSH1 0xff
00001530: MUL
00001531: NOT
00001532: AND
00001533: SWAP1
00001534: DUP4
00001535: ISZERO
00001536: ISZERO
00001537: MUL
00001538: OR
00001539: SWAP1
0000153a: SSTORE
0000153b: POP
0000153c: PUSH2 0x1543
0000153f: PUSH2 0x141c
00001542: JUMP
00001543: JUMPDEST
00001544: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001559: AND
0000155a: DUP2
0000155b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001570: AND
00001571: DUP4
00001572: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
00001593: PUSH1 0x40
00001595: MLOAD
00001596: PUSH1 0x40
00001598: MLOAD
00001599: DUP1
0000159a: SWAP2
0000159b: SUB
0000159c: SWAP1
0000159d: LOG4
0000159e: JUMPDEST
0000159f: POP
000015a0: POP
000015a1: JUMP
000015a2: JUMPDEST
000015a3: PUSH2 0x15ac
000015a6: DUP3
000015a7: DUP3
000015a8: PUSH2 0x1140
000015ab: JUMP
000015ac: JUMPDEST
000015ad: ISZERO
000015ae: PUSH2 0x1680
000015b1: JUMPI
000015b2: PUSH1 0x00
000015b4: PUSH1 0x65
000015b6: PUSH1 0x00
000015b8: DUP5
000015b9: DUP2
000015ba: MSTORE
000015bb: PUSH1 0x20
000015bd: ADD
000015be: SWAP1
000015bf: DUP2
000015c0: MSTORE
000015c1: PUSH1 0x20
000015c3: ADD
000015c4: PUSH1 0x00
000015c6: KECCAK256
000015c7: PUSH1 0x00
000015c9: ADD
000015ca: PUSH1 0x00
000015cc: DUP4
000015cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015e2: AND
000015e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015f8: AND
000015f9: DUP2
000015fa: MSTORE
000015fb: PUSH1 0x20
000015fd: ADD
000015fe: SWAP1
000015ff: DUP2
00001600: MSTORE
00001601: PUSH1 0x20
00001603: ADD
00001604: PUSH1 0x00
00001606: KECCAK256
00001607: PUSH1 0x00
00001609: PUSH2 0x0100
0000160c: EXP
0000160d: DUP2
0000160e: SLOAD
0000160f: DUP2
00001610: PUSH1 0xff
00001612: MUL
00001613: NOT
00001614: AND
00001615: SWAP1
00001616: DUP4
00001617: ISZERO
00001618: ISZERO
00001619: MUL
0000161a: OR
0000161b: SWAP1
0000161c: SSTORE
0000161d: POP
0000161e: PUSH2 0x1625
00001621: PUSH2 0x141c
00001624: JUMP
00001625: JUMPDEST
00001626: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000163b: AND
0000163c: DUP2
0000163d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001652: AND
00001653: DUP4
00001654: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
00001675: PUSH1 0x40
00001677: MLOAD
00001678: PUSH1 0x40
0000167a: MLOAD
0000167b: DUP1
0000167c: SWAP2
0000167d: SUB
0000167e: SWAP1
0000167f: LOG4
00001680: JUMPDEST
00001681: POP
00001682: POP
00001683: JUMP
00001684: JUMPDEST
00001685: PUSH1 0x00
00001687: PUSH2 0x16b2
0000168a: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
000016ab: PUSH1 0x00
000016ad: SHL
000016ae: PUSH2 0x1c44
000016b1: JUMP
000016b2: JUMPDEST
000016b3: PUSH1 0x00
000016b5: ADD
000016b6: PUSH1 0x00
000016b8: SWAP1
000016b9: SLOAD
000016ba: SWAP1
000016bb: PUSH2 0x0100
000016be: EXP
000016bf: SWAP1
000016c0: DIV
000016c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016d6: AND
000016d7: SWAP1
000016d8: POP
000016d9: SWAP1
000016da: JUMP
000016db: JUMPDEST
000016dc: PUSH32 0x189ab7a9244df0848122154315af71fe140f3db0fe014031783b0946b8c9d2e3
000016fd: PUSH2 0x170d
00001700: DUP2
00001701: PUSH2 0x1708
00001704: PUSH2 0x141c
00001707: JUMP
00001708: JUMPDEST
00001709: PUSH2 0x1424
0000170c: JUMP
0000170d: JUMPDEST
0000170e: POP
0000170f: POP
00001710: JUMP
00001711: JUMPDEST
00001712: PUSH2 0x173d
00001715: PUSH32 0x4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd9143
00001736: PUSH1 0x00
00001738: SHL
00001739: PUSH2 0x1c4e
0000173c: JUMP
0000173d: JUMPDEST
0000173e: PUSH1 0x00
00001740: ADD
00001741: PUSH1 0x00
00001743: SWAP1
00001744: SLOAD
00001745: SWAP1
00001746: PUSH2 0x0100
00001749: EXP
0000174a: SWAP1
0000174b: DIV
0000174c: PUSH1 0xff
0000174e: AND
0000174f: ISZERO
00001750: PUSH2 0x1761
00001753: JUMPI
00001754: PUSH2 0x175c
00001757: DUP4
00001758: PUSH2 0x1c58
0000175b: JUMP
0000175c: JUMPDEST
0000175d: PUSH2 0x1889
00001760: JUMP
00001761: JUMPDEST
00001762: DUP3
00001763: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001778: AND
00001779: PUSH4 0x52d1902d
0000177e: PUSH1 0x40
00001780: MLOAD
00001781: DUP2
00001782: PUSH4 0xffffffff
00001787: AND
00001788: PUSH1 0xe0
0000178a: SHL
0000178b: DUP2
0000178c: MSTORE
0000178d: PUSH1 0x04
0000178f: ADD
00001790: PUSH1 0x20
00001792: PUSH1 0x40
00001794: MLOAD
00001795: DUP1
00001796: DUP4
00001797: SUB
00001798: DUP2
00001799: DUP7
0000179a: DUP1
0000179b: EXTCODESIZE
0000179c: ISZERO
0000179d: DUP1
0000179e: ISZERO
0000179f: PUSH2 0x17a7
000017a2: JUMPI
000017a3: PUSH1 0x00
000017a5: DUP1
000017a6: REVERT
000017a7: JUMPDEST
000017a8: POP
000017a9: GAS
000017aa: STATICCALL
000017ab: SWAP3
000017ac: POP
000017ad: POP
000017ae: POP
000017af: DUP1
000017b0: ISZERO
000017b1: PUSH2 0x17d8
000017b4: JUMPI
000017b5: POP
000017b6: PUSH1 0x40
000017b8: MLOAD
000017b9: RETURNDATASIZE
000017ba: PUSH1 0x1f
000017bc: NOT
000017bd: PUSH1 0x1f
000017bf: DUP3
000017c0: ADD
000017c1: AND
000017c2: DUP3
000017c3: ADD
000017c4: DUP1
000017c5: PUSH1 0x40
000017c7: MSTORE
000017c8: POP
000017c9: DUP2
000017ca: ADD
000017cb: SWAP1
000017cc: PUSH2 0x17d5
000017cf: SWAP2
000017d0: SWAP1
000017d1: PUSH2 0x25b6
000017d4: JUMP
000017d5: JUMPDEST
000017d6: PUSH1 0x01
000017d8: JUMPDEST
000017d9: PUSH2 0x1817
000017dc: JUMPI
000017dd: PUSH1 0x40
000017df: MLOAD
000017e0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001801: DUP2
00001802: MSTORE
00001803: PUSH1 0x04
00001805: ADD
00001806: PUSH2 0x180e
00001809: SWAP1
0000180a: PUSH2 0x2655
0000180d: JUMP
0000180e: JUMPDEST
0000180f: PUSH1 0x40
00001811: MLOAD
00001812: DUP1
00001813: SWAP2
00001814: SUB
00001815: SWAP1
00001816: REVERT
00001817: JUMPDEST
00001818: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00001839: PUSH1 0x00
0000183b: SHL
0000183c: DUP2
0000183d: EQ
0000183e: PUSH2 0x187c
00001841: JUMPI
00001842: PUSH1 0x40
00001844: MLOAD
00001845: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001866: DUP2
00001867: MSTORE
00001868: PUSH1 0x04
0000186a: ADD
0000186b: PUSH2 0x1873
0000186e: SWAP1
0000186f: PUSH2 0x26e7
00001872: JUMP
00001873: JUMPDEST
00001874: PUSH1 0x40
00001876: MLOAD
00001877: DUP1
00001878: SWAP2
00001879: SUB
0000187a: SWAP1
0000187b: REVERT
0000187c: JUMPDEST
0000187d: POP
0000187e: PUSH2 0x1888
00001881: DUP4
00001882: DUP4
00001883: DUP4
00001884: PUSH2 0x1d11
00001887: JUMP
00001888: JUMPDEST
00001889: JUMPDEST
0000188a: POP
0000188b: POP
0000188c: POP
0000188d: JUMP
0000188e: JUMPDEST
0000188f: PUSH1 0x00
00001891: PUSH2 0x1899
00001894: ADDRESS
00001895: PUSH2 0x1d3d
00001898: JUMP
00001899: JUMPDEST
0000189a: ISZERO
0000189b: SWAP1
0000189c: POP
0000189d: SWAP1
0000189e: JUMP
0000189f: JUMPDEST
000018a0: PUSH1 0x00
000018a2: PUSH1 0x01
000018a4: SWAP1
000018a5: SLOAD
000018a6: SWAP1
000018a7: PUSH2 0x0100
000018aa: EXP
000018ab: SWAP1
000018ac: DIV
000018ad: PUSH1 0xff
000018af: AND
000018b0: PUSH2 0x18ee
000018b3: JUMPI
000018b4: PUSH1 0x40
000018b6: MLOAD
000018b7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018d8: DUP2
000018d9: MSTORE
000018da: PUSH1 0x04
000018dc: ADD
000018dd: PUSH2 0x18e5
000018e0: SWAP1
000018e1: PUSH2 0x2779
000018e4: JUMP
000018e5: JUMPDEST
000018e6: PUSH1 0x40
000018e8: MLOAD
000018e9: DUP1
000018ea: SWAP2
000018eb: SUB
000018ec: SWAP1
000018ed: REVERT
000018ee: JUMPDEST
000018ef: JUMP
000018f0: JUMPDEST
000018f1: PUSH1 0x00
000018f3: PUSH1 0x01
000018f5: SWAP1
000018f6: SLOAD
000018f7: SWAP1
000018f8: PUSH2 0x0100
000018fb: EXP
000018fc: SWAP1
000018fd: DIV
000018fe: PUSH1 0xff
00001900: AND
00001901: PUSH2 0x193f
00001904: JUMPI
00001905: PUSH1 0x40
00001907: MLOAD
00001908: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001929: DUP2
0000192a: MSTORE
0000192b: PUSH1 0x04
0000192d: ADD
0000192e: PUSH2 0x1936
00001931: SWAP1
00001932: PUSH2 0x2779
00001935: JUMP
00001936: JUMPDEST
00001937: PUSH1 0x40
00001939: MLOAD
0000193a: DUP1
0000193b: SWAP2
0000193c: SUB
0000193d: SWAP1
0000193e: REVERT
0000193f: JUMPDEST
00001940: JUMP
00001941: JUMPDEST
00001942: PUSH1 0x00
00001944: PUSH2 0x19a3
00001947: DUP3
00001948: PUSH1 0x40
0000194a: MLOAD
0000194b: DUP1
0000194c: PUSH1 0x40
0000194e: ADD
0000194f: PUSH1 0x40
00001951: MSTORE
00001952: DUP1
00001953: PUSH1 0x20
00001955: DUP2
00001956: MSTORE
00001957: PUSH1 0x20
00001959: ADD
0000195a: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
0000197b: DUP2
0000197c: MSTORE
0000197d: POP
0000197e: DUP6
0000197f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001994: AND
00001995: PUSH2 0x1d60
00001998: SWAP1
00001999: SWAP3
0000199a: SWAP2
0000199b: SWAP1
0000199c: PUSH4 0xffffffff
000019a1: AND
000019a2: JUMP
000019a3: JUMPDEST
000019a4: SWAP1
000019a5: POP
000019a6: PUSH1 0x00
000019a8: DUP2
000019a9: MLOAD
000019aa: GT
000019ab: ISZERO
000019ac: PUSH2 0x1a03
000019af: JUMPI
000019b0: DUP1
000019b1: DUP1
000019b2: PUSH1 0x20
000019b4: ADD
000019b5: SWAP1
000019b6: MLOAD
000019b7: DUP2
000019b8: ADD
000019b9: SWAP1
000019ba: PUSH2 0x19c3
000019bd: SWAP2
000019be: SWAP1
000019bf: PUSH2 0x27d1
000019c2: JUMP
000019c3: JUMPDEST
000019c4: PUSH2 0x1a02
000019c7: JUMPI
000019c8: PUSH1 0x40
000019ca: MLOAD
000019cb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019ec: DUP2
000019ed: MSTORE
000019ee: PUSH1 0x04
000019f0: ADD
000019f1: PUSH2 0x19f9
000019f4: SWAP1
000019f5: PUSH2 0x2870
000019f8: JUMP
000019f9: JUMPDEST
000019fa: PUSH1 0x40
000019fc: MLOAD
000019fd: DUP1
000019fe: SWAP2
000019ff: SUB
00001a00: SWAP1
00001a01: REVERT
00001a02: JUMPDEST
00001a03: JUMPDEST
00001a04: POP
00001a05: POP
00001a06: POP
00001a07: JUMP
00001a08: JUMPDEST
00001a09: PUSH1 0x60
00001a0b: PUSH1 0x00
00001a0d: PUSH1 0x02
00001a0f: DUP4
00001a10: PUSH1 0x02
00001a12: PUSH2 0x1a1b
00001a15: SWAP2
00001a16: SWAP1
00001a17: PUSH2 0x28bf
00001a1a: JUMP
00001a1b: JUMPDEST
00001a1c: PUSH2 0x1a25
00001a1f: SWAP2
00001a20: SWAP1
00001a21: PUSH2 0x2919
00001a24: JUMP
00001a25: JUMPDEST
00001a26: PUSH8 0xffffffffffffffff
00001a2f: DUP2
00001a30: GT
00001a31: ISZERO
00001a32: PUSH2 0x1a3e
00001a35: JUMPI
00001a36: PUSH2 0x1a3d
00001a39: PUSH2 0x21ed
00001a3c: JUMP
00001a3d: JUMPDEST
00001a3e: JUMPDEST
00001a3f: PUSH1 0x40
00001a41: MLOAD
00001a42: SWAP1
00001a43: DUP1
00001a44: DUP3
00001a45: MSTORE
00001a46: DUP1
00001a47: PUSH1 0x1f
00001a49: ADD
00001a4a: PUSH1 0x1f
00001a4c: NOT
00001a4d: AND
00001a4e: PUSH1 0x20
00001a50: ADD
00001a51: DUP3
00001a52: ADD
00001a53: PUSH1 0x40
00001a55: MSTORE
00001a56: DUP1
00001a57: ISZERO
00001a58: PUSH2 0x1a70
00001a5b: JUMPI
00001a5c: DUP2
00001a5d: PUSH1 0x20
00001a5f: ADD
00001a60: PUSH1 0x01
00001a62: DUP3
00001a63: MUL
00001a64: DUP1
00001a65: CALLDATASIZE
00001a66: DUP4
00001a67: CALLDATACOPY
00001a68: DUP1
00001a69: DUP3
00001a6a: ADD
00001a6b: SWAP2
00001a6c: POP
00001a6d: POP
00001a6e: SWAP1
00001a6f: POP
00001a70: JUMPDEST
00001a71: POP
00001a72: SWAP1
00001a73: POP
00001a74: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00001a95: DUP2
00001a96: PUSH1 0x00
00001a98: DUP2
00001a99: MLOAD
00001a9a: DUP2
00001a9b: LT
00001a9c: PUSH2 0x1aa8
00001a9f: JUMPI
00001aa0: PUSH2 0x1aa7
00001aa3: PUSH2 0x296f
00001aa6: JUMP
00001aa7: JUMPDEST
00001aa8: JUMPDEST
00001aa9: PUSH1 0x20
00001aab: ADD
00001aac: ADD
00001aad: SWAP1
00001aae: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001ace: NOT
00001acf: AND
00001ad0: SWAP1
00001ad1: DUP2
00001ad2: PUSH1 0x00
00001ad4: BYTE
00001ad5: SWAP1
00001ad6: MSTORE8
00001ad7: POP
00001ad8: PUSH32 0x7800000000000000000000000000000000000000000000000000000000000000
00001af9: DUP2
00001afa: PUSH1 0x01
00001afc: DUP2
00001afd: MLOAD
00001afe: DUP2
00001aff: LT
00001b00: PUSH2 0x1b0c
00001b03: JUMPI
00001b04: PUSH2 0x1b0b
00001b07: PUSH2 0x296f
00001b0a: JUMP
00001b0b: JUMPDEST
00001b0c: JUMPDEST
00001b0d: PUSH1 0x20
00001b0f: ADD
00001b10: ADD
00001b11: SWAP1
00001b12: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001b32: NOT
00001b33: AND
00001b34: SWAP1
00001b35: DUP2
00001b36: PUSH1 0x00
00001b38: BYTE
00001b39: SWAP1
00001b3a: MSTORE8
00001b3b: POP
00001b3c: PUSH1 0x00
00001b3e: PUSH1 0x01
00001b40: DUP5
00001b41: PUSH1 0x02
00001b43: PUSH2 0x1b4c
00001b46: SWAP2
00001b47: SWAP1
00001b48: PUSH2 0x28bf
00001b4b: JUMP
00001b4c: JUMPDEST
00001b4d: PUSH2 0x1b56
00001b50: SWAP2
00001b51: SWAP1
00001b52: PUSH2 0x2919
00001b55: JUMP
00001b56: JUMPDEST
00001b57: SWAP1
00001b58: POP
00001b59: JUMPDEST
00001b5a: PUSH1 0x01
00001b5c: DUP2
00001b5d: GT
00001b5e: ISZERO
00001b5f: PUSH2 0x1bf6
00001b62: JUMPI
00001b63: PUSH32 0x3031323334353637383961626364656600000000000000000000000000000000
00001b84: PUSH1 0x0f
00001b86: DUP7
00001b87: AND
00001b88: PUSH1 0x10
00001b8a: DUP2
00001b8b: LT
00001b8c: PUSH2 0x1b98
00001b8f: JUMPI
00001b90: PUSH2 0x1b97
00001b93: PUSH2 0x296f
00001b96: JUMP
00001b97: JUMPDEST
00001b98: JUMPDEST
00001b99: BYTE
00001b9a: PUSH1 0xf8
00001b9c: SHL
00001b9d: DUP3
00001b9e: DUP3
00001b9f: DUP2
00001ba0: MLOAD
00001ba1: DUP2
00001ba2: LT
00001ba3: PUSH2 0x1baf
00001ba6: JUMPI
00001ba7: PUSH2 0x1bae
00001baa: PUSH2 0x296f
00001bad: JUMP
00001bae: JUMPDEST
00001baf: JUMPDEST
00001bb0: PUSH1 0x20
00001bb2: ADD
00001bb3: ADD
00001bb4: SWAP1
00001bb5: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001bd5: NOT
00001bd6: AND
00001bd7: SWAP1
00001bd8: DUP2
00001bd9: PUSH1 0x00
00001bdb: BYTE
00001bdc: SWAP1
00001bdd: MSTORE8
00001bde: POP
00001bdf: PUSH1 0x04
00001be1: DUP6
00001be2: SWAP1
00001be3: SHR
00001be4: SWAP5
00001be5: POP
00001be6: DUP1
00001be7: PUSH2 0x1bef
00001bea: SWAP1
00001beb: PUSH2 0x299e
00001bee: JUMP
00001bef: JUMPDEST
00001bf0: SWAP1
00001bf1: POP
00001bf2: PUSH2 0x1b59
00001bf5: JUMP
00001bf6: JUMPDEST
00001bf7: POP
00001bf8: PUSH1 0x00
00001bfa: DUP5
00001bfb: EQ
00001bfc: PUSH2 0x1c3a
00001bff: JUMPI
00001c00: PUSH1 0x40
00001c02: MLOAD
00001c03: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c24: DUP2
00001c25: MSTORE
00001c26: PUSH1 0x04
00001c28: ADD
00001c29: PUSH2 0x1c31
00001c2c: SWAP1
00001c2d: PUSH2 0x2a14
00001c30: JUMP
00001c31: JUMPDEST
00001c32: PUSH1 0x40
00001c34: MLOAD
00001c35: DUP1
00001c36: SWAP2
00001c37: SUB
00001c38: SWAP1
00001c39: REVERT
00001c3a: JUMPDEST
00001c3b: DUP1
00001c3c: SWAP2
00001c3d: POP
00001c3e: POP
00001c3f: SWAP3
00001c40: SWAP2
00001c41: POP
00001c42: POP
00001c43: JUMP
00001c44: JUMPDEST
00001c45: PUSH1 0x00
00001c47: DUP2
00001c48: SWAP1
00001c49: POP
00001c4a: SWAP2
00001c4b: SWAP1
00001c4c: POP
00001c4d: JUMP
00001c4e: JUMPDEST
00001c4f: PUSH1 0x00
00001c51: DUP2
00001c52: SWAP1
00001c53: POP
00001c54: SWAP2
00001c55: SWAP1
00001c56: POP
00001c57: JUMP
00001c58: JUMPDEST
00001c59: PUSH2 0x1c61
00001c5c: DUP2
00001c5d: PUSH2 0x1d3d
00001c60: JUMP
00001c61: JUMPDEST
00001c62: PUSH2 0x1ca0
00001c65: JUMPI
00001c66: PUSH1 0x40
00001c68: MLOAD
00001c69: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c8a: DUP2
00001c8b: MSTORE
00001c8c: PUSH1 0x04
00001c8e: ADD
00001c8f: PUSH2 0x1c97
00001c92: SWAP1
00001c93: PUSH2 0x2aa6
00001c96: JUMP
00001c97: JUMPDEST
00001c98: PUSH1 0x40
00001c9a: MLOAD
00001c9b: DUP1
00001c9c: SWAP2
00001c9d: SUB
00001c9e: SWAP1
00001c9f: REVERT
00001ca0: JUMPDEST
00001ca1: DUP1
00001ca2: PUSH2 0x1ccd
00001ca5: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00001cc6: PUSH1 0x00
00001cc8: SHL
00001cc9: PUSH2 0x1c44
00001ccc: JUMP
00001ccd: JUMPDEST
00001cce: PUSH1 0x00
00001cd0: ADD
00001cd1: PUSH1 0x00
00001cd3: PUSH2 0x0100
00001cd6: EXP
00001cd7: DUP2
00001cd8: SLOAD
00001cd9: DUP2
00001cda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cef: MUL
00001cf0: NOT
00001cf1: AND
00001cf2: SWAP1
00001cf3: DUP4
00001cf4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d09: AND
00001d0a: MUL
00001d0b: OR
00001d0c: SWAP1
00001d0d: SSTORE
00001d0e: POP
00001d0f: POP
00001d10: JUMP
00001d11: JUMPDEST
00001d12: PUSH2 0x1d1a
00001d15: DUP4
00001d16: PUSH2 0x1d78
00001d19: JUMP
00001d1a: JUMPDEST
00001d1b: PUSH1 0x00
00001d1d: DUP3
00001d1e: MLOAD
00001d1f: GT
00001d20: DUP1
00001d21: PUSH2 0x1d27
00001d24: JUMPI
00001d25: POP
00001d26: DUP1
00001d27: JUMPDEST
00001d28: ISZERO
00001d29: PUSH2 0x1d38
00001d2c: JUMPI
00001d2d: PUSH2 0x1d36
00001d30: DUP4
00001d31: DUP4
00001d32: PUSH2 0x1dc7
00001d35: JUMP
00001d36: JUMPDEST
00001d37: POP
00001d38: JUMPDEST
00001d39: POP
00001d3a: POP
00001d3b: POP
00001d3c: JUMP
00001d3d: JUMPDEST
00001d3e: PUSH1 0x00
00001d40: DUP1
00001d41: DUP3
00001d42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d57: AND
00001d58: EXTCODESIZE
00001d59: GT
00001d5a: SWAP1
00001d5b: POP
00001d5c: SWAP2
00001d5d: SWAP1
00001d5e: POP
00001d5f: JUMP
00001d60: JUMPDEST
00001d61: PUSH1 0x60
00001d63: PUSH2 0x1d6f
00001d66: DUP5
00001d67: DUP5
00001d68: PUSH1 0x00
00001d6a: DUP6
00001d6b: PUSH2 0x1eab
00001d6e: JUMP
00001d6f: JUMPDEST
00001d70: SWAP1
00001d71: POP
00001d72: SWAP4
00001d73: SWAP3
00001d74: POP
00001d75: POP
00001d76: POP
00001d77: JUMP
00001d78: JUMPDEST
00001d79: PUSH2 0x1d81
00001d7c: DUP2
00001d7d: PUSH2 0x1c58
00001d80: JUMP
00001d81: JUMPDEST
00001d82: DUP1
00001d83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d98: AND
00001d99: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b
00001dba: PUSH1 0x40
00001dbc: MLOAD
00001dbd: PUSH1 0x40
00001dbf: MLOAD
00001dc0: DUP1
00001dc1: SWAP2
00001dc2: SUB
00001dc3: SWAP1
00001dc4: LOG2
00001dc5: POP
00001dc6: JUMP
00001dc7: JUMPDEST
00001dc8: PUSH1 0x60
00001dca: PUSH2 0x1dd2
00001dcd: DUP4
00001dce: PUSH2 0x1d3d
00001dd1: JUMP
00001dd2: JUMPDEST
00001dd3: PUSH2 0x1e11
00001dd6: JUMPI
00001dd7: PUSH1 0x40
00001dd9: MLOAD
00001dda: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001dfb: DUP2
00001dfc: MSTORE
00001dfd: PUSH1 0x04
00001dff: ADD
00001e00: PUSH2 0x1e08
00001e03: SWAP1
00001e04: PUSH2 0x2b38
00001e07: JUMP
00001e08: JUMPDEST
00001e09: PUSH1 0x40
00001e0b: MLOAD
00001e0c: DUP1
00001e0d: SWAP2
00001e0e: SUB
00001e0f: SWAP1
00001e10: REVERT
00001e11: JUMPDEST
00001e12: PUSH1 0x00
00001e14: DUP1
00001e15: DUP5
00001e16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e2b: AND
00001e2c: DUP5
00001e2d: PUSH1 0x40
00001e2f: MLOAD
00001e30: PUSH2 0x1e39
00001e33: SWAP2
00001e34: SWAP1
00001e35: PUSH2 0x2b9f
00001e38: JUMP
00001e39: JUMPDEST
00001e3a: PUSH1 0x00
00001e3c: PUSH1 0x40
00001e3e: MLOAD
00001e3f: DUP1
00001e40: DUP4
00001e41: SUB
00001e42: DUP2
00001e43: DUP6
00001e44: GAS
00001e45: DELEGATECALL
00001e46: SWAP2
00001e47: POP
00001e48: POP
00001e49: RETURNDATASIZE
00001e4a: DUP1
00001e4b: PUSH1 0x00
00001e4d: DUP2
00001e4e: EQ
00001e4f: PUSH2 0x1e74
00001e52: JUMPI
00001e53: PUSH1 0x40
00001e55: MLOAD
00001e56: SWAP2
00001e57: POP
00001e58: PUSH1 0x1f
00001e5a: NOT
00001e5b: PUSH1 0x3f
00001e5d: RETURNDATASIZE
00001e5e: ADD
00001e5f: AND
00001e60: DUP3
00001e61: ADD
00001e62: PUSH1 0x40
00001e64: MSTORE
00001e65: RETURNDATASIZE
00001e66: DUP3
00001e67: MSTORE
00001e68: RETURNDATASIZE
00001e69: PUSH1 0x00
00001e6b: PUSH1 0x20
00001e6d: DUP5
00001e6e: ADD
00001e6f: RETURNDATACOPY
00001e70: PUSH2 0x1e79
00001e73: JUMP
00001e74: JUMPDEST
00001e75: PUSH1 0x60
00001e77: SWAP2
00001e78: POP
00001e79: JUMPDEST
00001e7a: POP
00001e7b: SWAP2
00001e7c: POP
00001e7d: SWAP2
00001e7e: POP
00001e7f: PUSH2 0x1ea1
00001e82: DUP3
00001e83: DUP3
00001e84: PUSH1 0x40
00001e86: MLOAD
00001e87: DUP1
00001e88: PUSH1 0x60
00001e8a: ADD
00001e8b: PUSH1 0x40
00001e8d: MSTORE
00001e8e: DUP1
00001e8f: PUSH1 0x27
00001e91: DUP2
00001e92: MSTORE
00001e93: PUSH1 0x20
00001e95: ADD
00001e96: PUSH2 0x2cb5
00001e99: PUSH1 0x27
00001e9b: SWAP2
00001e9c: CODECOPY
00001e9d: PUSH2 0x1fbf
00001ea0: JUMP
00001ea1: JUMPDEST
00001ea2: SWAP3
00001ea3: POP
00001ea4: POP
00001ea5: POP
00001ea6: SWAP3
00001ea7: SWAP2
00001ea8: POP
00001ea9: POP
00001eaa: JUMP
00001eab: JUMPDEST
00001eac: PUSH1 0x60
00001eae: DUP3
00001eaf: SELFBALANCE
00001eb0: LT
00001eb1: ISZERO
00001eb2: PUSH2 0x1ef0
00001eb5: JUMPI
00001eb6: PUSH1 0x40
00001eb8: MLOAD
00001eb9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001eda: DUP2
00001edb: MSTORE
00001edc: PUSH1 0x04
00001ede: ADD
00001edf: PUSH2 0x1ee7
00001ee2: SWAP1
00001ee3: PUSH2 0x2c28
00001ee6: JUMP
00001ee7: JUMPDEST
00001ee8: PUSH1 0x40
00001eea: MLOAD
00001eeb: DUP1
00001eec: SWAP2
00001eed: SUB
00001eee: SWAP1
00001eef: REVERT
00001ef0: JUMPDEST
00001ef1: PUSH2 0x1ef9
00001ef4: DUP6
00001ef5: PUSH2 0x1d3d
00001ef8: JUMP
00001ef9: JUMPDEST
00001efa: PUSH2 0x1f38
00001efd: JUMPI
00001efe: PUSH1 0x40
00001f00: MLOAD
00001f01: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f22: DUP2
00001f23: MSTORE
00001f24: PUSH1 0x04
00001f26: ADD
00001f27: PUSH2 0x1f2f
00001f2a: SWAP1
00001f2b: PUSH2 0x2c94
00001f2e: JUMP
00001f2f: JUMPDEST
00001f30: PUSH1 0x40
00001f32: MLOAD
00001f33: DUP1
00001f34: SWAP2
00001f35: SUB
00001f36: SWAP1
00001f37: REVERT
00001f38: JUMPDEST
00001f39: PUSH1 0x00
00001f3b: DUP1
00001f3c: DUP7
00001f3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f52: AND
00001f53: DUP6
00001f54: DUP8
00001f55: PUSH1 0x40
00001f57: MLOAD
00001f58: PUSH2 0x1f61
00001f5b: SWAP2
00001f5c: SWAP1
00001f5d: PUSH2 0x2b9f
00001f60: JUMP
00001f61: JUMPDEST
00001f62: PUSH1 0x00
00001f64: PUSH1 0x40
00001f66: MLOAD
00001f67: DUP1
00001f68: DUP4
00001f69: SUB
00001f6a: DUP2
00001f6b: DUP6
00001f6c: DUP8
00001f6d: GAS
00001f6e: CALL
00001f6f: SWAP3
00001f70: POP
00001f71: POP
00001f72: POP
00001f73: RETURNDATASIZE
00001f74: DUP1
00001f75: PUSH1 0x00
00001f77: DUP2
00001f78: EQ
00001f79: PUSH2 0x1f9e
00001f7c: JUMPI
00001f7d: PUSH1 0x40
00001f7f: MLOAD
00001f80: SWAP2
00001f81: POP
00001f82: PUSH1 0x1f
00001f84: NOT
00001f85: PUSH1 0x3f
00001f87: RETURNDATASIZE
00001f88: ADD
00001f89: AND
00001f8a: DUP3
00001f8b: ADD
00001f8c: PUSH1 0x40
00001f8e: MSTORE
00001f8f: RETURNDATASIZE
00001f90: DUP3
00001f91: MSTORE
00001f92: RETURNDATASIZE
00001f93: PUSH1 0x00
00001f95: PUSH1 0x20
00001f97: DUP5
00001f98: ADD
00001f99: RETURNDATACOPY
00001f9a: PUSH2 0x1fa3
00001f9d: JUMP
00001f9e: JUMPDEST
00001f9f: PUSH1 0x60
00001fa1: SWAP2
00001fa2: POP
00001fa3: JUMPDEST
00001fa4: POP
00001fa5: SWAP2
00001fa6: POP
00001fa7: SWAP2
00001fa8: POP
00001fa9: PUSH2 0x1fb3
00001fac: DUP3
00001fad: DUP3
00001fae: DUP7
00001faf: PUSH2 0x1fbf
00001fb2: JUMP
00001fb3: JUMPDEST
00001fb4: SWAP3
00001fb5: POP
00001fb6: POP
00001fb7: POP
00001fb8: SWAP5
00001fb9: SWAP4
00001fba: POP
00001fbb: POP
00001fbc: POP
00001fbd: POP
00001fbe: JUMP
00001fbf: JUMPDEST
00001fc0: PUSH1 0x60
00001fc2: DUP4
00001fc3: ISZERO
00001fc4: PUSH2 0x1fcf
00001fc7: JUMPI
00001fc8: DUP3
00001fc9: SWAP1
00001fca: POP
00001fcb: PUSH2 0x201f
00001fce: JUMP
00001fcf: JUMPDEST
00001fd0: PUSH1 0x00
00001fd2: DUP4
00001fd3: MLOAD
00001fd4: GT
00001fd5: ISZERO
00001fd6: PUSH2 0x1fe2
00001fd9: JUMPI
00001fda: DUP3
00001fdb: MLOAD
00001fdc: DUP1
00001fdd: DUP5
00001fde: PUSH1 0x20
00001fe0: ADD
00001fe1: REVERT
00001fe2: JUMPDEST
00001fe3: DUP2
00001fe4: PUSH1 0x40
00001fe6: MLOAD
00001fe7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002008: DUP2
00002009: MSTORE
0000200a: PUSH1 0x04
0000200c: ADD
0000200d: PUSH2 0x2016
00002010: SWAP2
00002011: SWAP1
00002012: PUSH2 0x2559
00002015: JUMP
00002016: JUMPDEST
00002017: PUSH1 0x40
00002019: MLOAD
0000201a: DUP1
0000201b: SWAP2
0000201c: SUB
0000201d: SWAP1
0000201e: REVERT
0000201f: JUMPDEST
00002020: SWAP4
00002021: SWAP3
00002022: POP
00002023: POP
00002024: POP
00002025: JUMP
00002026: JUMPDEST
00002027: PUSH1 0x00
00002029: DUP3
0000202a: DUP3
0000202b: MSTORE
0000202c: PUSH1 0x20
0000202e: DUP3
0000202f: ADD
00002030: SWAP1
00002031: POP
00002032: SWAP3
00002033: SWAP2
00002034: POP
00002035: POP
00002036: JUMP
00002037: JUMPDEST
00002038: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365
00002059: PUSH1 0x00
0000205b: DUP3
0000205c: ADD
0000205d: MSTORE
0000205e: PUSH32 0x20726f6c657320666f722073656c660000000000000000000000000000000000
0000207f: PUSH1 0x20
00002081: DUP3
00002082: ADD
00002083: MSTORE
00002084: POP
00002085: JUMP
00002086: JUMPDEST
00002087: PUSH1 0x00
00002089: PUSH2 0x2093
0000208c: PUSH1 0x2f
0000208e: DUP4
0000208f: PUSH2 0x2026
00002092: JUMP
00002093: JUMPDEST
00002094: SWAP2
00002095: POP
00002096: PUSH2 0x209e
00002099: DUP3
0000209a: PUSH2 0x2037
0000209d: JUMP
0000209e: JUMPDEST
0000209f: PUSH1 0x40
000020a1: DUP3
000020a2: ADD
000020a3: SWAP1
000020a4: POP
000020a5: SWAP2
000020a6: SWAP1
000020a7: POP
000020a8: JUMP
000020a9: JUMPDEST
000020aa: PUSH1 0x00
000020ac: PUSH1 0x20
000020ae: DUP3
000020af: ADD
000020b0: SWAP1
000020b1: POP
000020b2: DUP2
000020b3: DUP2
000020b4: SUB
000020b5: PUSH1 0x00
000020b7: DUP4
000020b8: ADD
000020b9: MSTORE
000020ba: PUSH2 0x20c2
000020bd: DUP2
000020be: PUSH2 0x2086
000020c1: JUMP
000020c2: JUMPDEST
000020c3: SWAP1
000020c4: POP
000020c5: SWAP2
000020c6: SWAP1
000020c7: POP
000020c8: JUMP
000020c9: JUMPDEST
000020ca: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820
000020eb: PUSH1 0x00
000020ed: DUP3
000020ee: ADD
000020ef: MSTORE
000020f0: PUSH32 0x64656c656761746563616c6c0000000000000000000000000000000000000000
00002111: PUSH1 0x20
00002113: DUP3
00002114: ADD
00002115: MSTORE
00002116: POP
00002117: JUMP
00002118: JUMPDEST
00002119: PUSH1 0x00
0000211b: PUSH2 0x2125
0000211e: PUSH1 0x2c
00002120: DUP4
00002121: PUSH2 0x2026
00002124: JUMP
00002125: JUMPDEST
00002126: SWAP2
00002127: POP
00002128: PUSH2 0x2130
0000212b: DUP3
0000212c: PUSH2 0x20c9
0000212f: JUMP
00002130: JUMPDEST
00002131: PUSH1 0x40
00002133: DUP3
00002134: ADD
00002135: SWAP1
00002136: POP
00002137: SWAP2
00002138: SWAP1
00002139: POP
0000213a: JUMP
0000213b: JUMPDEST
0000213c: PUSH1 0x00
0000213e: PUSH1 0x20
00002140: DUP3
00002141: ADD
00002142: SWAP1
00002143: POP
00002144: DUP2
00002145: DUP2
00002146: SUB
00002147: PUSH1 0x00
00002149: DUP4
0000214a: ADD
0000214b: MSTORE
0000214c: PUSH2 0x2154
0000214f: DUP2
00002150: PUSH2 0x2118
00002153: JUMP
00002154: JUMPDEST
00002155: SWAP1
00002156: POP
00002157: SWAP2
00002158: SWAP1
00002159: POP
0000215a: JUMP
0000215b: JUMPDEST
0000215c: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820
0000217d: PUSH1 0x00
0000217f: DUP3
00002180: ADD
00002181: MSTORE
00002182: PUSH32 0x6163746976652070726f78790000000000000000000000000000000000000000
000021a3: PUSH1 0x20
000021a5: DUP3
000021a6: ADD
000021a7: MSTORE
000021a8: POP
000021a9: JUMP
000021aa: JUMPDEST
000021ab: PUSH1 0x00
000021ad: PUSH2 0x21b7
000021b0: PUSH1 0x2c
000021b2: DUP4
000021b3: PUSH2 0x2026
000021b6: JUMP
000021b7: JUMPDEST
000021b8: SWAP2
000021b9: POP
000021ba: PUSH2 0x21c2
000021bd: DUP3
000021be: PUSH2 0x215b
000021c1: JUMP
000021c2: JUMPDEST
000021c3: PUSH1 0x40
000021c5: DUP3
000021c6: ADD
000021c7: SWAP1
000021c8: POP
000021c9: SWAP2
000021ca: SWAP1
000021cb: POP
000021cc: JUMP
000021cd: JUMPDEST
000021ce: PUSH1 0x00
000021d0: PUSH1 0x20
000021d2: DUP3
000021d3: ADD
000021d4: SWAP1
000021d5: POP
000021d6: DUP2
000021d7: DUP2
000021d8: SUB
000021d9: PUSH1 0x00
000021db: DUP4
000021dc: ADD
000021dd: MSTORE
000021de: PUSH2 0x21e6
000021e1: DUP2
000021e2: PUSH2 0x21aa
000021e5: JUMP
000021e6: JUMPDEST
000021e7: SWAP1
000021e8: POP
000021e9: SWAP2
000021ea: SWAP1
000021eb: POP
000021ec: JUMP
000021ed: JUMPDEST
000021ee: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000220f: PUSH1 0x00
00002211: MSTORE
00002212: PUSH1 0x41
00002214: PUSH1 0x04
00002216: MSTORE
00002217: PUSH1 0x24
00002219: PUSH1 0x00
0000221b: REVERT
0000221c: JUMPDEST
0000221d: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
0000223e: PUSH1 0x00
00002240: DUP3
00002241: ADD
00002242: MSTORE
00002243: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000
00002264: PUSH1 0x20
00002266: DUP3
00002267: ADD
00002268: MSTORE
00002269: POP
0000226a: JUMP
0000226b: JUMPDEST
0000226c: PUSH1 0x00
0000226e: PUSH2 0x2278
00002271: PUSH1 0x2e
00002273: DUP4
00002274: PUSH2 0x2026
00002277: JUMP
00002278: JUMPDEST
00002279: SWAP2
0000227a: POP
0000227b: PUSH2 0x2283
0000227e: DUP3
0000227f: PUSH2 0x221c
00002282: JUMP
00002283: JUMPDEST
00002284: PUSH1 0x40
00002286: DUP3
00002287: ADD
00002288: SWAP1
00002289: POP
0000228a: SWAP2
0000228b: SWAP1
0000228c: POP
0000228d: JUMP
0000228e: JUMPDEST
0000228f: PUSH1 0x00
00002291: PUSH1 0x20
00002293: DUP3
00002294: ADD
00002295: SWAP1
00002296: POP
00002297: DUP2
00002298: DUP2
00002299: SUB
0000229a: PUSH1 0x00
0000229c: DUP4
0000229d: ADD
0000229e: MSTORE
0000229f: PUSH2 0x22a7
000022a2: DUP2
000022a3: PUSH2 0x226b
000022a6: JUMP
000022a7: JUMPDEST
000022a8: SWAP1
000022a9: POP
000022aa: SWAP2
000022ab: SWAP1
000022ac: POP
000022ad: JUMP
000022ae: JUMPDEST
000022af: PUSH32 0x555550535570677261646561626c653a206d757374206e6f742062652063616c
000022d0: PUSH1 0x00
000022d2: DUP3
000022d3: ADD
000022d4: MSTORE
000022d5: PUSH32 0x6c6564207468726f7567682064656c656761746563616c6c0000000000000000
000022f6: PUSH1 0x20
000022f8: DUP3
000022f9: ADD
000022fa: MSTORE
000022fb: POP
000022fc: JUMP
000022fd: JUMPDEST
000022fe: PUSH1 0x00
00002300: PUSH2 0x230a
00002303: PUSH1 0x38
00002305: DUP4
00002306: PUSH2 0x2026
00002309: JUMP
0000230a: JUMPDEST
0000230b: SWAP2
0000230c: POP
0000230d: PUSH2 0x2315
00002310: DUP3
00002311: PUSH2 0x22ae
00002314: JUMP
00002315: JUMPDEST
00002316: PUSH1 0x40
00002318: DUP3
00002319: ADD
0000231a: SWAP1
0000231b: POP
0000231c: SWAP2
0000231d: SWAP1
0000231e: POP
0000231f: JUMP
00002320: JUMPDEST
00002321: PUSH1 0x00
00002323: PUSH1 0x20
00002325: DUP3
00002326: ADD
00002327: SWAP1
00002328: POP
00002329: DUP2
0000232a: DUP2
0000232b: SUB
0000232c: PUSH1 0x00
0000232e: DUP4
0000232f: ADD
00002330: MSTORE
00002331: PUSH2 0x2339
00002334: DUP2
00002335: PUSH2 0x22fd
00002338: JUMP
00002339: JUMPDEST
0000233a: SWAP1
0000233b: POP
0000233c: SWAP2
0000233d: SWAP1
0000233e: POP
0000233f: JUMP
00002340: JUMPDEST
00002341: PUSH1 0x00
00002343: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002358: DUP3
00002359: AND
0000235a: SWAP1
0000235b: POP
0000235c: SWAP2
0000235d: SWAP1
0000235e: POP
0000235f: JUMP
00002360: JUMPDEST
00002361: PUSH1 0x00
00002363: PUSH2 0x236b
00002366: DUP3
00002367: PUSH2 0x2340
0000236a: JUMP
0000236b: JUMPDEST
0000236c: SWAP1
0000236d: POP
0000236e: SWAP2
0000236f: SWAP1
00002370: POP
00002371: JUMP
00002372: JUMPDEST
00002373: PUSH2 0x237b
00002376: DUP2
00002377: PUSH2 0x2360
0000237a: JUMP
0000237b: JUMPDEST
0000237c: DUP3
0000237d: MSTORE
0000237e: POP
0000237f: POP
00002380: JUMP
00002381: JUMPDEST
00002382: PUSH1 0x00
00002384: DUP2
00002385: SWAP1
00002386: POP
00002387: SWAP2
00002388: SWAP1
00002389: POP
0000238a: JUMP
0000238b: JUMPDEST
0000238c: PUSH2 0x2394
0000238f: DUP2
00002390: PUSH2 0x2381
00002393: JUMP
00002394: JUMPDEST
00002395: DUP3
00002396: MSTORE
00002397: POP
00002398: POP
00002399: JUMP
0000239a: JUMPDEST
0000239b: PUSH1 0x00
0000239d: PUSH1 0x40
0000239f: DUP3
000023a0: ADD
000023a1: SWAP1
000023a2: POP
000023a3: PUSH2 0x23af
000023a6: PUSH1 0x00
000023a8: DUP4
000023a9: ADD
000023aa: DUP6
000023ab: PUSH2 0x2372
000023ae: JUMP
000023af: JUMPDEST
000023b0: PUSH2 0x23bc
000023b3: PUSH1 0x20
000023b5: DUP4
000023b6: ADD
000023b7: DUP5
000023b8: PUSH2 0x238b
000023bb: JUMP
000023bc: JUMPDEST
000023bd: SWAP4
000023be: SWAP3
000023bf: POP
000023c0: POP
000023c1: POP
000023c2: JUMP
000023c3: JUMPDEST
000023c4: PUSH1 0x00
000023c6: DUP2
000023c7: SWAP1
000023c8: POP
000023c9: SWAP3
000023ca: SWAP2
000023cb: POP
000023cc: POP
000023cd: JUMP
000023ce: JUMPDEST
000023cf: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000
000023f0: PUSH1 0x00
000023f2: DUP3
000023f3: ADD
000023f4: MSTORE
000023f5: POP
000023f6: JUMP
000023f7: JUMPDEST
000023f8: PUSH1 0x00
000023fa: PUSH2 0x2404
000023fd: PUSH1 0x17
000023ff: DUP4
00002400: PUSH2 0x23c3
00002403: JUMP
00002404: JUMPDEST
00002405: SWAP2
00002406: POP
00002407: PUSH2 0x240f
0000240a: DUP3
0000240b: PUSH2 0x23ce
0000240e: JUMP
0000240f: JUMPDEST
00002410: PUSH1 0x17
00002412: DUP3
00002413: ADD
00002414: SWAP1
00002415: POP
00002416: SWAP2
00002417: SWAP1
00002418: POP
00002419: JUMP
0000241a: JUMPDEST
0000241b: PUSH1 0x00
0000241d: DUP2
0000241e: MLOAD
0000241f: SWAP1
00002420: POP
00002421: SWAP2
00002422: SWAP1
00002423: POP
00002424: JUMP
00002425: JUMPDEST
00002426: PUSH1 0x00
00002428: JUMPDEST
00002429: DUP4
0000242a: DUP2
0000242b: LT
0000242c: ISZERO
0000242d: PUSH2 0x2443
00002430: JUMPI
00002431: DUP1
00002432: DUP3
00002433: ADD
00002434: MLOAD
00002435: DUP2
00002436: DUP5
00002437: ADD
00002438: MSTORE
00002439: PUSH1 0x20
0000243b: DUP2
0000243c: ADD
0000243d: SWAP1
0000243e: POP
0000243f: PUSH2 0x2428
00002442: JUMP
00002443: JUMPDEST
00002444: DUP4
00002445: DUP2
00002446: GT
00002447: ISZERO
00002448: PUSH2 0x2452
0000244b: JUMPI
0000244c: PUSH1 0x00
0000244e: DUP5
0000244f: DUP5
00002450: ADD
00002451: MSTORE
00002452: JUMPDEST
00002453: POP
00002454: POP
00002455: POP
00002456: POP
00002457: JUMP
00002458: JUMPDEST
00002459: PUSH1 0x00
0000245b: PUSH2 0x2463
0000245e: DUP3
0000245f: PUSH2 0x241a
00002462: JUMP
00002463: JUMPDEST
00002464: PUSH2 0x246d
00002467: DUP2
00002468: DUP6
00002469: PUSH2 0x23c3
0000246c: JUMP
0000246d: JUMPDEST
0000246e: SWAP4
0000246f: POP
00002470: PUSH2 0x247d
00002473: DUP2
00002474: DUP6
00002475: PUSH1 0x20
00002477: DUP7
00002478: ADD
00002479: PUSH2 0x2425
0000247c: JUMP
0000247d: JUMPDEST
0000247e: DUP1
0000247f: DUP5
00002480: ADD
00002481: SWAP2
00002482: POP
00002483: POP
00002484: SWAP3
00002485: SWAP2
00002486: POP
00002487: POP
00002488: JUMP
00002489: JUMPDEST
0000248a: PUSH32 0x206973206d697373696e6720726f6c6520000000000000000000000000000000
000024ab: PUSH1 0x00
000024ad: DUP3
000024ae: ADD
000024af: MSTORE
000024b0: POP
000024b1: JUMP
000024b2: JUMPDEST
000024b3: PUSH1 0x00
000024b5: PUSH2 0x24bf
000024b8: PUSH1 0x11
000024ba: DUP4
000024bb: PUSH2 0x23c3
000024be: JUMP
000024bf: JUMPDEST
000024c0: SWAP2
000024c1: POP
000024c2: PUSH2 0x24ca
000024c5: DUP3
000024c6: PUSH2 0x2489
000024c9: JUMP
000024ca: JUMPDEST
000024cb: PUSH1 0x11
000024cd: DUP3
000024ce: ADD
000024cf: SWAP1
000024d0: POP
000024d1: SWAP2
000024d2: SWAP1
000024d3: POP
000024d4: JUMP
000024d5: JUMPDEST
000024d6: PUSH1 0x00
000024d8: PUSH2 0x24e0
000024db: DUP3
000024dc: PUSH2 0x23f7
000024df: JUMP
000024e0: JUMPDEST
000024e1: SWAP2
000024e2: POP
000024e3: PUSH2 0x24ec
000024e6: DUP3
000024e7: DUP6
000024e8: PUSH2 0x2458
000024eb: JUMP
000024ec: JUMPDEST
000024ed: SWAP2
000024ee: POP
000024ef: PUSH2 0x24f7
000024f2: DUP3
000024f3: PUSH2 0x24b2
000024f6: JUMP
000024f7: JUMPDEST
000024f8: SWAP2
000024f9: POP
000024fa: PUSH2 0x2503
000024fd: DUP3
000024fe: DUP5
000024ff: PUSH2 0x2458
00002502: JUMP
00002503: JUMPDEST
00002504: SWAP2
00002505: POP
00002506: DUP2
00002507: SWAP1
00002508: POP
00002509: SWAP4
0000250a: SWAP3
0000250b: POP
0000250c: POP
0000250d: POP
0000250e: JUMP
0000250f: JUMPDEST
00002510: PUSH1 0x00
00002512: PUSH1 0x1f
00002514: NOT
00002515: PUSH1 0x1f
00002517: DUP4
00002518: ADD
00002519: AND
0000251a: SWAP1
0000251b: POP
0000251c: SWAP2
0000251d: SWAP1
0000251e: POP
0000251f: JUMP
00002520: JUMPDEST
00002521: PUSH1 0x00
00002523: PUSH2 0x252b
00002526: DUP3
00002527: PUSH2 0x241a
0000252a: JUMP
0000252b: JUMPDEST
0000252c: PUSH2 0x2535
0000252f: DUP2
00002530: DUP6
00002531: PUSH2 0x2026
00002534: JUMP
00002535: JUMPDEST
00002536: SWAP4
00002537: POP
00002538: PUSH2 0x2545
0000253b: DUP2
0000253c: DUP6
0000253d: PUSH1 0x20
0000253f: DUP7
00002540: ADD
00002541: PUSH2 0x2425
00002544: JUMP
00002545: JUMPDEST
00002546: PUSH2 0x254e
00002549: DUP2
0000254a: PUSH2 0x250f
0000254d: JUMP
0000254e: JUMPDEST
0000254f: DUP5
00002550: ADD
00002551: SWAP2
00002552: POP
00002553: POP
00002554: SWAP3
00002555: SWAP2
00002556: POP
00002557: POP
00002558: JUMP
00002559: JUMPDEST
0000255a: PUSH1 0x00
0000255c: PUSH1 0x20
0000255e: DUP3
0000255f: ADD
00002560: SWAP1
00002561: POP
00002562: DUP2
00002563: DUP2
00002564: SUB
00002565: PUSH1 0x00
00002567: DUP4
00002568: ADD
00002569: MSTORE
0000256a: PUSH2 0x2573
0000256d: DUP2
0000256e: DUP5
0000256f: PUSH2 0x2520
00002572: JUMP
00002573: JUMPDEST
00002574: SWAP1
00002575: POP
00002576: SWAP3
00002577: SWAP2
00002578: POP
00002579: POP
0000257a: JUMP
0000257b: JUMPDEST
0000257c: PUSH1 0x00
0000257e: DUP1
0000257f: REVERT
00002580: JUMPDEST
00002581: PUSH1 0x00
00002583: DUP2
00002584: SWAP1
00002585: POP
00002586: SWAP2
00002587: SWAP1
00002588: POP
00002589: JUMP
0000258a: JUMPDEST
0000258b: PUSH2 0x2593
0000258e: DUP2
0000258f: PUSH2 0x2580
00002592: JUMP
00002593: JUMPDEST
00002594: DUP2
00002595: EQ
00002596: PUSH2 0x259e
00002599: JUMPI
0000259a: PUSH1 0x00
0000259c: DUP1
0000259d: REVERT
0000259e: JUMPDEST
0000259f: POP
000025a0: JUMP
000025a1: JUMPDEST
000025a2: PUSH1 0x00
000025a4: DUP2
000025a5: MLOAD
000025a6: SWAP1
000025a7: POP
000025a8: PUSH2 0x25b0
000025ab: DUP2
000025ac: PUSH2 0x258a
000025af: JUMP
000025b0: JUMPDEST
000025b1: SWAP3
000025b2: SWAP2
000025b3: POP
000025b4: POP
000025b5: JUMP
000025b6: JUMPDEST
000025b7: PUSH1 0x00
000025b9: PUSH1 0x20
000025bb: DUP3
000025bc: DUP5
000025bd: SUB
000025be: SLT
000025bf: ISZERO
000025c0: PUSH2 0x25cc
000025c3: JUMPI
000025c4: PUSH2 0x25cb
000025c7: PUSH2 0x257b
000025ca: JUMP
000025cb: JUMPDEST
000025cc: JUMPDEST
000025cd: PUSH1 0x00
000025cf: PUSH2 0x25da
000025d2: DUP5
000025d3: DUP3
000025d4: DUP6
000025d5: ADD
000025d6: PUSH2 0x25a1
000025d9: JUMP
000025da: JUMPDEST
000025db: SWAP2
000025dc: POP
000025dd: POP
000025de: SWAP3
000025df: SWAP2
000025e0: POP
000025e1: POP
000025e2: JUMP
000025e3: JUMPDEST
000025e4: PUSH32 0x45524331393637557067726164653a206e657720696d706c656d656e74617469
00002605: PUSH1 0x00
00002607: DUP3
00002608: ADD
00002609: MSTORE
0000260a: PUSH32 0x6f6e206973206e6f742055555053000000000000000000000000000000000000
0000262b: PUSH1 0x20
0000262d: DUP3
0000262e: ADD
0000262f: MSTORE
00002630: POP
00002631: JUMP
00002632: JUMPDEST
00002633: PUSH1 0x00
00002635: PUSH2 0x263f
00002638: PUSH1 0x2e
0000263a: DUP4
0000263b: PUSH2 0x2026
0000263e: JUMP
0000263f: JUMPDEST
00002640: SWAP2
00002641: POP
00002642: PUSH2 0x264a
00002645: DUP3
00002646: PUSH2 0x25e3
00002649: JUMP
0000264a: JUMPDEST
0000264b: PUSH1 0x40
0000264d: DUP3
0000264e: ADD
0000264f: SWAP1
00002650: POP
00002651: SWAP2
00002652: SWAP1
00002653: POP
00002654: JUMP
00002655: JUMPDEST
00002656: PUSH1 0x00
00002658: PUSH1 0x20
0000265a: DUP3
0000265b: ADD
0000265c: SWAP1
0000265d: POP
0000265e: DUP2
0000265f: DUP2
00002660: SUB
00002661: PUSH1 0x00
00002663: DUP4
00002664: ADD
00002665: MSTORE
00002666: PUSH2 0x266e
00002669: DUP2
0000266a: PUSH2 0x2632
0000266d: JUMP
0000266e: JUMPDEST
0000266f: SWAP1
00002670: POP
00002671: SWAP2
00002672: SWAP1
00002673: POP
00002674: JUMP
00002675: JUMPDEST
00002676: PUSH32 0x45524331393637557067726164653a20756e737570706f727465642070726f78
00002697: PUSH1 0x00
00002699: DUP3
0000269a: ADD
0000269b: MSTORE
0000269c: PUSH32 0x6961626c65555549440000000000000000000000000000000000000000000000
000026bd: PUSH1 0x20
000026bf: DUP3
000026c0: ADD
000026c1: MSTORE
000026c2: POP
000026c3: JUMP
000026c4: JUMPDEST
000026c5: PUSH1 0x00
000026c7: PUSH2 0x26d1
000026ca: PUSH1 0x29
000026cc: DUP4
000026cd: PUSH2 0x2026
000026d0: JUMP
000026d1: JUMPDEST
000026d2: SWAP2
000026d3: POP
000026d4: PUSH2 0x26dc
000026d7: DUP3
000026d8: PUSH2 0x2675
000026db: JUMP
000026dc: JUMPDEST
000026dd: PUSH1 0x40
000026df: DUP3
000026e0: ADD
000026e1: SWAP1
000026e2: POP
000026e3: SWAP2
000026e4: SWAP1
000026e5: POP
000026e6: JUMP
000026e7: JUMPDEST
000026e8: PUSH1 0x00
000026ea: PUSH1 0x20
000026ec: DUP3
000026ed: ADD
000026ee: SWAP1
000026ef: POP
000026f0: DUP2
000026f1: DUP2
000026f2: SUB
000026f3: PUSH1 0x00
000026f5: DUP4
000026f6: ADD
000026f7: MSTORE
000026f8: PUSH2 0x2700
000026fb: DUP2
000026fc: PUSH2 0x26c4
000026ff: JUMP
00002700: JUMPDEST
00002701: SWAP1
00002702: POP
00002703: SWAP2
00002704: SWAP1
00002705: POP
00002706: JUMP
00002707: JUMPDEST
00002708: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00002729: PUSH1 0x00
0000272b: DUP3
0000272c: ADD
0000272d: MSTORE
0000272e: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000
0000274f: PUSH1 0x20
00002751: DUP3
00002752: ADD
00002753: MSTORE
00002754: POP
00002755: JUMP
00002756: JUMPDEST
00002757: PUSH1 0x00
00002759: PUSH2 0x2763
0000275c: PUSH1 0x2b
0000275e: DUP4
0000275f: PUSH2 0x2026
00002762: JUMP
00002763: JUMPDEST
00002764: SWAP2
00002765: POP
00002766: PUSH2 0x276e
00002769: DUP3
0000276a: PUSH2 0x2707
0000276d: JUMP
0000276e: JUMPDEST
0000276f: PUSH1 0x40
00002771: DUP3
00002772: ADD
00002773: SWAP1
00002774: POP
00002775: SWAP2
00002776: SWAP1
00002777: POP
00002778: JUMP
00002779: JUMPDEST
0000277a: PUSH1 0x00
0000277c: PUSH1 0x20
0000277e: DUP3
0000277f: ADD
00002780: SWAP1
00002781: POP
00002782: DUP2
00002783: DUP2
00002784: SUB
00002785: PUSH1 0x00
00002787: DUP4
00002788: ADD
00002789: MSTORE
0000278a: PUSH2 0x2792
0000278d: DUP2
0000278e: PUSH2 0x2756
00002791: JUMP
00002792: JUMPDEST
00002793: SWAP1
00002794: POP
00002795: SWAP2
00002796: SWAP1
00002797: POP
00002798: JUMP
00002799: JUMPDEST
0000279a: PUSH1 0x00
0000279c: DUP2
0000279d: ISZERO
0000279e: ISZERO
0000279f: SWAP1
000027a0: POP
000027a1: SWAP2
000027a2: SWAP1
000027a3: POP
000027a4: JUMP
000027a5: JUMPDEST
000027a6: PUSH2 0x27ae
000027a9: DUP2
000027aa: PUSH2 0x2799
000027ad: JUMP
000027ae: JUMPDEST
000027af: DUP2
000027b0: EQ
000027b1: PUSH2 0x27b9
000027b4: JUMPI
000027b5: PUSH1 0x00
000027b7: DUP1
000027b8: REVERT
000027b9: JUMPDEST
000027ba: POP
000027bb: JUMP
000027bc: JUMPDEST
000027bd: PUSH1 0x00
000027bf: DUP2
000027c0: MLOAD
000027c1: SWAP1
000027c2: POP
000027c3: PUSH2 0x27cb
000027c6: DUP2
000027c7: PUSH2 0x27a5
000027ca: JUMP
000027cb: JUMPDEST
000027cc: SWAP3
000027cd: SWAP2
000027ce: POP
000027cf: POP
000027d0: JUMP
000027d1: JUMPDEST
000027d2: PUSH1 0x00
000027d4: PUSH1 0x20
000027d6: DUP3
000027d7: DUP5
000027d8: SUB
000027d9: SLT
000027da: ISZERO
000027db: PUSH2 0x27e7
000027de: JUMPI
000027df: PUSH2 0x27e6
000027e2: PUSH2 0x257b
000027e5: JUMP
000027e6: JUMPDEST
000027e7: JUMPDEST
000027e8: PUSH1 0x00
000027ea: PUSH2 0x27f5
000027ed: DUP5
000027ee: DUP3
000027ef: DUP6
000027f0: ADD
000027f1: PUSH2 0x27bc
000027f4: JUMP
000027f5: JUMPDEST
000027f6: SWAP2
000027f7: POP
000027f8: POP
000027f9: SWAP3
000027fa: SWAP2
000027fb: POP
000027fc: POP
000027fd: JUMP
000027fe: JUMPDEST
000027ff: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00002820: PUSH1 0x00
00002822: DUP3
00002823: ADD
00002824: MSTORE
00002825: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
00002846: PUSH1 0x20
00002848: DUP3
00002849: ADD
0000284a: MSTORE
0000284b: POP
0000284c: JUMP
0000284d: JUMPDEST
0000284e: PUSH1 0x00
00002850: PUSH2 0x285a
00002853: PUSH1 0x2a
00002855: DUP4
00002856: PUSH2 0x2026
00002859: JUMP
0000285a: JUMPDEST
0000285b: SWAP2
0000285c: POP
0000285d: PUSH2 0x2865
00002860: DUP3
00002861: PUSH2 0x27fe
00002864: JUMP
00002865: JUMPDEST
00002866: PUSH1 0x40
00002868: DUP3
00002869: ADD
0000286a: SWAP1
0000286b: POP
0000286c: SWAP2
0000286d: SWAP1
0000286e: POP
0000286f: JUMP
00002870: JUMPDEST
00002871: PUSH1 0x00
00002873: PUSH1 0x20
00002875: DUP3
00002876: ADD
00002877: SWAP1
00002878: POP
00002879: DUP2
0000287a: DUP2
0000287b: SUB
0000287c: PUSH1 0x00
0000287e: DUP4
0000287f: ADD
00002880: MSTORE
00002881: PUSH2 0x2889
00002884: DUP2
00002885: PUSH2 0x284d
00002888: JUMP
00002889: JUMPDEST
0000288a: SWAP1
0000288b: POP
0000288c: SWAP2
0000288d: SWAP1
0000288e: POP
0000288f: JUMP
00002890: JUMPDEST
00002891: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000028b2: PUSH1 0x00
000028b4: MSTORE
000028b5: PUSH1 0x11
000028b7: PUSH1 0x04
000028b9: MSTORE
000028ba: PUSH1 0x24
000028bc: PUSH1 0x00
000028be: REVERT
000028bf: JUMPDEST
000028c0: PUSH1 0x00
000028c2: PUSH2 0x28ca
000028c5: DUP3
000028c6: PUSH2 0x2381
000028c9: JUMP
000028ca: JUMPDEST
000028cb: SWAP2
000028cc: POP
000028cd: PUSH2 0x28d5
000028d0: DUP4
000028d1: PUSH2 0x2381
000028d4: JUMP
000028d5: JUMPDEST
000028d6: SWAP3
000028d7: POP
000028d8: DUP2
000028d9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000028fa: DIV
000028fb: DUP4
000028fc: GT
000028fd: DUP3
000028fe: ISZERO
000028ff: ISZERO
00002900: AND
00002901: ISZERO
00002902: PUSH2 0x290e
00002905: JUMPI
00002906: PUSH2 0x290d
00002909: PUSH2 0x2890
0000290c: JUMP
0000290d: JUMPDEST
0000290e: JUMPDEST
0000290f: DUP3
00002910: DUP3
00002911: MUL
00002912: SWAP1
00002913: POP
00002914: SWAP3
00002915: SWAP2
00002916: POP
00002917: POP
00002918: JUMP
00002919: JUMPDEST
0000291a: PUSH1 0x00
0000291c: PUSH2 0x2924
0000291f: DUP3
00002920: PUSH2 0x2381
00002923: JUMP
00002924: JUMPDEST
00002925: SWAP2
00002926: POP
00002927: PUSH2 0x292f
0000292a: DUP4
0000292b: PUSH2 0x2381
0000292e: JUMP
0000292f: JUMPDEST
00002930: SWAP3
00002931: POP
00002932: DUP3
00002933: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002954: SUB
00002955: DUP3
00002956: GT
00002957: ISZERO
00002958: PUSH2 0x2964
0000295b: JUMPI
0000295c: PUSH2 0x2963
0000295f: PUSH2 0x2890
00002962: JUMP
00002963: JUMPDEST
00002964: JUMPDEST
00002965: DUP3
00002966: DUP3
00002967: ADD
00002968: SWAP1
00002969: POP
0000296a: SWAP3
0000296b: SWAP2
0000296c: POP
0000296d: POP
0000296e: JUMP
0000296f: JUMPDEST
00002970: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002991: PUSH1 0x00
00002993: MSTORE
00002994: PUSH1 0x32
00002996: PUSH1 0x04
00002998: MSTORE
00002999: PUSH1 0x24
0000299b: PUSH1 0x00
0000299d: REVERT
0000299e: JUMPDEST
0000299f: PUSH1 0x00
000029a1: PUSH2 0x29a9
000029a4: DUP3
000029a5: PUSH2 0x2381
000029a8: JUMP
000029a9: JUMPDEST
000029aa: SWAP2
000029ab: POP
000029ac: PUSH1 0x00
000029ae: DUP3
000029af: EQ
000029b0: ISZERO
000029b1: PUSH2 0x29bd
000029b4: JUMPI
000029b5: PUSH2 0x29bc
000029b8: PUSH2 0x2890
000029bb: JUMP
000029bc: JUMPDEST
000029bd: JUMPDEST
000029be: PUSH1 0x01
000029c0: DUP3
000029c1: SUB
000029c2: SWAP1
000029c3: POP
000029c4: SWAP2
000029c5: SWAP1
000029c6: POP
000029c7: JUMP
000029c8: JUMPDEST
000029c9: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74
000029ea: PUSH1 0x00
000029ec: DUP3
000029ed: ADD
000029ee: MSTORE
000029ef: POP
000029f0: JUMP
000029f1: JUMPDEST
000029f2: PUSH1 0x00
000029f4: PUSH2 0x29fe
000029f7: PUSH1 0x20
000029f9: DUP4
000029fa: PUSH2 0x2026
000029fd: JUMP
000029fe: JUMPDEST
000029ff: SWAP2
00002a00: POP
00002a01: PUSH2 0x2a09
00002a04: DUP3
00002a05: PUSH2 0x29c8
00002a08: JUMP
00002a09: JUMPDEST
00002a0a: PUSH1 0x20
00002a0c: DUP3
00002a0d: ADD
00002a0e: SWAP1
00002a0f: POP
00002a10: SWAP2
00002a11: SWAP1
00002a12: POP
00002a13: JUMP
00002a14: JUMPDEST
00002a15: PUSH1 0x00
00002a17: PUSH1 0x20
00002a19: DUP3
00002a1a: ADD
00002a1b: SWAP1
00002a1c: POP
00002a1d: DUP2
00002a1e: DUP2
00002a1f: SUB
00002a20: PUSH1 0x00
00002a22: DUP4
00002a23: ADD
00002a24: MSTORE
00002a25: PUSH2 0x2a2d
00002a28: DUP2
00002a29: PUSH2 0x29f1
00002a2c: JUMP
00002a2d: JUMPDEST
00002a2e: SWAP1
00002a2f: POP
00002a30: SWAP2
00002a31: SWAP1
00002a32: POP
00002a33: JUMP
00002a34: JUMPDEST
00002a35: PUSH32 0x455243313936373a206e657720696d706c656d656e746174696f6e206973206e
00002a56: PUSH1 0x00
00002a58: DUP3
00002a59: ADD
00002a5a: MSTORE
00002a5b: PUSH32 0x6f74206120636f6e747261637400000000000000000000000000000000000000
00002a7c: PUSH1 0x20
00002a7e: DUP3
00002a7f: ADD
00002a80: MSTORE
00002a81: POP
00002a82: JUMP
00002a83: JUMPDEST
00002a84: PUSH1 0x00
00002a86: PUSH2 0x2a90
00002a89: PUSH1 0x2d
00002a8b: DUP4
00002a8c: PUSH2 0x2026
00002a8f: JUMP
00002a90: JUMPDEST
00002a91: SWAP2
00002a92: POP
00002a93: PUSH2 0x2a9b
00002a96: DUP3
00002a97: PUSH2 0x2a34
00002a9a: JUMP
00002a9b: JUMPDEST
00002a9c: PUSH1 0x40
00002a9e: DUP3
00002a9f: ADD
00002aa0: SWAP1
00002aa1: POP
00002aa2: SWAP2
00002aa3: SWAP1
00002aa4: POP
00002aa5: JUMP
00002aa6: JUMPDEST
00002aa7: PUSH1 0x00
00002aa9: PUSH1 0x20
00002aab: DUP3
00002aac: ADD
00002aad: SWAP1
00002aae: POP
00002aaf: DUP2
00002ab0: DUP2
00002ab1: SUB
00002ab2: PUSH1 0x00
00002ab4: DUP4
00002ab5: ADD
00002ab6: MSTORE
00002ab7: PUSH2 0x2abf
00002aba: DUP2
00002abb: PUSH2 0x2a83
00002abe: JUMP
00002abf: JUMPDEST
00002ac0: SWAP1
00002ac1: POP
00002ac2: SWAP2
00002ac3: SWAP1
00002ac4: POP
00002ac5: JUMP
00002ac6: JUMPDEST
00002ac7: PUSH32 0x416464726573733a2064656c65676174652063616c6c20746f206e6f6e2d636f
00002ae8: PUSH1 0x00
00002aea: DUP3
00002aeb: ADD
00002aec: MSTORE
00002aed: PUSH32 0x6e74726163740000000000000000000000000000000000000000000000000000
00002b0e: PUSH1 0x20
00002b10: DUP3
00002b11: ADD
00002b12: MSTORE
00002b13: POP
00002b14: JUMP
00002b15: JUMPDEST
00002b16: PUSH1 0x00
00002b18: PUSH2 0x2b22
00002b1b: PUSH1 0x26
00002b1d: DUP4
00002b1e: PUSH2 0x2026
00002b21: JUMP
00002b22: JUMPDEST
00002b23: SWAP2
00002b24: POP
00002b25: PUSH2 0x2b2d
00002b28: DUP3
00002b29: PUSH2 0x2ac6
00002b2c: JUMP
00002b2d: JUMPDEST
00002b2e: PUSH1 0x40
00002b30: DUP3
00002b31: ADD
00002b32: SWAP1
00002b33: POP
00002b34: SWAP2
00002b35: SWAP1
00002b36: POP
00002b37: JUMP
00002b38: JUMPDEST
00002b39: PUSH1 0x00
00002b3b: PUSH1 0x20
00002b3d: DUP3
00002b3e: ADD
00002b3f: SWAP1
00002b40: POP
00002b41: DUP2
00002b42: DUP2
00002b43: SUB
00002b44: PUSH1 0x00
00002b46: DUP4
00002b47: ADD
00002b48: MSTORE
00002b49: PUSH2 0x2b51
00002b4c: DUP2
00002b4d: PUSH2 0x2b15
00002b50: JUMP
00002b51: JUMPDEST
00002b52: SWAP1
00002b53: POP
00002b54: SWAP2
00002b55: SWAP1
00002b56: POP
00002b57: JUMP
00002b58: JUMPDEST
00002b59: PUSH1 0x00
00002b5b: DUP2
00002b5c: MLOAD
00002b5d: SWAP1
00002b5e: POP
00002b5f: SWAP2
00002b60: SWAP1
00002b61: POP
00002b62: JUMP
00002b63: JUMPDEST
00002b64: PUSH1 0x00
00002b66: DUP2
00002b67: SWAP1
00002b68: POP
00002b69: SWAP3
00002b6a: SWAP2
00002b6b: POP
00002b6c: POP
00002b6d: JUMP
00002b6e: JUMPDEST
00002b6f: PUSH1 0x00
00002b71: PUSH2 0x2b79
00002b74: DUP3
00002b75: PUSH2 0x2b58
00002b78: JUMP
00002b79: JUMPDEST
00002b7a: PUSH2 0x2b83
00002b7d: DUP2
00002b7e: DUP6
00002b7f: PUSH2 0x2b63
00002b82: JUMP
00002b83: JUMPDEST
00002b84: SWAP4
00002b85: POP
00002b86: PUSH2 0x2b93
00002b89: DUP2
00002b8a: DUP6
00002b8b: PUSH1 0x20
00002b8d: DUP7
00002b8e: ADD
00002b8f: PUSH2 0x2425
00002b92: JUMP
00002b93: JUMPDEST
00002b94: DUP1
00002b95: DUP5
00002b96: ADD
00002b97: SWAP2
00002b98: POP
00002b99: POP
00002b9a: SWAP3
00002b9b: SWAP2
00002b9c: POP
00002b9d: POP
00002b9e: JUMP
00002b9f: JUMPDEST
00002ba0: PUSH1 0x00
00002ba2: PUSH2 0x2bab
00002ba5: DUP3
00002ba6: DUP5
00002ba7: PUSH2 0x2b6e
00002baa: JUMP
00002bab: JUMPDEST
00002bac: SWAP2
00002bad: POP
00002bae: DUP2
00002baf: SWAP1
00002bb0: POP
00002bb1: SWAP3
00002bb2: SWAP2
00002bb3: POP
00002bb4: POP
00002bb5: JUMP
00002bb6: JUMPDEST
00002bb7: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00002bd8: PUSH1 0x00
00002bda: DUP3
00002bdb: ADD
00002bdc: MSTORE
00002bdd: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000
00002bfe: PUSH1 0x20
00002c00: DUP3
00002c01: ADD
00002c02: MSTORE
00002c03: POP
00002c04: JUMP
00002c05: JUMPDEST
00002c06: PUSH1 0x00
00002c08: PUSH2 0x2c12
00002c0b: PUSH1 0x26
00002c0d: DUP4
00002c0e: PUSH2 0x2026
00002c11: JUMP
00002c12: JUMPDEST
00002c13: SWAP2
00002c14: POP
00002c15: PUSH2 0x2c1d
00002c18: DUP3
00002c19: PUSH2 0x2bb6
00002c1c: JUMP
00002c1d: JUMPDEST
00002c1e: PUSH1 0x40
00002c20: DUP3
00002c21: ADD
00002c22: SWAP1
00002c23: POP
00002c24: SWAP2
00002c25: SWAP1
00002c26: POP
00002c27: JUMP
00002c28: JUMPDEST
00002c29: PUSH1 0x00
00002c2b: PUSH1 0x20
00002c2d: DUP3
00002c2e: ADD
00002c2f: SWAP1
00002c30: POP
00002c31: DUP2
00002c32: DUP2
00002c33: SUB
00002c34: PUSH1 0x00
00002c36: DUP4
00002c37: ADD
00002c38: MSTORE
00002c39: PUSH2 0x2c41
00002c3c: DUP2
00002c3d: PUSH2 0x2c05
00002c40: JUMP
00002c41: JUMPDEST
00002c42: SWAP1
00002c43: POP
00002c44: SWAP2
00002c45: SWAP1
00002c46: POP
00002c47: JUMP
00002c48: JUMPDEST
00002c49: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002c6a: PUSH1 0x00
00002c6c: DUP3
00002c6d: ADD
00002c6e: MSTORE
00002c6f: POP
00002c70: JUMP
00002c71: JUMPDEST
00002c72: PUSH1 0x00
00002c74: PUSH2 0x2c7e
00002c77: PUSH1 0x1d
00002c79: DUP4
00002c7a: PUSH2 0x2026
00002c7d: JUMP
00002c7e: JUMPDEST
00002c7f: SWAP2
00002c80: POP
00002c81: PUSH2 0x2c89
00002c84: DUP3
00002c85: PUSH2 0x2c48
00002c88: JUMP
00002c89: JUMPDEST
00002c8a: PUSH1 0x20
00002c8c: DUP3
00002c8d: ADD
00002c8e: SWAP1
00002c8f: POP
00002c90: SWAP2
00002c91: SWAP1
00002c92: POP
00002c93: JUMP
00002c94: JUMPDEST
00002c95: PUSH1 0x00
00002c97: PUSH1 0x20
00002c99: DUP3
00002c9a: ADD
00002c9b: SWAP1
00002c9c: POP
00002c9d: DUP2
00002c9e: DUP2
00002c9f: SUB
00002ca0: PUSH1 0x00
00002ca2: DUP4
00002ca3: ADD
00002ca4: MSTORE
00002ca5: PUSH2 0x2cad
00002ca8: DUP2
00002ca9: PUSH2 0x2c71
00002cac: JUMP
00002cad: JUMPDEST
00002cae: SWAP1
00002caf: POP
00002cb0: SWAP2
00002cb1: SWAP1
00002cb2: POP
00002cb3: JUMP
00002cb4: INVALID
00002cb5: COINBASE
00002cb6: PUSH5 0x6472657373
00002cbc: GASPRICE
00002cbd: KECCAK256
00002cbe: PUSH13 0x6f772d6c6576656c2064656c65
00002ccc: PUSH8 0x6174652063616c6c
00002cd5: KECCAK256
00002cd6: PUSH7 0x61696c6564a264
00002cde: PUSH10 0x706673582212208112e2
00002ce9: MULMOD
00002cea: SHR
00002ceb: GASPRICE
00002cec: UNKNOWN(0xDB)
00002ced: LT
00002cee: PUSH16 0x6a15dca88d9a81c6ef731ab4b37ec851
00002cff: UNKNOWN(0xBE)
00002d00: SGT
00002d01: PUSH8 0x9e4e143964736f6c
00002d0a: PUSH4 0x43000809
00002d0f: STOP
00002d10: CALLER