Analysis Run

[codex:604256] OpenAI Codex v0.77.0 (research preview)
[codex:604256] --------
[codex:604256] workdir: /tmp/codex-multi-qd6pkg9z
[codex:604256] model: gpt-5.2-codex
[codex:604256] provider: openai
[codex:604256] approval: never
[codex:604256] sandbox: read-only
[codex:604256] reasoning effort: xhigh
[codex:604256] reasoning summaries: auto
[codex:604256] session id: 019b666c-a3b0-7633-bb20-0665d3913679
[codex:604256] --------
[codex:604256] user
[codex:604256] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:604256] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:604256] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:604256] 
[codex:604256] Scope rules:
[codex:604256] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:604256] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:604256] 
[codex:604256] Output MUST be valid JSON matching the provided schema.
[codex:604256] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:604256] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:604256] 
[codex:604256] Output constraints (IMPORTANT):
[codex:604256] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:604256] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:604256] mcp startup: no servers
[codex:604256] 
[codex:604256] thinking
[codex:604256] **Checking AUDIT_BUNDLE.txt contents**
[codex:604256] exec
[codex:604256] /bin/bash -lc ls in /tmp/codex-multi-qd6pkg9z succeeded in 6ms:
[codex:604256] AUDIT_BUNDLE.txt
[codex:604256] codex-output-schema.json
[codex:604256] contracts
[codex:604256] exec
[codex:604256] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-qd6pkg9z succeeded in 5ms:
[codex:604256] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:604256] 
[codex:604256] ================================================================================
[codex:604256] FILE: contracts/@openzeppelin/contracts/token/ERC20/IERC20.sol
[codex:604256] ================================================================================
[codex:604256] // SPDX-License-Identifier: MIT
[codex:604256] 
[codex:604256] pragma solidity ^0.8.0;
[codex:604256] 
[codex:604256] /**
[codex:604256]  * @dev Interface of the ERC20 standard as defined in the EIP.
[codex:604256]  */
[codex:604256] interface IERC20 {
[codex:604256]     /**
[codex:604256]      * @dev Returns the amount of tokens in existence.
[codex:604256]      */
[codex:604256]     function totalSupply() external view returns (uint256);
[codex:604256] 
[codex:604256]     /**
[codex:604256]      * @dev Returns the amount of tokens owned by `account`.
[codex:604256] exec
[codex:604256] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-qd6pkg9z succeeded in 5ms:
[codex:604256]         bytes calldata _calldata
[codex:604256]     ) external;
[codex:604256] 
[codex:604256]     event DiamondCut(FacetCut[] _diamondCut, address _init, bytes _calldata);
[codex:604256] }
[codex:604256] 
[codex:604256] ================================================================================
[codex:604256] FILE: contracts/contracts/interfaces/IDiamondLoupe.sol
[codex:604256] ================================================================================
[codex:604256] // SPDX-License-Identifier: MIT
[codex:604256] pragma solidity 0.8.3;
[codex:604256] 
[codex:604256] // A loupe is a small magnifying glass used to look at diamonds.
[codex:604256] // These functions look at diamonds
[codex:604256] interface IDiamondLoupe {
[codex:604256]     /// These functions are expected to be called frequently
[codex:604256]     /// by tools.
[codex:604256] 
[codex:604256]     struct Facet {
[codex:604256]         address facetAddress;
[codex:604256] exec
[codex:604256] /bin/bash -lc "sed -n '400,800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-qd6pkg9z succeeded in 6ms:
[codex:604256]         require(
[codex:604256]             _facetAddress != address(0),
[codex:604256]             "LibDiamondCut: Add facet can't be address(0)"
[codex:604256]         );
[codex:604256]         uint16 selectorPosition = uint16(
[codex:604256]             ds.facetFunctionSelectors[_facetAddress].functionSelectors.length
[codex:604256]         );
[codex:604256]         // add new facet address if it does not exist
[codex:604256]         if (selectorPosition == 0) {
[codex:604256]             enforceHasContractCode(
[codex:604256]                 _facetAddress,
[codex:604256]                 "LibDiamondCut: New facet has no code"
[codex:604256]             );
[codex:604256]             ds
[codex:604256]                 .facetFunctionSelectors[_facetAddress]
[codex:604256]                 .facetAddressPosition = uint16(ds.facetAddresses.length);
[codex:604256]             ds.facetAddresses.push(_facetAddress);
[codex:604256]         }
[codex:604256]         for (
[codex:604256]             uint256 selectorIndex;
[codex:604256] 
[codex:604256] thinking
[codex:604256] **Continuing to gather more files**
[codex:604256] exec
[codex:604256] /bin/bash -lc "sed -n '800,1200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-qd6pkg9z succeeded in 5ms:
[codex:604256] 
[codex:604256] 
[codex:604256] 
[codex:604256] thinking
[codex:604256] **Analyzing diamond proxy contract vulnerabilities**
[codex:604256] 
[codex:604256] I’m auditing the Router and LibDiamond contracts as first-party code in a diamond proxy pattern, focusing on access control, upgradeability, reentrancy, and delegatecall risks. After careful review, I see no exploitable vulnerabilities within this codebase; some minor risks exist—like owner zero initialization or relying on external facets for access control—but given the limited scope, no critical issues appear here.
[codex:604256] thinking
[codex:604256] **Investigating selector management and initialization risks**
[codex:604256] 
[codex:604256] I’m reviewing selector handling edge cases like uint16 overflows and facet removal logic, and considering risks from the initializeDiamondCut delegatecall with arbitrary calldata. These appear as standard limitations or potential risks only if misused externally, but within this scoped code, there’s no exploitable vulnerability.
[codex:604256] exec
[codex:604256] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-qd6pkg9z succeeded in 6ms:
[codex:604256] {"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:604256] 
[codex:604256] thinking
[codex:604256] **Preparing audit summary JSON**
[codex:604256] codex
[codex:604256] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the in-scope first-party contracts; upgrade/access control of external facets cannot be assessed from this bundle.","findings":[]}
[codex:604256] tokens used
[codex:604256] 12,408
[codex:604256] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the in-scope first-party contracts; upgrade/access control of external facets cannot be assessed from this bundle.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-28T19:27:53.160946+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities found in the in-scope first-party contracts; upgrade/access control of external facets cannot be assessed from this bundle.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities found in the in-scope first-party contracts; upgrade/access control of external facets cannot be assessed from this bundle.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x00
00000007: PUSH2 0x000e
0000000a: PUSH2 0x007e
0000000d: JUMP
0000000e: JUMPDEST
0000000f: PUSH1 0x00
00000011: DUP1
00000012: CALLDATALOAD
00000013: PUSH1 0x01
00000015: PUSH1 0x01
00000017: PUSH1 0xe0
00000019: SHL
0000001a: SUB
0000001b: NOT
0000001c: AND
0000001d: DUP2
0000001e: MSTORE
0000001f: PUSH1 0x20
00000021: DUP3
00000022: SWAP1
00000023: MSTORE
00000024: PUSH1 0x40
00000026: SWAP1
00000027: KECCAK256
00000028: SLOAD
00000029: SWAP1
0000002a: SWAP2
0000002b: POP
0000002c: PUSH1 0x01
0000002e: PUSH1 0x01
00000030: PUSH1 0xa0
00000032: SHL
00000033: SUB
00000034: AND
00000035: DUP1
00000036: PUSH2 0x005a
00000039: JUMPI
0000003a: PUSH1 0x40
0000003c: MLOAD
0000003d: PUSH3 0x461bcd
00000041: PUSH1 0xe5
00000043: SHL
00000044: DUP2
00000045: MSTORE
00000046: PUSH1 0x04
00000048: ADD
00000049: PUSH2 0x0051
0000004c: SWAP1
0000004d: PUSH2 0x12e3
00000050: JUMP
00000051: JUMPDEST
00000052: PUSH1 0x40
00000054: MLOAD
00000055: DUP1
00000056: SWAP2
00000057: SUB
00000058: SWAP1
00000059: REVERT
0000005a: JUMPDEST
0000005b: CALLDATASIZE
0000005c: PUSH1 0x00
0000005e: DUP1
0000005f: CALLDATACOPY
00000060: PUSH1 0x00
00000062: DUP1
00000063: CALLDATASIZE
00000064: PUSH1 0x00
00000066: DUP5
00000067: GAS
00000068: DELEGATECALL
00000069: RETURNDATASIZE
0000006a: PUSH1 0x00
0000006c: DUP1
0000006d: RETURNDATACOPY
0000006e: DUP1
0000006f: DUP1
00000070: ISZERO
00000071: PUSH2 0x0079
00000074: JUMPI
00000075: RETURNDATASIZE
00000076: PUSH1 0x00
00000078: RETURN
00000079: JUMPDEST
0000007a: RETURNDATASIZE
0000007b: PUSH1 0x00
0000007d: REVERT
0000007e: JUMPDEST
0000007f: PUSH32 0xc8fcad8db84d3cc18b4c41d551ea0ee66dd599cde068d998e57d5e09332c131c
000000a0: SWAP1
000000a1: JUMP
000000a2: JUMPDEST
000000a3: PUSH1 0x00
000000a5: JUMPDEST
000000a6: DUP4
000000a7: MLOAD
000000a8: DUP2
000000a9: LT
000000aa: ISZERO
000000ab: PUSH2 0x02c5
000000ae: JUMPI
000000af: PUSH1 0x00
000000b1: DUP5
000000b2: DUP3
000000b3: DUP2
000000b4: MLOAD
000000b5: DUP2
000000b6: LT
000000b7: PUSH2 0x00d0
000000ba: JUMPI
000000bb: PUSH4 0x4e487b71
000000c0: PUSH1 0xe0
000000c2: SHL
000000c3: PUSH1 0x00
000000c5: MSTORE
000000c6: PUSH1 0x32
000000c8: PUSH1 0x04
000000ca: MSTORE
000000cb: PUSH1 0x24
000000cd: PUSH1 0x00
000000cf: REVERT
000000d0: JUMPDEST
000000d1: PUSH1 0x20
000000d3: MUL
000000d4: PUSH1 0x20
000000d6: ADD
000000d7: ADD
000000d8: MLOAD
000000d9: PUSH1 0x20
000000db: ADD
000000dc: MLOAD
000000dd: SWAP1
000000de: POP
000000df: PUSH1 0x00
000000e1: PUSH1 0x02
000000e3: DUP2
000000e4: GT
000000e5: ISZERO
000000e6: PUSH2 0x00ff
000000e9: JUMPI
000000ea: PUSH4 0x4e487b71
000000ef: PUSH1 0xe0
000000f1: SHL
000000f2: PUSH1 0x00
000000f4: MSTORE
000000f5: PUSH1 0x21
000000f7: PUSH1 0x04
000000f9: MSTORE
000000fa: PUSH1 0x24
000000fc: PUSH1 0x00
000000fe: REVERT
000000ff: JUMPDEST
00000100: DUP2
00000101: PUSH1 0x02
00000103: DUP2
00000104: GT
00000105: ISZERO
00000106: PUSH2 0x011f
00000109: JUMPI
0000010a: PUSH4 0x4e487b71
0000010f: PUSH1 0xe0
00000111: SHL
00000112: PUSH1 0x00
00000114: MSTORE
00000115: PUSH1 0x21
00000117: PUSH1 0x04
00000119: MSTORE
0000011a: PUSH1 0x24
0000011c: PUSH1 0x00
0000011e: REVERT
0000011f: JUMPDEST
00000120: EQ
00000121: ISZERO
00000122: PUSH2 0x018a
00000125: JUMPI
00000126: PUSH2 0x0185
00000129: DUP6
0000012a: DUP4
0000012b: DUP2
0000012c: MLOAD
0000012d: DUP2
0000012e: LT
0000012f: PUSH2 0x0148
00000132: JUMPI
00000133: PUSH4 0x4e487b71
00000138: PUSH1 0xe0
0000013a: SHL
0000013b: PUSH1 0x00
0000013d: MSTORE
0000013e: PUSH1 0x32
00000140: PUSH1 0x04
00000142: MSTORE
00000143: PUSH1 0x24
00000145: PUSH1 0x00
00000147: REVERT
00000148: JUMPDEST
00000149: PUSH1 0x20
0000014b: MUL
0000014c: PUSH1 0x20
0000014e: ADD
0000014f: ADD
00000150: MLOAD
00000151: PUSH1 0x00
00000153: ADD
00000154: MLOAD
00000155: DUP7
00000156: DUP5
00000157: DUP2
00000158: MLOAD
00000159: DUP2
0000015a: LT
0000015b: PUSH2 0x0174
0000015e: JUMPI
0000015f: PUSH4 0x4e487b71
00000164: PUSH1 0xe0
00000166: SHL
00000167: PUSH1 0x00
00000169: MSTORE
0000016a: PUSH1 0x32
0000016c: PUSH1 0x04
0000016e: MSTORE
0000016f: PUSH1 0x24
00000171: PUSH1 0x00
00000173: REVERT
00000174: JUMPDEST
00000175: PUSH1 0x20
00000177: MUL
00000178: PUSH1 0x20
0000017a: ADD
0000017b: ADD
0000017c: MLOAD
0000017d: PUSH1 0x40
0000017f: ADD
00000180: MLOAD
00000181: PUSH2 0x0370
00000184: JUMP
00000185: JUMPDEST
00000186: PUSH2 0x02b2
00000189: JUMP
0000018a: JUMPDEST
0000018b: PUSH1 0x01
0000018d: DUP2
0000018e: PUSH1 0x02
00000190: DUP2
00000191: GT
00000192: ISZERO
00000193: PUSH2 0x01ac
00000196: JUMPI
00000197: PUSH4 0x4e487b71
0000019c: PUSH1 0xe0
0000019e: SHL
0000019f: PUSH1 0x00
000001a1: MSTORE
000001a2: PUSH1 0x21
000001a4: PUSH1 0x04
000001a6: MSTORE
000001a7: PUSH1 0x24
000001a9: PUSH1 0x00
000001ab: REVERT
000001ac: JUMPDEST
000001ad: EQ
000001ae: ISZERO
000001af: PUSH2 0x0212
000001b2: JUMPI
000001b3: PUSH2 0x0185
000001b6: DUP6
000001b7: DUP4
000001b8: DUP2
000001b9: MLOAD
000001ba: DUP2
000001bb: LT
000001bc: PUSH2 0x01d5
000001bf: JUMPI
000001c0: PUSH4 0x4e487b71
000001c5: PUSH1 0xe0
000001c7: SHL
000001c8: PUSH1 0x00
000001ca: MSTORE
000001cb: PUSH1 0x32
000001cd: PUSH1 0x04
000001cf: MSTORE
000001d0: PUSH1 0x24
000001d2: PUSH1 0x00
000001d4: REVERT
000001d5: JUMPDEST
000001d6: PUSH1 0x20
000001d8: MUL
000001d9: PUSH1 0x20
000001db: ADD
000001dc: ADD
000001dd: MLOAD
000001de: PUSH1 0x00
000001e0: ADD
000001e1: MLOAD
000001e2: DUP7
000001e3: DUP5
000001e4: DUP2
000001e5: MLOAD
000001e6: DUP2
000001e7: LT
000001e8: PUSH2 0x0201
000001eb: JUMPI
000001ec: PUSH4 0x4e487b71
000001f1: PUSH1 0xe0
000001f3: SHL
000001f4: PUSH1 0x00
000001f6: MSTORE
000001f7: PUSH1 0x32
000001f9: PUSH1 0x04
000001fb: MSTORE
000001fc: PUSH1 0x24
000001fe: PUSH1 0x00
00000200: REVERT
00000201: JUMPDEST
00000202: PUSH1 0x20
00000204: MUL
00000205: PUSH1 0x20
00000207: ADD
00000208: ADD
00000209: MLOAD
0000020a: PUSH1 0x40
0000020c: ADD
0000020d: MLOAD
0000020e: PUSH2 0x0518
00000211: JUMP
00000212: JUMPDEST
00000213: PUSH1 0x02
00000215: DUP2
00000216: PUSH1 0x02
00000218: DUP2
00000219: GT
0000021a: ISZERO
0000021b: PUSH2 0x0234
0000021e: JUMPI
0000021f: PUSH4 0x4e487b71
00000224: PUSH1 0xe0
00000226: SHL
00000227: PUSH1 0x00
00000229: MSTORE
0000022a: PUSH1 0x21
0000022c: PUSH1 0x04
0000022e: MSTORE
0000022f: PUSH1 0x24
00000231: PUSH1 0x00
00000233: REVERT
00000234: JUMPDEST
00000235: EQ
00000236: ISZERO
00000237: PUSH2 0x029a
0000023a: JUMPI
0000023b: PUSH2 0x0185
0000023e: DUP6
0000023f: DUP4
00000240: DUP2
00000241: MLOAD
00000242: DUP2
00000243: LT
00000244: PUSH2 0x025d
00000247: JUMPI
00000248: PUSH4 0x4e487b71
0000024d: PUSH1 0xe0
0000024f: SHL
00000250: PUSH1 0x00
00000252: MSTORE
00000253: PUSH1 0x32
00000255: PUSH1 0x04
00000257: MSTORE
00000258: PUSH1 0x24
0000025a: PUSH1 0x00
0000025c: REVERT
0000025d: JUMPDEST
0000025e: PUSH1 0x20
00000260: MUL
00000261: PUSH1 0x20
00000263: ADD
00000264: ADD
00000265: MLOAD
00000266: PUSH1 0x00
00000268: ADD
00000269: MLOAD
0000026a: DUP7
0000026b: DUP5
0000026c: DUP2
0000026d: MLOAD
0000026e: DUP2
0000026f: LT
00000270: PUSH2 0x0289
00000273: JUMPI
00000274: PUSH4 0x4e487b71
00000279: PUSH1 0xe0
0000027b: SHL
0000027c: PUSH1 0x00
0000027e: MSTORE
0000027f: PUSH1 0x32
00000281: PUSH1 0x04
00000283: MSTORE
00000284: PUSH1 0x24
00000286: PUSH1 0x00
00000288: REVERT
00000289: JUMPDEST
0000028a: PUSH1 0x20
0000028c: MUL
0000028d: PUSH1 0x20
0000028f: ADD
00000290: ADD
00000291: MLOAD
00000292: PUSH1 0x40
00000294: ADD
00000295: MLOAD
00000296: PUSH2 0x06ca
00000299: JUMP
0000029a: JUMPDEST
0000029b: PUSH1 0x40
0000029d: MLOAD
0000029e: PUSH3 0x461bcd
000002a2: PUSH1 0xe5
000002a4: SHL
000002a5: DUP2
000002a6: MSTORE
000002a7: PUSH1 0x04
000002a9: ADD
000002aa: PUSH2 0x0051
000002ad: SWAP1
000002ae: PUSH2 0x12c3
000002b1: JUMP
000002b2: JUMPDEST
000002b3: POP
000002b4: DUP1
000002b5: PUSH2 0x02bd
000002b8: DUP2
000002b9: PUSH2 0x13fd
000002bc: JUMP
000002bd: JUMPDEST
000002be: SWAP2
000002bf: POP
000002c0: POP
000002c1: PUSH2 0x00a5
000002c4: JUMP
000002c5: JUMPDEST
000002c6: POP
000002c7: PUSH32 0x8faa70878671ccd212d20771b795c50af8fd3ff6cf27f4bde57e5d4de0aeb673
000002e8: DUP4
000002e9: DUP4
000002ea: DUP4
000002eb: PUSH1 0x40
000002ed: MLOAD
000002ee: PUSH2 0x02f9
000002f1: SWAP4
000002f2: SWAP3
000002f3: SWAP2
000002f4: SWAP1
000002f5: PUSH2 0x123a
000002f8: JUMP
000002f9: JUMPDEST
000002fa: PUSH1 0x40
000002fc: MLOAD
000002fd: DUP1
000002fe: SWAP2
000002ff: SUB
00000300: SWAP1
00000301: LOG1
00000302: PUSH2 0x030b
00000305: DUP3
00000306: DUP3
00000307: PUSH2 0x07a4
0000030a: JUMP
0000030b: JUMPDEST
0000030c: POP
0000030d: POP
0000030e: POP
0000030f: JUMP
00000310: JUMPDEST
00000311: PUSH1 0x00
00000313: PUSH2 0x031a
00000316: PUSH2 0x007e
00000319: JUMP
0000031a: JUMPDEST
0000031b: PUSH1 0x04
0000031d: DUP2
0000031e: ADD
0000031f: DUP1
00000320: SLOAD
00000321: PUSH1 0x01
00000323: PUSH1 0x01
00000325: PUSH1 0xa0
00000327: SHL
00000328: SUB
00000329: DUP6
0000032a: DUP2
0000032b: AND
0000032c: PUSH1 0x01
0000032e: PUSH1 0x01
00000330: PUSH1 0xa0
00000332: SHL
00000333: SUB
00000334: NOT
00000335: DUP4
00000336: AND
00000337: DUP2
00000338: OR
00000339: SWAP1
0000033a: SWAP4
0000033b: SSTORE
0000033c: PUSH1 0x40
0000033e: MLOAD
0000033f: SWAP4
00000340: SWAP5
00000341: POP
00000342: AND
00000343: SWAP2
00000344: DUP3
00000345: SWAP1
00000346: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000367: SWAP1
00000368: PUSH1 0x00
0000036a: SWAP1
0000036b: LOG3
0000036c: POP
0000036d: POP
0000036e: POP
0000036f: JUMP
00000370: JUMPDEST
00000371: PUSH1 0x00
00000373: DUP2
00000374: MLOAD
00000375: GT
00000376: PUSH2 0x0391
00000379: JUMPI
0000037a: PUSH1 0x40
0000037c: MLOAD
0000037d: PUSH3 0x461bcd
00000381: PUSH1 0xe5
00000383: SHL
00000384: DUP2
00000385: MSTORE
00000386: PUSH1 0x04
00000388: ADD
00000389: PUSH2 0x0051
0000038c: SWAP1
0000038d: PUSH2 0x12a3
00000390: JUMP
00000391: JUMPDEST
00000392: PUSH1 0x00
00000394: PUSH2 0x039b
00000397: PUSH2 0x007e
0000039a: JUMP
0000039b: JUMPDEST
0000039c: SWAP1
0000039d: POP
0000039e: PUSH1 0x01
000003a0: PUSH1 0x01
000003a2: PUSH1 0xa0
000003a4: SHL
000003a5: SUB
000003a6: DUP4
000003a7: AND
000003a8: PUSH2 0x03c3
000003ab: JUMPI
000003ac: PUSH1 0x40
000003ae: MLOAD
000003af: PUSH3 0x461bcd
000003b3: PUSH1 0xe5
000003b5: SHL
000003b6: DUP2
000003b7: MSTORE
000003b8: PUSH1 0x04
000003ba: ADD
000003bb: PUSH2 0x0051
000003be: SWAP1
000003bf: PUSH2 0x12d3
000003c2: JUMP
000003c3: JUMPDEST
000003c4: PUSH1 0x01
000003c6: PUSH1 0x01
000003c8: PUSH1 0xa0
000003ca: SHL
000003cb: SUB
000003cc: DUP4
000003cd: AND
000003ce: PUSH1 0x00
000003d0: SWAP1
000003d1: DUP2
000003d2: MSTORE
000003d3: PUSH1 0x01
000003d5: DUP3
000003d6: ADD
000003d7: PUSH1 0x20
000003d9: MSTORE
000003da: PUSH1 0x40
000003dc: SWAP1
000003dd: KECCAK256
000003de: SLOAD
000003df: PUSH2 0xffff
000003e2: DUP2
000003e3: AND
000003e4: PUSH2 0x0465
000003e7: JUMPI
000003e8: PUSH2 0x0409
000003eb: DUP5
000003ec: PUSH1 0x40
000003ee: MLOAD
000003ef: DUP1
000003f0: PUSH1 0x60
000003f2: ADD
000003f3: PUSH1 0x40
000003f5: MSTORE
000003f6: DUP1
000003f7: PUSH1 0x24
000003f9: DUP2
000003fa: MSTORE
000003fb: PUSH1 0x20
000003fd: ADD
000003fe: PUSH2 0x1475
00000401: PUSH1 0x24
00000403: SWAP2
00000404: CODECOPY
00000405: PUSH2 0x08cb
00000408: JUMP
00000409: JUMPDEST
0000040a: PUSH1 0x02
0000040c: DUP3
0000040d: ADD
0000040e: DUP1
0000040f: SLOAD
00000410: PUSH1 0x01
00000412: PUSH1 0x01
00000414: PUSH1 0xa0
00000416: SHL
00000417: SUB
00000418: DUP7
00000419: AND
0000041a: PUSH1 0x00
0000041c: DUP2
0000041d: DUP2
0000041e: MSTORE
0000041f: PUSH1 0x01
00000421: DUP1
00000422: DUP8
00000423: ADD
00000424: PUSH1 0x20
00000426: SWAP1
00000427: DUP2
00000428: MSTORE
00000429: PUSH1 0x40
0000042b: DUP4
0000042c: KECCAK256
0000042d: DUP3
0000042e: ADD
0000042f: DUP1
00000430: SLOAD
00000431: PUSH2 0xffff
00000434: NOT
00000435: AND
00000436: PUSH2 0xffff
00000439: SWAP1
0000043a: SWAP7
0000043b: AND
0000043c: SWAP6
0000043d: SWAP1
0000043e: SWAP6
0000043f: OR
00000440: SWAP1
00000441: SWAP5
00000442: SSTORE
00000443: DUP5
00000444: SLOAD
00000445: SWAP1
00000446: DUP2
00000447: ADD
00000448: DUP6
00000449: SSTORE
0000044a: SWAP4
0000044b: DUP2
0000044c: MSTORE
0000044d: SWAP2
0000044e: SWAP1
0000044f: SWAP2
00000450: KECCAK256
00000451: SWAP1
00000452: SWAP2
00000453: ADD
00000454: DUP1
00000455: SLOAD
00000456: PUSH1 0x01
00000458: PUSH1 0x01
0000045a: PUSH1 0xa0
0000045c: SHL
0000045d: SUB
0000045e: NOT
0000045f: AND
00000460: SWAP1
00000461: SWAP2
00000462: OR
00000463: SWAP1
00000464: SSTORE
00000465: JUMPDEST
00000466: PUSH1 0x00
00000468: JUMPDEST
00000469: DUP4
0000046a: MLOAD
0000046b: DUP2
0000046c: LT
0000046d: ISZERO
0000046e: PUSH2 0x0511
00000471: JUMPI
00000472: PUSH1 0x00
00000474: DUP5
00000475: DUP3
00000476: DUP2
00000477: MLOAD
00000478: DUP2
00000479: LT
0000047a: PUSH2 0x0493
0000047d: JUMPI
0000047e: PUSH4 0x4e487b71
00000483: PUSH1 0xe0
00000485: SHL
00000486: PUSH1 0x00
00000488: MSTORE
00000489: PUSH1 0x32
0000048b: PUSH1 0x04
0000048d: MSTORE
0000048e: PUSH1 0x24
00000490: PUSH1 0x00
00000492: REVERT
00000493: JUMPDEST
00000494: PUSH1 0x20
00000496: SWAP1
00000497: DUP2
00000498: MUL
00000499: SWAP2
0000049a: SWAP1
0000049b: SWAP2
0000049c: ADD
0000049d: DUP2
0000049e: ADD
0000049f: MLOAD
000004a0: PUSH1 0x01
000004a2: PUSH1 0x01
000004a4: PUSH1 0xe0
000004a6: SHL
000004a7: SUB
000004a8: NOT
000004a9: DUP2
000004aa: AND
000004ab: PUSH1 0x00
000004ad: SWAP1
000004ae: DUP2
000004af: MSTORE
000004b0: SWAP2
000004b1: DUP7
000004b2: SWAP1
000004b3: MSTORE
000004b4: PUSH1 0x40
000004b6: SWAP1
000004b7: SWAP2
000004b8: KECCAK256
000004b9: SLOAD
000004ba: SWAP1
000004bb: SWAP2
000004bc: POP
000004bd: PUSH1 0x01
000004bf: PUSH1 0x01
000004c1: PUSH1 0xa0
000004c3: SHL
000004c4: SUB
000004c5: AND
000004c6: DUP1
000004c7: ISZERO
000004c8: PUSH2 0x04e3
000004cb: JUMPI
000004cc: PUSH1 0x40
000004ce: MLOAD
000004cf: PUSH3 0x461bcd
000004d3: PUSH1 0xe5
000004d5: SHL
000004d6: DUP2
000004d7: MSTORE
000004d8: PUSH1 0x04
000004da: ADD
000004db: PUSH2 0x0051
000004de: SWAP1
000004df: PUSH2 0x133d
000004e2: JUMP
000004e3: JUMPDEST
000004e4: PUSH2 0x04ef
000004e7: DUP6
000004e8: DUP4
000004e9: DUP7
000004ea: DUP11
000004eb: PUSH2 0x08ec
000004ee: JUMP
000004ef: JUMPDEST
000004f0: DUP4
000004f1: PUSH2 0x04f9
000004f4: DUP2
000004f5: PUSH2 0x13db
000004f8: JUMP
000004f9: JUMPDEST
000004fa: SWAP5
000004fb: POP
000004fc: POP
000004fd: POP
000004fe: POP
000004ff: DUP1
00000500: DUP1
00000501: PUSH2 0x0509
00000504: SWAP1
00000505: PUSH2 0x13fd
00000508: JUMP
00000509: JUMPDEST
0000050a: SWAP2
0000050b: POP
0000050c: POP
0000050d: PUSH2 0x0468
00000510: JUMP
00000511: JUMPDEST
00000512: POP
00000513: POP
00000514: POP
00000515: POP
00000516: POP
00000517: JUMP
00000518: JUMPDEST
00000519: PUSH1 0x00
0000051b: DUP2
0000051c: MLOAD
0000051d: GT
0000051e: PUSH2 0x0539
00000521: JUMPI
00000522: PUSH1 0x40
00000524: MLOAD
00000525: PUSH3 0x461bcd
00000529: PUSH1 0xe5
0000052b: SHL
0000052c: DUP2
0000052d: MSTORE
0000052e: PUSH1 0x04
00000530: ADD
00000531: PUSH2 0x0051
00000534: SWAP1
00000535: PUSH2 0x12a3
00000538: JUMP
00000539: JUMPDEST
0000053a: PUSH1 0x00
0000053c: PUSH2 0x0543
0000053f: PUSH2 0x007e
00000542: JUMP
00000543: JUMPDEST
00000544: SWAP1
00000545: POP
00000546: PUSH1 0x01
00000548: PUSH1 0x01
0000054a: PUSH1 0xa0
0000054c: SHL
0000054d: SUB
0000054e: DUP4
0000054f: AND
00000550: PUSH2 0x056b
00000553: JUMPI
00000554: PUSH1 0x40
00000556: MLOAD
00000557: PUSH3 0x461bcd
0000055b: PUSH1 0xe5
0000055d: SHL
0000055e: DUP2
0000055f: MSTORE
00000560: PUSH1 0x04
00000562: ADD
00000563: PUSH2 0x0051
00000566: SWAP1
00000567: PUSH2 0x12d3
0000056a: JUMP
0000056b: JUMPDEST
0000056c: PUSH1 0x01
0000056e: PUSH1 0x01
00000570: PUSH1 0xa0
00000572: SHL
00000573: SUB
00000574: DUP4
00000575: AND
00000576: PUSH1 0x00
00000578: SWAP1
00000579: DUP2
0000057a: MSTORE
0000057b: PUSH1 0x01
0000057d: DUP3
0000057e: ADD
0000057f: PUSH1 0x20
00000581: MSTORE
00000582: PUSH1 0x40
00000584: SWAP1
00000585: KECCAK256
00000586: SLOAD
00000587: PUSH2 0xffff
0000058a: DUP2
0000058b: AND
0000058c: PUSH2 0x060d
0000058f: JUMPI
00000590: PUSH2 0x05b1
00000593: DUP5
00000594: PUSH1 0x40
00000596: MLOAD
00000597: DUP1
00000598: PUSH1 0x60
0000059a: ADD
0000059b: PUSH1 0x40
0000059d: MSTORE
0000059e: DUP1
0000059f: PUSH1 0x24
000005a1: DUP2
000005a2: MSTORE
000005a3: PUSH1 0x20
000005a5: ADD
000005a6: PUSH2 0x1475
000005a9: PUSH1 0x24
000005ab: SWAP2
000005ac: CODECOPY
000005ad: PUSH2 0x08cb
000005b0: JUMP
000005b1: JUMPDEST
000005b2: PUSH1 0x02
000005b4: DUP3
000005b5: ADD
000005b6: DUP1
000005b7: SLOAD
000005b8: PUSH1 0x01
000005ba: PUSH1 0x01
000005bc: PUSH1 0xa0
000005be: SHL
000005bf: SUB
000005c0: DUP7
000005c1: AND
000005c2: PUSH1 0x00
000005c4: DUP2
000005c5: DUP2
000005c6: MSTORE
000005c7: PUSH1 0x01
000005c9: DUP1
000005ca: DUP8
000005cb: ADD
000005cc: PUSH1 0x20
000005ce: SWAP1
000005cf: DUP2
000005d0: MSTORE
000005d1: PUSH1 0x40
000005d3: DUP4
000005d4: KECCAK256
000005d5: DUP3
000005d6: ADD
000005d7: DUP1
000005d8: SLOAD
000005d9: PUSH2 0xffff
000005dc: NOT
000005dd: AND
000005de: PUSH2 0xffff
000005e1: SWAP1
000005e2: SWAP7
000005e3: AND
000005e4: SWAP6
000005e5: SWAP1
000005e6: SWAP6
000005e7: OR
000005e8: SWAP1
000005e9: SWAP5
000005ea: SSTORE
000005eb: DUP5
000005ec: SLOAD
000005ed: SWAP1
000005ee: DUP2
000005ef: ADD
000005f0: DUP6
000005f1: SSTORE
000005f2: SWAP4
000005f3: DUP2
000005f4: MSTORE
000005f5: SWAP2
000005f6: SWAP1
000005f7: SWAP2
000005f8: KECCAK256
000005f9: SWAP1
000005fa: SWAP2
000005fb: ADD
000005fc: DUP1
000005fd: SLOAD
000005fe: PUSH1 0x01
00000600: PUSH1 0x01
00000602: PUSH1 0xa0
00000604: SHL
00000605: SUB
00000606: NOT
00000607: AND
00000608: SWAP1
00000609: SWAP2
0000060a: OR
0000060b: SWAP1
0000060c: SSTORE
0000060d: JUMPDEST
0000060e: PUSH1 0x00
00000610: JUMPDEST
00000611: DUP4
00000612: MLOAD
00000613: DUP2
00000614: LT
00000615: ISZERO
00000616: PUSH2 0x0511
00000619: JUMPI
0000061a: PUSH1 0x00
0000061c: DUP5
0000061d: DUP3
0000061e: DUP2
0000061f: MLOAD
00000620: DUP2
00000621: LT
00000622: PUSH2 0x063b
00000625: JUMPI
00000626: PUSH4 0x4e487b71
0000062b: PUSH1 0xe0
0000062d: SHL
0000062e: PUSH1 0x00
00000630: MSTORE
00000631: PUSH1 0x32
00000633: PUSH1 0x04
00000635: MSTORE
00000636: PUSH1 0x24
00000638: PUSH1 0x00
0000063a: REVERT
0000063b: JUMPDEST
0000063c: PUSH1 0x20
0000063e: SWAP1
0000063f: DUP2
00000640: MUL
00000641: SWAP2
00000642: SWAP1
00000643: SWAP2
00000644: ADD
00000645: DUP2
00000646: ADD
00000647: MLOAD
00000648: PUSH1 0x01
0000064a: PUSH1 0x01
0000064c: PUSH1 0xe0
0000064e: SHL
0000064f: SUB
00000650: NOT
00000651: DUP2
00000652: AND
00000653: PUSH1 0x00
00000655: SWAP1
00000656: DUP2
00000657: MSTORE
00000658: SWAP2
00000659: DUP7
0000065a: SWAP1
0000065b: MSTORE
0000065c: PUSH1 0x40
0000065e: SWAP1
0000065f: SWAP2
00000660: KECCAK256
00000661: SLOAD
00000662: SWAP1
00000663: SWAP2
00000664: POP
00000665: PUSH1 0x01
00000667: PUSH1 0x01
00000669: PUSH1 0xa0
0000066b: SHL
0000066c: SUB
0000066d: SWAP1
0000066e: DUP2
0000066f: AND
00000670: SWAP1
00000671: DUP8
00000672: AND
00000673: DUP2
00000674: EQ
00000675: ISZERO
00000676: PUSH2 0x0691
00000679: JUMPI
0000067a: PUSH1 0x40
0000067c: MLOAD
0000067d: PUSH3 0x461bcd
00000681: PUSH1 0xe5
00000683: SHL
00000684: DUP2
00000685: MSTORE
00000686: PUSH1 0x04
00000688: ADD
00000689: PUSH2 0x0051
0000068c: SWAP1
0000068d: PUSH2 0x134d
00000690: JUMP
00000691: JUMPDEST
00000692: PUSH2 0x069c
00000695: DUP6
00000696: DUP3
00000697: DUP5
00000698: PUSH2 0x098f
0000069b: JUMP
0000069c: JUMPDEST
0000069d: PUSH2 0x06a8
000006a0: DUP6
000006a1: DUP4
000006a2: DUP7
000006a3: DUP11
000006a4: PUSH2 0x08ec
000006a7: JUMP
000006a8: JUMPDEST
000006a9: DUP4
000006aa: PUSH2 0x06b2
000006ad: DUP2
000006ae: PUSH2 0x13db
000006b1: JUMP
000006b2: JUMPDEST
000006b3: SWAP5
000006b4: POP
000006b5: POP
000006b6: POP
000006b7: POP
000006b8: DUP1
000006b9: DUP1
000006ba: PUSH2 0x06c2
000006bd: SWAP1
000006be: PUSH2 0x13fd
000006c1: JUMP
000006c2: JUMPDEST
000006c3: SWAP2
000006c4: POP
000006c5: POP
000006c6: PUSH2 0x0610
000006c9: JUMP
000006ca: JUMPDEST
000006cb: PUSH1 0x00
000006cd: DUP2
000006ce: MLOAD
000006cf: GT
000006d0: PUSH2 0x06eb
000006d3: JUMPI
000006d4: PUSH1 0x40
000006d6: MLOAD
000006d7: PUSH3 0x461bcd
000006db: PUSH1 0xe5
000006dd: SHL
000006de: DUP2
000006df: MSTORE
000006e0: PUSH1 0x04
000006e2: ADD
000006e3: PUSH2 0x0051
000006e6: SWAP1
000006e7: PUSH2 0x12a3
000006ea: JUMP
000006eb: JUMPDEST
000006ec: PUSH1 0x00
000006ee: PUSH2 0x06f5
000006f1: PUSH2 0x007e
000006f4: JUMP
000006f5: JUMPDEST
000006f6: SWAP1
000006f7: POP
000006f8: PUSH1 0x01
000006fa: PUSH1 0x01
000006fc: PUSH1 0xa0
000006fe: SHL
000006ff: SUB
00000700: DUP4
00000701: AND
00000702: ISZERO
00000703: PUSH2 0x071e
00000706: JUMPI
00000707: PUSH1 0x40
00000709: MLOAD
0000070a: PUSH3 0x461bcd
0000070e: PUSH1 0xe5
00000710: SHL
00000711: DUP2
00000712: MSTORE
00000713: PUSH1 0x04
00000715: ADD
00000716: PUSH2 0x0051
00000719: SWAP1
0000071a: PUSH2 0x135d
0000071d: JUMP
0000071e: JUMPDEST
0000071f: PUSH1 0x00
00000721: JUMPDEST
00000722: DUP3
00000723: MLOAD
00000724: DUP2
00000725: LT
00000726: ISZERO
00000727: PUSH2 0x079e
0000072a: JUMPI
0000072b: PUSH1 0x00
0000072d: DUP4
0000072e: DUP3
0000072f: DUP2
00000730: MLOAD
00000731: DUP2
00000732: LT
00000733: PUSH2 0x074c
00000736: JUMPI
00000737: PUSH4 0x4e487b71
0000073c: PUSH1 0xe0
0000073e: SHL
0000073f: PUSH1 0x00
00000741: MSTORE
00000742: PUSH1 0x32
00000744: PUSH1 0x04
00000746: MSTORE
00000747: PUSH1 0x24
00000749: PUSH1 0x00
0000074b: REVERT
0000074c: JUMPDEST
0000074d: PUSH1 0x20
0000074f: SWAP1
00000750: DUP2
00000751: MUL
00000752: SWAP2
00000753: SWAP1
00000754: SWAP2
00000755: ADD
00000756: DUP2
00000757: ADD
00000758: MLOAD
00000759: PUSH1 0x01
0000075b: PUSH1 0x01
0000075d: PUSH1 0xe0
0000075f: SHL
00000760: SUB
00000761: NOT
00000762: DUP2
00000763: AND
00000764: PUSH1 0x00
00000766: SWAP1
00000767: DUP2
00000768: MSTORE
00000769: SWAP2
0000076a: DUP6
0000076b: SWAP1
0000076c: MSTORE
0000076d: PUSH1 0x40
0000076f: SWAP1
00000770: SWAP2
00000771: KECCAK256
00000772: SLOAD
00000773: SWAP1
00000774: SWAP2
00000775: POP
00000776: PUSH1 0x01
00000778: PUSH1 0x01
0000077a: PUSH1 0xa0
0000077c: SHL
0000077d: SUB
0000077e: AND
0000077f: PUSH2 0x0789
00000782: DUP5
00000783: DUP3
00000784: DUP5
00000785: PUSH2 0x098f
00000788: JUMP
00000789: JUMPDEST
0000078a: POP
0000078b: POP
0000078c: DUP1
0000078d: DUP1
0000078e: PUSH2 0x0796
00000791: SWAP1
00000792: PUSH2 0x13fd
00000795: JUMP
00000796: JUMPDEST
00000797: SWAP2
00000798: POP
00000799: POP
0000079a: PUSH2 0x0721
0000079d: JUMP
0000079e: JUMPDEST
0000079f: POP
000007a0: POP
000007a1: POP
000007a2: POP
000007a3: JUMP
000007a4: JUMPDEST
000007a5: PUSH1 0x01
000007a7: PUSH1 0x01
000007a9: PUSH1 0xa0
000007ab: SHL
000007ac: SUB
000007ad: DUP3
000007ae: AND
000007af: PUSH2 0x07d6
000007b2: JUMPI
000007b3: DUP1
000007b4: MLOAD
000007b5: ISZERO
000007b6: PUSH2 0x07d1
000007b9: JUMPI
000007ba: PUSH1 0x40
000007bc: MLOAD
000007bd: PUSH3 0x461bcd
000007c1: PUSH1 0xe5
000007c3: SHL
000007c4: DUP2
000007c5: MSTORE
000007c6: PUSH1 0x04
000007c8: ADD
000007c9: PUSH2 0x0051
000007cc: SWAP1
000007cd: PUSH2 0x127d
000007d0: JUMP
000007d1: JUMPDEST
000007d2: PUSH2 0x08c7
000007d5: JUMP
000007d6: JUMPDEST
000007d7: PUSH1 0x00
000007d9: DUP2
000007da: MLOAD
000007db: GT
000007dc: PUSH2 0x07f7
000007df: JUMPI
000007e0: PUSH1 0x40
000007e2: MLOAD
000007e3: PUSH3 0x461bcd
000007e7: PUSH1 0xe5
000007e9: SHL
000007ea: DUP2
000007eb: MSTORE
000007ec: PUSH1 0x04
000007ee: ADD
000007ef: PUSH2 0x0051
000007f2: SWAP1
000007f3: PUSH2 0x131d
000007f6: JUMP
000007f7: JUMPDEST
000007f8: PUSH1 0x01
000007fa: PUSH1 0x01
000007fc: PUSH1 0xa0
000007fe: SHL
000007ff: SUB
00000800: DUP3
00000801: AND
00000802: ADDRESS
00000803: EQ
00000804: PUSH2 0x0829
00000807: JUMPI
00000808: PUSH2 0x0829
0000080b: DUP3
0000080c: PUSH1 0x40
0000080e: MLOAD
0000080f: DUP1
00000810: PUSH1 0x60
00000812: ADD
00000813: PUSH1 0x40
00000815: MSTORE
00000816: DUP1
00000817: PUSH1 0x28
00000819: DUP2
0000081a: MSTORE
0000081b: PUSH1 0x20
0000081d: ADD
0000081e: PUSH2 0x144d
00000821: PUSH1 0x28
00000823: SWAP2
00000824: CODECOPY
00000825: PUSH2 0x08cb
00000828: JUMP
00000829: JUMPDEST
0000082a: PUSH1 0x00
0000082c: DUP1
0000082d: DUP4
0000082e: PUSH1 0x01
00000830: PUSH1 0x01
00000832: PUSH1 0xa0
00000834: SHL
00000835: SUB
00000836: AND
00000837: DUP4
00000838: PUSH1 0x40
0000083a: MLOAD
0000083b: PUSH2 0x0844
0000083e: SWAP2
0000083f: SWAP1
00000840: PUSH2 0x122e
00000843: JUMP
00000844: JUMPDEST
00000845: PUSH1 0x00
00000847: PUSH1 0x40
00000849: MLOAD
0000084a: DUP1
0000084b: DUP4
0000084c: SUB
0000084d: DUP2
0000084e: DUP6
0000084f: GAS
00000850: DELEGATECALL
00000851: SWAP2
00000852: POP
00000853: POP
00000854: RETURNDATASIZE
00000855: DUP1
00000856: PUSH1 0x00
00000858: DUP2
00000859: EQ
0000085a: PUSH2 0x087f
0000085d: JUMPI
0000085e: PUSH1 0x40
00000860: MLOAD
00000861: SWAP2
00000862: POP
00000863: PUSH1 0x1f
00000865: NOT
00000866: PUSH1 0x3f
00000868: RETURNDATASIZE
00000869: ADD
0000086a: AND
0000086b: DUP3
0000086c: ADD
0000086d: PUSH1 0x40
0000086f: MSTORE
00000870: RETURNDATASIZE
00000871: DUP3
00000872: MSTORE
00000873: RETURNDATASIZE
00000874: PUSH1 0x00
00000876: PUSH1 0x20
00000878: DUP5
00000879: ADD
0000087a: RETURNDATACOPY
0000087b: PUSH2 0x0884
0000087e: JUMP
0000087f: JUMPDEST
00000880: PUSH1 0x60
00000882: SWAP2
00000883: POP
00000884: JUMPDEST
00000885: POP
00000886: SWAP2
00000887: POP
00000888: SWAP2
00000889: POP
0000088a: DUP2
0000088b: PUSH2 0x079e
0000088e: JUMPI
0000088f: DUP1
00000890: MLOAD
00000891: ISZERO
00000892: PUSH2 0x08af
00000895: JUMPI
00000896: DUP1
00000897: PUSH1 0x40
00000899: MLOAD
0000089a: PUSH3 0x461bcd
0000089e: PUSH1 0xe5
000008a0: SHL
000008a1: DUP2
000008a2: MSTORE
000008a3: PUSH1 0x04
000008a5: ADD
000008a6: PUSH2 0x0051
000008a9: SWAP2
000008aa: SWAP1
000008ab: PUSH2 0x126c
000008ae: JUMP
000008af: JUMPDEST
000008b0: PUSH1 0x40
000008b2: MLOAD
000008b3: PUSH3 0x461bcd
000008b7: PUSH1 0xe5
000008b9: SHL
000008ba: DUP2
000008bb: MSTORE
000008bc: PUSH1 0x04
000008be: ADD
000008bf: PUSH2 0x0051
000008c2: SWAP1
000008c3: PUSH2 0x1293
000008c6: JUMP
000008c7: JUMPDEST
000008c8: POP
000008c9: POP
000008ca: JUMP
000008cb: JUMPDEST
000008cc: DUP2
000008cd: EXTCODESIZE
000008ce: DUP2
000008cf: DUP2
000008d0: PUSH2 0x079e
000008d3: JUMPI
000008d4: PUSH1 0x40
000008d6: MLOAD
000008d7: PUSH3 0x461bcd
000008db: PUSH1 0xe5
000008dd: SHL
000008de: DUP2
000008df: MSTORE
000008e0: PUSH1 0x04
000008e2: ADD
000008e3: PUSH2 0x0051
000008e6: SWAP2
000008e7: SWAP1
000008e8: PUSH2 0x126c
000008eb: JUMP
000008ec: JUMPDEST
000008ed: PUSH1 0x01
000008ef: PUSH1 0x01
000008f1: PUSH1 0xe0
000008f3: SHL
000008f4: SUB
000008f5: NOT
000008f6: DUP4
000008f7: AND
000008f8: PUSH1 0x00
000008fa: DUP2
000008fb: DUP2
000008fc: MSTORE
000008fd: PUSH1 0x20
000008ff: DUP7
00000900: DUP2
00000901: MSTORE
00000902: PUSH1 0x40
00000904: DUP1
00000905: DUP4
00000906: KECCAK256
00000907: DUP1
00000908: SLOAD
00000909: PUSH2 0xffff
0000090c: PUSH1 0xa0
0000090e: SHL
0000090f: NOT
00000910: AND
00000911: PUSH1 0x01
00000913: PUSH1 0xa0
00000915: SHL
00000916: PUSH2 0xffff
00000919: SWAP9
0000091a: SWAP1
0000091b: SWAP9
0000091c: AND
0000091d: SWAP8
0000091e: SWAP1
0000091f: SWAP8
00000920: MUL
00000921: SWAP7
00000922: SWAP1
00000923: SWAP7
00000924: OR
00000925: DUP7
00000926: SSTORE
00000927: PUSH1 0x01
00000929: PUSH1 0x01
0000092b: PUSH1 0xa0
0000092d: SHL
0000092e: SUB
0000092f: SWAP5
00000930: SWAP1
00000931: SWAP5
00000932: AND
00000933: DUP1
00000934: DUP4
00000935: MSTORE
00000936: PUSH1 0x01
00000938: DUP1
00000939: DUP10
0000093a: ADD
0000093b: DUP4
0000093c: MSTORE
0000093d: SWAP5
0000093e: DUP4
0000093f: KECCAK256
00000940: DUP1
00000941: SLOAD
00000942: SWAP6
00000943: DUP7
00000944: ADD
00000945: DUP2
00000946: SSTORE
00000947: DUP4
00000948: MSTORE
00000949: DUP2
0000094a: DUP4
0000094b: KECCAK256
0000094c: PUSH1 0x08
0000094e: DUP7
0000094f: DIV
00000950: ADD
00000951: DUP1
00000952: SLOAD
00000953: PUSH4 0xffffffff
00000958: PUSH1 0x07
0000095a: SWAP1
0000095b: SWAP8
0000095c: AND
0000095d: PUSH1 0x04
0000095f: MUL
00000960: PUSH2 0x0100
00000963: EXP
00000964: SWAP7
00000965: DUP8
00000966: MUL
00000967: NOT
00000968: AND
00000969: PUSH1 0xe0
0000096b: SWAP9
0000096c: SWAP1
0000096d: SWAP9
0000096e: SHR
0000096f: SWAP6
00000970: SWAP1
00000971: SWAP6
00000972: MUL
00000973: SWAP7
00000974: SWAP1
00000975: SWAP7
00000976: OR
00000977: SWAP1
00000978: SWAP4
00000979: SSTORE
0000097a: MSTORE
0000097b: SWAP3
0000097c: SWAP1
0000097d: SWAP3
0000097e: MSTORE
0000097f: DUP2
00000980: SLOAD
00000981: PUSH1 0x01
00000983: PUSH1 0x01
00000985: PUSH1 0xa0
00000987: SHL
00000988: SUB
00000989: NOT
0000098a: AND
0000098b: OR
0000098c: SWAP1
0000098d: SSTORE
0000098e: JUMP
0000098f: JUMPDEST
00000990: PUSH1 0x01
00000992: PUSH1 0x01
00000994: PUSH1 0xa0
00000996: SHL
00000997: SUB
00000998: DUP3
00000999: AND
0000099a: PUSH2 0x09b5
0000099d: JUMPI
0000099e: PUSH1 0x40
000009a0: MLOAD
000009a1: PUSH3 0x461bcd
000009a5: PUSH1 0xe5
000009a7: SHL
000009a8: DUP2
000009a9: MSTORE
000009aa: PUSH1 0x04
000009ac: ADD
000009ad: PUSH2 0x0051
000009b0: SWAP1
000009b1: PUSH2 0x12b3
000009b4: JUMP
000009b5: JUMPDEST
000009b6: PUSH1 0x01
000009b8: PUSH1 0x01
000009ba: PUSH1 0xa0
000009bc: SHL
000009bd: SUB
000009be: DUP3
000009bf: AND
000009c0: ADDRESS
000009c1: EQ
000009c2: ISZERO
000009c3: PUSH2 0x09de
000009c6: JUMPI
000009c7: PUSH1 0x40
000009c9: MLOAD
000009ca: PUSH3 0x461bcd
000009ce: PUSH1 0xe5
000009d0: SHL
000009d1: DUP2
000009d2: MSTORE
000009d3: PUSH1 0x04
000009d5: ADD
000009d6: PUSH2 0x0051
000009d9: SWAP1
000009da: PUSH2 0x132d
000009dd: JUMP
000009de: JUMPDEST
000009df: PUSH1 0x01
000009e1: PUSH1 0x01
000009e3: PUSH1 0xe0
000009e5: SHL
000009e6: SUB
000009e7: NOT
000009e8: DUP2
000009e9: AND
000009ea: PUSH1 0x00
000009ec: SWAP1
000009ed: DUP2
000009ee: MSTORE
000009ef: PUSH1 0x20
000009f1: DUP5
000009f2: DUP2
000009f3: MSTORE
000009f4: PUSH1 0x40
000009f6: DUP1
000009f7: DUP4
000009f8: KECCAK256
000009f9: SLOAD
000009fa: PUSH1 0x01
000009fc: PUSH1 0x01
000009fe: PUSH1 0xa0
00000a00: SHL
00000a01: SUB
00000a02: DUP7
00000a03: AND
00000a04: DUP5
00000a05: MSTORE
00000a06: PUSH1 0x01
00000a08: DUP1
00000a09: DUP9
00000a0a: ADD
00000a0b: SWAP1
00000a0c: SWAP4
00000a0d: MSTORE
00000a0e: SWAP1
00000a0f: DUP4
00000a10: KECCAK256
00000a11: SLOAD
00000a12: PUSH1 0x01
00000a14: PUSH1 0xa0
00000a16: SHL
00000a17: SWAP1
00000a18: SWAP2
00000a19: DIV
00000a1a: PUSH2 0xffff
00000a1d: AND
00000a1e: SWAP3
00000a1f: SWAP2
00000a20: PUSH2 0x0a28
00000a23: SWAP2
00000a24: PUSH2 0x136d
00000a27: JUMP
00000a28: JUMPDEST
00000a29: SWAP1
00000a2a: POP
00000a2b: DUP1
00000a2c: DUP3
00000a2d: EQ
00000a2e: PUSH2 0x0b30
00000a31: JUMPI
00000a32: PUSH1 0x01
00000a34: PUSH1 0x01
00000a36: PUSH1 0xa0
00000a38: SHL
00000a39: SUB
00000a3a: DUP5
00000a3b: AND
00000a3c: PUSH1 0x00
00000a3e: SWAP1
00000a3f: DUP2
00000a40: MSTORE
00000a41: PUSH1 0x01
00000a43: DUP7
00000a44: ADD
00000a45: PUSH1 0x20
00000a47: MSTORE
00000a48: PUSH1 0x40
00000a4a: DUP2
00000a4b: KECCAK256
00000a4c: DUP1
00000a4d: SLOAD
00000a4e: DUP4
00000a4f: SWAP1
00000a50: DUP2
00000a51: LT
00000a52: PUSH2 0x0a6b
00000a55: JUMPI
00000a56: PUSH4 0x4e487b71
00000a5b: PUSH1 0xe0
00000a5d: SHL
00000a5e: PUSH1 0x00
00000a60: MSTORE
00000a61: PUSH1 0x32
00000a63: PUSH1 0x04
00000a65: MSTORE
00000a66: PUSH1 0x24
00000a68: PUSH1 0x00
00000a6a: REVERT
00000a6b: JUMPDEST
00000a6c: PUSH1 0x00
00000a6e: SWAP2
00000a6f: DUP3
00000a70: MSTORE
00000a71: PUSH1 0x20
00000a73: DUP1
00000a74: DUP4
00000a75: KECCAK256
00000a76: PUSH1 0x08
00000a78: DUP4
00000a79: DIV
00000a7a: ADD
00000a7b: SLOAD
00000a7c: PUSH1 0x01
00000a7e: PUSH1 0x01
00000a80: PUSH1 0xa0
00000a82: SHL
00000a83: SUB
00000a84: DUP10
00000a85: AND
00000a86: DUP5
00000a87: MSTORE
00000a88: PUSH1 0x01
00000a8a: DUP11
00000a8b: ADD
00000a8c: SWAP1
00000a8d: SWAP2
00000a8e: MSTORE
00000a8f: PUSH1 0x40
00000a91: SWAP1
00000a92: SWAP3
00000a93: KECCAK256
00000a94: DUP1
00000a95: SLOAD
00000a96: PUSH1 0x07
00000a98: SWAP1
00000a99: SWAP3
00000a9a: AND
00000a9b: PUSH1 0x04
00000a9d: MUL
00000a9e: PUSH2 0x0100
00000aa1: EXP
00000aa2: SWAP1
00000aa3: SWAP3
00000aa4: DIV
00000aa5: PUSH1 0xe0
00000aa7: SHL
00000aa8: SWAP3
00000aa9: POP
00000aaa: DUP3
00000aab: SWAP2
00000aac: SWAP1
00000aad: DUP6
00000aae: SWAP1
00000aaf: DUP2
00000ab0: LT
00000ab1: PUSH2 0x0aca
00000ab4: JUMPI
00000ab5: PUSH4 0x4e487b71
00000aba: PUSH1 0xe0
00000abc: SHL
00000abd: PUSH1 0x00
00000abf: MSTORE
00000ac0: PUSH1 0x32
00000ac2: PUSH1 0x04
00000ac4: MSTORE
00000ac5: PUSH1 0x24
00000ac7: PUSH1 0x00
00000ac9: REVERT
00000aca: JUMPDEST
00000acb: PUSH1 0x00
00000acd: SWAP2
00000ace: DUP3
00000acf: MSTORE
00000ad0: PUSH1 0x20
00000ad2: DUP1
00000ad3: DUP4
00000ad4: KECCAK256
00000ad5: PUSH1 0x08
00000ad7: DUP4
00000ad8: DIV
00000ad9: ADD
00000ada: DUP1
00000adb: SLOAD
00000adc: PUSH4 0xffffffff
00000ae1: PUSH1 0x07
00000ae3: SWAP1
00000ae4: SWAP5
00000ae5: AND
00000ae6: PUSH1 0x04
00000ae8: MUL
00000ae9: PUSH2 0x0100
00000aec: EXP
00000aed: SWAP4
00000aee: DUP5
00000aef: MUL
00000af0: NOT
00000af1: AND
00000af2: PUSH1 0xe0
00000af4: SWAP6
00000af5: SWAP1
00000af6: SWAP6
00000af7: SHR
00000af8: SWAP3
00000af9: SWAP1
00000afa: SWAP3
00000afb: MUL
00000afc: SWAP4
00000afd: SWAP1
00000afe: SWAP4
00000aff: OR
00000b00: SWAP1
00000b01: SSTORE
00000b02: PUSH1 0x01
00000b04: PUSH1 0x01
00000b06: PUSH1 0xe0
00000b08: SHL
00000b09: SUB
00000b0a: NOT
00000b0b: SWAP3
00000b0c: SWAP1
00000b0d: SWAP3
00000b0e: AND
00000b0f: DUP3
00000b10: MSTORE
00000b11: DUP7
00000b12: SWAP1
00000b13: MSTORE
00000b14: PUSH1 0x40
00000b16: SWAP1
00000b17: KECCAK256
00000b18: DUP1
00000b19: SLOAD
00000b1a: PUSH2 0xffff
00000b1d: PUSH1 0xa0
00000b1f: SHL
00000b20: NOT
00000b21: AND
00000b22: PUSH1 0x01
00000b24: PUSH1 0xa0
00000b26: SHL
00000b27: PUSH2 0xffff
00000b2a: DUP6
00000b2b: AND
00000b2c: MUL
00000b2d: OR
00000b2e: SWAP1
00000b2f: SSTORE
00000b30: JUMPDEST
00000b31: PUSH1 0x01
00000b33: PUSH1 0x01
00000b35: PUSH1 0xa0
00000b37: SHL
00000b38: SUB
00000b39: DUP5
00000b3a: AND
00000b3b: PUSH1 0x00
00000b3d: SWAP1
00000b3e: DUP2
00000b3f: MSTORE
00000b40: PUSH1 0x01
00000b42: DUP7
00000b43: ADD
00000b44: PUSH1 0x20
00000b46: MSTORE
00000b47: PUSH1 0x40
00000b49: SWAP1
00000b4a: KECCAK256
00000b4b: DUP1
00000b4c: SLOAD
00000b4d: DUP1
00000b4e: PUSH2 0x0b67
00000b51: JUMPI
00000b52: PUSH4 0x4e487b71
00000b57: PUSH1 0xe0
00000b59: SHL
00000b5a: PUSH1 0x00
00000b5c: MSTORE
00000b5d: PUSH1 0x31
00000b5f: PUSH1 0x04
00000b61: MSTORE
00000b62: PUSH1 0x24
00000b64: PUSH1 0x00
00000b66: REVERT
00000b67: JUMPDEST
00000b68: PUSH1 0x00
00000b6a: DUP3
00000b6b: DUP2
00000b6c: MSTORE
00000b6d: PUSH1 0x20
00000b6f: DUP1
00000b70: DUP3
00000b71: KECCAK256
00000b72: PUSH1 0x08
00000b74: PUSH1 0x00
00000b76: NOT
00000b77: SWAP1
00000b78: SWAP5
00000b79: ADD
00000b7a: SWAP4
00000b7b: DUP5
00000b7c: DIV
00000b7d: ADD
00000b7e: DUP1
00000b7f: SLOAD
00000b80: PUSH4 0xffffffff
00000b85: PUSH1 0x04
00000b87: PUSH1 0x07
00000b89: DUP8
00000b8a: AND
00000b8b: MUL
00000b8c: PUSH2 0x0100
00000b8f: EXP
00000b90: MUL
00000b91: NOT
00000b92: AND
00000b93: SWAP1
00000b94: SSTORE
00000b95: SWAP2
00000b96: SWAP1
00000b97: SWAP3
00000b98: SSTORE
00000b99: PUSH1 0x01
00000b9b: PUSH1 0x01
00000b9d: PUSH1 0xe0
00000b9f: SHL
00000ba0: SUB
00000ba1: NOT
00000ba2: DUP6
00000ba3: AND
00000ba4: DUP3
00000ba5: MSTORE
00000ba6: DUP7
00000ba7: SWAP1
00000ba8: MSTORE
00000ba9: PUSH1 0x40
00000bab: SWAP1
00000bac: KECCAK256
00000bad: DUP1
00000bae: SLOAD
00000baf: PUSH1 0x01
00000bb1: PUSH1 0x01
00000bb3: PUSH1 0xb0
00000bb5: SHL
00000bb6: SUB
00000bb7: NOT
00000bb8: AND
00000bb9: SWAP1
00000bba: SSTORE
00000bbb: DUP1
00000bbc: PUSH2 0x0511
00000bbf: JUMPI
00000bc0: PUSH1 0x02
00000bc2: DUP6
00000bc3: ADD
00000bc4: SLOAD
00000bc5: PUSH1 0x00
00000bc7: SWAP1
00000bc8: PUSH2 0x0bd3
00000bcb: SWAP1
00000bcc: PUSH1 0x01
00000bce: SWAP1
00000bcf: PUSH2 0x136d
00000bd2: JUMP
00000bd3: JUMPDEST
00000bd4: PUSH1 0x01
00000bd6: PUSH1 0x01
00000bd8: PUSH1 0xa0
00000bda: SHL
00000bdb: SUB
00000bdc: DUP7
00000bdd: AND
00000bde: PUSH1 0x00
00000be0: SWAP1
00000be1: DUP2
00000be2: MSTORE
00000be3: PUSH1 0x01
00000be5: DUP1
00000be6: DUP10
00000be7: ADD
00000be8: PUSH1 0x20
00000bea: MSTORE
00000beb: PUSH1 0x40
00000bed: SWAP1
00000bee: SWAP2
00000bef: KECCAK256
00000bf0: ADD
00000bf1: SLOAD
00000bf2: SWAP1
00000bf3: SWAP2
00000bf4: POP
00000bf5: PUSH2 0xffff
00000bf8: AND
00000bf9: DUP1
00000bfa: DUP3
00000bfb: EQ
00000bfc: PUSH2 0x0cae
00000bff: JUMPI
00000c00: PUSH1 0x00
00000c02: DUP8
00000c03: PUSH1 0x02
00000c05: ADD
00000c06: DUP4
00000c07: DUP2
00000c08: SLOAD
00000c09: DUP2
00000c0a: LT
00000c0b: PUSH2 0x0c24
00000c0e: JUMPI
00000c0f: PUSH4 0x4e487b71
00000c14: PUSH1 0xe0
00000c16: SHL
00000c17: PUSH1 0x00
00000c19: MSTORE
00000c1a: PUSH1 0x32
00000c1c: PUSH1 0x04
00000c1e: MSTORE
00000c1f: PUSH1 0x24
00000c21: PUSH1 0x00
00000c23: REVERT
00000c24: JUMPDEST
00000c25: PUSH1 0x00
00000c27: SWAP2
00000c28: DUP3
00000c29: MSTORE
00000c2a: PUSH1 0x20
00000c2c: SWAP1
00000c2d: SWAP2
00000c2e: KECCAK256
00000c2f: ADD
00000c30: SLOAD
00000c31: PUSH1 0x02
00000c33: DUP10
00000c34: ADD
00000c35: DUP1
00000c36: SLOAD
00000c37: PUSH1 0x01
00000c39: PUSH1 0x01
00000c3b: PUSH1 0xa0
00000c3d: SHL
00000c3e: SUB
00000c3f: SWAP1
00000c40: SWAP3
00000c41: AND
00000c42: SWAP3
00000c43: POP
00000c44: DUP3
00000c45: SWAP2
00000c46: DUP5
00000c47: SWAP1
00000c48: DUP2
00000c49: LT
00000c4a: PUSH2 0x0c63
00000c4d: JUMPI
00000c4e: PUSH4 0x4e487b71
00000c53: PUSH1 0xe0
00000c55: SHL
00000c56: PUSH1 0x00
00000c58: MSTORE
00000c59: PUSH1 0x32
00000c5b: PUSH1 0x04
00000c5d: MSTORE
00000c5e: PUSH1 0x24
00000c60: PUSH1 0x00
00000c62: REVERT
00000c63: JUMPDEST
00000c64: PUSH1 0x00
00000c66: SWAP2
00000c67: DUP3
00000c68: MSTORE
00000c69: PUSH1 0x20
00000c6b: DUP1
00000c6c: DUP4
00000c6d: KECCAK256
00000c6e: SWAP2
00000c6f: SWAP1
00000c70: SWAP2
00000c71: ADD
00000c72: DUP1
00000c73: SLOAD
00000c74: PUSH1 0x01
00000c76: PUSH1 0x01
00000c78: PUSH1 0xa0
00000c7a: SHL
00000c7b: SUB
00000c7c: NOT
00000c7d: AND
00000c7e: PUSH1 0x01
00000c80: PUSH1 0x01
00000c82: PUSH1 0xa0
00000c84: SHL
00000c85: SUB
00000c86: SWAP5
00000c87: DUP6
00000c88: AND
00000c89: OR
00000c8a: SWAP1
00000c8b: SSTORE
00000c8c: SWAP3
00000c8d: SWAP1
00000c8e: SWAP2
00000c8f: AND
00000c90: DUP2
00000c91: MSTORE
00000c92: PUSH1 0x01
00000c94: DUP10
00000c95: DUP2
00000c96: ADD
00000c97: SWAP1
00000c98: SWAP3
00000c99: MSTORE
00000c9a: PUSH1 0x40
00000c9c: SWAP1
00000c9d: KECCAK256
00000c9e: ADD
00000c9f: DUP1
00000ca0: SLOAD
00000ca1: PUSH2 0xffff
00000ca4: NOT
00000ca5: AND
00000ca6: PUSH2 0xffff
00000ca9: DUP4
00000caa: AND
00000cab: OR
00000cac: SWAP1
00000cad: SSTORE
00000cae: JUMPDEST
00000caf: DUP7
00000cb0: PUSH1 0x02
00000cb2: ADD
00000cb3: DUP1
00000cb4: SLOAD
00000cb5: DUP1
00000cb6: PUSH2 0x0ccf
00000cb9: JUMPI
00000cba: PUSH4 0x4e487b71
00000cbf: PUSH1 0xe0
00000cc1: SHL
00000cc2: PUSH1 0x00
00000cc4: MSTORE
00000cc5: PUSH1 0x31
00000cc7: PUSH1 0x04
00000cc9: MSTORE
00000cca: PUSH1 0x24
00000ccc: PUSH1 0x00
00000cce: REVERT
00000ccf: JUMPDEST
00000cd0: PUSH1 0x00
00000cd2: DUP3
00000cd3: DUP2
00000cd4: MSTORE
00000cd5: PUSH1 0x20
00000cd7: DUP1
00000cd8: DUP3
00000cd9: KECCAK256
00000cda: DUP4
00000cdb: ADD
00000cdc: PUSH1 0x00
00000cde: NOT
00000cdf: SWAP1
00000ce0: DUP2
00000ce1: ADD
00000ce2: DUP1
00000ce3: SLOAD
00000ce4: PUSH1 0x01
00000ce6: PUSH1 0x01
00000ce8: PUSH1 0xa0
00000cea: SHL
00000ceb: SUB
00000cec: NOT
00000ced: AND
00000cee: SWAP1
00000cef: SSTORE
00000cf0: SWAP1
00000cf1: SWAP3
00000cf2: ADD
00000cf3: SWAP1
00000cf4: SWAP3
00000cf5: SSTORE
00000cf6: PUSH1 0x01
00000cf8: PUSH1 0x01
00000cfa: PUSH1 0xa0
00000cfc: SHL
00000cfd: SUB
00000cfe: DUP9
00000cff: AND
00000d00: DUP3
00000d01: MSTORE
00000d02: PUSH1 0x01
00000d04: DUP10
00000d05: DUP2
00000d06: ADD
00000d07: SWAP1
00000d08: SWAP2
00000d09: MSTORE
00000d0a: PUSH1 0x40
00000d0c: SWAP1
00000d0d: SWAP2
00000d0e: KECCAK256
00000d0f: ADD
00000d10: DUP1
00000d11: SLOAD
00000d12: PUSH2 0xffff
00000d15: NOT
00000d16: AND
00000d17: SWAP1
00000d18: SSTORE
00000d19: POP
00000d1a: POP
00000d1b: POP
00000d1c: POP
00000d1d: POP
00000d1e: POP
00000d1f: POP
00000d20: JUMP
00000d21: JUMPDEST
00000d22: PUSH1 0x00
00000d24: PUSH2 0x0d2d
00000d27: DUP4
00000d28: DUP4
00000d29: PUSH2 0x0e06
00000d2c: JUMP
00000d2d: JUMPDEST
00000d2e: POP
00000d2f: POP
00000d30: PUSH1 0x20
00000d32: ADD
00000d33: SWAP1
00000d34: JUMP
00000d35: JUMPDEST
00000d36: PUSH1 0x00
00000d38: PUSH2 0x0d41
00000d3b: DUP4
00000d3c: DUP4
00000d3d: PUSH2 0x11e6
00000d40: JUMP
00000d41: JUMPDEST
00000d42: SWAP4
00000d43: SWAP3
00000d44: POP
00000d45: POP
00000d46: POP
00000d47: JUMP
00000d48: JUMPDEST
00000d49: PUSH2 0x0d51
00000d4c: DUP2
00000d4d: PUSH2 0x1384
00000d50: JUMP
00000d51: JUMPDEST
00000d52: DUP3
00000d53: MSTORE
00000d54: POP
00000d55: POP
00000d56: JUMP
00000d57: JUMPDEST
00000d58: PUSH1 0x00
00000d5a: PUSH2 0x0d61
00000d5d: DUP3
00000d5e: MLOAD
00000d5f: SWAP1
00000d60: JUMP
00000d61: JUMPDEST
00000d62: DUP1
00000d63: DUP5
00000d64: MSTORE
00000d65: PUSH1 0x20
00000d67: SWAP4
00000d68: DUP5
00000d69: ADD
00000d6a: SWAP4
00000d6b: DUP4
00000d6c: ADD
00000d6d: DUP1
00000d6e: PUSH1 0x00
00000d70: JUMPDEST
00000d71: DUP4
00000d72: DUP2
00000d73: LT
00000d74: ISZERO
00000d75: PUSH2 0x0d95
00000d78: JUMPI
00000d79: DUP2
00000d7a: MLOAD
00000d7b: PUSH2 0x0d84
00000d7e: DUP9
00000d7f: DUP3
00000d80: PUSH2 0x0d21
00000d83: JUMP
00000d84: JUMPDEST
00000d85: SWAP8
00000d86: POP
00000d87: PUSH1 0x20
00000d89: DUP4
00000d8a: ADD
00000d8b: SWAP3
00000d8c: POP
00000d8d: POP
00000d8e: PUSH1 0x01
00000d90: ADD
00000d91: PUSH2 0x0d70
00000d94: JUMP
00000d95: JUMPDEST
00000d96: POP
00000d97: SWAP5
00000d98: SWAP6
00000d99: SWAP5
00000d9a: POP
00000d9b: POP
00000d9c: POP
00000d9d: POP
00000d9e: POP
00000d9f: JUMP
00000da0: JUMPDEST
00000da1: PUSH1 0x00
00000da3: PUSH2 0x0daa
00000da6: DUP3
00000da7: MLOAD
00000da8: SWAP1
00000da9: JUMP
00000daa: JUMPDEST
00000dab: DUP1
00000dac: DUP5
00000dad: MSTORE
00000dae: PUSH1 0x20
00000db0: DUP5
00000db1: ADD
00000db2: SWAP4
00000db3: POP
00000db4: DUP4
00000db5: PUSH1 0x20
00000db7: DUP3
00000db8: MUL
00000db9: DUP6
00000dba: ADD
00000dbb: PUSH2 0x0dc4
00000dbe: DUP6
00000dbf: PUSH1 0x20
00000dc1: ADD
00000dc2: SWAP1
00000dc3: JUMP
00000dc4: JUMPDEST
00000dc5: DUP1
00000dc6: PUSH1 0x00
00000dc8: JUMPDEST
00000dc9: DUP6
00000dca: DUP2
00000dcb: LT
00000dcc: ISZERO
00000dcd: PUSH2 0x0df9
00000dd0: JUMPI
00000dd1: DUP5
00000dd2: DUP5
00000dd3: SUB
00000dd4: DUP10
00000dd5: MSTORE
00000dd6: DUP2
00000dd7: MLOAD
00000dd8: PUSH2 0x0de1
00000ddb: DUP6
00000ddc: DUP3
00000ddd: PUSH2 0x0d35
00000de0: JUMP
00000de1: JUMPDEST
00000de2: SWAP5
00000de3: POP
00000de4: PUSH1 0x20
00000de6: DUP4
00000de7: ADD
00000de8: PUSH1 0x20
00000dea: SWAP11
00000deb: SWAP1
00000dec: SWAP11
00000ded: ADD
00000dee: SWAP10
00000def: SWAP3
00000df0: POP
00000df1: POP
00000df2: PUSH1 0x01
00000df4: ADD
00000df5: PUSH2 0x0dc8
00000df8: JUMP
00000df9: JUMPDEST
00000dfa: POP
00000dfb: SWAP2
00000dfc: SWAP8
00000dfd: SWAP7
00000dfe: POP
00000dff: POP
00000e00: POP
00000e01: POP
00000e02: POP
00000e03: POP
00000e04: POP
00000e05: JUMP
00000e06: JUMPDEST
00000e07: PUSH1 0x01
00000e09: PUSH1 0x01
00000e0b: PUSH1 0xe0
00000e0d: SHL
00000e0e: SUB
00000e0f: NOT
00000e10: DUP2
00000e11: AND
00000e12: PUSH2 0x0d51
00000e15: JUMP
00000e16: JUMPDEST
00000e17: PUSH1 0x00
00000e19: PUSH2 0x0e20
00000e1c: DUP3
00000e1d: MLOAD
00000e1e: SWAP1
00000e1f: JUMP
00000e20: JUMPDEST
00000e21: DUP1
00000e22: DUP5
00000e23: MSTORE
00000e24: PUSH1 0x20
00000e26: DUP5
00000e27: ADD
00000e28: SWAP4
00000e29: POP
00000e2a: PUSH2 0x0e37
00000e2d: DUP2
00000e2e: DUP6
00000e2f: PUSH1 0x20
00000e31: DUP7
00000e32: ADD
00000e33: PUSH2 0x13af
00000e36: JUMP
00000e37: JUMPDEST
00000e38: PUSH1 0x1f
00000e3a: ADD
00000e3b: PUSH1 0x1f
00000e3d: NOT
00000e3e: AND
00000e3f: SWAP3
00000e40: SWAP1
00000e41: SWAP3
00000e42: ADD
00000e43: SWAP3
00000e44: SWAP2
00000e45: POP
00000e46: POP
00000e47: JUMP
00000e48: JUMPDEST
00000e49: PUSH1 0x00
00000e4b: PUSH2 0x0e52
00000e4e: DUP3
00000e4f: MLOAD
00000e50: SWAP1
00000e51: JUMP
00000e52: JUMPDEST
00000e53: PUSH2 0x0e60
00000e56: DUP2
00000e57: DUP6
00000e58: PUSH1 0x20
00000e5a: DUP7
00000e5b: ADD
00000e5c: PUSH2 0x13af
00000e5f: JUMP
00000e60: JUMPDEST
00000e61: SWAP3
00000e62: SWAP1
00000e63: SWAP3
00000e64: ADD
00000e65: SWAP3
00000e66: SWAP2
00000e67: POP
00000e68: POP
00000e69: JUMP
00000e6a: JUMPDEST
00000e6b: PUSH2 0x0d51
00000e6e: DUP2
00000e6f: PUSH2 0x13a4
00000e72: JUMP
00000e73: JUMPDEST
00000e74: PUSH1 0x3c
00000e76: DUP2
00000e77: MSTORE
00000e78: PUSH1 0x00
00000e7a: PUSH1 0x20
00000e7c: DUP3
00000e7d: ADD
00000e7e: PUSH32 0x4c69624469616d6f6e644375743a205f696e6974206973206164647265737328
00000e9f: DUP2
00000ea0: MSTORE
00000ea1: PUSH32 0x3029206275745f63616c6c64617461206973206e6f7420656d70747900000000
00000ec2: PUSH1 0x20
00000ec4: DUP3
00000ec5: ADD
00000ec6: MSTORE
00000ec7: SWAP2
00000ec8: POP
00000ec9: JUMPDEST
00000eca: POP
00000ecb: PUSH1 0x40
00000ecd: ADD
00000ece: SWAP1
00000ecf: JUMP
00000ed0: JUMPDEST
00000ed1: PUSH1 0x26
00000ed3: DUP2
00000ed4: MSTORE
00000ed5: PUSH1 0x00
00000ed7: PUSH1 0x20
00000ed9: DUP3
00000eda: ADD
00000edb: PUSH32 0x4c69624469616d6f6e644375743a205f696e69742066756e6374696f6e207265
00000efc: DUP2
00000efd: MSTORE
00000efe: PUSH6 0x1d995c9d1959
00000f05: PUSH1 0xd2
00000f07: SHL
00000f08: PUSH1 0x20
00000f0a: DUP3
00000f0b: ADD
00000f0c: MSTORE
00000f0d: SWAP2
00000f0e: POP
00000f0f: PUSH2 0x0ec9
00000f12: JUMP
00000f13: JUMPDEST
00000f14: PUSH1 0x2b
00000f16: DUP2
00000f17: MSTORE
00000f18: PUSH1 0x00
00000f1a: PUSH1 0x20
00000f1c: DUP3
00000f1d: ADD
00000f1e: PUSH32 0x4c69624469616d6f6e644375743a204e6f2073656c6563746f727320696e2066
00000f3f: DUP2
00000f40: MSTORE
00000f41: PUSH11 0x1858d95d081d1bc818dd5d
00000f4d: PUSH1 0xaa
00000f4f: SHL
00000f50: PUSH1 0x20
00000f52: DUP3
00000f53: ADD
00000f54: MSTORE
00000f55: SWAP2
00000f56: POP
00000f57: PUSH2 0x0ec9
00000f5a: JUMP
00000f5b: JUMPDEST
00000f5c: PUSH1 0x37
00000f5e: DUP2
00000f5f: MSTORE
00000f60: PUSH1 0x00
00000f62: PUSH1 0x20
00000f64: DUP3
00000f65: ADD
00000f66: PUSH32 0x4c69624469616d6f6e644375743a2043616e27742072656d6f76652066756e63
00000f87: DUP2
00000f88: MSTORE
00000f89: PUSH32 0x74696f6e207468617420646f65736e2774206578697374000000000000000000
00000faa: PUSH1 0x20
00000fac: DUP3
00000fad: ADD
00000fae: MSTORE
00000faf: SWAP2
00000fb0: POP
00000fb1: PUSH2 0x0ec9
00000fb4: JUMP
00000fb5: JUMPDEST
00000fb6: PUSH1 0x27
00000fb8: DUP2
00000fb9: MSTORE
00000fba: PUSH1 0x00
00000fbc: PUSH1 0x20
00000fbe: DUP3
00000fbf: ADD
00000fc0: PUSH32 0x4c69624469616d6f6e644375743a20496e636f72726563742046616365744375
00000fe1: DUP2
00000fe2: MSTORE
00000fe3: PUSH7 0x3a20b1ba34b7b7
00000feb: PUSH1 0xc9
00000fed: SHL
00000fee: PUSH1 0x20
00000ff0: DUP3
00000ff1: ADD
00000ff2: MSTORE
00000ff3: SWAP2
00000ff4: POP
00000ff5: PUSH2 0x0ec9
00000ff8: JUMP
00000ff9: JUMPDEST
00000ffa: PUSH1 0x2c
00000ffc: DUP2
00000ffd: MSTORE
00000ffe: PUSH1 0x00
00001000: PUSH1 0x20
00001002: DUP3
00001003: ADD
00001004: PUSH32 0x4c69624469616d6f6e644375743a204164642066616365742063616e27742062
00001025: DUP2
00001026: MSTORE
00001027: PUSH12 0x652061646472657373283029
00001034: PUSH1 0xa0
00001036: SHL
00001037: PUSH1 0x20
00001039: DUP3
0000103a: ADD
0000103b: MSTORE
0000103c: SWAP2
0000103d: POP
0000103e: PUSH2 0x0ec9
00001041: JUMP
00001042: JUMPDEST
00001043: PUSH1 0x3d
00001045: DUP2
00001046: MSTORE
00001047: PUSH1 0x00
00001049: PUSH1 0x20
0000104b: DUP3
0000104c: ADD
0000104d: PUSH32 0x4c69624469616d6f6e644375743a205f63616c6c6461746120697320656d7074
0000106e: DUP2
0000106f: MSTORE
00001070: PUSH32 0x7920627574205f696e6974206973206e6f742061646472657373283029000000
00001091: PUSH1 0x20
00001093: DUP3
00001094: ADD
00001095: MSTORE
00001096: SWAP2
00001097: POP
00001098: PUSH2 0x0ec9
0000109b: JUMP
0000109c: JUMPDEST
0000109d: PUSH1 0x2e
0000109f: DUP2
000010a0: MSTORE
000010a1: PUSH1 0x00
000010a3: PUSH1 0x20
000010a5: DUP3
000010a6: ADD
000010a7: PUSH32 0x4c69624469616d6f6e644375743a2043616e27742072656d6f766520696d6d75
000010c8: DUP2
000010c9: MSTORE
000010ca: PUSH14 0x3a30b1363290333ab731ba34b7b7
000010d9: PUSH1 0x91
000010db: SHL
000010dc: PUSH1 0x20
000010de: DUP3
000010df: ADD
000010e0: MSTORE
000010e1: SWAP2
000010e2: POP
000010e3: PUSH2 0x0ec9
000010e6: JUMP
000010e7: JUMPDEST
000010e8: PUSH1 0x35
000010ea: DUP2
000010eb: MSTORE
000010ec: PUSH1 0x00
000010ee: PUSH1 0x20
000010f0: DUP3
000010f1: ADD
000010f2: PUSH32 0x4c69624469616d6f6e644375743a2043616e2774206164642066756e6374696f
00001113: DUP2
00001114: MSTORE
00001115: PUSH21 0x6e207468617420616c726561647920657869737473
0000112b: PUSH1 0x58
0000112d: SHL
0000112e: PUSH1 0x20
00001130: DUP3
00001131: ADD
00001132: MSTORE
00001133: SWAP2
00001134: POP
00001135: PUSH2 0x0ec9
00001138: JUMP
00001139: JUMPDEST
0000113a: PUSH1 0x38
0000113c: DUP2
0000113d: MSTORE
0000113e: PUSH1 0x00
00001140: PUSH1 0x20
00001142: DUP3
00001143: ADD
00001144: PUSH32 0x4c69624469616d6f6e644375743a2043616e2774207265706c6163652066756e
00001165: DUP2
00001166: MSTORE
00001167: PUSH32 0x6374696f6e20776974682073616d652066756e6374696f6e0000000000000000
00001188: PUSH1 0x20
0000118a: DUP3
0000118b: ADD
0000118c: MSTORE
0000118d: SWAP2
0000118e: POP
0000118f: PUSH2 0x0ec9
00001192: JUMP
00001193: JUMPDEST
00001194: PUSH1 0x36
00001196: DUP2
00001197: MSTORE
00001198: PUSH1 0x00
0000119a: PUSH1 0x20
0000119c: DUP3
0000119d: ADD
0000119e: PUSH32 0x4c69624469616d6f6e644375743a2052656d6f76652066616365742061646472
000011bf: DUP2
000011c0: MSTORE
000011c1: PUSH22 0x657373206d7573742062652061646472657373283029
000011d8: PUSH1 0x50
000011da: SHL
000011db: PUSH1 0x20
000011dd: DUP3
000011de: ADD
000011df: MSTORE
000011e0: SWAP2
000011e1: POP
000011e2: PUSH2 0x0ec9
000011e5: JUMP
000011e6: JUMPDEST
000011e7: DUP1
000011e8: MLOAD
000011e9: PUSH1 0x00
000011eb: SWAP1
000011ec: PUSH1 0x60
000011ee: DUP5
000011ef: ADD
000011f0: SWAP1
000011f1: PUSH2 0x11fa
000011f4: DUP6
000011f5: DUP3
000011f6: PUSH2 0x0d48
000011f9: JUMP
000011fa: JUMPDEST
000011fb: POP
000011fc: PUSH1 0x20
000011fe: DUP4
000011ff: ADD
00001200: MLOAD
00001201: PUSH2 0x120d
00001204: PUSH1 0x20
00001206: DUP7
00001207: ADD
00001208: DUP3
00001209: PUSH2 0x0e6a
0000120c: JUMP
0000120d: JUMPDEST
0000120e: POP
0000120f: PUSH1 0x40
00001211: DUP4
00001212: ADD
00001213: MLOAD
00001214: DUP5
00001215: DUP3
00001216: SUB
00001217: PUSH1 0x40
00001219: DUP7
0000121a: ADD
0000121b: MSTORE
0000121c: PUSH2 0x1225
0000121f: DUP3
00001220: DUP3
00001221: PUSH2 0x0d57
00001224: JUMP
00001225: JUMPDEST
00001226: SWAP6
00001227: SWAP5
00001228: POP
00001229: POP
0000122a: POP
0000122b: POP
0000122c: POP
0000122d: JUMP
0000122e: JUMPDEST
0000122f: PUSH1 0x00
00001231: PUSH2 0x0d41
00001234: DUP3
00001235: DUP5
00001236: PUSH2 0x0e48
00001239: JUMP
0000123a: JUMPDEST
0000123b: PUSH1 0x60
0000123d: DUP1
0000123e: DUP3
0000123f: MSTORE
00001240: DUP2
00001241: ADD
00001242: PUSH2 0x124b
00001245: DUP2
00001246: DUP7
00001247: PUSH2 0x0da0
0000124a: JUMP
0000124b: JUMPDEST
0000124c: SWAP1
0000124d: POP
0000124e: PUSH2 0x125a
00001251: PUSH1 0x20
00001253: DUP4
00001254: ADD
00001255: DUP6
00001256: PUSH2 0x0d48
00001259: JUMP
0000125a: JUMPDEST
0000125b: DUP2
0000125c: DUP2
0000125d: SUB
0000125e: PUSH1 0x40
00001260: DUP4
00001261: ADD
00001262: MSTORE
00001263: PUSH2 0x1225
00001266: DUP2
00001267: DUP5
00001268: PUSH2 0x0e16
0000126b: JUMP
0000126c: JUMPDEST
0000126d: PUSH1 0x20
0000126f: DUP1
00001270: DUP3
00001271: MSTORE
00001272: DUP2
00001273: ADD
00001274: PUSH2 0x0d41
00001277: DUP2
00001278: DUP5
00001279: PUSH2 0x0e16
0000127c: JUMP
0000127d: JUMPDEST
0000127e: PUSH1 0x20
00001280: DUP1
00001281: DUP3
00001282: MSTORE
00001283: DUP2
00001284: ADD
00001285: PUSH2 0x128d
00001288: DUP2
00001289: PUSH2 0x0e73
0000128c: JUMP
0000128d: JUMPDEST
0000128e: SWAP3
0000128f: SWAP2
00001290: POP
00001291: POP
00001292: JUMP
00001293: JUMPDEST
00001294: PUSH1 0x20
00001296: DUP1
00001297: DUP3
00001298: MSTORE
00001299: DUP2
0000129a: ADD
0000129b: PUSH2 0x128d
0000129e: DUP2
0000129f: PUSH2 0x0ed0
000012a2: JUMP
000012a3: JUMPDEST
000012a4: PUSH1 0x20
000012a6: DUP1
000012a7: DUP3
000012a8: MSTORE
000012a9: DUP2
000012aa: ADD
000012ab: PUSH2 0x128d
000012ae: DUP2
000012af: PUSH2 0x0f13
000012b2: JUMP
000012b3: JUMPDEST
000012b4: PUSH1 0x20
000012b6: DUP1
000012b7: DUP3
000012b8: MSTORE
000012b9: DUP2
000012ba: ADD
000012bb: PUSH2 0x128d
000012be: DUP2
000012bf: PUSH2 0x0f5b
000012c2: JUMP
000012c3: JUMPDEST
000012c4: PUSH1 0x20
000012c6: DUP1
000012c7: DUP3
000012c8: MSTORE
000012c9: DUP2
000012ca: ADD
000012cb: PUSH2 0x128d
000012ce: DUP2
000012cf: PUSH2 0x0fb5
000012d2: JUMP
000012d3: JUMPDEST
000012d4: PUSH1 0x20
000012d6: DUP1
000012d7: DUP3
000012d8: MSTORE
000012d9: DUP2
000012da: ADD
000012db: PUSH2 0x128d
000012de: DUP2
000012df: PUSH2 0x0ff9
000012e2: JUMP
000012e3: JUMPDEST
000012e4: PUSH1 0x20
000012e6: DUP1
000012e7: DUP3
000012e8: MSTORE
000012e9: DUP2
000012ea: DUP2
000012eb: ADD
000012ec: SWAP1
000012ed: DUP2
000012ee: MSTORE
000012ef: PUSH32 0x4469616d6f6e643a2046756e6374696f6e20646f6573206e6f74206578697374
00001310: PUSH1 0x40
00001312: DUP4
00001313: ADD
00001314: MSTORE
00001315: PUSH1 0x60
00001317: DUP3
00001318: ADD
00001319: PUSH2 0x128d
0000131c: JUMP
0000131d: JUMPDEST
0000131e: PUSH1 0x20
00001320: DUP1
00001321: DUP3
00001322: MSTORE
00001323: DUP2
00001324: ADD
00001325: PUSH2 0x128d
00001328: DUP2
00001329: PUSH2 0x1042
0000132c: JUMP
0000132d: JUMPDEST
0000132e: PUSH1 0x20
00001330: DUP1
00001331: DUP3
00001332: MSTORE
00001333: DUP2
00001334: ADD
00001335: PUSH2 0x128d
00001338: DUP2
00001339: PUSH2 0x109c
0000133c: JUMP
0000133d: JUMPDEST
0000133e: PUSH1 0x20
00001340: DUP1
00001341: DUP3
00001342: MSTORE
00001343: DUP2
00001344: ADD
00001345: PUSH2 0x128d
00001348: DUP2
00001349: PUSH2 0x10e7
0000134c: JUMP
0000134d: JUMPDEST
0000134e: PUSH1 0x20
00001350: DUP1
00001351: DUP3
00001352: MSTORE
00001353: DUP2
00001354: ADD
00001355: PUSH2 0x128d
00001358: DUP2
00001359: PUSH2 0x1139
0000135c: JUMP
0000135d: JUMPDEST
0000135e: PUSH1 0x20
00001360: DUP1
00001361: DUP3
00001362: MSTORE
00001363: DUP2
00001364: ADD
00001365: PUSH2 0x128d
00001368: DUP2
00001369: PUSH2 0x1193
0000136c: JUMP
0000136d: JUMPDEST
0000136e: PUSH1 0x00
00001370: DUP3
00001371: DUP3
00001372: LT
00001373: ISZERO
00001374: PUSH2 0x137f
00001377: JUMPI
00001378: PUSH2 0x137f
0000137b: PUSH2 0x140d
0000137e: JUMP
0000137f: JUMPDEST
00001380: POP
00001381: SUB
00001382: SWAP1
00001383: JUMP
00001384: JUMPDEST
00001385: PUSH1 0x00
00001387: PUSH1 0x01
00001389: PUSH1 0x01
0000138b: PUSH1 0xa0
0000138d: SHL
0000138e: SUB
0000138f: DUP3
00001390: AND
00001391: PUSH2 0x128d
00001394: JUMP
00001395: JUMPDEST
00001396: DUP1
00001397: PUSH2 0x139f
0000139a: DUP2
0000139b: PUSH2 0x1439
0000139e: JUMP
0000139f: JUMPDEST
000013a0: SWAP2
000013a1: SWAP1
000013a2: POP
000013a3: JUMP
000013a4: JUMPDEST
000013a5: PUSH1 0x00
000013a7: PUSH2 0x128d
000013aa: DUP3
000013ab: PUSH2 0x1395
000013ae: JUMP
000013af: JUMPDEST
000013b0: PUSH1 0x00
000013b2: JUMPDEST
000013b3: DUP4
000013b4: DUP2
000013b5: LT
000013b6: ISZERO
000013b7: PUSH2 0x13ca
000013ba: JUMPI
000013bb: DUP2
000013bc: DUP2
000013bd: ADD
000013be: MLOAD
000013bf: DUP4
000013c0: DUP3
000013c1: ADD
000013c2: MSTORE
000013c3: PUSH1 0x20
000013c5: ADD
000013c6: PUSH2 0x13b2
000013c9: JUMP
000013ca: JUMPDEST
000013cb: DUP4
000013cc: DUP2
000013cd: GT
000013ce: ISZERO
000013cf: PUSH2 0x079e
000013d2: JUMPI
000013d3: POP
000013d4: POP
000013d5: PUSH1 0x00
000013d7: SWAP2
000013d8: ADD
000013d9: MSTORE
000013da: JUMP
000013db: JUMPDEST
000013dc: PUSH1 0x00
000013de: PUSH2 0xffff
000013e1: DUP3
000013e2: AND
000013e3: SWAP2
000013e4: POP
000013e5: PUSH2 0xffff
000013e8: DUP3
000013e9: EQ
000013ea: ISZERO
000013eb: PUSH2 0x13f6
000013ee: JUMPI
000013ef: PUSH2 0x13f6
000013f2: PUSH2 0x140d
000013f5: JUMP
000013f6: JUMPDEST
000013f7: POP
000013f8: PUSH1 0x01
000013fa: ADD
000013fb: SWAP1
000013fc: JUMP
000013fd: JUMPDEST
000013fe: PUSH1 0x00
00001400: PUSH1 0x00
00001402: NOT
00001403: DUP3
00001404: EQ
00001405: ISZERO
00001406: PUSH2 0x13f6
00001409: JUMPI
0000140a: PUSH2 0x13f6
0000140d: JUMPDEST
0000140e: PUSH4 0x4e487b71
00001413: PUSH1 0xe0
00001415: SHL
00001416: PUSH1 0x00
00001418: MSTORE
00001419: PUSH1 0x11
0000141b: PUSH1 0x04
0000141d: MSTORE
0000141e: PUSH1 0x24
00001420: PUSH1 0x00
00001422: REVERT
00001423: JUMPDEST
00001424: PUSH4 0x4e487b71
00001429: PUSH1 0xe0
0000142b: SHL
0000142c: PUSH1 0x00
0000142e: MSTORE
0000142f: PUSH1 0x21
00001431: PUSH1 0x04
00001433: MSTORE
00001434: PUSH1 0x24
00001436: PUSH1 0x00
00001438: REVERT
00001439: JUMPDEST
0000143a: PUSH1 0x03
0000143c: DUP2
0000143d: LT
0000143e: PUSH2 0x1449
00001441: JUMPI
00001442: PUSH2 0x1449
00001445: PUSH2 0x1423
00001448: JUMP
00001449: JUMPDEST
0000144a: POP
0000144b: JUMP
0000144c: INVALID
0000144d: UNKNOWN(0x4C)
0000144e: PUSH10 0x624469616d6f6e644375
00001459: PUSH21 0x3a205f696e6974206164647265737320686173206e
0000146f: PUSH16 0x20636f64654c69624469616d6f6e6443
00001480: PUSH22 0x743a204e657720666163657420686173206e6f20636f
00001497: PUSH5 0x65a2646970
0000149d: PUSH7 0x7358221220f58e
000014a5: UNKNOWN(0xD1)
000014a6: PUSH25 0x8c204d0a238d2e51f4a9b4e333679fba6dfdd43f0b85151754
000014c0: EXP
000014c1: PUSH30