Analysis Run

[codex:549840] OpenAI Codex v0.77.0 (research preview)
[codex:549840] --------
[codex:549840] workdir: /tmp/codex-multi-94o8tvvv
[codex:549840] model: gpt-5.2-codex
[codex:549840] provider: openai
[codex:549840] approval: never
[codex:549840] sandbox: read-only
[codex:549840] reasoning effort: xhigh
[codex:549840] reasoning summaries: auto
[codex:549840] session id: 019b713c-65ac-7430-aa5f-0adc27b39b82
[codex:549840] --------
[codex:549840] user
[codex:549840] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:549840] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:549840] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:549840] 
[codex:549840] Scope rules:
[codex:549840] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:549840] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:549840] 
[codex:549840] Output MUST be valid JSON matching the provided schema.
[codex:549840] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:549840] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:549840] 
[codex:549840] Output constraints (IMPORTANT):
[codex:549840] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:549840] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:549840] mcp startup: no servers
[codex:549840] 
[codex:549840] thinking
[codex:549840] **Preparing to read audit instructions**
[codex:549840] exec
[codex:549840] /bin/bash -lc ls in /tmp/codex-multi-94o8tvvv succeeded in 6ms:
[codex:549840] AUDIT_BUNDLE.txt
[codex:549840] codex-output-schema.json
[codex:549840] contracts
[codex:549840] 
[codex:549840] thinking
[codex:549840] **Reading AUDIT_BUNDLE.txt**
[codex:549840] exec
[codex:549840] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-94o8tvvv succeeded in 5ms:
[codex:549840] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:549840] 
[codex:549840] ================================================================================
[codex:549840] FILE: contracts/Contract.sol
[codex:549840] ================================================================================
[codex:549840] // Dependency file: contracts/libraries/SafeMath.sol
[codex:549840] 
[codex:549840] // pragma solidity =0.6.12;
[codex:549840] 
[codex:549840] // a library for performing overflow-safe math, courtesy of DappHub (https://github.com/dapphub/ds-math)
[codex:549840] 
[codex:549840] library SafeMath {
[codex:549840]     function add(uint x, uint y) internal pure returns (uint z) {
[codex:549840]         require((z = x + y) >= x, 'ds-math-add-overflow');
[codex:549840]     }
[codex:549840] 
[codex:549840]     function sub(uint x, uint y) internal pure returns (uint z) {
[codex:549840]         require((z = x - y) <= x, 'ds-math-sub-underflow');
[codex:549840]     }
[codex:549840] 
[codex:549840] 
[codex:549840] 
[codex:549840] thinking
[codex:549840] **Analyzing Uniswap V2 Pair clone for vulnerabilities**
[codex:549840] 
[codex:549840] I’m scrutinizing this Uniswap V2 pair clone mainly for security issues like reinitialization, access control, reentrancy, and signature handling. The key finding is the missing one-time initialization guard allowing the factory—if compromised—to reinitialize tokens and potentially brick funds or create centralization risks. Other typical areas like reentrancy, unchecked calls, and permit signatures appear aligned with Uniswap V2 standards and don’t pose direct vulnerabilities. Overall, no critical exploits stand out beyond the known centralized reinitialization concern.
[codex:549840] thinking
[codex:549840] **Evaluating token transfer edge cases and skim function**
[codex:549840] 
[codex:549840] I'm considering how reinitialization can break token transfers and burns by mismatching tokens, effectively locking liquidity tokens. Skim’s behavior with fee-on-transfer or rebasing tokens seems intentional and not vulnerable. I'm leaning toward a no findings conclusion with a summary explaining these points, and preparing to output the audit result in the required JSON format.
[codex:549840] exec
[codex:549840] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-94o8tvvv succeeded in 5ms:
[codex:549840] {"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:549840] 
[codex:549840] thinking
[codex:549840] **Preparing final JSON output**
[codex:549840] 
[codex:549840] I'll make sure to include all required fields like evidence, exploit scenarios, recommendations, and locations if there are findings, but since there aren't any, I'll mark `no_findings` as true and keep findings empty. I'll ensure the output is strictly valid JSON without any extra text, summarizing that the audit found no exploitable issues.
[codex:549840] codex
[codex:549840] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt (UnicSwapV2Pair/UnicSwapV2ERC20 and embedded first-party libraries). No exploitable issues found in scope.","findings":[]}
[codex:549840] tokens used
[codex:549840] 11,341
[codex:549840] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt (UnicSwapV2Pair/UnicSwapV2ERC20 and embedded first-party libraries). No exploitable issues found in scope.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-30T21:50:45.232977+00:00",
        "returncode": 0
    },
    "summary": "Reviewed AUDIT_BUNDLE.txt (UnicSwapV2Pair/UnicSwapV2ERC20 and embedded first-party libraries). No exploitable issues found in scope.",
    "raw_final": {
        "summary": "Reviewed AUDIT_BUNDLE.txt (UnicSwapV2Pair/UnicSwapV2ERC20 and embedded first-party libraries). No exploitable issues found in scope.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x01b9
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x6a627842
00000026: GT
00000027: PUSH2 0x00f9
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xba9a7a56
00000031: GT
00000032: PUSH2 0x0097
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xd21220a7
0000003c: GT
0000003d: PUSH2 0x0071
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xd21220a7
00000047: EQ
00000048: PUSH2 0x05da
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xd505accf
00000052: EQ
00000053: PUSH2 0x05e2
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xdd62ed3e
0000005d: EQ
0000005e: PUSH2 0x0640
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xfff6cae9
00000068: EQ
00000069: PUSH2 0x067b
0000006c: JUMPI
0000006d: PUSH2 0x01b9
00000070: JUMP
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0xba9a7a56
00000078: EQ
00000079: PUSH2 0x0597
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xbc25cf77
00000083: EQ
00000084: PUSH2 0x059f
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xc45a0155
0000008e: EQ
0000008f: PUSH2 0x05d2
00000092: JUMPI
00000093: PUSH2 0x01b9
00000096: JUMP
00000097: JUMPDEST
00000098: DUP1
00000099: PUSH4 0x7ecebe00
0000009e: GT
0000009f: PUSH2 0x00d3
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x7ecebe00
000000a9: EQ
000000aa: PUSH2 0x04d7
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x89afcb44
000000b4: EQ
000000b5: PUSH2 0x050a
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x95d89b41
000000bf: EQ
000000c0: PUSH2 0x0556
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xa9059cbb
000000ca: EQ
000000cb: PUSH2 0x055e
000000ce: JUMPI
000000cf: PUSH2 0x01b9
000000d2: JUMP
000000d3: JUMPDEST
000000d4: DUP1
000000d5: PUSH4 0x6a627842
000000da: EQ
000000db: PUSH2 0x0469
000000de: JUMPI
000000df: DUP1
000000e0: PUSH4 0x70a08231
000000e5: EQ
000000e6: PUSH2 0x049c
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x7464fc3d
000000f0: EQ
000000f1: PUSH2 0x04cf
000000f4: JUMPI
000000f5: PUSH2 0x01b9
000000f8: JUMP
000000f9: JUMPDEST
000000fa: DUP1
000000fb: PUSH4 0x23b872dd
00000100: GT
00000101: PUSH2 0x0166
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x3644e515
0000010b: GT
0000010c: PUSH2 0x0140
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x3644e515
00000116: EQ
00000117: PUSH2 0x0416
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x485cc955
00000121: EQ
00000122: PUSH2 0x041e
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x5909c0d5
0000012c: EQ
0000012d: PUSH2 0x0459
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x5a3d5493
00000137: EQ
00000138: PUSH2 0x0461
0000013b: JUMPI
0000013c: PUSH2 0x01b9
0000013f: JUMP
00000140: JUMPDEST
00000141: DUP1
00000142: PUSH4 0x23b872dd
00000147: EQ
00000148: PUSH2 0x03ad
0000014b: JUMPI
0000014c: DUP1
0000014d: PUSH4 0x30adf81f
00000152: EQ
00000153: PUSH2 0x03f0
00000156: JUMPI
00000157: DUP1
00000158: PUSH4 0x313ce567
0000015d: EQ
0000015e: PUSH2 0x03f8
00000161: JUMPI
00000162: PUSH2 0x01b9
00000165: JUMP
00000166: JUMPDEST
00000167: DUP1
00000168: PUSH4 0x095ea7b3
0000016d: GT
0000016e: PUSH2 0x0197
00000171: JUMPI
00000172: DUP1
00000173: PUSH4 0x095ea7b3
00000178: EQ
00000179: PUSH2 0x0315
0000017c: JUMPI
0000017d: DUP1
0000017e: PUSH4 0x0dfe1681
00000183: EQ
00000184: PUSH2 0x0362
00000187: JUMPI
00000188: DUP1
00000189: PUSH4 0x18160ddd
0000018e: EQ
0000018f: PUSH2 0x0393
00000192: JUMPI
00000193: PUSH2 0x01b9
00000196: JUMP
00000197: JUMPDEST
00000198: DUP1
00000199: PUSH4 0x022c0d9f
0000019e: EQ
0000019f: PUSH2 0x01be
000001a2: JUMPI
000001a3: DUP1
000001a4: PUSH4 0x06fdde03
000001a9: EQ
000001aa: PUSH2 0x0259
000001ad: JUMPI
000001ae: DUP1
000001af: PUSH4 0x0902f1ac
000001b4: EQ
000001b5: PUSH2 0x02d6
000001b8: JUMPI
000001b9: JUMPDEST
000001ba: PUSH1 0x00
000001bc: DUP1
000001bd: REVERT
000001be: JUMPDEST
000001bf: PUSH2 0x0257
000001c2: PUSH1 0x04
000001c4: DUP1
000001c5: CALLDATASIZE
000001c6: SUB
000001c7: PUSH1 0x80
000001c9: DUP2
000001ca: LT
000001cb: ISZERO
000001cc: PUSH2 0x01d4
000001cf: JUMPI
000001d0: PUSH1 0x00
000001d2: DUP1
000001d3: REVERT
000001d4: JUMPDEST
000001d5: DUP2
000001d6: CALLDATALOAD
000001d7: SWAP2
000001d8: PUSH1 0x20
000001da: DUP2
000001db: ADD
000001dc: CALLDATALOAD
000001dd: SWAP2
000001de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001f3: PUSH1 0x40
000001f5: DUP4
000001f6: ADD
000001f7: CALLDATALOAD
000001f8: AND
000001f9: SWAP2
000001fa: SWAP1
000001fb: DUP2
000001fc: ADD
000001fd: SWAP1
000001fe: PUSH1 0x80
00000200: DUP2
00000201: ADD
00000202: PUSH1 0x60
00000204: DUP3
00000205: ADD
00000206: CALLDATALOAD
00000207: PUSH5 0x0100000000
0000020d: DUP2
0000020e: GT
0000020f: ISZERO
00000210: PUSH2 0x0218
00000213: JUMPI
00000214: PUSH1 0x00
00000216: DUP1
00000217: REVERT
00000218: JUMPDEST
00000219: DUP3
0000021a: ADD
0000021b: DUP4
0000021c: PUSH1 0x20
0000021e: DUP3
0000021f: ADD
00000220: GT
00000221: ISZERO
00000222: PUSH2 0x022a
00000225: JUMPI
00000226: PUSH1 0x00
00000228: DUP1
00000229: REVERT
0000022a: JUMPDEST
0000022b: DUP1
0000022c: CALLDATALOAD
0000022d: SWAP1
0000022e: PUSH1 0x20
00000230: ADD
00000231: SWAP2
00000232: DUP5
00000233: PUSH1 0x01
00000235: DUP4
00000236: MUL
00000237: DUP5
00000238: ADD
00000239: GT
0000023a: PUSH5 0x0100000000
00000240: DUP4
00000241: GT
00000242: OR
00000243: ISZERO
00000244: PUSH2 0x024c
00000247: JUMPI
00000248: PUSH1 0x00
0000024a: DUP1
0000024b: REVERT
0000024c: JUMPDEST
0000024d: POP
0000024e: SWAP1
0000024f: SWAP3
00000250: POP
00000251: SWAP1
00000252: POP
00000253: PUSH2 0x0683
00000256: JUMP
00000257: JUMPDEST
00000258: STOP
00000259: JUMPDEST
0000025a: PUSH2 0x0261
0000025d: PUSH2 0x0d2d
00000260: JUMP
00000261: JUMPDEST
00000262: PUSH1 0x40
00000264: DUP1
00000265: MLOAD
00000266: PUSH1 0x20
00000268: DUP1
00000269: DUP3
0000026a: MSTORE
0000026b: DUP4
0000026c: MLOAD
0000026d: DUP2
0000026e: DUP4
0000026f: ADD
00000270: MSTORE
00000271: DUP4
00000272: MLOAD
00000273: SWAP2
00000274: SWAP3
00000275: DUP4
00000276: SWAP3
00000277: SWAP1
00000278: DUP4
00000279: ADD
0000027a: SWAP2
0000027b: DUP6
0000027c: ADD
0000027d: SWAP1
0000027e: DUP1
0000027f: DUP4
00000280: DUP4
00000281: PUSH1 0x00
00000283: JUMPDEST
00000284: DUP4
00000285: DUP2
00000286: LT
00000287: ISZERO
00000288: PUSH2 0x029b
0000028b: JUMPI
0000028c: DUP2
0000028d: DUP2
0000028e: ADD
0000028f: MLOAD
00000290: DUP4
00000291: DUP3
00000292: ADD
00000293: MSTORE
00000294: PUSH1 0x20
00000296: ADD
00000297: PUSH2 0x0283
0000029a: JUMP
0000029b: JUMPDEST
0000029c: POP
0000029d: POP
0000029e: POP
0000029f: POP
000002a0: SWAP1
000002a1: POP
000002a2: SWAP1
000002a3: DUP2
000002a4: ADD
000002a5: SWAP1
000002a6: PUSH1 0x1f
000002a8: AND
000002a9: DUP1
000002aa: ISZERO
000002ab: PUSH2 0x02c8
000002ae: JUMPI
000002af: DUP1
000002b0: DUP3
000002b1: SUB
000002b2: DUP1
000002b3: MLOAD
000002b4: PUSH1 0x01
000002b6: DUP4
000002b7: PUSH1 0x20
000002b9: SUB
000002ba: PUSH2 0x0100
000002bd: EXP
000002be: SUB
000002bf: NOT
000002c0: AND
000002c1: DUP2
000002c2: MSTORE
000002c3: PUSH1 0x20
000002c5: ADD
000002c6: SWAP2
000002c7: POP
000002c8: JUMPDEST
000002c9: POP
000002ca: SWAP3
000002cb: POP
000002cc: POP
000002cd: POP
000002ce: PUSH1 0x40
000002d0: MLOAD
000002d1: DUP1
000002d2: SWAP2
000002d3: SUB
000002d4: SWAP1
000002d5: RETURN
000002d6: JUMPDEST
000002d7: PUSH2 0x02de
000002da: PUSH2 0x0d66
000002dd: JUMP
000002de: JUMPDEST
000002df: PUSH1 0x40
000002e1: DUP1
000002e2: MLOAD
000002e3: PUSH14 0xffffffffffffffffffffffffffff
000002f2: SWAP5
000002f3: DUP6
000002f4: AND
000002f5: DUP2
000002f6: MSTORE
000002f7: SWAP3
000002f8: SWAP1
000002f9: SWAP4
000002fa: AND
000002fb: PUSH1 0x20
000002fd: DUP4
000002fe: ADD
000002ff: MSTORE
00000300: PUSH4 0xffffffff
00000305: AND
00000306: DUP2
00000307: DUP4
00000308: ADD
00000309: MSTORE
0000030a: SWAP1
0000030b: MLOAD
0000030c: SWAP1
0000030d: DUP2
0000030e: SWAP1
0000030f: SUB
00000310: PUSH1 0x60
00000312: ADD
00000313: SWAP1
00000314: RETURN
00000315: JUMPDEST
00000316: PUSH2 0x034e
00000319: PUSH1 0x04
0000031b: DUP1
0000031c: CALLDATASIZE
0000031d: SUB
0000031e: PUSH1 0x40
00000320: DUP2
00000321: LT
00000322: ISZERO
00000323: PUSH2 0x032b
00000326: JUMPI
00000327: PUSH1 0x00
00000329: DUP1
0000032a: REVERT
0000032b: JUMPDEST
0000032c: POP
0000032d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000342: DUP2
00000343: CALLDATALOAD
00000344: AND
00000345: SWAP1
00000346: PUSH1 0x20
00000348: ADD
00000349: CALLDATALOAD
0000034a: PUSH2 0x0dbb
0000034d: JUMP
0000034e: JUMPDEST
0000034f: PUSH1 0x40
00000351: DUP1
00000352: MLOAD
00000353: SWAP2
00000354: ISZERO
00000355: ISZERO
00000356: DUP3
00000357: MSTORE
00000358: MLOAD
00000359: SWAP1
0000035a: DUP2
0000035b: SWAP1
0000035c: SUB
0000035d: PUSH1 0x20
0000035f: ADD
00000360: SWAP1
00000361: RETURN
00000362: JUMPDEST
00000363: PUSH2 0x036a
00000366: PUSH2 0x0dd2
00000369: JUMP
0000036a: JUMPDEST
0000036b: PUSH1 0x40
0000036d: DUP1
0000036e: MLOAD
0000036f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000384: SWAP1
00000385: SWAP3
00000386: AND
00000387: DUP3
00000388: MSTORE
00000389: MLOAD
0000038a: SWAP1
0000038b: DUP2
0000038c: SWAP1
0000038d: SUB
0000038e: PUSH1 0x20
00000390: ADD
00000391: SWAP1
00000392: RETURN
00000393: JUMPDEST
00000394: PUSH2 0x039b
00000397: PUSH2 0x0dee
0000039a: JUMP
0000039b: JUMPDEST
0000039c: PUSH1 0x40
0000039e: DUP1
0000039f: MLOAD
000003a0: SWAP2
000003a1: DUP3
000003a2: MSTORE
000003a3: MLOAD
000003a4: SWAP1
000003a5: DUP2
000003a6: SWAP1
000003a7: SUB
000003a8: PUSH1 0x20
000003aa: ADD
000003ab: SWAP1
000003ac: RETURN
000003ad: JUMPDEST
000003ae: PUSH2 0x034e
000003b1: PUSH1 0x04
000003b3: DUP1
000003b4: CALLDATASIZE
000003b5: SUB
000003b6: PUSH1 0x60
000003b8: DUP2
000003b9: LT
000003ba: ISZERO
000003bb: PUSH2 0x03c3
000003be: JUMPI
000003bf: PUSH1 0x00
000003c1: DUP1
000003c2: REVERT
000003c3: JUMPDEST
000003c4: POP
000003c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003da: DUP2
000003db: CALLDATALOAD
000003dc: DUP2
000003dd: AND
000003de: SWAP2
000003df: PUSH1 0x20
000003e1: DUP2
000003e2: ADD
000003e3: CALLDATALOAD
000003e4: SWAP1
000003e5: SWAP2
000003e6: AND
000003e7: SWAP1
000003e8: PUSH1 0x40
000003ea: ADD
000003eb: CALLDATALOAD
000003ec: PUSH2 0x0df4
000003ef: JUMP
000003f0: JUMPDEST
000003f1: PUSH2 0x039b
000003f4: PUSH2 0x0ecd
000003f7: JUMP
000003f8: JUMPDEST
000003f9: PUSH2 0x0400
000003fc: PUSH2 0x0ef1
000003ff: JUMP
00000400: JUMPDEST
00000401: PUSH1 0x40
00000403: DUP1
00000404: MLOAD
00000405: PUSH1 0xff
00000407: SWAP1
00000408: SWAP3
00000409: AND
0000040a: DUP3
0000040b: MSTORE
0000040c: MLOAD
0000040d: SWAP1
0000040e: DUP2
0000040f: SWAP1
00000410: SUB
00000411: PUSH1 0x20
00000413: ADD
00000414: SWAP1
00000415: RETURN
00000416: JUMPDEST
00000417: PUSH2 0x039b
0000041a: PUSH2 0x0ef6
0000041d: JUMP
0000041e: JUMPDEST
0000041f: PUSH2 0x0257
00000422: PUSH1 0x04
00000424: DUP1
00000425: CALLDATASIZE
00000426: SUB
00000427: PUSH1 0x40
00000429: DUP2
0000042a: LT
0000042b: ISZERO
0000042c: PUSH2 0x0434
0000042f: JUMPI
00000430: PUSH1 0x00
00000432: DUP1
00000433: REVERT
00000434: JUMPDEST
00000435: POP
00000436: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000044b: DUP2
0000044c: CALLDATALOAD
0000044d: DUP2
0000044e: AND
0000044f: SWAP2
00000450: PUSH1 0x20
00000452: ADD
00000453: CALLDATALOAD
00000454: AND
00000455: PUSH2 0x0efc
00000458: JUMP
00000459: JUMPDEST
0000045a: PUSH2 0x039b
0000045d: PUSH2 0x0fd5
00000460: JUMP
00000461: JUMPDEST
00000462: PUSH2 0x039b
00000465: PUSH2 0x0fdb
00000468: JUMP
00000469: JUMPDEST
0000046a: PUSH2 0x039b
0000046d: PUSH1 0x04
0000046f: DUP1
00000470: CALLDATASIZE
00000471: SUB
00000472: PUSH1 0x20
00000474: DUP2
00000475: LT
00000476: ISZERO
00000477: PUSH2 0x047f
0000047a: JUMPI
0000047b: PUSH1 0x00
0000047d: DUP1
0000047e: REVERT
0000047f: JUMPDEST
00000480: POP
00000481: CALLDATALOAD
00000482: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000497: AND
00000498: PUSH2 0x0fe1
0000049b: JUMP
0000049c: JUMPDEST
0000049d: PUSH2 0x039b
000004a0: PUSH1 0x04
000004a2: DUP1
000004a3: CALLDATASIZE
000004a4: SUB
000004a5: PUSH1 0x20
000004a7: DUP2
000004a8: LT
000004a9: ISZERO
000004aa: PUSH2 0x04b2
000004ad: JUMPI
000004ae: PUSH1 0x00
000004b0: DUP1
000004b1: REVERT
000004b2: JUMPDEST
000004b3: POP
000004b4: CALLDATALOAD
000004b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ca: AND
000004cb: PUSH2 0x1377
000004ce: JUMP
000004cf: JUMPDEST
000004d0: PUSH2 0x039b
000004d3: PUSH2 0x1389
000004d6: JUMP
000004d7: JUMPDEST
000004d8: PUSH2 0x039b
000004db: PUSH1 0x04
000004dd: DUP1
000004de: CALLDATASIZE
000004df: SUB
000004e0: PUSH1 0x20
000004e2: DUP2
000004e3: LT
000004e4: ISZERO
000004e5: PUSH2 0x04ed
000004e8: JUMPI
000004e9: PUSH1 0x00
000004eb: DUP1
000004ec: REVERT
000004ed: JUMPDEST
000004ee: POP
000004ef: CALLDATALOAD
000004f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000505: AND
00000506: PUSH2 0x138f
00000509: JUMP
0000050a: JUMPDEST
0000050b: PUSH2 0x053d
0000050e: PUSH1 0x04
00000510: DUP1
00000511: CALLDATASIZE
00000512: SUB
00000513: PUSH1 0x20
00000515: DUP2
00000516: LT
00000517: ISZERO
00000518: PUSH2 0x0520
0000051b: JUMPI
0000051c: PUSH1 0x00
0000051e: DUP1
0000051f: REVERT
00000520: JUMPDEST
00000521: POP
00000522: CALLDATALOAD
00000523: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000538: AND
00000539: PUSH2 0x13a1
0000053c: JUMP
0000053d: JUMPDEST
0000053e: PUSH1 0x40
00000540: DUP1
00000541: MLOAD
00000542: SWAP3
00000543: DUP4
00000544: MSTORE
00000545: PUSH1 0x20
00000547: DUP4
00000548: ADD
00000549: SWAP2
0000054a: SWAP1
0000054b: SWAP2
0000054c: MSTORE
0000054d: DUP1
0000054e: MLOAD
0000054f: SWAP2
00000550: DUP3
00000551: SWAP1
00000552: SUB
00000553: ADD
00000554: SWAP1
00000555: RETURN
00000556: JUMPDEST
00000557: PUSH2 0x0261
0000055a: PUSH2 0x182c
0000055d: JUMP
0000055e: JUMPDEST
0000055f: PUSH2 0x034e
00000562: PUSH1 0x04
00000564: DUP1
00000565: CALLDATASIZE
00000566: SUB
00000567: PUSH1 0x40
00000569: DUP2
0000056a: LT
0000056b: ISZERO
0000056c: PUSH2 0x0574
0000056f: JUMPI
00000570: PUSH1 0x00
00000572: DUP1
00000573: REVERT
00000574: JUMPDEST
00000575: POP
00000576: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000058b: DUP2
0000058c: CALLDATALOAD
0000058d: AND
0000058e: SWAP1
0000058f: PUSH1 0x20
00000591: ADD
00000592: CALLDATALOAD
00000593: PUSH2 0x1865
00000596: JUMP
00000597: JUMPDEST
00000598: PUSH2 0x039b
0000059b: PUSH2 0x1872
0000059e: JUMP
0000059f: JUMPDEST
000005a0: PUSH2 0x0257
000005a3: PUSH1 0x04
000005a5: DUP1
000005a6: CALLDATASIZE
000005a7: SUB
000005a8: PUSH1 0x20
000005aa: DUP2
000005ab: LT
000005ac: ISZERO
000005ad: PUSH2 0x05b5
000005b0: JUMPI
000005b1: PUSH1 0x00
000005b3: DUP1
000005b4: REVERT
000005b5: JUMPDEST
000005b6: POP
000005b7: CALLDATALOAD
000005b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005cd: AND
000005ce: PUSH2 0x1878
000005d1: JUMP
000005d2: JUMPDEST
000005d3: PUSH2 0x036a
000005d6: PUSH2 0x1a65
000005d9: JUMP
000005da: JUMPDEST
000005db: PUSH2 0x036a
000005de: PUSH2 0x1a81
000005e1: JUMP
000005e2: JUMPDEST
000005e3: PUSH2 0x0257
000005e6: PUSH1 0x04
000005e8: DUP1
000005e9: CALLDATASIZE
000005ea: SUB
000005eb: PUSH1 0xe0
000005ed: DUP2
000005ee: LT
000005ef: ISZERO
000005f0: PUSH2 0x05f8
000005f3: JUMPI
000005f4: PUSH1 0x00
000005f6: DUP1
000005f7: REVERT
000005f8: JUMPDEST
000005f9: POP
000005fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000060f: DUP2
00000610: CALLDATALOAD
00000611: DUP2
00000612: AND
00000613: SWAP2
00000614: PUSH1 0x20
00000616: DUP2
00000617: ADD
00000618: CALLDATALOAD
00000619: SWAP1
0000061a: SWAP2
0000061b: AND
0000061c: SWAP1
0000061d: PUSH1 0x40
0000061f: DUP2
00000620: ADD
00000621: CALLDATALOAD
00000622: SWAP1
00000623: PUSH1 0x60
00000625: DUP2
00000626: ADD
00000627: CALLDATALOAD
00000628: SWAP1
00000629: PUSH1 0xff
0000062b: PUSH1 0x80
0000062d: DUP3
0000062e: ADD
0000062f: CALLDATALOAD
00000630: AND
00000631: SWAP1
00000632: PUSH1 0xa0
00000634: DUP2
00000635: ADD
00000636: CALLDATALOAD
00000637: SWAP1
00000638: PUSH1 0xc0
0000063a: ADD
0000063b: CALLDATALOAD
0000063c: PUSH2 0x1a9d
0000063f: JUMP
00000640: JUMPDEST
00000641: PUSH2 0x039b
00000644: PUSH1 0x04
00000646: DUP1
00000647: CALLDATASIZE
00000648: SUB
00000649: PUSH1 0x40
0000064b: DUP2
0000064c: LT
0000064d: ISZERO
0000064e: PUSH2 0x0656
00000651: JUMPI
00000652: PUSH1 0x00
00000654: DUP1
00000655: REVERT
00000656: JUMPDEST
00000657: POP
00000658: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000066d: DUP2
0000066e: CALLDATALOAD
0000066f: DUP2
00000670: AND
00000671: SWAP2
00000672: PUSH1 0x20
00000674: ADD
00000675: CALLDATALOAD
00000676: AND
00000677: PUSH2 0x1d69
0000067a: JUMP
0000067b: JUMPDEST
0000067c: PUSH2 0x0257
0000067f: PUSH2 0x1d86
00000682: JUMP
00000683: JUMPDEST
00000684: PUSH1 0x0c
00000686: SLOAD
00000687: PUSH1 0x01
00000689: EQ
0000068a: PUSH2 0x06f4
0000068d: JUMPI
0000068e: PUSH1 0x40
00000690: DUP1
00000691: MLOAD
00000692: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000006b3: DUP2
000006b4: MSTORE
000006b5: PUSH1 0x20
000006b7: PUSH1 0x04
000006b9: DUP3
000006ba: ADD
000006bb: MSTORE
000006bc: PUSH1 0x10
000006be: PUSH1 0x24
000006c0: DUP3
000006c1: ADD
000006c2: MSTORE
000006c3: PUSH32 0x556e6963537761703a204c4f434b454400000000000000000000000000000000
000006e4: PUSH1 0x44
000006e6: DUP3
000006e7: ADD
000006e8: MSTORE
000006e9: SWAP1
000006ea: MLOAD
000006eb: SWAP1
000006ec: DUP2
000006ed: SWAP1
000006ee: SUB
000006ef: PUSH1 0x64
000006f1: ADD
000006f2: SWAP1
000006f3: REVERT
000006f4: JUMPDEST
000006f5: PUSH1 0x00
000006f7: PUSH1 0x0c
000006f9: SSTORE
000006fa: DUP5
000006fb: ISZERO
000006fc: ISZERO
000006fd: DUP1
000006fe: PUSH2 0x0707
00000701: JUMPI
00000702: POP
00000703: PUSH1 0x00
00000705: DUP5
00000706: GT
00000707: JUMPDEST
00000708: PUSH2 0x075c
0000070b: JUMPI
0000070c: PUSH1 0x40
0000070e: MLOAD
0000070f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000730: DUP2
00000731: MSTORE
00000732: PUSH1 0x04
00000734: ADD
00000735: DUP1
00000736: DUP1
00000737: PUSH1 0x20
00000739: ADD
0000073a: DUP3
0000073b: DUP2
0000073c: SUB
0000073d: DUP3
0000073e: MSTORE
0000073f: PUSH1 0x24
00000741: DUP2
00000742: MSTORE
00000743: PUSH1 0x20
00000745: ADD
00000746: DUP1
00000747: PUSH2 0x2a78
0000074a: PUSH1 0x24
0000074c: SWAP2
0000074d: CODECOPY
0000074e: PUSH1 0x40
00000750: ADD
00000751: SWAP2
00000752: POP
00000753: POP
00000754: PUSH1 0x40
00000756: MLOAD
00000757: DUP1
00000758: SWAP2
00000759: SUB
0000075a: SWAP1
0000075b: REVERT
0000075c: JUMPDEST
0000075d: PUSH1 0x00
0000075f: DUP1
00000760: PUSH2 0x0767
00000763: PUSH2 0x0d66
00000766: JUMP
00000767: JUMPDEST
00000768: POP
00000769: SWAP2
0000076a: POP
0000076b: SWAP2
0000076c: POP
0000076d: DUP2
0000076e: PUSH14 0xffffffffffffffffffffffffffff
0000077d: AND
0000077e: DUP8
0000077f: LT
00000780: DUP1
00000781: ISZERO
00000782: PUSH2 0x079a
00000785: JUMPI
00000786: POP
00000787: DUP1
00000788: PUSH14 0xffffffffffffffffffffffffffff
00000797: AND
00000798: DUP7
00000799: LT
0000079a: JUMPDEST
0000079b: PUSH2 0x0805
0000079e: JUMPI
0000079f: PUSH1 0x40
000007a1: DUP1
000007a2: MLOAD
000007a3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000007c4: DUP2
000007c5: MSTORE
000007c6: PUSH1 0x20
000007c8: PUSH1 0x04
000007ca: DUP3
000007cb: ADD
000007cc: DUP2
000007cd: SWAP1
000007ce: MSTORE
000007cf: PUSH1 0x24
000007d1: DUP3
000007d2: ADD
000007d3: MSTORE
000007d4: PUSH32 0x556e6963537761703a20494e53554646494349454e545f4c4951554944495459
000007f5: PUSH1 0x44
000007f7: DUP3
000007f8: ADD
000007f9: MSTORE
000007fa: SWAP1
000007fb: MLOAD
000007fc: SWAP1
000007fd: DUP2
000007fe: SWAP1
000007ff: SUB
00000800: PUSH1 0x64
00000802: ADD
00000803: SWAP1
00000804: REVERT
00000805: JUMPDEST
00000806: PUSH1 0x06
00000808: SLOAD
00000809: PUSH1 0x07
0000080b: SLOAD
0000080c: PUSH1 0x00
0000080e: SWAP2
0000080f: DUP3
00000810: SWAP2
00000811: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000826: SWAP2
00000827: DUP3
00000828: AND
00000829: SWAP2
0000082a: SWAP1
0000082b: DUP2
0000082c: AND
0000082d: SWAP1
0000082e: DUP10
0000082f: AND
00000830: DUP3
00000831: EQ
00000832: DUP1
00000833: ISZERO
00000834: SWAP1
00000835: PUSH2 0x086a
00000838: JUMPI
00000839: POP
0000083a: DUP1
0000083b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000850: AND
00000851: DUP10
00000852: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000867: AND
00000868: EQ
00000869: ISZERO
0000086a: JUMPDEST
0000086b: PUSH2 0x08d5
0000086e: JUMPI
0000086f: PUSH1 0x40
00000871: DUP1
00000872: MLOAD
00000873: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000894: DUP2
00000895: MSTORE
00000896: PUSH1 0x20
00000898: PUSH1 0x04
0000089a: DUP3
0000089b: ADD
0000089c: MSTORE
0000089d: PUSH1 0x14
0000089f: PUSH1 0x24
000008a1: DUP3
000008a2: ADD
000008a3: MSTORE
000008a4: PUSH32 0x556e6963537761703a20494e56414c49445f544f000000000000000000000000
000008c5: PUSH1 0x44
000008c7: DUP3
000008c8: ADD
000008c9: MSTORE
000008ca: SWAP1
000008cb: MLOAD
000008cc: SWAP1
000008cd: DUP2
000008ce: SWAP1
000008cf: SUB
000008d0: PUSH1 0x64
000008d2: ADD
000008d3: SWAP1
000008d4: REVERT
000008d5: JUMPDEST
000008d6: DUP11
000008d7: ISZERO
000008d8: PUSH2 0x08e6
000008db: JUMPI
000008dc: PUSH2 0x08e6
000008df: DUP3
000008e0: DUP11
000008e1: DUP14
000008e2: PUSH2 0x1f6c
000008e5: JUMP
000008e6: JUMPDEST
000008e7: DUP10
000008e8: ISZERO
000008e9: PUSH2 0x08f7
000008ec: JUMPI
000008ed: PUSH2 0x08f7
000008f0: DUP2
000008f1: DUP11
000008f2: DUP13
000008f3: PUSH2 0x1f6c
000008f6: JUMP
000008f7: JUMPDEST
000008f8: DUP7
000008f9: ISZERO
000008fa: PUSH2 0x09c3
000008fd: JUMPI
000008fe: DUP9
000008ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000914: AND
00000915: PUSH4 0x8998d6ae
0000091a: CALLER
0000091b: DUP14
0000091c: DUP14
0000091d: DUP13
0000091e: DUP13
0000091f: PUSH1 0x40
00000921: MLOAD
00000922: DUP7
00000923: PUSH4 0xffffffff
00000928: AND
00000929: PUSH1 0xe0
0000092b: SHL
0000092c: DUP2
0000092d: MSTORE
0000092e: PUSH1 0x04
00000930: ADD
00000931: DUP1
00000932: DUP7
00000933: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000948: AND
00000949: DUP2
0000094a: MSTORE
0000094b: PUSH1 0x20
0000094d: ADD
0000094e: DUP6
0000094f: DUP2
00000950: MSTORE
00000951: PUSH1 0x20
00000953: ADD
00000954: DUP5
00000955: DUP2
00000956: MSTORE
00000957: PUSH1 0x20
00000959: ADD
0000095a: DUP1
0000095b: PUSH1 0x20
0000095d: ADD
0000095e: DUP3
0000095f: DUP2
00000960: SUB
00000961: DUP3
00000962: MSTORE
00000963: DUP5
00000964: DUP5
00000965: DUP3
00000966: DUP2
00000967: DUP2
00000968: MSTORE
00000969: PUSH1 0x20
0000096b: ADD
0000096c: SWAP3
0000096d: POP
0000096e: DUP1
0000096f: DUP3
00000970: DUP5
00000971: CALLDATACOPY
00000972: PUSH1 0x00
00000974: DUP2
00000975: DUP5
00000976: ADD
00000977: MSTORE
00000978: PUSH1 0x1f
0000097a: NOT
0000097b: PUSH1 0x1f
0000097d: DUP3
0000097e: ADD
0000097f: AND
00000980: SWAP1
00000981: POP
00000982: DUP1
00000983: DUP4
00000984: ADD
00000985: SWAP3
00000986: POP
00000987: POP
00000988: POP
00000989: SWAP7
0000098a: POP
0000098b: POP
0000098c: POP
0000098d: POP
0000098e: POP
0000098f: POP
00000990: POP
00000991: PUSH1 0x00
00000993: PUSH1 0x40
00000995: MLOAD
00000996: DUP1
00000997: DUP4
00000998: SUB
00000999: DUP2
0000099a: PUSH1 0x00
0000099c: DUP8
0000099d: DUP1
0000099e: EXTCODESIZE
0000099f: ISZERO
000009a0: DUP1
000009a1: ISZERO
000009a2: PUSH2 0x09aa
000009a5: JUMPI
000009a6: PUSH1 0x00
000009a8: DUP1
000009a9: REVERT
000009aa: JUMPDEST
000009ab: POP
000009ac: GAS
000009ad: CALL
000009ae: ISZERO
000009af: DUP1
000009b0: ISZERO
000009b1: PUSH2 0x09be
000009b4: JUMPI
000009b5: RETURNDATASIZE
000009b6: PUSH1 0x00
000009b8: DUP1
000009b9: RETURNDATACOPY
000009ba: RETURNDATASIZE
000009bb: PUSH1 0x00
000009bd: REVERT
000009be: JUMPDEST
000009bf: POP
000009c0: POP
000009c1: POP
000009c2: POP
000009c3: JUMPDEST
000009c4: PUSH1 0x40
000009c6: DUP1
000009c7: MLOAD
000009c8: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
000009e9: DUP2
000009ea: MSTORE
000009eb: ADDRESS
000009ec: PUSH1 0x04
000009ee: DUP3
000009ef: ADD
000009f0: MSTORE
000009f1: SWAP1
000009f2: MLOAD
000009f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a08: DUP5
00000a09: AND
00000a0a: SWAP2
00000a0b: PUSH4 0x70a08231
00000a10: SWAP2
00000a11: PUSH1 0x24
00000a13: DUP1
00000a14: DUP4
00000a15: ADD
00000a16: SWAP3
00000a17: PUSH1 0x20
00000a19: SWAP3
00000a1a: SWAP2
00000a1b: SWAP1
00000a1c: DUP3
00000a1d: SWAP1
00000a1e: SUB
00000a1f: ADD
00000a20: DUP2
00000a21: DUP7
00000a22: DUP1
00000a23: EXTCODESIZE
00000a24: ISZERO
00000a25: DUP1
00000a26: ISZERO
00000a27: PUSH2 0x0a2f
00000a2a: JUMPI
00000a2b: PUSH1 0x00
00000a2d: DUP1
00000a2e: REVERT
00000a2f: JUMPDEST
00000a30: POP
00000a31: GAS
00000a32: STATICCALL
00000a33: ISZERO
00000a34: DUP1
00000a35: ISZERO
00000a36: PUSH2 0x0a43
00000a39: JUMPI
00000a3a: RETURNDATASIZE
00000a3b: PUSH1 0x00
00000a3d: DUP1
00000a3e: RETURNDATACOPY
00000a3f: RETURNDATASIZE
00000a40: PUSH1 0x00
00000a42: REVERT
00000a43: JUMPDEST
00000a44: POP
00000a45: POP
00000a46: POP
00000a47: POP
00000a48: PUSH1 0x40
00000a4a: MLOAD
00000a4b: RETURNDATASIZE
00000a4c: PUSH1 0x20
00000a4e: DUP2
00000a4f: LT
00000a50: ISZERO
00000a51: PUSH2 0x0a59
00000a54: JUMPI
00000a55: PUSH1 0x00
00000a57: DUP1
00000a58: REVERT
00000a59: JUMPDEST
00000a5a: POP
00000a5b: MLOAD
00000a5c: PUSH1 0x40
00000a5e: DUP1
00000a5f: MLOAD
00000a60: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00000a81: DUP2
00000a82: MSTORE
00000a83: ADDRESS
00000a84: PUSH1 0x04
00000a86: DUP3
00000a87: ADD
00000a88: MSTORE
00000a89: SWAP1
00000a8a: MLOAD
00000a8b: SWAP2
00000a8c: SWAP6
00000a8d: POP
00000a8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aa3: DUP4
00000aa4: AND
00000aa5: SWAP2
00000aa6: PUSH4 0x70a08231
00000aab: SWAP2
00000aac: PUSH1 0x24
00000aae: DUP1
00000aaf: DUP3
00000ab0: ADD
00000ab1: SWAP3
00000ab2: PUSH1 0x20
00000ab4: SWAP3
00000ab5: SWAP1
00000ab6: SWAP2
00000ab7: SWAP1
00000ab8: DUP3
00000ab9: SWAP1
00000aba: SUB
00000abb: ADD
00000abc: DUP2
00000abd: DUP7
00000abe: DUP1
00000abf: EXTCODESIZE
00000ac0: ISZERO
00000ac1: DUP1
00000ac2: ISZERO
00000ac3: PUSH2 0x0acb
00000ac6: JUMPI
00000ac7: PUSH1 0x00
00000ac9: DUP1
00000aca: REVERT
00000acb: JUMPDEST
00000acc: POP
00000acd: GAS
00000ace: STATICCALL
00000acf: ISZERO
00000ad0: DUP1
00000ad1: ISZERO
00000ad2: PUSH2 0x0adf
00000ad5: JUMPI
00000ad6: RETURNDATASIZE
00000ad7: PUSH1 0x00
00000ad9: DUP1
00000ada: RETURNDATACOPY
00000adb: RETURNDATASIZE
00000adc: PUSH1 0x00
00000ade: REVERT
00000adf: JUMPDEST
00000ae0: POP
00000ae1: POP
00000ae2: POP
00000ae3: POP
00000ae4: PUSH1 0x40
00000ae6: MLOAD
00000ae7: RETURNDATASIZE
00000ae8: PUSH1 0x20
00000aea: DUP2
00000aeb: LT
00000aec: ISZERO
00000aed: PUSH2 0x0af5
00000af0: JUMPI
00000af1: PUSH1 0x00
00000af3: DUP1
00000af4: REVERT
00000af5: JUMPDEST
00000af6: POP
00000af7: MLOAD
00000af8: SWAP3
00000af9: POP
00000afa: PUSH1 0x00
00000afc: SWAP2
00000afd: POP
00000afe: POP
00000aff: PUSH14 0xffffffffffffffffffffffffffff
00000b0e: DUP6
00000b0f: AND
00000b10: DUP11
00000b11: SWAP1
00000b12: SUB
00000b13: DUP4
00000b14: GT
00000b15: PUSH2 0x0b1f
00000b18: JUMPI
00000b19: PUSH1 0x00
00000b1b: PUSH2 0x0b35
00000b1e: JUMP
00000b1f: JUMPDEST
00000b20: DUP10
00000b21: DUP6
00000b22: PUSH14 0xffffffffffffffffffffffffffff
00000b31: AND
00000b32: SUB
00000b33: DUP4
00000b34: SUB
00000b35: JUMPDEST
00000b36: SWAP1
00000b37: POP
00000b38: PUSH1 0x00
00000b3a: DUP10
00000b3b: DUP6
00000b3c: PUSH14 0xffffffffffffffffffffffffffff
00000b4b: AND
00000b4c: SUB
00000b4d: DUP4
00000b4e: GT
00000b4f: PUSH2 0x0b59
00000b52: JUMPI
00000b53: PUSH1 0x00
00000b55: PUSH2 0x0b6f
00000b58: JUMP
00000b59: JUMPDEST
00000b5a: DUP10
00000b5b: DUP6
00000b5c: PUSH14 0xffffffffffffffffffffffffffff
00000b6b: AND
00000b6c: SUB
00000b6d: DUP4
00000b6e: SUB
00000b6f: JUMPDEST
00000b70: SWAP1
00000b71: POP
00000b72: PUSH1 0x00
00000b74: DUP3
00000b75: GT
00000b76: DUP1
00000b77: PUSH2 0x0b80
00000b7a: JUMPI
00000b7b: POP
00000b7c: PUSH1 0x00
00000b7e: DUP2
00000b7f: GT
00000b80: JUMPDEST
00000b81: PUSH2 0x0bd5
00000b84: JUMPI
00000b85: PUSH1 0x40
00000b87: MLOAD
00000b88: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ba9: DUP2
00000baa: MSTORE
00000bab: PUSH1 0x04
00000bad: ADD
00000bae: DUP1
00000baf: DUP1
00000bb0: PUSH1 0x20
00000bb2: ADD
00000bb3: DUP3
00000bb4: DUP2
00000bb5: SUB
00000bb6: DUP3
00000bb7: MSTORE
00000bb8: PUSH1 0x23
00000bba: DUP2
00000bbb: MSTORE
00000bbc: PUSH1 0x20
00000bbe: ADD
00000bbf: DUP1
00000bc0: PUSH2 0x2aea
00000bc3: PUSH1 0x23
00000bc5: SWAP2
00000bc6: CODECOPY
00000bc7: PUSH1 0x40
00000bc9: ADD
00000bca: SWAP2
00000bcb: POP
00000bcc: POP
00000bcd: PUSH1 0x40
00000bcf: MLOAD
00000bd0: DUP1
00000bd1: SWAP2
00000bd2: SUB
00000bd3: SWAP1
00000bd4: REVERT
00000bd5: JUMPDEST
00000bd6: PUSH1 0x00
00000bd8: PUSH2 0x0bf7
00000bdb: PUSH2 0x0be5
00000bde: DUP5
00000bdf: PUSH1 0x03
00000be1: PUSH2 0x2179
00000be4: JUMP
00000be5: JUMPDEST
00000be6: PUSH2 0x0bf1
00000be9: DUP8
00000bea: PUSH2 0x03e8
00000bed: PUSH2 0x2179
00000bf0: JUMP
00000bf1: JUMPDEST
00000bf2: SWAP1
00000bf3: PUSH2 0x21ff
00000bf6: JUMP
00000bf7: JUMPDEST
00000bf8: SWAP1
00000bf9: POP
00000bfa: PUSH1 0x00
00000bfc: PUSH2 0x0c09
00000bff: PUSH2 0x0be5
00000c02: DUP5
00000c03: PUSH1 0x03
00000c05: PUSH2 0x2179
00000c08: JUMP
00000c09: JUMPDEST
00000c0a: SWAP1
00000c0b: POP
00000c0c: PUSH2 0x0c35
00000c0f: PUSH3 0x0f4240
00000c13: PUSH2 0x0c2f
00000c16: PUSH14 0xffffffffffffffffffffffffffff
00000c25: DUP12
00000c26: DUP2
00000c27: AND
00000c28: SWAP1
00000c29: DUP12
00000c2a: AND
00000c2b: PUSH2 0x2179
00000c2e: JUMP
00000c2f: JUMPDEST
00000c30: SWAP1
00000c31: PUSH2 0x2179
00000c34: JUMP
00000c35: JUMPDEST
00000c36: PUSH2 0x0c3f
00000c39: DUP4
00000c3a: DUP4
00000c3b: PUSH2 0x2179
00000c3e: JUMP
00000c3f: JUMPDEST
00000c40: LT
00000c41: ISZERO
00000c42: PUSH2 0x0cac
00000c45: JUMPI
00000c46: PUSH1 0x40
00000c48: DUP1
00000c49: MLOAD
00000c4a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c6b: DUP2
00000c6c: MSTORE
00000c6d: PUSH1 0x20
00000c6f: PUSH1 0x04
00000c71: DUP3
00000c72: ADD
00000c73: MSTORE
00000c74: PUSH1 0x0b
00000c76: PUSH1 0x24
00000c78: DUP3
00000c79: ADD
00000c7a: MSTORE
00000c7b: PUSH32 0x556e6963537761703a204b000000000000000000000000000000000000000000
00000c9c: PUSH1 0x44
00000c9e: DUP3
00000c9f: ADD
00000ca0: MSTORE
00000ca1: SWAP1
00000ca2: MLOAD
00000ca3: SWAP1
00000ca4: DUP2
00000ca5: SWAP1
00000ca6: SUB
00000ca7: PUSH1 0x64
00000ca9: ADD
00000caa: SWAP1
00000cab: REVERT
00000cac: JUMPDEST
00000cad: POP
00000cae: POP
00000caf: PUSH2 0x0cba
00000cb2: DUP5
00000cb3: DUP5
00000cb4: DUP9
00000cb5: DUP9
00000cb6: PUSH2 0x2271
00000cb9: JUMP
00000cba: JUMPDEST
00000cbb: PUSH1 0x40
00000cbd: DUP1
00000cbe: MLOAD
00000cbf: DUP4
00000cc0: DUP2
00000cc1: MSTORE
00000cc2: PUSH1 0x20
00000cc4: DUP2
00000cc5: ADD
00000cc6: DUP4
00000cc7: SWAP1
00000cc8: MSTORE
00000cc9: DUP1
00000cca: DUP3
00000ccb: ADD
00000ccc: DUP14
00000ccd: SWAP1
00000cce: MSTORE
00000ccf: PUSH1 0x60
00000cd1: DUP2
00000cd2: ADD
00000cd3: DUP13
00000cd4: SWAP1
00000cd5: MSTORE
00000cd6: SWAP1
00000cd7: MLOAD
00000cd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ced: DUP12
00000cee: AND
00000cef: SWAP2
00000cf0: CALLER
00000cf1: SWAP2
00000cf2: PUSH32 0xd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d822
00000d13: SWAP2
00000d14: DUP2
00000d15: SWAP1
00000d16: SUB
00000d17: PUSH1 0x80
00000d19: ADD
00000d1a: SWAP1
00000d1b: LOG3
00000d1c: POP
00000d1d: POP
00000d1e: PUSH1 0x01
00000d20: PUSH1 0x0c
00000d22: SSTORE
00000d23: POP
00000d24: POP
00000d25: POP
00000d26: POP
00000d27: POP
00000d28: POP
00000d29: POP
00000d2a: POP
00000d2b: POP
00000d2c: JUMP
00000d2d: JUMPDEST
00000d2e: PUSH1 0x40
00000d30: MLOAD
00000d31: DUP1
00000d32: PUSH1 0x40
00000d34: ADD
00000d35: PUSH1 0x40
00000d37: MSTORE
00000d38: DUP1
00000d39: PUSH1 0x11
00000d3b: DUP2
00000d3c: MSTORE
00000d3d: PUSH1 0x20
00000d3f: ADD
00000d40: PUSH32 0x556e696353776170204c5020546f6b656e000000000000000000000000000000
00000d61: DUP2
00000d62: MSTORE
00000d63: POP
00000d64: DUP2
00000d65: JUMP
00000d66: JUMPDEST
00000d67: PUSH1 0x08
00000d69: SLOAD
00000d6a: PUSH14 0xffffffffffffffffffffffffffff
00000d79: DUP1
00000d7a: DUP3
00000d7b: AND
00000d7c: SWAP3
00000d7d: PUSH15 0x010000000000000000000000000000
00000d8d: DUP4
00000d8e: DIV
00000d8f: SWAP1
00000d90: SWAP2
00000d91: AND
00000d92: SWAP2
00000d93: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000db1: SWAP1
00000db2: DIV
00000db3: PUSH4 0xffffffff
00000db8: AND
00000db9: SWAP1
00000dba: JUMP
00000dbb: JUMPDEST
00000dbc: PUSH1 0x00
00000dbe: PUSH2 0x0dc8
00000dc1: CALLER
00000dc2: DUP5
00000dc3: DUP5
00000dc4: PUSH2 0x2527
00000dc7: JUMP
00000dc8: JUMPDEST
00000dc9: POP
00000dca: PUSH1 0x01
00000dcc: JUMPDEST
00000dcd: SWAP3
00000dce: SWAP2
00000dcf: POP
00000dd0: POP
00000dd1: JUMP
00000dd2: JUMPDEST
00000dd3: PUSH1 0x06
00000dd5: SLOAD
00000dd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000deb: AND
00000dec: DUP2
00000ded: JUMP
00000dee: JUMPDEST
00000def: PUSH1 0x00
00000df1: SLOAD
00000df2: DUP2
00000df3: JUMP
00000df4: JUMPDEST
00000df5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e0a: DUP4
00000e0b: AND
00000e0c: PUSH1 0x00
00000e0e: SWAP1
00000e0f: DUP2
00000e10: MSTORE
00000e11: PUSH1 0x02
00000e13: PUSH1 0x20
00000e15: SWAP1
00000e16: DUP2
00000e17: MSTORE
00000e18: PUSH1 0x40
00000e1a: DUP1
00000e1b: DUP4
00000e1c: KECCAK256
00000e1d: CALLER
00000e1e: DUP5
00000e1f: MSTORE
00000e20: SWAP1
00000e21: SWAP2
00000e22: MSTORE
00000e23: DUP2
00000e24: KECCAK256
00000e25: SLOAD
00000e26: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000e47: EQ
00000e48: PUSH2 0x0eb8
00000e4b: JUMPI
00000e4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e61: DUP5
00000e62: AND
00000e63: PUSH1 0x00
00000e65: SWAP1
00000e66: DUP2
00000e67: MSTORE
00000e68: PUSH1 0x02
00000e6a: PUSH1 0x20
00000e6c: SWAP1
00000e6d: DUP2
00000e6e: MSTORE
00000e6f: PUSH1 0x40
00000e71: DUP1
00000e72: DUP4
00000e73: KECCAK256
00000e74: CALLER
00000e75: DUP5
00000e76: MSTORE
00000e77: SWAP1
00000e78: SWAP2
00000e79: MSTORE
00000e7a: SWAP1
00000e7b: KECCAK256
00000e7c: SLOAD
00000e7d: PUSH2 0x0e86
00000e80: SWAP1
00000e81: DUP4
00000e82: PUSH2 0x21ff
00000e85: JUMP
00000e86: JUMPDEST
00000e87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e9c: DUP6
00000e9d: AND
00000e9e: PUSH1 0x00
00000ea0: SWAP1
00000ea1: DUP2
00000ea2: MSTORE
00000ea3: PUSH1 0x02
00000ea5: PUSH1 0x20
00000ea7: SWAP1
00000ea8: DUP2
00000ea9: MSTORE
00000eaa: PUSH1 0x40
00000eac: DUP1
00000ead: DUP4
00000eae: KECCAK256
00000eaf: CALLER
00000eb0: DUP5
00000eb1: MSTORE
00000eb2: SWAP1
00000eb3: SWAP2
00000eb4: MSTORE
00000eb5: SWAP1
00000eb6: KECCAK256
00000eb7: SSTORE
00000eb8: JUMPDEST
00000eb9: PUSH2 0x0ec3
00000ebc: DUP5
00000ebd: DUP5
00000ebe: DUP5
00000ebf: PUSH2 0x2596
00000ec2: JUMP
00000ec3: JUMPDEST
00000ec4: POP
00000ec5: PUSH1 0x01
00000ec7: SWAP4
00000ec8: SWAP3
00000ec9: POP
00000eca: POP
00000ecb: POP
00000ecc: JUMP
00000ecd: JUMPDEST
00000ece: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00000eef: DUP2
00000ef0: JUMP
00000ef1: JUMPDEST
00000ef2: PUSH1 0x12
00000ef4: DUP2
00000ef5: JUMP
00000ef6: JUMPDEST
00000ef7: PUSH1 0x03
00000ef9: SLOAD
00000efa: DUP2
00000efb: JUMP
00000efc: JUMPDEST
00000efd: PUSH1 0x05
00000eff: SLOAD
00000f00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f15: AND
00000f16: CALLER
00000f17: EQ
00000f18: PUSH2 0x0f82
00000f1b: JUMPI
00000f1c: PUSH1 0x40
00000f1e: DUP1
00000f1f: MLOAD
00000f20: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f41: DUP2
00000f42: MSTORE
00000f43: PUSH1 0x20
00000f45: PUSH1 0x04
00000f47: DUP3
00000f48: ADD
00000f49: MSTORE
00000f4a: PUSH1 0x13
00000f4c: PUSH1 0x24
00000f4e: DUP3
00000f4f: ADD
00000f50: MSTORE
00000f51: PUSH32 0x556e6963537761703a20464f5242494444454e00000000000000000000000000
00000f72: PUSH1 0x44
00000f74: DUP3
00000f75: ADD
00000f76: MSTORE
00000f77: SWAP1
00000f78: MLOAD
00000f79: SWAP1
00000f7a: DUP2
00000f7b: SWAP1
00000f7c: SUB
00000f7d: PUSH1 0x64
00000f7f: ADD
00000f80: SWAP1
00000f81: REVERT
00000f82: JUMPDEST
00000f83: PUSH1 0x06
00000f85: DUP1
00000f86: SLOAD
00000f87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f9c: SWAP4
00000f9d: DUP5
00000f9e: AND
00000f9f: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000fc0: SWAP2
00000fc1: DUP3
00000fc2: AND
00000fc3: OR
00000fc4: SWAP1
00000fc5: SWAP2
00000fc6: SSTORE
00000fc7: PUSH1 0x07
00000fc9: DUP1
00000fca: SLOAD
00000fcb: SWAP3
00000fcc: SWAP1
00000fcd: SWAP4
00000fce: AND
00000fcf: SWAP2
00000fd0: AND
00000fd1: OR
00000fd2: SWAP1
00000fd3: SSTORE
00000fd4: JUMP
00000fd5: JUMPDEST
00000fd6: PUSH1 0x09
00000fd8: SLOAD
00000fd9: DUP2
00000fda: JUMP
00000fdb: JUMPDEST
00000fdc: PUSH1 0x0a
00000fde: SLOAD
00000fdf: DUP2
00000fe0: JUMP
00000fe1: JUMPDEST
00000fe2: PUSH1 0x00
00000fe4: PUSH1 0x0c
00000fe6: SLOAD
00000fe7: PUSH1 0x01
00000fe9: EQ
00000fea: PUSH2 0x1054
00000fed: JUMPI
00000fee: PUSH1 0x40
00000ff0: DUP1
00000ff1: MLOAD
00000ff2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001013: DUP2
00001014: MSTORE
00001015: PUSH1 0x20
00001017: PUSH1 0x04
00001019: DUP3
0000101a: ADD
0000101b: MSTORE
0000101c: PUSH1 0x10
0000101e: PUSH1 0x24
00001020: DUP3
00001021: ADD
00001022: MSTORE
00001023: PUSH32 0x556e6963537761703a204c4f434b454400000000000000000000000000000000
00001044: PUSH1 0x44
00001046: DUP3
00001047: ADD
00001048: MSTORE
00001049: SWAP1
0000104a: MLOAD
0000104b: SWAP1
0000104c: DUP2
0000104d: SWAP1
0000104e: SUB
0000104f: PUSH1 0x64
00001051: ADD
00001052: SWAP1
00001053: REVERT
00001054: JUMPDEST
00001055: PUSH1 0x00
00001057: PUSH1 0x0c
00001059: DUP2
0000105a: SWAP1
0000105b: SSTORE
0000105c: DUP1
0000105d: PUSH2 0x1064
00001060: PUSH2 0x0d66
00001063: JUMP
00001064: JUMPDEST
00001065: POP
00001066: PUSH1 0x06
00001068: SLOAD
00001069: PUSH1 0x40
0000106b: DUP1
0000106c: MLOAD
0000106d: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
0000108e: DUP2
0000108f: MSTORE
00001090: ADDRESS
00001091: PUSH1 0x04
00001093: DUP3
00001094: ADD
00001095: MSTORE
00001096: SWAP1
00001097: MLOAD
00001098: SWAP4
00001099: SWAP6
0000109a: POP
0000109b: SWAP2
0000109c: SWAP4
0000109d: POP
0000109e: PUSH1 0x00
000010a0: SWAP3
000010a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b6: SWAP1
000010b7: SWAP2
000010b8: AND
000010b9: SWAP2
000010ba: PUSH4 0x70a08231
000010bf: SWAP2
000010c0: PUSH1 0x24
000010c2: DUP1
000010c3: DUP4
000010c4: ADD
000010c5: SWAP3
000010c6: PUSH1 0x20
000010c8: SWAP3
000010c9: SWAP2
000010ca: SWAP1
000010cb: DUP3
000010cc: SWAP1
000010cd: SUB
000010ce: ADD
000010cf: DUP2
000010d0: DUP7
000010d1: DUP1
000010d2: EXTCODESIZE
000010d3: ISZERO
000010d4: DUP1
000010d5: ISZERO
000010d6: PUSH2 0x10de
000010d9: JUMPI
000010da: PUSH1 0x00
000010dc: DUP1
000010dd: REVERT
000010de: JUMPDEST
000010df: POP
000010e0: GAS
000010e1: STATICCALL
000010e2: ISZERO
000010e3: DUP1
000010e4: ISZERO
000010e5: PUSH2 0x10f2
000010e8: JUMPI
000010e9: RETURNDATASIZE
000010ea: PUSH1 0x00
000010ec: DUP1
000010ed: RETURNDATACOPY
000010ee: RETURNDATASIZE
000010ef: PUSH1 0x00
000010f1: REVERT
000010f2: JUMPDEST
000010f3: POP
000010f4: POP
000010f5: POP
000010f6: POP
000010f7: PUSH1 0x40
000010f9: MLOAD
000010fa: RETURNDATASIZE
000010fb: PUSH1 0x20
000010fd: DUP2
000010fe: LT
000010ff: ISZERO
00001100: PUSH2 0x1108
00001103: JUMPI
00001104: PUSH1 0x00
00001106: DUP1
00001107: REVERT
00001108: JUMPDEST
00001109: POP
0000110a: MLOAD
0000110b: PUSH1 0x07
0000110d: SLOAD
0000110e: PUSH1 0x40
00001110: DUP1
00001111: MLOAD
00001112: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001133: DUP2
00001134: MSTORE
00001135: ADDRESS
00001136: PUSH1 0x04
00001138: DUP3
00001139: ADD
0000113a: MSTORE
0000113b: SWAP1
0000113c: MLOAD
0000113d: SWAP3
0000113e: SWAP4
0000113f: POP
00001140: PUSH1 0x00
00001142: SWAP3
00001143: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001158: SWAP1
00001159: SWAP3
0000115a: AND
0000115b: SWAP2
0000115c: PUSH4 0x70a08231
00001161: SWAP2
00001162: PUSH1 0x24
00001164: DUP1
00001165: DUP3
00001166: ADD
00001167: SWAP3
00001168: PUSH1 0x20
0000116a: SWAP3
0000116b: SWAP1
0000116c: SWAP2
0000116d: SWAP1
0000116e: DUP3
0000116f: SWAP1
00001170: SUB
00001171: ADD
00001172: DUP2
00001173: DUP7
00001174: DUP1
00001175: EXTCODESIZE
00001176: ISZERO
00001177: DUP1
00001178: ISZERO
00001179: PUSH2 0x1181
0000117c: JUMPI
0000117d: PUSH1 0x00
0000117f: DUP1
00001180: REVERT
00001181: JUMPDEST
00001182: POP
00001183: GAS
00001184: STATICCALL
00001185: ISZERO
00001186: DUP1
00001187: ISZERO
00001188: PUSH2 0x1195
0000118b: JUMPI
0000118c: RETURNDATASIZE
0000118d: PUSH1 0x00
0000118f: DUP1
00001190: RETURNDATACOPY
00001191: RETURNDATASIZE
00001192: PUSH1 0x00
00001194: REVERT
00001195: JUMPDEST
00001196: POP
00001197: POP
00001198: POP
00001199: POP
0000119a: PUSH1 0x40
0000119c: MLOAD
0000119d: RETURNDATASIZE
0000119e: PUSH1 0x20
000011a0: DUP2
000011a1: LT
000011a2: ISZERO
000011a3: PUSH2 0x11ab
000011a6: JUMPI
000011a7: PUSH1 0x00
000011a9: DUP1
000011aa: REVERT
000011ab: JUMPDEST
000011ac: POP
000011ad: MLOAD
000011ae: SWAP1
000011af: POP
000011b0: PUSH1 0x00
000011b2: PUSH2 0x11cb
000011b5: DUP4
000011b6: PUSH14 0xffffffffffffffffffffffffffff
000011c5: DUP8
000011c6: AND
000011c7: PUSH2 0x21ff
000011ca: JUMP
000011cb: JUMPDEST
000011cc: SWAP1
000011cd: POP
000011ce: PUSH1 0x00
000011d0: PUSH2 0x11e9
000011d3: DUP4
000011d4: PUSH14 0xffffffffffffffffffffffffffff
000011e3: DUP8
000011e4: AND
000011e5: PUSH2 0x21ff
000011e8: JUMP
000011e9: JUMPDEST
000011ea: SWAP1
000011eb: POP
000011ec: PUSH1 0x00
000011ee: PUSH2 0x11f7
000011f1: DUP8
000011f2: DUP8
000011f3: PUSH2 0x266b
000011f6: JUMP
000011f7: JUMPDEST
000011f8: PUSH1 0x00
000011fa: SLOAD
000011fb: SWAP1
000011fc: SWAP2
000011fd: POP
000011fe: DUP1
000011ff: PUSH2 0x122e
00001202: JUMPI
00001203: PUSH2 0x121a
00001206: PUSH2 0x03e8
00001209: PUSH2 0x0bf1
0000120c: PUSH2 0x1215
0000120f: DUP8
00001210: DUP8
00001211: PUSH2 0x2179
00001214: JUMP
00001215: JUMPDEST
00001216: PUSH2 0x27d9
00001219: JUMP
0000121a: JUMPDEST
0000121b: SWAP9
0000121c: POP
0000121d: PUSH2 0x1229
00001220: PUSH1 0x00
00001222: PUSH2 0x03e8
00001225: PUSH2 0x282b
00001228: JUMP
00001229: JUMPDEST
0000122a: PUSH2 0x127f
0000122d: JUMP
0000122e: JUMPDEST
0000122f: PUSH2 0x127c
00001232: PUSH14 0xffffffffffffffffffffffffffff
00001241: DUP10
00001242: AND
00001243: PUSH2 0x124c
00001246: DUP7
00001247: DUP5
00001248: PUSH2 0x2179
0000124b: JUMP
0000124c: JUMPDEST
0000124d: DUP2
0000124e: PUSH2 0x1253
00001251: JUMPI
00001252: INVALID
00001253: JUMPDEST
00001254: DIV
00001255: PUSH14 0xffffffffffffffffffffffffffff
00001264: DUP10
00001265: AND
00001266: PUSH2 0x126f
00001269: DUP7
0000126a: DUP6
0000126b: PUSH2 0x2179
0000126e: JUMP
0000126f: JUMPDEST
00001270: DUP2
00001271: PUSH2 0x1276
00001274: JUMPI
00001275: INVALID
00001276: JUMPDEST
00001277: DIV
00001278: PUSH2 0x28cf
0000127b: JUMP
0000127c: JUMPDEST
0000127d: SWAP9
0000127e: POP
0000127f: JUMPDEST
00001280: PUSH1 0x00
00001282: DUP10
00001283: GT
00001284: PUSH2 0x12d8
00001287: JUMPI
00001288: PUSH1 0x40
0000128a: MLOAD
0000128b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012ac: DUP2
000012ad: MSTORE
000012ae: PUSH1 0x04
000012b0: ADD
000012b1: DUP1
000012b2: DUP1
000012b3: PUSH1 0x20
000012b5: ADD
000012b6: DUP3
000012b7: DUP2
000012b8: SUB
000012b9: DUP3
000012ba: MSTORE
000012bb: PUSH1 0x27
000012bd: DUP2
000012be: MSTORE
000012bf: PUSH1 0x20
000012c1: ADD
000012c2: DUP1
000012c3: PUSH2 0x2ac3
000012c6: PUSH1 0x27
000012c8: SWAP2
000012c9: CODECOPY
000012ca: PUSH1 0x40
000012cc: ADD
000012cd: SWAP2
000012ce: POP
000012cf: POP
000012d0: PUSH1 0x40
000012d2: MLOAD
000012d3: DUP1
000012d4: SWAP2
000012d5: SUB
000012d6: SWAP1
000012d7: REVERT
000012d8: JUMPDEST
000012d9: PUSH2 0x12e2
000012dc: DUP11
000012dd: DUP11
000012de: PUSH2 0x282b
000012e1: JUMP
000012e2: JUMPDEST
000012e3: PUSH2 0x12ee
000012e6: DUP7
000012e7: DUP7
000012e8: DUP11
000012e9: DUP11
000012ea: PUSH2 0x2271
000012ed: JUMP
000012ee: JUMPDEST
000012ef: DUP2
000012f0: ISZERO
000012f1: PUSH2 0x132a
000012f4: JUMPI
000012f5: PUSH1 0x08
000012f7: SLOAD
000012f8: PUSH2 0x1326
000012fb: SWAP1
000012fc: PUSH14 0xffffffffffffffffffffffffffff
0000130b: DUP1
0000130c: DUP3
0000130d: AND
0000130e: SWAP2
0000130f: PUSH15 0x010000000000000000000000000000
0000131f: SWAP1
00001320: DIV
00001321: AND
00001322: PUSH2 0x2179
00001325: JUMP
00001326: JUMPDEST
00001327: PUSH1 0x0b
00001329: SSTORE
0000132a: JUMPDEST
0000132b: PUSH1 0x40
0000132d: DUP1
0000132e: MLOAD
0000132f: DUP6
00001330: DUP2
00001331: MSTORE
00001332: PUSH1 0x20
00001334: DUP2
00001335: ADD
00001336: DUP6
00001337: SWAP1
00001338: MSTORE
00001339: DUP2
0000133a: MLOAD
0000133b: CALLER
0000133c: SWAP3
0000133d: PUSH32 0x4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f
0000135e: SWAP3
0000135f: DUP3
00001360: SWAP1
00001361: SUB
00001362: ADD
00001363: SWAP1
00001364: LOG2
00001365: POP
00001366: POP
00001367: PUSH1 0x01
00001369: PUSH1 0x0c
0000136b: SSTORE
0000136c: POP
0000136d: SWAP5
0000136e: SWAP7
0000136f: SWAP6
00001370: POP
00001371: POP
00001372: POP
00001373: POP
00001374: POP
00001375: POP
00001376: JUMP
00001377: JUMPDEST
00001378: PUSH1 0x01
0000137a: PUSH1 0x20
0000137c: MSTORE
0000137d: PUSH1 0x00
0000137f: SWAP1
00001380: DUP2
00001381: MSTORE
00001382: PUSH1 0x40
00001384: SWAP1
00001385: KECCAK256
00001386: SLOAD
00001387: DUP2
00001388: JUMP
00001389: JUMPDEST
0000138a: PUSH1 0x0b
0000138c: SLOAD
0000138d: DUP2
0000138e: JUMP
0000138f: JUMPDEST
00001390: PUSH1 0x04
00001392: PUSH1 0x20
00001394: MSTORE
00001395: PUSH1 0x00
00001397: SWAP1
00001398: DUP2
00001399: MSTORE
0000139a: PUSH1 0x40
0000139c: SWAP1
0000139d: KECCAK256
0000139e: SLOAD
0000139f: DUP2
000013a0: JUMP
000013a1: JUMPDEST
000013a2: PUSH1 0x00
000013a4: DUP1
000013a5: PUSH1 0x0c
000013a7: SLOAD
000013a8: PUSH1 0x01
000013aa: EQ
000013ab: PUSH2 0x1415
000013ae: JUMPI
000013af: PUSH1 0x40
000013b1: DUP1
000013b2: MLOAD
000013b3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013d4: DUP2
000013d5: MSTORE
000013d6: PUSH1 0x20
000013d8: PUSH1 0x04
000013da: DUP3
000013db: ADD
000013dc: MSTORE
000013dd: PUSH1 0x10
000013df: PUSH1 0x24
000013e1: DUP3
000013e2: ADD
000013e3: MSTORE
000013e4: PUSH32 0x556e6963537761703a204c4f434b454400000000000000000000000000000000
00001405: PUSH1 0x44
00001407: DUP3
00001408: ADD
00001409: MSTORE
0000140a: SWAP1
0000140b: MLOAD
0000140c: SWAP1
0000140d: DUP2
0000140e: SWAP1
0000140f: SUB
00001410: PUSH1 0x64
00001412: ADD
00001413: SWAP1
00001414: REVERT
00001415: JUMPDEST
00001416: PUSH1 0x00
00001418: PUSH1 0x0c
0000141a: DUP2
0000141b: SWAP1
0000141c: SSTORE
0000141d: DUP1
0000141e: PUSH2 0x1425
00001421: PUSH2 0x0d66
00001424: JUMP
00001425: JUMPDEST
00001426: POP
00001427: PUSH1 0x06
00001429: SLOAD
0000142a: PUSH1 0x07
0000142c: SLOAD
0000142d: PUSH1 0x40
0000142f: DUP1
00001430: MLOAD
00001431: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001452: DUP2
00001453: MSTORE
00001454: ADDRESS
00001455: PUSH1 0x04
00001457: DUP3
00001458: ADD
00001459: MSTORE
0000145a: SWAP1
0000145b: MLOAD
0000145c: SWAP5
0000145d: SWAP7
0000145e: POP
0000145f: SWAP3
00001460: SWAP5
00001461: POP
00001462: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001477: SWAP2
00001478: DUP3
00001479: AND
0000147a: SWAP4
0000147b: SWAP2
0000147c: AND
0000147d: SWAP2
0000147e: PUSH1 0x00
00001480: SWAP2
00001481: DUP5
00001482: SWAP2
00001483: PUSH4 0x70a08231
00001488: SWAP2
00001489: PUSH1 0x24
0000148b: DUP1
0000148c: DUP4
0000148d: ADD
0000148e: SWAP3
0000148f: PUSH1 0x20
00001491: SWAP3
00001492: SWAP2
00001493: SWAP1
00001494: DUP3
00001495: SWAP1
00001496: SUB
00001497: ADD
00001498: DUP2
00001499: DUP7
0000149a: DUP1
0000149b: EXTCODESIZE
0000149c: ISZERO
0000149d: DUP1
0000149e: ISZERO
0000149f: PUSH2 0x14a7
000014a2: JUMPI
000014a3: PUSH1 0x00
000014a5: DUP1
000014a6: REVERT
000014a7: JUMPDEST
000014a8: POP
000014a9: GAS
000014aa: STATICCALL
000014ab: ISZERO
000014ac: DUP1
000014ad: ISZERO
000014ae: PUSH2 0x14bb
000014b1: JUMPI
000014b2: RETURNDATASIZE
000014b3: PUSH1 0x00
000014b5: DUP1
000014b6: RETURNDATACOPY
000014b7: RETURNDATASIZE
000014b8: PUSH1 0x00
000014ba: REVERT
000014bb: JUMPDEST
000014bc: POP
000014bd: POP
000014be: POP
000014bf: POP
000014c0: PUSH1 0x40
000014c2: MLOAD
000014c3: RETURNDATASIZE
000014c4: PUSH1 0x20
000014c6: DUP2
000014c7: LT
000014c8: ISZERO
000014c9: PUSH2 0x14d1
000014cc: JUMPI
000014cd: PUSH1 0x00
000014cf: DUP1
000014d0: REVERT
000014d1: JUMPDEST
000014d2: POP
000014d3: MLOAD
000014d4: PUSH1 0x40
000014d6: DUP1
000014d7: MLOAD
000014d8: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
000014f9: DUP2
000014fa: MSTORE
000014fb: ADDRESS
000014fc: PUSH1 0x04
000014fe: DUP3
000014ff: ADD
00001500: MSTORE
00001501: SWAP1
00001502: MLOAD
00001503: SWAP2
00001504: SWAP3
00001505: POP
00001506: PUSH1 0x00
00001508: SWAP2
00001509: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000151e: DUP6
0000151f: AND
00001520: SWAP2
00001521: PUSH4 0x70a08231
00001526: SWAP2
00001527: PUSH1 0x24
00001529: DUP1
0000152a: DUP4
0000152b: ADD
0000152c: SWAP3
0000152d: PUSH1 0x20
0000152f: SWAP3
00001530: SWAP2
00001531: SWAP1
00001532: DUP3
00001533: SWAP1
00001534: SUB
00001535: ADD
00001536: DUP2
00001537: DUP7
00001538: DUP1
00001539: EXTCODESIZE
0000153a: ISZERO
0000153b: DUP1
0000153c: ISZERO
0000153d: PUSH2 0x1545
00001540: JUMPI
00001541: PUSH1 0x00
00001543: DUP1
00001544: REVERT
00001545: JUMPDEST
00001546: POP
00001547: GAS
00001548: STATICCALL
00001549: ISZERO
0000154a: DUP1
0000154b: ISZERO
0000154c: PUSH2 0x1559
0000154f: JUMPI
00001550: RETURNDATASIZE
00001551: PUSH1 0x00
00001553: DUP1
00001554: RETURNDATACOPY
00001555: RETURNDATASIZE
00001556: PUSH1 0x00
00001558: REVERT
00001559: JUMPDEST
0000155a: POP
0000155b: POP
0000155c: POP
0000155d: POP
0000155e: PUSH1 0x40
00001560: MLOAD
00001561: RETURNDATASIZE
00001562: PUSH1 0x20
00001564: DUP2
00001565: LT
00001566: ISZERO
00001567: PUSH2 0x156f
0000156a: JUMPI
0000156b: PUSH1 0x00
0000156d: DUP1
0000156e: REVERT
0000156f: JUMPDEST
00001570: POP
00001571: MLOAD
00001572: ADDRESS
00001573: PUSH1 0x00
00001575: SWAP1
00001576: DUP2
00001577: MSTORE
00001578: PUSH1 0x01
0000157a: PUSH1 0x20
0000157c: MSTORE
0000157d: PUSH1 0x40
0000157f: DUP2
00001580: KECCAK256
00001581: SLOAD
00001582: SWAP2
00001583: SWAP3
00001584: POP
00001585: PUSH2 0x158e
00001588: DUP9
00001589: DUP9
0000158a: PUSH2 0x266b
0000158d: JUMP
0000158e: JUMPDEST
0000158f: PUSH1 0x00
00001591: SLOAD
00001592: SWAP1
00001593: SWAP2
00001594: POP
00001595: DUP1
00001596: PUSH2 0x159f
00001599: DUP5
0000159a: DUP8
0000159b: PUSH2 0x2179
0000159e: JUMP
0000159f: JUMPDEST
000015a0: DUP2
000015a1: PUSH2 0x15a6
000015a4: JUMPI
000015a5: INVALID
000015a6: JUMPDEST
000015a7: DIV
000015a8: SWAP11
000015a9: POP
000015aa: DUP1
000015ab: PUSH2 0x15b4
000015ae: DUP5
000015af: DUP7
000015b0: PUSH2 0x2179
000015b3: JUMP
000015b4: JUMPDEST
000015b5: DUP2
000015b6: PUSH2 0x15bb
000015b9: JUMPI
000015ba: INVALID
000015bb: JUMPDEST
000015bc: DIV
000015bd: SWAP10
000015be: POP
000015bf: PUSH1 0x00
000015c1: DUP12
000015c2: GT
000015c3: DUP1
000015c4: ISZERO
000015c5: PUSH2 0x15ce
000015c8: JUMPI
000015c9: POP
000015ca: PUSH1 0x00
000015cc: DUP11
000015cd: GT
000015ce: JUMPDEST
000015cf: PUSH2 0x1623
000015d2: JUMPI
000015d3: PUSH1 0x40
000015d5: MLOAD
000015d6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015f7: DUP2
000015f8: MSTORE
000015f9: PUSH1 0x04
000015fb: ADD
000015fc: DUP1
000015fd: DUP1
000015fe: PUSH1 0x20
00001600: ADD
00001601: DUP3
00001602: DUP2
00001603: SUB
00001604: DUP3
00001605: MSTORE
00001606: PUSH1 0x27
00001608: DUP2
00001609: MSTORE
0000160a: PUSH1 0x20
0000160c: ADD
0000160d: DUP1
0000160e: PUSH2 0x2a9c
00001611: PUSH1 0x27
00001613: SWAP2
00001614: CODECOPY
00001615: PUSH1 0x40
00001617: ADD
00001618: SWAP2
00001619: POP
0000161a: POP
0000161b: PUSH1 0x40
0000161d: MLOAD
0000161e: DUP1
0000161f: SWAP2
00001620: SUB
00001621: SWAP1
00001622: REVERT
00001623: JUMPDEST
00001624: PUSH2 0x162d
00001627: ADDRESS
00001628: DUP5
00001629: PUSH2 0x28e7
0000162c: JUMP
0000162d: JUMPDEST
0000162e: PUSH2 0x1638
00001631: DUP8
00001632: DUP14
00001633: DUP14
00001634: PUSH2 0x1f6c
00001637: JUMP
00001638: JUMPDEST
00001639: PUSH2 0x1643
0000163c: DUP7
0000163d: DUP14
0000163e: DUP13
0000163f: PUSH2 0x1f6c
00001642: JUMP
00001643: JUMPDEST
00001644: PUSH1 0x40
00001646: DUP1
00001647: MLOAD
00001648: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001669: DUP2
0000166a: MSTORE
0000166b: ADDRESS
0000166c: PUSH1 0x04
0000166e: DUP3
0000166f: ADD
00001670: MSTORE
00001671: SWAP1
00001672: MLOAD
00001673: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001688: DUP10
00001689: AND
0000168a: SWAP2
0000168b: PUSH4 0x70a08231
00001690: SWAP2
00001691: PUSH1 0x24
00001693: DUP1
00001694: DUP4
00001695: ADD
00001696: SWAP3
00001697: PUSH1 0x20
00001699: SWAP3
0000169a: SWAP2
0000169b: SWAP1
0000169c: DUP3
0000169d: SWAP1
0000169e: SUB
0000169f: ADD
000016a0: DUP2
000016a1: DUP7
000016a2: DUP1
000016a3: EXTCODESIZE
000016a4: ISZERO
000016a5: DUP1
000016a6: ISZERO
000016a7: PUSH2 0x16af
000016aa: JUMPI
000016ab: PUSH1 0x00
000016ad: DUP1
000016ae: REVERT
000016af: JUMPDEST
000016b0: POP
000016b1: GAS
000016b2: STATICCALL
000016b3: ISZERO
000016b4: DUP1
000016b5: ISZERO
000016b6: PUSH2 0x16c3
000016b9: JUMPI
000016ba: RETURNDATASIZE
000016bb: PUSH1 0x00
000016bd: DUP1
000016be: RETURNDATACOPY
000016bf: RETURNDATASIZE
000016c0: PUSH1 0x00
000016c2: REVERT
000016c3: JUMPDEST
000016c4: POP
000016c5: POP
000016c6: POP
000016c7: POP
000016c8: PUSH1 0x40
000016ca: MLOAD
000016cb: RETURNDATASIZE
000016cc: PUSH1 0x20
000016ce: DUP2
000016cf: LT
000016d0: ISZERO
000016d1: PUSH2 0x16d9
000016d4: JUMPI
000016d5: PUSH1 0x00
000016d7: DUP1
000016d8: REVERT
000016d9: JUMPDEST
000016da: POP
000016db: MLOAD
000016dc: PUSH1 0x40
000016de: DUP1
000016df: MLOAD
000016e0: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001701: DUP2
00001702: MSTORE
00001703: ADDRESS
00001704: PUSH1 0x04
00001706: DUP3
00001707: ADD
00001708: MSTORE
00001709: SWAP1
0000170a: MLOAD
0000170b: SWAP2
0000170c: SWAP7
0000170d: POP
0000170e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001723: DUP9
00001724: AND
00001725: SWAP2
00001726: PUSH4 0x70a08231
0000172b: SWAP2
0000172c: PUSH1 0x24
0000172e: DUP1
0000172f: DUP3
00001730: ADD
00001731: SWAP3
00001732: PUSH1 0x20
00001734: SWAP3
00001735: SWAP1
00001736: SWAP2
00001737: SWAP1
00001738: DUP3
00001739: SWAP1
0000173a: SUB
0000173b: ADD
0000173c: DUP2
0000173d: DUP7
0000173e: DUP1
0000173f: EXTCODESIZE
00001740: ISZERO
00001741: DUP1
00001742: ISZERO
00001743: PUSH2 0x174b
00001746: JUMPI
00001747: PUSH1 0x00
00001749: DUP1
0000174a: REVERT
0000174b: JUMPDEST
0000174c: POP
0000174d: GAS
0000174e: STATICCALL
0000174f: ISZERO
00001750: DUP1
00001751: ISZERO
00001752: PUSH2 0x175f
00001755: JUMPI
00001756: RETURNDATASIZE
00001757: PUSH1 0x00
00001759: DUP1
0000175a: RETURNDATACOPY
0000175b: RETURNDATASIZE
0000175c: PUSH1 0x00
0000175e: REVERT
0000175f: JUMPDEST
00001760: POP
00001761: POP
00001762: POP
00001763: POP
00001764: PUSH1 0x40
00001766: MLOAD
00001767: RETURNDATASIZE
00001768: PUSH1 0x20
0000176a: DUP2
0000176b: LT
0000176c: ISZERO
0000176d: PUSH2 0x1775
00001770: JUMPI
00001771: PUSH1 0x00
00001773: DUP1
00001774: REVERT
00001775: JUMPDEST
00001776: POP
00001777: MLOAD
00001778: SWAP4
00001779: POP
0000177a: PUSH2 0x1785
0000177d: DUP6
0000177e: DUP6
0000177f: DUP12
00001780: DUP12
00001781: PUSH2 0x2271
00001784: JUMP
00001785: JUMPDEST
00001786: DUP2
00001787: ISZERO
00001788: PUSH2 0x17c1
0000178b: JUMPI
0000178c: PUSH1 0x08
0000178e: SLOAD
0000178f: PUSH2 0x17bd
00001792: SWAP1
00001793: PUSH14 0xffffffffffffffffffffffffffff
000017a2: DUP1
000017a3: DUP3
000017a4: AND
000017a5: SWAP2
000017a6: PUSH15 0x010000000000000000000000000000
000017b6: SWAP1
000017b7: DIV
000017b8: AND
000017b9: PUSH2 0x2179
000017bc: JUMP
000017bd: JUMPDEST
000017be: PUSH1 0x0b
000017c0: SSTORE
000017c1: JUMPDEST
000017c2: PUSH1 0x40
000017c4: DUP1
000017c5: MLOAD
000017c6: DUP13
000017c7: DUP2
000017c8: MSTORE
000017c9: PUSH1 0x20
000017cb: DUP2
000017cc: ADD
000017cd: DUP13
000017ce: SWAP1
000017cf: MSTORE
000017d0: DUP2
000017d1: MLOAD
000017d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017e7: DUP16
000017e8: AND
000017e9: SWAP3
000017ea: CALLER
000017eb: SWAP3
000017ec: PUSH32 0xdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496
0000180d: SWAP3
0000180e: SWAP1
0000180f: DUP2
00001810: SWAP1
00001811: SUB
00001812: SWAP1
00001813: SWAP2
00001814: ADD
00001815: SWAP1
00001816: LOG3
00001817: POP
00001818: POP
00001819: POP
0000181a: POP
0000181b: POP
0000181c: POP
0000181d: POP
0000181e: POP
0000181f: POP
00001820: PUSH1 0x01
00001822: PUSH1 0x0c
00001824: DUP2
00001825: SWAP1
00001826: SSTORE
00001827: POP
00001828: SWAP2
00001829: POP
0000182a: SWAP2
0000182b: JUMP
0000182c: JUMPDEST
0000182d: PUSH1 0x40
0000182f: MLOAD
00001830: DUP1
00001831: PUSH1 0x40
00001833: ADD
00001834: PUSH1 0x40
00001836: MSTORE
00001837: DUP1
00001838: PUSH1 0x03
0000183a: DUP2
0000183b: MSTORE
0000183c: PUSH1 0x20
0000183e: ADD
0000183f: PUSH32 0x5550540000000000000000000000000000000000000000000000000000000000
00001860: DUP2
00001861: MSTORE
00001862: POP
00001863: DUP2
00001864: JUMP
00001865: JUMPDEST
00001866: PUSH1 0x00
00001868: PUSH2 0x0dc8
0000186b: CALLER
0000186c: DUP5
0000186d: DUP5
0000186e: PUSH2 0x2596
00001871: JUMP
00001872: JUMPDEST
00001873: PUSH2 0x03e8
00001876: DUP2
00001877: JUMP
00001878: JUMPDEST
00001879: PUSH1 0x0c
0000187b: SLOAD
0000187c: PUSH1 0x01
0000187e: EQ
0000187f: PUSH2 0x18e9
00001882: JUMPI
00001883: PUSH1 0x40
00001885: DUP1
00001886: MLOAD
00001887: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018a8: DUP2
000018a9: MSTORE
000018aa: PUSH1 0x20
000018ac: PUSH1 0x04
000018ae: DUP3
000018af: ADD
000018b0: MSTORE
000018b1: PUSH1 0x10
000018b3: PUSH1 0x24
000018b5: DUP3
000018b6: ADD
000018b7: MSTORE
000018b8: PUSH32 0x556e6963537761703a204c4f434b454400000000000000000000000000000000
000018d9: PUSH1 0x44
000018db: DUP3
000018dc: ADD
000018dd: MSTORE
000018de: SWAP1
000018df: MLOAD
000018e0: SWAP1
000018e1: DUP2
000018e2: SWAP1
000018e3: SUB
000018e4: PUSH1 0x64
000018e6: ADD
000018e7: SWAP1
000018e8: REVERT
000018e9: JUMPDEST
000018ea: PUSH1 0x00
000018ec: PUSH1 0x0c
000018ee: SSTORE
000018ef: PUSH1 0x06
000018f1: SLOAD
000018f2: PUSH1 0x07
000018f4: SLOAD
000018f5: PUSH1 0x08
000018f7: SLOAD
000018f8: PUSH1 0x40
000018fa: DUP1
000018fb: MLOAD
000018fc: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
0000191d: DUP2
0000191e: MSTORE
0000191f: ADDRESS
00001920: PUSH1 0x04
00001922: DUP3
00001923: ADD
00001924: MSTORE
00001925: SWAP1
00001926: MLOAD
00001927: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000193c: SWAP5
0000193d: DUP6
0000193e: AND
0000193f: SWAP5
00001940: SWAP1
00001941: SWAP4
00001942: AND
00001943: SWAP3
00001944: PUSH2 0x19bf
00001947: SWAP3
00001948: DUP6
00001949: SWAP3
0000194a: DUP8
0000194b: SWAP3
0000194c: PUSH2 0x19ba
0000194f: SWAP3
00001950: PUSH14 0xffffffffffffffffffffffffffff
0000195f: AND
00001960: SWAP2
00001961: DUP6
00001962: SWAP2
00001963: PUSH4 0x70a08231
00001968: SWAP2
00001969: PUSH1 0x24
0000196b: DUP1
0000196c: DUP3
0000196d: ADD
0000196e: SWAP3
0000196f: PUSH1 0x20
00001971: SWAP3
00001972: SWAP1
00001973: SWAP2
00001974: SWAP1
00001975: DUP3
00001976: SWAP1
00001977: SUB
00001978: ADD
00001979: DUP2
0000197a: DUP7
0000197b: DUP1
0000197c: EXTCODESIZE
0000197d: ISZERO
0000197e: DUP1
0000197f: ISZERO
00001980: PUSH2 0x1988
00001983: JUMPI
00001984: PUSH1 0x00
00001986: DUP1
00001987: REVERT
00001988: JUMPDEST
00001989: POP
0000198a: GAS
0000198b: STATICCALL
0000198c: ISZERO
0000198d: DUP1
0000198e: ISZERO
0000198f: PUSH2 0x199c
00001992: JUMPI
00001993: RETURNDATASIZE
00001994: PUSH1 0x00
00001996: DUP1
00001997: RETURNDATACOPY
00001998: RETURNDATASIZE
00001999: PUSH1 0x00
0000199b: REVERT
0000199c: JUMPDEST
0000199d: POP
0000199e: POP
0000199f: POP
000019a0: POP
000019a1: PUSH1 0x40
000019a3: MLOAD
000019a4: RETURNDATASIZE
000019a5: PUSH1 0x20
000019a7: DUP2
000019a8: LT
000019a9: ISZERO
000019aa: PUSH2 0x19b2
000019ad: JUMPI
000019ae: PUSH1 0x00
000019b0: DUP1
000019b1: REVERT
000019b2: JUMPDEST
000019b3: POP
000019b4: MLOAD
000019b5: SWAP1
000019b6: PUSH2 0x21ff
000019b9: JUMP
000019ba: JUMPDEST
000019bb: PUSH2 0x1f6c
000019be: JUMP
000019bf: JUMPDEST
000019c0: PUSH2 0x1a5b
000019c3: DUP2
000019c4: DUP5
000019c5: PUSH2 0x19ba
000019c8: PUSH1 0x08
000019ca: PUSH1 0x0e
000019cc: SWAP1
000019cd: SLOAD
000019ce: SWAP1
000019cf: PUSH2 0x0100
000019d2: EXP
000019d3: SWAP1
000019d4: DIV
000019d5: PUSH14 0xffffffffffffffffffffffffffff
000019e4: AND
000019e5: PUSH14 0xffffffffffffffffffffffffffff
000019f4: AND
000019f5: DUP6
000019f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a0b: AND
00001a0c: PUSH4 0x70a08231
00001a11: ADDRESS
00001a12: PUSH1 0x40
00001a14: MLOAD
00001a15: DUP3
00001a16: PUSH4 0xffffffff
00001a1b: AND
00001a1c: PUSH1 0xe0
00001a1e: SHL
00001a1f: DUP2
00001a20: MSTORE
00001a21: PUSH1 0x04
00001a23: ADD
00001a24: DUP1
00001a25: DUP3
00001a26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a3b: AND
00001a3c: DUP2
00001a3d: MSTORE
00001a3e: PUSH1 0x20
00001a40: ADD
00001a41: SWAP2
00001a42: POP
00001a43: POP
00001a44: PUSH1 0x20
00001a46: PUSH1 0x40
00001a48: MLOAD
00001a49: DUP1
00001a4a: DUP4
00001a4b: SUB
00001a4c: DUP2
00001a4d: DUP7
00001a4e: DUP1
00001a4f: EXTCODESIZE
00001a50: ISZERO
00001a51: DUP1
00001a52: ISZERO
00001a53: PUSH2 0x1988
00001a56: JUMPI
00001a57: PUSH1 0x00
00001a59: DUP1
00001a5a: REVERT
00001a5b: JUMPDEST
00001a5c: POP
00001a5d: POP
00001a5e: PUSH1 0x01
00001a60: PUSH1 0x0c
00001a62: SSTORE
00001a63: POP
00001a64: JUMP
00001a65: JUMPDEST
00001a66: PUSH1 0x05
00001a68: SLOAD
00001a69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a7e: AND
00001a7f: DUP2
00001a80: JUMP
00001a81: JUMPDEST
00001a82: PUSH1 0x07
00001a84: SLOAD
00001a85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a9a: AND
00001a9b: DUP2
00001a9c: JUMP
00001a9d: JUMPDEST
00001a9e: TIMESTAMP
00001a9f: DUP5
00001aa0: LT
00001aa1: ISZERO
00001aa2: PUSH2 0x1b0c
00001aa5: JUMPI
00001aa6: PUSH1 0x40
00001aa8: DUP1
00001aa9: MLOAD
00001aaa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001acb: DUP2
00001acc: MSTORE
00001acd: PUSH1 0x20
00001acf: PUSH1 0x04
00001ad1: DUP3
00001ad2: ADD
00001ad3: MSTORE
00001ad4: PUSH1 0x11
00001ad6: PUSH1 0x24
00001ad8: DUP3
00001ad9: ADD
00001ada: MSTORE
00001adb: PUSH32 0x556e6963537761703a2045585049524544000000000000000000000000000000
00001afc: PUSH1 0x44
00001afe: DUP3
00001aff: ADD
00001b00: MSTORE
00001b01: SWAP1
00001b02: MLOAD
00001b03: SWAP1
00001b04: DUP2
00001b05: SWAP1
00001b06: SUB
00001b07: PUSH1 0x64
00001b09: ADD
00001b0a: SWAP1
00001b0b: REVERT
00001b0c: JUMPDEST
00001b0d: PUSH1 0x03
00001b0f: SLOAD
00001b10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b25: DUP1
00001b26: DUP10
00001b27: AND
00001b28: PUSH1 0x00
00001b2a: DUP2
00001b2b: DUP2
00001b2c: MSTORE
00001b2d: PUSH1 0x04
00001b2f: PUSH1 0x20
00001b31: SWAP1
00001b32: DUP2
00001b33: MSTORE
00001b34: PUSH1 0x40
00001b36: DUP1
00001b37: DUP4
00001b38: KECCAK256
00001b39: DUP1
00001b3a: SLOAD
00001b3b: PUSH1 0x01
00001b3d: DUP1
00001b3e: DUP3
00001b3f: ADD
00001b40: SWAP1
00001b41: SWAP3
00001b42: SSTORE
00001b43: DUP3
00001b44: MLOAD
00001b45: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00001b66: DUP2
00001b67: DUP7
00001b68: ADD
00001b69: MSTORE
00001b6a: DUP1
00001b6b: DUP5
00001b6c: ADD
00001b6d: SWAP7
00001b6e: SWAP1
00001b6f: SWAP7
00001b70: MSTORE
00001b71: SWAP6
00001b72: DUP14
00001b73: AND
00001b74: PUSH1 0x60
00001b76: DUP7
00001b77: ADD
00001b78: MSTORE
00001b79: PUSH1 0x80
00001b7b: DUP6
00001b7c: ADD
00001b7d: DUP13
00001b7e: SWAP1
00001b7f: MSTORE
00001b80: PUSH1 0xa0
00001b82: DUP6
00001b83: ADD
00001b84: SWAP6
00001b85: SWAP1
00001b86: SWAP6
00001b87: MSTORE
00001b88: PUSH1 0xc0
00001b8a: DUP1
00001b8b: DUP6
00001b8c: ADD
00001b8d: DUP12
00001b8e: SWAP1
00001b8f: MSTORE
00001b90: DUP2
00001b91: MLOAD
00001b92: DUP1
00001b93: DUP7
00001b94: SUB
00001b95: SWAP1
00001b96: SWAP2
00001b97: ADD
00001b98: DUP2
00001b99: MSTORE
00001b9a: PUSH1 0xe0
00001b9c: DUP6
00001b9d: ADD
00001b9e: DUP3
00001b9f: MSTORE
00001ba0: DUP1
00001ba1: MLOAD
00001ba2: SWAP1
00001ba3: DUP4
00001ba4: ADD
00001ba5: KECCAK256
00001ba6: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
00001bc7: PUSH2 0x0100
00001bca: DUP7
00001bcb: ADD
00001bcc: MSTORE
00001bcd: PUSH2 0x0102
00001bd0: DUP6
00001bd1: ADD
00001bd2: SWAP7
00001bd3: SWAP1
00001bd4: SWAP7
00001bd5: MSTORE
00001bd6: PUSH2 0x0122
00001bd9: DUP1
00001bda: DUP6
00001bdb: ADD
00001bdc: SWAP7
00001bdd: SWAP1
00001bde: SWAP7
00001bdf: MSTORE
00001be0: DUP1
00001be1: MLOAD
00001be2: DUP1
00001be3: DUP6
00001be4: SUB
00001be5: SWAP1
00001be6: SWAP7
00001be7: ADD
00001be8: DUP7
00001be9: MSTORE
00001bea: PUSH2 0x0142
00001bed: DUP5
00001bee: ADD
00001bef: DUP1
00001bf0: DUP3
00001bf1: MSTORE
00001bf2: DUP7
00001bf3: MLOAD
00001bf4: SWAP7
00001bf5: DUP4
00001bf6: ADD
00001bf7: SWAP7
00001bf8: SWAP1
00001bf9: SWAP7
00001bfa: KECCAK256
00001bfb: SWAP6
00001bfc: DUP4
00001bfd: SWAP1
00001bfe: MSTORE
00001bff: PUSH2 0x0162
00001c02: DUP5
00001c03: ADD
00001c04: DUP1
00001c05: DUP3
00001c06: MSTORE
00001c07: DUP7
00001c08: SWAP1
00001c09: MSTORE
00001c0a: PUSH1 0xff
00001c0c: DUP10
00001c0d: AND
00001c0e: PUSH2 0x0182
00001c11: DUP6
00001c12: ADD
00001c13: MSTORE
00001c14: PUSH2 0x01a2
00001c17: DUP5
00001c18: ADD
00001c19: DUP9
00001c1a: SWAP1
00001c1b: MSTORE
00001c1c: PUSH2 0x01c2
00001c1f: DUP5
00001c20: ADD
00001c21: DUP8
00001c22: SWAP1
00001c23: MSTORE
00001c24: MLOAD
00001c25: SWAP2
00001c26: SWAP4
00001c27: SWAP3
00001c28: PUSH2 0x01e2
00001c2b: DUP1
00001c2c: DUP3
00001c2d: ADD
00001c2e: SWAP4
00001c2f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001c50: DUP2
00001c51: ADD
00001c52: SWAP3
00001c53: DUP2
00001c54: SWAP1
00001c55: SUB
00001c56: SWAP1
00001c57: SWAP2
00001c58: ADD
00001c59: SWAP1
00001c5a: DUP6
00001c5b: GAS
00001c5c: STATICCALL
00001c5d: ISZERO
00001c5e: DUP1
00001c5f: ISZERO
00001c60: PUSH2 0x1c6d
00001c63: JUMPI
00001c64: RETURNDATASIZE
00001c65: PUSH1 0x00
00001c67: DUP1
00001c68: RETURNDATACOPY
00001c69: RETURNDATASIZE
00001c6a: PUSH1 0x00
00001c6c: REVERT
00001c6d: JUMPDEST
00001c6e: POP
00001c6f: POP
00001c70: PUSH1 0x40
00001c72: MLOAD
00001c73: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001c94: ADD
00001c95: MLOAD
00001c96: SWAP2
00001c97: POP
00001c98: POP
00001c99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cae: DUP2
00001caf: AND
00001cb0: ISZERO
00001cb1: DUP1
00001cb2: ISZERO
00001cb3: SWAP1
00001cb4: PUSH2 0x1ce8
00001cb7: JUMPI
00001cb8: POP
00001cb9: DUP9
00001cba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ccf: AND
00001cd0: DUP2
00001cd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ce6: AND
00001ce7: EQ
00001ce8: JUMPDEST
00001ce9: PUSH2 0x1d53
00001cec: JUMPI
00001ced: PUSH1 0x40
00001cef: DUP1
00001cf0: MLOAD
00001cf1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d12: DUP2
00001d13: MSTORE
00001d14: PUSH1 0x20
00001d16: PUSH1 0x04
00001d18: DUP3
00001d19: ADD
00001d1a: MSTORE
00001d1b: PUSH1 0x1b
00001d1d: PUSH1 0x24
00001d1f: DUP3
00001d20: ADD
00001d21: MSTORE
00001d22: PUSH32 0x556e6963537761703a20494e56414c49445f5349474e41545552450000000000
00001d43: PUSH1 0x44
00001d45: DUP3
00001d46: ADD
00001d47: MSTORE
00001d48: SWAP1
00001d49: MLOAD
00001d4a: SWAP1
00001d4b: DUP2
00001d4c: SWAP1
00001d4d: SUB
00001d4e: PUSH1 0x64
00001d50: ADD
00001d51: SWAP1
00001d52: REVERT
00001d53: JUMPDEST
00001d54: PUSH2 0x1d5e
00001d57: DUP10
00001d58: DUP10
00001d59: DUP10
00001d5a: PUSH2 0x2527
00001d5d: JUMP
00001d5e: JUMPDEST
00001d5f: POP
00001d60: POP
00001d61: POP
00001d62: POP
00001d63: POP
00001d64: POP
00001d65: POP
00001d66: POP
00001d67: POP
00001d68: JUMP
00001d69: JUMPDEST
00001d6a: PUSH1 0x02
00001d6c: PUSH1 0x20
00001d6e: SWAP1
00001d6f: DUP2
00001d70: MSTORE
00001d71: PUSH1 0x00
00001d73: SWAP3
00001d74: DUP4
00001d75: MSTORE
00001d76: PUSH1 0x40
00001d78: DUP1
00001d79: DUP5
00001d7a: KECCAK256
00001d7b: SWAP1
00001d7c: SWAP2
00001d7d: MSTORE
00001d7e: SWAP1
00001d7f: DUP3
00001d80: MSTORE
00001d81: SWAP1
00001d82: KECCAK256
00001d83: SLOAD
00001d84: DUP2
00001d85: JUMP
00001d86: JUMPDEST
00001d87: PUSH1 0x0c
00001d89: SLOAD
00001d8a: PUSH1 0x01
00001d8c: EQ
00001d8d: PUSH2 0x1df7
00001d90: JUMPI
00001d91: PUSH1 0x40
00001d93: DUP1
00001d94: MLOAD
00001d95: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001db6: DUP2
00001db7: MSTORE
00001db8: PUSH1 0x20
00001dba: PUSH1 0x04
00001dbc: DUP3
00001dbd: ADD
00001dbe: MSTORE
00001dbf: PUSH1 0x10
00001dc1: PUSH1 0x24
00001dc3: DUP3
00001dc4: ADD
00001dc5: MSTORE
00001dc6: PUSH32 0x556e6963537761703a204c4f434b454400000000000000000000000000000000
00001de7: PUSH1 0x44
00001de9: DUP3
00001dea: ADD
00001deb: MSTORE
00001dec: SWAP1
00001ded: MLOAD
00001dee: SWAP1
00001def: DUP2
00001df0: SWAP1
00001df1: SUB
00001df2: PUSH1 0x64
00001df4: ADD
00001df5: SWAP1
00001df6: REVERT
00001df7: JUMPDEST
00001df8: PUSH1 0x00
00001dfa: PUSH1 0x0c
00001dfc: SSTORE
00001dfd: PUSH1 0x06
00001dff: SLOAD
00001e00: PUSH1 0x40
00001e02: DUP1
00001e03: MLOAD
00001e04: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001e25: DUP2
00001e26: MSTORE
00001e27: ADDRESS
00001e28: PUSH1 0x04
00001e2a: DUP3
00001e2b: ADD
00001e2c: MSTORE
00001e2d: SWAP1
00001e2e: MLOAD
00001e2f: PUSH2 0x1f65
00001e32: SWAP3
00001e33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e48: AND
00001e49: SWAP2
00001e4a: PUSH4 0x70a08231
00001e4f: SWAP2
00001e50: PUSH1 0x24
00001e52: DUP1
00001e53: DUP4
00001e54: ADD
00001e55: SWAP3
00001e56: PUSH1 0x20
00001e58: SWAP3
00001e59: SWAP2
00001e5a: SWAP1
00001e5b: DUP3
00001e5c: SWAP1
00001e5d: SUB
00001e5e: ADD
00001e5f: DUP2
00001e60: DUP7
00001e61: DUP1
00001e62: EXTCODESIZE
00001e63: ISZERO
00001e64: DUP1
00001e65: ISZERO
00001e66: PUSH2 0x1e6e
00001e69: JUMPI
00001e6a: PUSH1 0x00
00001e6c: DUP1
00001e6d: REVERT
00001e6e: JUMPDEST
00001e6f: POP
00001e70: GAS
00001e71: STATICCALL
00001e72: ISZERO
00001e73: DUP1
00001e74: ISZERO
00001e75: PUSH2 0x1e82
00001e78: JUMPI
00001e79: RETURNDATASIZE
00001e7a: PUSH1 0x00
00001e7c: DUP1
00001e7d: RETURNDATACOPY
00001e7e: RETURNDATASIZE
00001e7f: PUSH1 0x00
00001e81: REVERT
00001e82: JUMPDEST
00001e83: POP
00001e84: POP
00001e85: POP
00001e86: POP
00001e87: PUSH1 0x40
00001e89: MLOAD
00001e8a: RETURNDATASIZE
00001e8b: PUSH1 0x20
00001e8d: DUP2
00001e8e: LT
00001e8f: ISZERO
00001e90: PUSH2 0x1e98
00001e93: JUMPI
00001e94: PUSH1 0x00
00001e96: DUP1
00001e97: REVERT
00001e98: JUMPDEST
00001e99: POP
00001e9a: MLOAD
00001e9b: PUSH1 0x07
00001e9d: SLOAD
00001e9e: PUSH1 0x40
00001ea0: DUP1
00001ea1: MLOAD
00001ea2: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001ec3: DUP2
00001ec4: MSTORE
00001ec5: ADDRESS
00001ec6: PUSH1 0x04
00001ec8: DUP3
00001ec9: ADD
00001eca: MSTORE
00001ecb: SWAP1
00001ecc: MLOAD
00001ecd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ee2: SWAP1
00001ee3: SWAP3
00001ee4: AND
00001ee5: SWAP2
00001ee6: PUSH4 0x70a08231
00001eeb: SWAP2
00001eec: PUSH1 0x24
00001eee: DUP1
00001eef: DUP3
00001ef0: ADD
00001ef1: SWAP3
00001ef2: PUSH1 0x20
00001ef4: SWAP3
00001ef5: SWAP1
00001ef6: SWAP2
00001ef7: SWAP1
00001ef8: DUP3
00001ef9: SWAP1
00001efa: SUB
00001efb: ADD
00001efc: DUP2
00001efd: DUP7
00001efe: DUP1
00001eff: EXTCODESIZE
00001f00: ISZERO
00001f01: DUP1
00001f02: ISZERO
00001f03: PUSH2 0x1f0b
00001f06: JUMPI
00001f07: PUSH1 0x00
00001f09: DUP1
00001f0a: REVERT
00001f0b: JUMPDEST
00001f0c: POP
00001f0d: GAS
00001f0e: STATICCALL
00001f0f: ISZERO
00001f10: DUP1
00001f11: ISZERO
00001f12: PUSH2 0x1f1f
00001f15: JUMPI
00001f16: RETURNDATASIZE
00001f17: PUSH1 0x00
00001f19: DUP1
00001f1a: RETURNDATACOPY
00001f1b: RETURNDATASIZE
00001f1c: PUSH1 0x00
00001f1e: REVERT
00001f1f: JUMPDEST
00001f20: POP
00001f21: POP
00001f22: POP
00001f23: POP
00001f24: PUSH1 0x40
00001f26: MLOAD
00001f27: RETURNDATASIZE
00001f28: PUSH1 0x20
00001f2a: DUP2
00001f2b: LT
00001f2c: ISZERO
00001f2d: PUSH2 0x1f35
00001f30: JUMPI
00001f31: PUSH1 0x00
00001f33: DUP1
00001f34: REVERT
00001f35: JUMPDEST
00001f36: POP
00001f37: MLOAD
00001f38: PUSH1 0x08
00001f3a: SLOAD
00001f3b: PUSH14 0xffffffffffffffffffffffffffff
00001f4a: DUP1
00001f4b: DUP3
00001f4c: AND
00001f4d: SWAP2
00001f4e: PUSH15 0x010000000000000000000000000000
00001f5e: SWAP1
00001f5f: DIV
00001f60: AND
00001f61: PUSH2 0x2271
00001f64: JUMP
00001f65: JUMPDEST
00001f66: PUSH1 0x01
00001f68: PUSH1 0x0c
00001f6a: SSTORE
00001f6b: JUMP
00001f6c: JUMPDEST
00001f6d: PUSH1 0x40
00001f6f: DUP1
00001f70: MLOAD
00001f71: DUP1
00001f72: DUP3
00001f73: ADD
00001f74: DUP3
00001f75: MSTORE
00001f76: PUSH1 0x19
00001f78: DUP2
00001f79: MSTORE
00001f7a: PUSH32 0x7472616e7366657228616464726573732c75696e743235362900000000000000
00001f9b: PUSH1 0x20
00001f9d: SWAP2
00001f9e: DUP3
00001f9f: ADD
00001fa0: MSTORE
00001fa1: DUP2
00001fa2: MLOAD
00001fa3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fb8: DUP6
00001fb9: DUP2
00001fba: AND
00001fbb: PUSH1 0x24
00001fbd: DUP4
00001fbe: ADD
00001fbf: MSTORE
00001fc0: PUSH1 0x44
00001fc2: DUP1
00001fc3: DUP4
00001fc4: ADD
00001fc5: DUP7
00001fc6: SWAP1
00001fc7: MSTORE
00001fc8: DUP5
00001fc9: MLOAD
00001fca: DUP1
00001fcb: DUP5
00001fcc: SUB
00001fcd: SWAP1
00001fce: SWAP2
00001fcf: ADD
00001fd0: DUP2
00001fd1: MSTORE
00001fd2: PUSH1 0x64
00001fd4: SWAP1
00001fd5: SWAP3
00001fd6: ADD
00001fd7: DUP5
00001fd8: MSTORE
00001fd9: SWAP2
00001fda: DUP2
00001fdb: ADD
00001fdc: DUP1
00001fdd: MLOAD
00001fde: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001ffb: AND
00001ffc: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
0000201d: OR
0000201e: DUP2
0000201f: MSTORE
00002020: SWAP3
00002021: MLOAD
00002022: DUP2
00002023: MLOAD
00002024: PUSH1 0x00
00002026: SWAP5
00002027: PUSH1 0x60
00002029: SWAP5
0000202a: DUP10
0000202b: AND
0000202c: SWAP4
0000202d: SWAP3
0000202e: SWAP2
0000202f: DUP3
00002030: SWAP2
00002031: SWAP1
00002032: DUP1
00002033: DUP4
00002034: DUP4
00002035: JUMPDEST
00002036: PUSH1 0x20
00002038: DUP4
00002039: LT
0000203a: PUSH2 0x2072
0000203d: JUMPI
0000203e: DUP1
0000203f: MLOAD
00002040: DUP3
00002041: MSTORE
00002042: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002063: SWAP1
00002064: SWAP3
00002065: ADD
00002066: SWAP2
00002067: PUSH1 0x20
00002069: SWAP2
0000206a: DUP3
0000206b: ADD
0000206c: SWAP2
0000206d: ADD
0000206e: PUSH2 0x2035
00002071: JUMP
00002072: JUMPDEST
00002073: PUSH1 0x01
00002075: DUP4
00002076: PUSH1 0x20
00002078: SUB
00002079: PUSH2 0x0100
0000207c: EXP
0000207d: SUB
0000207e: DUP1
0000207f: NOT
00002080: DUP3
00002081: MLOAD
00002082: AND
00002083: DUP2
00002084: DUP5
00002085: MLOAD
00002086: AND
00002087: DUP1
00002088: DUP3
00002089: OR
0000208a: DUP6
0000208b: MSTORE
0000208c: POP
0000208d: POP
0000208e: POP
0000208f: POP
00002090: POP
00002091: POP
00002092: SWAP1
00002093: POP
00002094: ADD
00002095: SWAP2
00002096: POP
00002097: POP
00002098: PUSH1 0x00
0000209a: PUSH1 0x40
0000209c: MLOAD
0000209d: DUP1
0000209e: DUP4
0000209f: SUB
000020a0: DUP2
000020a1: PUSH1 0x00
000020a3: DUP7
000020a4: GAS
000020a5: CALL
000020a6: SWAP2
000020a7: POP
000020a8: POP
000020a9: RETURNDATASIZE
000020aa: DUP1
000020ab: PUSH1 0x00
000020ad: DUP2
000020ae: EQ
000020af: PUSH2 0x20d4
000020b2: JUMPI
000020b3: PUSH1 0x40
000020b5: MLOAD
000020b6: SWAP2
000020b7: POP
000020b8: PUSH1 0x1f
000020ba: NOT
000020bb: PUSH1 0x3f
000020bd: RETURNDATASIZE
000020be: ADD
000020bf: AND
000020c0: DUP3
000020c1: ADD
000020c2: PUSH1 0x40
000020c4: MSTORE
000020c5: RETURNDATASIZE
000020c6: DUP3
000020c7: MSTORE
000020c8: RETURNDATASIZE
000020c9: PUSH1 0x00
000020cb: PUSH1 0x20
000020cd: DUP5
000020ce: ADD
000020cf: RETURNDATACOPY
000020d0: PUSH2 0x20d9
000020d3: JUMP
000020d4: JUMPDEST
000020d5: PUSH1 0x60
000020d7: SWAP2
000020d8: POP
000020d9: JUMPDEST
000020da: POP
000020db: SWAP2
000020dc: POP
000020dd: SWAP2
000020de: POP
000020df: DUP2
000020e0: DUP1
000020e1: ISZERO
000020e2: PUSH2 0x2107
000020e5: JUMPI
000020e6: POP
000020e7: DUP1
000020e8: MLOAD
000020e9: ISZERO
000020ea: DUP1
000020eb: PUSH2 0x2107
000020ee: JUMPI
000020ef: POP
000020f0: DUP1
000020f1: DUP1
000020f2: PUSH1 0x20
000020f4: ADD
000020f5: SWAP1
000020f6: MLOAD
000020f7: PUSH1 0x20
000020f9: DUP2
000020fa: LT
000020fb: ISZERO
000020fc: PUSH2 0x2104
000020ff: JUMPI
00002100: PUSH1 0x00
00002102: DUP1
00002103: REVERT
00002104: JUMPDEST
00002105: POP
00002106: MLOAD
00002107: JUMPDEST
00002108: PUSH2 0x2172
0000210b: JUMPI
0000210c: PUSH1 0x40
0000210e: DUP1
0000210f: MLOAD
00002110: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002131: DUP2
00002132: MSTORE
00002133: PUSH1 0x20
00002135: PUSH1 0x04
00002137: DUP3
00002138: ADD
00002139: MSTORE
0000213a: PUSH1 0x19
0000213c: PUSH1 0x24
0000213e: DUP3
0000213f: ADD
00002140: MSTORE
00002141: PUSH32 0x556e6963537761703a205452414e534645525f4641494c454400000000000000
00002162: PUSH1 0x44
00002164: DUP3
00002165: ADD
00002166: MSTORE
00002167: SWAP1
00002168: MLOAD
00002169: SWAP1
0000216a: DUP2
0000216b: SWAP1
0000216c: SUB
0000216d: PUSH1 0x64
0000216f: ADD
00002170: SWAP1
00002171: REVERT
00002172: JUMPDEST
00002173: POP
00002174: POP
00002175: POP
00002176: POP
00002177: POP
00002178: JUMP
00002179: JUMPDEST
0000217a: PUSH1 0x00
0000217c: DUP2
0000217d: ISZERO
0000217e: DUP1
0000217f: PUSH2 0x2194
00002182: JUMPI
00002183: POP
00002184: POP
00002185: DUP1
00002186: DUP3
00002187: MUL
00002188: DUP3
00002189: DUP3
0000218a: DUP3
0000218b: DUP2
0000218c: PUSH2 0x2191
0000218f: JUMPI
00002190: INVALID
00002191: JUMPDEST
00002192: DIV
00002193: EQ
00002194: JUMPDEST
00002195: PUSH2 0x0dcc
00002198: JUMPI
00002199: PUSH1 0x40
0000219b: DUP1
0000219c: MLOAD
0000219d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000021be: DUP2
000021bf: MSTORE
000021c0: PUSH1 0x20
000021c2: PUSH1 0x04
000021c4: DUP3
000021c5: ADD
000021c6: MSTORE
000021c7: PUSH1 0x14
000021c9: PUSH1 0x24
000021cb: DUP3
000021cc: ADD
000021cd: MSTORE
000021ce: PUSH32 0x64732d6d6174682d6d756c2d6f766572666c6f77000000000000000000000000
000021ef: PUSH1 0x44
000021f1: DUP3
000021f2: ADD
000021f3: MSTORE
000021f4: SWAP1
000021f5: MLOAD
000021f6: SWAP1
000021f7: DUP2
000021f8: SWAP1
000021f9: SUB
000021fa: PUSH1 0x64
000021fc: ADD
000021fd: SWAP1
000021fe: REVERT
000021ff: JUMPDEST
00002200: DUP1
00002201: DUP3
00002202: SUB
00002203: DUP3
00002204: DUP2
00002205: GT
00002206: ISZERO
00002207: PUSH2 0x0dcc
0000220a: JUMPI
0000220b: PUSH1 0x40
0000220d: DUP1
0000220e: MLOAD
0000220f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002230: DUP2
00002231: MSTORE
00002232: PUSH1 0x20
00002234: PUSH1 0x04
00002236: DUP3
00002237: ADD
00002238: MSTORE
00002239: PUSH1 0x15
0000223b: PUSH1 0x24
0000223d: DUP3
0000223e: ADD
0000223f: MSTORE
00002240: PUSH32 0x64732d6d6174682d7375622d756e646572666c6f770000000000000000000000
00002261: PUSH1 0x44
00002263: DUP3
00002264: ADD
00002265: MSTORE
00002266: SWAP1
00002267: MLOAD
00002268: SWAP1
00002269: DUP2
0000226a: SWAP1
0000226b: SUB
0000226c: PUSH1 0x64
0000226e: ADD
0000226f: SWAP1
00002270: REVERT
00002271: JUMPDEST
00002272: PUSH14 0xffffffffffffffffffffffffffff
00002281: DUP5
00002282: GT
00002283: DUP1
00002284: ISZERO
00002285: SWAP1
00002286: PUSH2 0x229d
00002289: JUMPI
0000228a: POP
0000228b: PUSH14 0xffffffffffffffffffffffffffff
0000229a: DUP4
0000229b: GT
0000229c: ISZERO
0000229d: JUMPDEST
0000229e: PUSH2 0x2308
000022a1: JUMPI
000022a2: PUSH1 0x40
000022a4: DUP1
000022a5: MLOAD
000022a6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000022c7: DUP2
000022c8: MSTORE
000022c9: PUSH1 0x20
000022cb: PUSH1 0x04
000022cd: DUP3
000022ce: ADD
000022cf: MSTORE
000022d0: PUSH1 0x12
000022d2: PUSH1 0x24
000022d4: DUP3
000022d5: ADD
000022d6: MSTORE
000022d7: PUSH32 0x556e6963537761703a204f564552464c4f570000000000000000000000000000
000022f8: PUSH1 0x44
000022fa: DUP3
000022fb: ADD
000022fc: MSTORE
000022fd: SWAP1
000022fe: MLOAD
000022ff: SWAP1
00002300: DUP2
00002301: SWAP1
00002302: SUB
00002303: PUSH1 0x64
00002305: ADD
00002306: SWAP1
00002307: REVERT
00002308: JUMPDEST
00002309: PUSH1 0x08
0000230b: SLOAD
0000230c: PUSH4 0xffffffff
00002311: TIMESTAMP
00002312: DUP2
00002313: AND
00002314: SWAP2
00002315: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002333: SWAP1
00002334: DIV
00002335: DUP2
00002336: AND
00002337: DUP3
00002338: SUB
00002339: SWAP1
0000233a: DUP2
0000233b: AND
0000233c: ISZERO
0000233d: DUP1
0000233e: ISZERO
0000233f: SWAP1
00002340: PUSH2 0x2358
00002343: JUMPI
00002344: POP
00002345: PUSH14 0xffffffffffffffffffffffffffff
00002354: DUP5
00002355: AND
00002356: ISZERO
00002357: ISZERO
00002358: JUMPDEST
00002359: DUP1
0000235a: ISZERO
0000235b: PUSH2 0x2373
0000235e: JUMPI
0000235f: POP
00002360: PUSH14 0xffffffffffffffffffffffffffff
0000236f: DUP4
00002370: AND
00002371: ISZERO
00002372: ISZERO
00002373: JUMPDEST
00002374: ISZERO
00002375: PUSH2 0x241d
00002378: JUMPI
00002379: DUP1
0000237a: PUSH4 0xffffffff
0000237f: AND
00002380: PUSH2 0x23b0
00002383: DUP6
00002384: PUSH2 0x238c
00002387: DUP7
00002388: PUSH2 0x29a0
0000238b: JUMP
0000238c: JUMPDEST
0000238d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000023aa: AND
000023ab: SWAP1
000023ac: PUSH2 0x29c4
000023af: JUMP
000023b0: JUMPDEST
000023b1: PUSH1 0x09
000023b3: DUP1
000023b4: SLOAD
000023b5: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000023d2: SWAP3
000023d3: SWAP1
000023d4: SWAP3
000023d5: AND
000023d6: SWAP3
000023d7: SWAP1
000023d8: SWAP3
000023d9: MUL
000023da: ADD
000023db: SWAP1
000023dc: SSTORE
000023dd: PUSH4 0xffffffff
000023e2: DUP2
000023e3: AND
000023e4: PUSH2 0x23f0
000023e7: DUP5
000023e8: PUSH2 0x238c
000023eb: DUP8
000023ec: PUSH2 0x29a0
000023ef: JUMP
000023f0: JUMPDEST
000023f1: PUSH1 0x0a
000023f3: DUP1
000023f4: SLOAD
000023f5: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002412: SWAP3
00002413: SWAP1
00002414: SWAP3
00002415: AND
00002416: SWAP3
00002417: SWAP1
00002418: SWAP3
00002419: MUL
0000241a: ADD
0000241b: SWAP1
0000241c: SSTORE
0000241d: JUMPDEST
0000241e: PUSH1 0x08
00002420: DUP1
00002421: SLOAD
00002422: PUSH32 0xffffffffffffffffffffffffffffffffffff0000000000000000000000000000
00002443: AND
00002444: PUSH14 0xffffffffffffffffffffffffffff
00002453: DUP9
00002454: DUP2
00002455: AND
00002456: SWAP2
00002457: SWAP1
00002458: SWAP2
00002459: OR
0000245a: PUSH32 0xffffffff0000000000000000000000000000ffffffffffffffffffffffffffff
0000247b: AND
0000247c: PUSH15 0x010000000000000000000000000000
0000248c: DUP9
0000248d: DUP4
0000248e: AND
0000248f: DUP2
00002490: MUL
00002491: SWAP2
00002492: SWAP1
00002493: SWAP2
00002494: OR
00002495: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000024b2: AND
000024b3: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000024d1: PUSH4 0xffffffff
000024d6: DUP8
000024d7: AND
000024d8: MUL
000024d9: OR
000024da: SWAP3
000024db: DUP4
000024dc: SWAP1
000024dd: SSTORE
000024de: PUSH1 0x40
000024e0: DUP1
000024e1: MLOAD
000024e2: DUP5
000024e3: DUP5
000024e4: AND
000024e5: DUP2
000024e6: MSTORE
000024e7: SWAP2
000024e8: SWAP1
000024e9: SWAP4
000024ea: DIV
000024eb: SWAP1
000024ec: SWAP2
000024ed: AND
000024ee: PUSH1 0x20
000024f0: DUP3
000024f1: ADD
000024f2: MSTORE
000024f3: DUP2
000024f4: MLOAD
000024f5: PUSH32 0x1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1
00002516: SWAP3
00002517: SWAP2
00002518: DUP2
00002519: SWAP1
0000251a: SUB
0000251b: SWAP1
0000251c: SWAP2
0000251d: ADD
0000251e: SWAP1
0000251f: LOG1
00002520: POP
00002521: POP
00002522: POP
00002523: POP
00002524: POP
00002525: POP
00002526: JUMP
00002527: JUMPDEST
00002528: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000253d: DUP1
0000253e: DUP5
0000253f: AND
00002540: PUSH1 0x00
00002542: DUP2
00002543: DUP2
00002544: MSTORE
00002545: PUSH1 0x02
00002547: PUSH1 0x20
00002549: SWAP1
0000254a: DUP2
0000254b: MSTORE
0000254c: PUSH1 0x40
0000254e: DUP1
0000254f: DUP4
00002550: KECCAK256
00002551: SWAP5
00002552: DUP8
00002553: AND
00002554: DUP1
00002555: DUP5
00002556: MSTORE
00002557: SWAP5
00002558: DUP3
00002559: MSTORE
0000255a: SWAP2
0000255b: DUP3
0000255c: SWAP1
0000255d: KECCAK256
0000255e: DUP6
0000255f: SWAP1
00002560: SSTORE
00002561: DUP2
00002562: MLOAD
00002563: DUP6
00002564: DUP2
00002565: MSTORE
00002566: SWAP2
00002567: MLOAD
00002568: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00002589: SWAP3
0000258a: DUP2
0000258b: SWAP1
0000258c: SUB
0000258d: SWAP1
0000258e: SWAP2
0000258f: ADD
00002590: SWAP1
00002591: LOG3
00002592: POP
00002593: POP
00002594: POP
00002595: JUMP
00002596: JUMPDEST
00002597: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025ac: DUP4
000025ad: AND
000025ae: PUSH1 0x00
000025b0: SWAP1
000025b1: DUP2
000025b2: MSTORE
000025b3: PUSH1 0x01
000025b5: PUSH1 0x20
000025b7: MSTORE
000025b8: PUSH1 0x40
000025ba: SWAP1
000025bb: KECCAK256
000025bc: SLOAD
000025bd: PUSH2 0x25c6
000025c0: SWAP1
000025c1: DUP3
000025c2: PUSH2 0x21ff
000025c5: JUMP
000025c6: JUMPDEST
000025c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025dc: DUP1
000025dd: DUP6
000025de: AND
000025df: PUSH1 0x00
000025e1: SWAP1
000025e2: DUP2
000025e3: MSTORE
000025e4: PUSH1 0x01
000025e6: PUSH1 0x20
000025e8: MSTORE
000025e9: PUSH1 0x40
000025eb: DUP1
000025ec: DUP3
000025ed: KECCAK256
000025ee: SWAP4
000025ef: SWAP1
000025f0: SWAP4
000025f1: SSTORE
000025f2: SWAP1
000025f3: DUP5
000025f4: AND
000025f5: DUP2
000025f6: MSTORE
000025f7: KECCAK256
000025f8: SLOAD
000025f9: PUSH2 0x2602
000025fc: SWAP1
000025fd: DUP3
000025fe: PUSH2 0x2a05
00002601: JUMP
00002602: JUMPDEST
00002603: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002618: DUP1
00002619: DUP5
0000261a: AND
0000261b: PUSH1 0x00
0000261d: DUP2
0000261e: DUP2
0000261f: MSTORE
00002620: PUSH1 0x01
00002622: PUSH1 0x20
00002624: SWAP1
00002625: DUP2
00002626: MSTORE
00002627: PUSH1 0x40
00002629: SWAP2
0000262a: DUP3
0000262b: SWAP1
0000262c: KECCAK256
0000262d: SWAP5
0000262e: SWAP1
0000262f: SWAP5
00002630: SSTORE
00002631: DUP1
00002632: MLOAD
00002633: DUP6
00002634: DUP2
00002635: MSTORE
00002636: SWAP1
00002637: MLOAD
00002638: SWAP2
00002639: SWAP4
0000263a: SWAP3
0000263b: DUP8
0000263c: AND
0000263d: SWAP3
0000263e: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000265f: SWAP3
00002660: SWAP2
00002661: DUP3
00002662: SWAP1
00002663: SUB
00002664: ADD
00002665: SWAP1
00002666: LOG3
00002667: POP
00002668: POP
00002669: POP
0000266a: JUMP
0000266b: JUMPDEST
0000266c: PUSH1 0x00
0000266e: DUP1
0000266f: PUSH1 0x05
00002671: PUSH1 0x00
00002673: SWAP1
00002674: SLOAD
00002675: SWAP1
00002676: PUSH2 0x0100
00002679: EXP
0000267a: SWAP1
0000267b: DIV
0000267c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002691: AND
00002692: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026a7: AND
000026a8: PUSH4 0x017e7e58
000026ad: PUSH1 0x40
000026af: MLOAD
000026b0: DUP2
000026b1: PUSH4 0xffffffff
000026b6: AND
000026b7: PUSH1 0xe0
000026b9: SHL
000026ba: DUP2
000026bb: MSTORE
000026bc: PUSH1 0x04
000026be: ADD
000026bf: PUSH1 0x20
000026c1: PUSH1 0x40
000026c3: MLOAD
000026c4: DUP1
000026c5: DUP4
000026c6: SUB
000026c7: DUP2
000026c8: DUP7
000026c9: DUP1
000026ca: EXTCODESIZE
000026cb: ISZERO
000026cc: DUP1
000026cd: ISZERO
000026ce: PUSH2 0x26d6
000026d1: JUMPI
000026d2: PUSH1 0x00
000026d4: DUP1
000026d5: REVERT
000026d6: JUMPDEST
000026d7: POP
000026d8: GAS
000026d9: STATICCALL
000026da: ISZERO
000026db: DUP1
000026dc: ISZERO
000026dd: PUSH2 0x26ea
000026e0: JUMPI
000026e1: RETURNDATASIZE
000026e2: PUSH1 0x00
000026e4: DUP1
000026e5: RETURNDATACOPY
000026e6: RETURNDATASIZE
000026e7: PUSH1 0x00
000026e9: REVERT
000026ea: JUMPDEST
000026eb: POP
000026ec: POP
000026ed: POP
000026ee: POP
000026ef: PUSH1 0x40
000026f1: MLOAD
000026f2: RETURNDATASIZE
000026f3: PUSH1 0x20
000026f5: DUP2
000026f6: LT
000026f7: ISZERO
000026f8: PUSH2 0x2700
000026fb: JUMPI
000026fc: PUSH1 0x00
000026fe: DUP1
000026ff: REVERT
00002700: JUMPDEST
00002701: POP
00002702: MLOAD
00002703: PUSH1 0x0b
00002705: SLOAD
00002706: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000271b: DUP3
0000271c: AND
0000271d: ISZERO
0000271e: DUP1
0000271f: ISZERO
00002720: SWAP5
00002721: POP
00002722: SWAP2
00002723: SWAP3
00002724: POP
00002725: SWAP1
00002726: PUSH2 0x27c5
00002729: JUMPI
0000272a: DUP1
0000272b: ISZERO
0000272c: PUSH2 0x27c0
0000272f: JUMPI
00002730: PUSH1 0x00
00002732: PUSH2 0x2751
00002735: PUSH2 0x1215
00002738: PUSH14 0xffffffffffffffffffffffffffff
00002747: DUP9
00002748: DUP2
00002749: AND
0000274a: SWAP1
0000274b: DUP9
0000274c: AND
0000274d: PUSH2 0x2179
00002750: JUMP
00002751: JUMPDEST
00002752: SWAP1
00002753: POP
00002754: PUSH1 0x00
00002756: PUSH2 0x275e
00002759: DUP4
0000275a: PUSH2 0x27d9
0000275d: JUMP
0000275e: JUMPDEST
0000275f: SWAP1
00002760: POP
00002761: DUP1
00002762: DUP3
00002763: GT
00002764: ISZERO
00002765: PUSH2 0x27bd
00002768: JUMPI
00002769: PUSH1 0x00
0000276b: PUSH2 0x2780
0000276e: PUSH2 0x2777
00002771: DUP5
00002772: DUP5
00002773: PUSH2 0x21ff
00002776: JUMP
00002777: JUMPDEST
00002778: PUSH1 0x00
0000277a: SLOAD
0000277b: SWAP1
0000277c: PUSH2 0x2179
0000277f: JUMP
00002780: JUMPDEST
00002781: SWAP1
00002782: POP
00002783: PUSH1 0x00
00002785: PUSH2 0x2799
00002788: DUP4
00002789: PUSH2 0x2793
0000278c: DUP7
0000278d: PUSH1 0x05
0000278f: PUSH2 0x2179
00002792: JUMP
00002793: JUMPDEST
00002794: SWAP1
00002795: PUSH2 0x2a05
00002798: JUMP
00002799: JUMPDEST
0000279a: SWAP1
0000279b: POP
0000279c: PUSH1 0x00
0000279e: DUP2
0000279f: DUP4
000027a0: DUP2
000027a1: PUSH2 0x27a6
000027a4: JUMPI
000027a5: INVALID
000027a6: JUMPDEST
000027a7: DIV
000027a8: SWAP1
000027a9: POP
000027aa: DUP1
000027ab: ISZERO
000027ac: PUSH2 0x27b9
000027af: JUMPI
000027b0: PUSH2 0x27b9
000027b3: DUP8
000027b4: DUP3
000027b5: PUSH2 0x282b
000027b8: JUMP
000027b9: JUMPDEST
000027ba: POP
000027bb: POP
000027bc: POP
000027bd: JUMPDEST
000027be: POP
000027bf: POP
000027c0: JUMPDEST
000027c1: PUSH2 0x27d1
000027c4: JUMP
000027c5: JUMPDEST
000027c6: DUP1
000027c7: ISZERO
000027c8: PUSH2 0x27d1
000027cb: JUMPI
000027cc: PUSH1 0x00
000027ce: PUSH1 0x0b
000027d0: SSTORE
000027d1: JUMPDEST
000027d2: POP
000027d3: POP
000027d4: SWAP3
000027d5: SWAP2
000027d6: POP
000027d7: POP
000027d8: JUMP
000027d9: JUMPDEST
000027da: PUSH1 0x00
000027dc: PUSH1 0x03
000027de: DUP3
000027df: GT
000027e0: ISZERO
000027e1: PUSH2 0x281c
000027e4: JUMPI
000027e5: POP
000027e6: DUP1
000027e7: PUSH1 0x01
000027e9: PUSH1 0x02
000027eb: DUP3
000027ec: DIV
000027ed: ADD
000027ee: JUMPDEST
000027ef: DUP2
000027f0: DUP2
000027f1: LT
000027f2: ISZERO
000027f3: PUSH2 0x2816
000027f6: JUMPI
000027f7: DUP1
000027f8: SWAP2
000027f9: POP
000027fa: PUSH1 0x02
000027fc: DUP2
000027fd: DUP3
000027fe: DUP6
000027ff: DUP2
00002800: PUSH2 0x2805
00002803: JUMPI
00002804: INVALID
00002805: JUMPDEST
00002806: DIV
00002807: ADD
00002808: DUP2
00002809: PUSH2 0x280e
0000280c: JUMPI
0000280d: INVALID
0000280e: JUMPDEST
0000280f: DIV
00002810: SWAP1
00002811: POP
00002812: PUSH2 0x27ee
00002815: JUMP
00002816: JUMPDEST
00002817: POP
00002818: PUSH2 0x2826
0000281b: JUMP
0000281c: JUMPDEST
0000281d: DUP2
0000281e: ISZERO
0000281f: PUSH2 0x2826
00002822: JUMPI
00002823: POP
00002824: PUSH1 0x01
00002826: JUMPDEST
00002827: SWAP2
00002828: SWAP1
00002829: POP
0000282a: JUMP
0000282b: JUMPDEST
0000282c: PUSH1 0x00
0000282e: SLOAD
0000282f: PUSH2 0x2838
00002832: SWAP1
00002833: DUP3
00002834: PUSH2 0x2a05
00002837: JUMP
00002838: JUMPDEST
00002839: PUSH1 0x00
0000283b: SWAP1
0000283c: DUP2
0000283d: SSTORE
0000283e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002853: DUP4
00002854: AND
00002855: DUP2
00002856: MSTORE
00002857: PUSH1 0x01
00002859: PUSH1 0x20
0000285b: MSTORE
0000285c: PUSH1 0x40
0000285e: SWAP1
0000285f: KECCAK256
00002860: SLOAD
00002861: PUSH2 0x286a
00002864: SWAP1
00002865: DUP3
00002866: PUSH2 0x2a05
00002869: JUMP
0000286a: JUMPDEST
0000286b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002880: DUP4
00002881: AND
00002882: PUSH1 0x00
00002884: DUP2
00002885: DUP2
00002886: MSTORE
00002887: PUSH1 0x01
00002889: PUSH1 0x20
0000288b: SWAP1
0000288c: DUP2
0000288d: MSTORE
0000288e: PUSH1 0x40
00002890: DUP1
00002891: DUP4
00002892: KECCAK256
00002893: SWAP5
00002894: SWAP1
00002895: SWAP5
00002896: SSTORE
00002897: DUP4
00002898: MLOAD
00002899: DUP6
0000289a: DUP2
0000289b: MSTORE
0000289c: SWAP4
0000289d: MLOAD
0000289e: SWAP3
0000289f: SWAP4
000028a0: SWAP2
000028a1: SWAP3
000028a2: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000028c3: SWAP3
000028c4: DUP2
000028c5: SWAP1
000028c6: SUB
000028c7: SWAP1
000028c8: SWAP2
000028c9: ADD
000028ca: SWAP1
000028cb: LOG3
000028cc: POP
000028cd: POP
000028ce: JUMP
000028cf: JUMPDEST
000028d0: PUSH1 0x00
000028d2: DUP2
000028d3: DUP4
000028d4: LT
000028d5: PUSH2 0x28de
000028d8: JUMPI
000028d9: DUP2
000028da: PUSH2 0x28e0
000028dd: JUMP
000028de: JUMPDEST
000028df: DUP3
000028e0: JUMPDEST
000028e1: SWAP4
000028e2: SWAP3
000028e3: POP
000028e4: POP
000028e5: POP
000028e6: JUMP
000028e7: JUMPDEST
000028e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028fd: DUP3
000028fe: AND
000028ff: PUSH1 0x00
00002901: SWAP1
00002902: DUP2
00002903: MSTORE
00002904: PUSH1 0x01
00002906: PUSH1 0x20
00002908: MSTORE
00002909: PUSH1 0x40
0000290b: SWAP1
0000290c: KECCAK256
0000290d: SLOAD
0000290e: PUSH2 0x2917
00002911: SWAP1
00002912: DUP3
00002913: PUSH2 0x21ff
00002916: JUMP
00002917: JUMPDEST
00002918: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000292d: DUP4
0000292e: AND
0000292f: PUSH1 0x00
00002931: SWAP1
00002932: DUP2
00002933: MSTORE
00002934: PUSH1 0x01
00002936: PUSH1 0x20
00002938: MSTORE
00002939: PUSH1 0x40
0000293b: DUP2
0000293c: KECCAK256
0000293d: SWAP2
0000293e: SWAP1
0000293f: SWAP2
00002940: SSTORE
00002941: SLOAD
00002942: PUSH2 0x294b
00002945: SWAP1
00002946: DUP3
00002947: PUSH2 0x21ff
0000294a: JUMP
0000294b: JUMPDEST
0000294c: PUSH1 0x00
0000294e: SWAP1
0000294f: DUP2
00002950: SSTORE
00002951: PUSH1 0x40
00002953: DUP1
00002954: MLOAD
00002955: DUP4
00002956: DUP2
00002957: MSTORE
00002958: SWAP1
00002959: MLOAD
0000295a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000296f: DUP6
00002970: AND
00002971: SWAP2
00002972: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002993: SWAP2
00002994: SWAP1
00002995: DUP2
00002996: SWAP1
00002997: SUB
00002998: PUSH1 0x20
0000299a: ADD
0000299b: SWAP1
0000299c: LOG3
0000299d: POP
0000299e: POP
0000299f: JUMP
000029a0: JUMPDEST
000029a1: PUSH14 0xffffffffffffffffffffffffffff
000029b0: AND
000029b1: PUSH15 0x010000000000000000000000000000
000029c1: MUL
000029c2: SWAP1
000029c3: JUMP
000029c4: JUMPDEST
000029c5: PUSH1 0x00
000029c7: PUSH14 0xffffffffffffffffffffffffffff
000029d6: DUP3
000029d7: AND
000029d8: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000029f5: DUP5
000029f6: AND
000029f7: DUP2
000029f8: PUSH2 0x29fd
000029fb: JUMPI
000029fc: INVALID
000029fd: JUMPDEST
000029fe: DIV
000029ff: SWAP4
00002a00: SWAP3
00002a01: POP
00002a02: POP
00002a03: POP
00002a04: JUMP
00002a05: JUMPDEST
00002a06: DUP1
00002a07: DUP3
00002a08: ADD
00002a09: DUP3
00002a0a: DUP2
00002a0b: LT
00002a0c: ISZERO
00002a0d: PUSH2 0x0dcc
00002a10: JUMPI
00002a11: PUSH1 0x40
00002a13: DUP1
00002a14: MLOAD
00002a15: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002a36: DUP2
00002a37: MSTORE
00002a38: PUSH1 0x20
00002a3a: PUSH1 0x04
00002a3c: DUP3
00002a3d: ADD
00002a3e: MSTORE
00002a3f: PUSH1 0x14
00002a41: PUSH1 0x24
00002a43: DUP3
00002a44: ADD
00002a45: MSTORE
00002a46: PUSH32 0x64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000
00002a67: PUSH1 0x44
00002a69: DUP3
00002a6a: ADD
00002a6b: MSTORE
00002a6c: SWAP1
00002a6d: MLOAD
00002a6e: SWAP1
00002a6f: DUP2
00002a70: SWAP1
00002a71: SUB
00002a72: PUSH1 0x64
00002a74: ADD
00002a75: SWAP1
00002a76: REVERT
00002a77: INVALID
00002a78: SSTORE
00002a79: PUSH15 0x6963537761703a20494e5355464649
00002a89: NUMBER
00002a8a: BLOBHASH
00002a8b: GASLIMIT
00002a8c: UNKNOWN(0x4E)
00002a8d: SLOAD
00002a8e: PUSH0
00002a8f: UNKNOWN(0x4F)
00002a90: SSTORE
00002a91: SLOAD
00002a92: POP
00002a93: SSTORE
00002a94: SLOAD
00002a95: PUSH0
00002a96: COINBASE
00002a97: UNKNOWN(0x4D)
00002a98: UNKNOWN(0x4F)
00002a99: SSTORE
00002a9a: UNKNOWN(0x4E)
00002a9b: SLOAD
00002a9c: SSTORE
00002a9d: PUSH15 0x6963537761703a20494e5355464649
00002aad: NUMBER
00002aae: BLOBHASH
00002aaf: GASLIMIT
00002ab0: UNKNOWN(0x4E)
00002ab1: SLOAD
00002ab2: PUSH0
00002ab3: UNKNOWN(0x4C)
00002ab4: BLOBHASH
00002ab5: MLOAD
00002ab6: SSTORE
00002ab7: BLOBHASH
00002ab8: DIFFICULTY
00002ab9: BLOBHASH
00002aba: SLOAD
00002abb: MSIZE
00002abc: PUSH0
00002abd: TIMESTAMP
00002abe: SSTORE
00002abf: MSTORE
00002ac0: UNKNOWN(0x4E)
00002ac1: GASLIMIT
00002ac2: DIFFICULTY
00002ac3: SSTORE
00002ac4: PUSH15 0x6963537761703a20494e5355464649
00002ad4: NUMBER
00002ad5: BLOBHASH
00002ad6: GASLIMIT
00002ad7: UNKNOWN(0x4E)
00002ad8: SLOAD
00002ad9: PUSH0
00002ada: UNKNOWN(0x4C)
00002adb: BLOBHASH
00002adc: MLOAD
00002add: SSTORE
00002ade: BLOBHASH
00002adf: DIFFICULTY
00002ae0: BLOBHASH
00002ae1: SLOAD
00002ae2: MSIZE
00002ae3: PUSH0
00002ae4: UNKNOWN(0x4D)
00002ae5: BLOBHASH
00002ae6: UNKNOWN(0x4E)
00002ae7: SLOAD
00002ae8: GASLIMIT
00002ae9: DIFFICULTY
00002aea: SSTORE
00002aeb: PUSH15 0x6963537761703a20494e5355464649
00002afb: NUMBER
00002afc: BLOBHASH
00002afd: GASLIMIT
00002afe: UNKNOWN(0x4E)
00002aff: SLOAD
00002b00: PUSH0
00002b01: BLOBHASH
00002b02: UNKNOWN(0x4E)
00002b03: POP
00002b04: SSTORE
00002b05: SLOAD
00002b06: PUSH0
00002b07: COINBASE
00002b08: UNKNOWN(0x4D)
00002b09: UNKNOWN(0x4F)
00002b0a: SSTORE
00002b0b: UNKNOWN(0x4E)
00002b0c: SLOAD
00002b0d: LOG2
00002b0e: PUSH5 0x6970667358
00002b14: UNKNOWN(0x22)
00002b15: SLT
00002b16: KECCAK256
00002b17: RETURNDATASIZE
00002b18: UNKNOWN(0xE7)
00002b19: SELFDESTRUCT
00002b1a: SLOAD
00002b1b: MSTORE8
00002b1c: UNKNOWN(0x4F)
00002b1d: UNKNOWN(0xAC)
00002b1e: UNKNOWN(0xF6)
00002b1f: UNKNOWN(0x28)
00002b20: UNKNOWN(0xB6)
00002b21: UNKNOWN(0xEC)
00002b22: UNKNOWN(0xD2)
00002b23: MOD
00002b24: UNKNOWN(0x2E)
00002b25: LOG3
00002b26: PUSH14 0x3a768b4ed3c17f6df850db6f0ed1
00002b35: UNKNOWN(0x0C)
00002b36: EQ
00002b37: PUSH5 0x736f6c6343
00002b3d: STOP
00002b3e: MOD
00002b3f: UNKNOWN(0x0C)
00002b40: STOP
00002b41: CALLER