Analysis Run

[codex:841944] OpenAI Codex v0.77.0 (research preview)
[codex:841944] --------
[codex:841944] workdir: /tmp/codex-multi-1fdx1p3l
[codex:841944] model: gpt-5.2-codex
[codex:841944] provider: openai
[codex:841944] approval: never
[codex:841944] sandbox: read-only
[codex:841944] reasoning effort: xhigh
[codex:841944] reasoning summaries: auto
[codex:841944] session id: 019b6869-f1a3-7ec0-b668-463a9017deb1
[codex:841944] --------
[codex:841944] user
[codex:841944] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:841944] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:841944] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:841944] 
[codex:841944] Scope rules:
[codex:841944] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:841944] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:841944] 
[codex:841944] Output MUST be valid JSON matching the provided schema.
[codex:841944] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:841944] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:841944] 
[codex:841944] Output constraints (IMPORTANT):
[codex:841944] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:841944] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:841944] mcp startup: no servers
[codex:841944] 
[codex:841944] thinking
[codex:841944] **Preparing to read audit file**
[codex:841944] exec
[codex:841944] /bin/bash -lc ls in /tmp/codex-multi-1fdx1p3l succeeded in 5ms:
[codex:841944] AUDIT_BUNDLE.txt
[codex:841944] codex-output-schema.json
[codex:841944] contracts
[codex:841944] 
[codex:841944] thinking
[codex:841944] **Reading AUDIT_BUNDLE.txt**
[codex:841944] exec
[codex:841944] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-1fdx1p3l succeeded in 5ms:
[codex:841944] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:841944] 
[codex:841944] ================================================================================
[codex:841944] FILE: contracts/@openzeppelin/contracts/security/ReentrancyGuard.sol
[codex:841944] ================================================================================
[codex:841944] // SPDX-License-Identifier: MIT
[codex:841944] // OpenZeppelin Contracts (last updated v4.8.0) (security/ReentrancyGuard.sol)
[codex:841944] 
[codex:841944] pragma solidity ^0.8.0;
[codex:841944] 
[codex:841944] /**
[codex:841944]  * @dev Contract module that helps prevent reentrant calls to a function.
[codex:841944]  *
[codex:841944]  * Inheriting from `ReentrancyGuard` will make the {nonReentrant} modifier
[codex:841944]  * available, which can be applied to functions to make sure there are no nested
[codex:841944]  * (reentrant) calls to them.
[codex:841944]  *
[codex:841944]  * Note that because there is a single `nonReentrant` guard, functions marked as
[codex:841944]  * `nonReentrant` may not call one another. This can be worked around by making
[codex:841944]  * those functions `private`, and then adding `external` `nonReentrant` entry
[codex:841944] 
[codex:841944] 
[codex:841944] thinking
[codex:841944] **Evaluating contract security and access control**
[codex:841944] 
[codex:841944] I'm carefully auditing this EulerClaims contract for exploitable vulnerabilities, focusing on reentrancy, access control, external calls, and encoding correctness. I see owner powers to update merkle roots and recover tokens could enable centralization risks and fund drains if misused, but these are trust assumptions rather than direct exploits. Reentrancy guards and SafeERC20 usage appear sound, and acceptance token checking is simple but effective for on-chain gating. Overall, no critical vulnerabilities emerge, though owner privileges warrant noting as a low-severity access risk.
[codex:841944] thinking
[codex:841944] **Preparing to validate JSON output**
[codex:841944] exec
[codex:841944] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-1fdx1p3l succeeded in 5ms:
[codex:841944] {"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:841944] 
[codex:841944] thinking
[codex:841944] **Preparing final JSON audit report**
[codex:841944] 
[codex:841944] I'm assembling a JSON report that confirms no exploitable vulnerabilities were found while noting residual risks related to trusted owner powers like updating the merkle root and recovering tokens, making sure to strictly follow the output schema and instructions.
[codex:841944] codex
[codex:841944] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the first-party contract. Residual risk: a trusted owner can update the merkle root and recover tokens/ETH at any time, so owner key compromise or misuse would impact claimants.","findings":[]}
[codex:841944] tokens used
[codex:841944] 40,349
[codex:841944] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the first-party contract. Residual risk: a trusted owner can update the merkle root and recover tokens/ETH at any time, so owner key compromise or misuse would impact claimants.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-29T04:43:52.954852+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities found in the first-party contract. Residual risk: a trusted owner can update the merkle root and recover tokens/ETH at any time, so owner key compromise or misuse would impact claimants.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities found in the first-party contract. Residual risk: a trusted owner can update the merkle root and recover tokens/ETH at any time, so owner key compromise or misuse would impact claimants.",
        "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 0x0093
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x4e25b08b
00000026: GT
00000027: PUSH2 0x0066
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0x4e25b08b
00000031: EQ
00000032: PUSH2 0x0120
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0x8da5cb5b
0000003c: EQ
0000003d: PUSH2 0x013c
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xe36e7dfc
00000047: EQ
00000048: PUSH2 0x015a
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xf017957c
00000052: EQ
00000053: PUSH2 0x0176
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xf2fde38b
0000005d: EQ
0000005e: PUSH2 0x0192
00000061: JUMPI
00000062: PUSH2 0x0093
00000065: JUMP
00000066: JUMPDEST
00000067: DUP1
00000068: PUSH4 0x06fdde03
0000006d: EQ
0000006e: PUSH2 0x0098
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x29da5077
00000078: EQ
00000079: PUSH2 0x00b6
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x2eb4a7ab
00000083: EQ
00000084: PUSH2 0x00e6
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x4783f0ef
0000008e: EQ
0000008f: PUSH2 0x0104
00000092: JUMPI
00000093: JUMPDEST
00000094: PUSH1 0x00
00000096: DUP1
00000097: REVERT
00000098: JUMPDEST
00000099: PUSH2 0x00a0
0000009c: PUSH2 0x01ae
0000009f: JUMP
000000a0: JUMPDEST
000000a1: PUSH1 0x40
000000a3: MLOAD
000000a4: PUSH2 0x00ad
000000a7: SWAP2
000000a8: SWAP1
000000a9: PUSH2 0x0f76
000000ac: JUMP
000000ad: JUMPDEST
000000ae: PUSH1 0x40
000000b0: MLOAD
000000b1: DUP1
000000b2: SWAP2
000000b3: SUB
000000b4: SWAP1
000000b5: RETURN
000000b6: JUMPDEST
000000b7: PUSH2 0x00d0
000000ba: PUSH1 0x04
000000bc: DUP1
000000bd: CALLDATASIZE
000000be: SUB
000000bf: DUP2
000000c0: ADD
000000c1: SWAP1
000000c2: PUSH2 0x00cb
000000c5: SWAP2
000000c6: SWAP1
000000c7: PUSH2 0x0fd8
000000ca: JUMP
000000cb: JUMPDEST
000000cc: PUSH2 0x01e7
000000cf: JUMP
000000d0: JUMPDEST
000000d1: PUSH1 0x40
000000d3: MLOAD
000000d4: PUSH2 0x00dd
000000d7: SWAP2
000000d8: SWAP1
000000d9: PUSH2 0x1020
000000dc: JUMP
000000dd: JUMPDEST
000000de: PUSH1 0x40
000000e0: MLOAD
000000e1: DUP1
000000e2: SWAP2
000000e3: SUB
000000e4: SWAP1
000000e5: RETURN
000000e6: JUMPDEST
000000e7: PUSH2 0x00ee
000000ea: PUSH2 0x0207
000000ed: JUMP
000000ee: JUMPDEST
000000ef: PUSH1 0x40
000000f1: MLOAD
000000f2: PUSH2 0x00fb
000000f5: SWAP2
000000f6: SWAP1
000000f7: PUSH2 0x1054
000000fa: JUMP
000000fb: JUMPDEST
000000fc: PUSH1 0x40
000000fe: MLOAD
000000ff: DUP1
00000100: SWAP2
00000101: SUB
00000102: SWAP1
00000103: RETURN
00000104: JUMPDEST
00000105: PUSH2 0x011e
00000108: PUSH1 0x04
0000010a: DUP1
0000010b: CALLDATASIZE
0000010c: SUB
0000010d: DUP2
0000010e: ADD
0000010f: SWAP1
00000110: PUSH2 0x0119
00000113: SWAP2
00000114: SWAP1
00000115: PUSH2 0x109b
00000118: JUMP
00000119: JUMPDEST
0000011a: PUSH2 0x020d
0000011d: JUMP
0000011e: JUMPDEST
0000011f: STOP
00000120: JUMPDEST
00000121: PUSH2 0x013a
00000124: PUSH1 0x04
00000126: DUP1
00000127: CALLDATASIZE
00000128: SUB
00000129: DUP2
0000012a: ADD
0000012b: SWAP1
0000012c: PUSH2 0x0135
0000012f: SWAP2
00000130: SWAP1
00000131: PUSH2 0x0fd8
00000134: JUMP
00000135: JUMPDEST
00000136: PUSH2 0x02d4
00000139: JUMP
0000013a: JUMPDEST
0000013b: STOP
0000013c: JUMPDEST
0000013d: PUSH2 0x0144
00000140: PUSH2 0x0446
00000143: JUMP
00000144: JUMPDEST
00000145: PUSH1 0x40
00000147: MLOAD
00000148: PUSH2 0x0151
0000014b: SWAP2
0000014c: SWAP1
0000014d: PUSH2 0x1109
00000150: JUMP
00000151: JUMPDEST
00000152: PUSH1 0x40
00000154: MLOAD
00000155: DUP1
00000156: SWAP2
00000157: SUB
00000158: SWAP1
00000159: RETURN
0000015a: JUMPDEST
0000015b: PUSH2 0x0174
0000015e: PUSH1 0x04
00000160: DUP1
00000161: CALLDATASIZE
00000162: SUB
00000163: DUP2
00000164: ADD
00000165: SWAP1
00000166: PUSH2 0x016f
00000169: SWAP2
0000016a: SWAP1
0000016b: PUSH2 0x11df
0000016e: JUMP
0000016f: JUMPDEST
00000170: PUSH2 0x046c
00000173: JUMP
00000174: JUMPDEST
00000175: STOP
00000176: JUMPDEST
00000177: PUSH2 0x0190
0000017a: PUSH1 0x04
0000017c: DUP1
0000017d: CALLDATASIZE
0000017e: SUB
0000017f: DUP2
00000180: ADD
00000181: SWAP1
00000182: PUSH2 0x018b
00000185: SWAP2
00000186: SWAP1
00000187: PUSH2 0x12dc
0000018a: JUMP
0000018b: JUMPDEST
0000018c: PUSH2 0x070c
0000018f: JUMP
00000190: JUMPDEST
00000191: STOP
00000192: JUMPDEST
00000193: PUSH2 0x01ac
00000196: PUSH1 0x04
00000198: DUP1
00000199: CALLDATASIZE
0000019a: SUB
0000019b: DUP2
0000019c: ADD
0000019d: SWAP1
0000019e: PUSH2 0x01a7
000001a1: SWAP2
000001a2: SWAP1
000001a3: PUSH2 0x1389
000001a6: JUMP
000001a7: JUMPDEST
000001a8: PUSH2 0x093e
000001ab: JUMP
000001ac: JUMPDEST
000001ad: STOP
000001ae: JUMPDEST
000001af: PUSH1 0x40
000001b1: MLOAD
000001b2: DUP1
000001b3: PUSH1 0x40
000001b5: ADD
000001b6: PUSH1 0x40
000001b8: MSTORE
000001b9: DUP1
000001ba: PUSH1 0x0b
000001bc: DUP2
000001bd: MSTORE
000001be: PUSH1 0x20
000001c0: ADD
000001c1: PUSH32 0x45756c6572436c61696d73000000000000000000000000000000000000000000
000001e2: DUP2
000001e3: MSTORE
000001e4: POP
000001e5: DUP2
000001e6: JUMP
000001e7: JUMPDEST
000001e8: PUSH1 0x03
000001ea: PUSH1 0x20
000001ec: MSTORE
000001ed: DUP1
000001ee: PUSH1 0x00
000001f0: MSTORE
000001f1: PUSH1 0x40
000001f3: PUSH1 0x00
000001f5: KECCAK256
000001f6: PUSH1 0x00
000001f8: SWAP2
000001f9: POP
000001fa: SLOAD
000001fb: SWAP1
000001fc: PUSH2 0x0100
000001ff: EXP
00000200: SWAP1
00000201: DIV
00000202: PUSH1 0xff
00000204: AND
00000205: DUP2
00000206: JUMP
00000207: JUMPDEST
00000208: PUSH1 0x02
0000020a: SLOAD
0000020b: DUP2
0000020c: JUMP
0000020d: JUMPDEST
0000020e: PUSH1 0x01
00000210: PUSH1 0x00
00000212: SWAP1
00000213: SLOAD
00000214: SWAP1
00000215: PUSH2 0x0100
00000218: EXP
00000219: SWAP1
0000021a: DIV
0000021b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000230: AND
00000231: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000246: AND
00000247: CALLER
00000248: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000025d: AND
0000025e: EQ
0000025f: PUSH2 0x029d
00000262: JUMPI
00000263: PUSH1 0x40
00000265: MLOAD
00000266: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000287: DUP2
00000288: MSTORE
00000289: PUSH1 0x04
0000028b: ADD
0000028c: PUSH2 0x0294
0000028f: SWAP1
00000290: PUSH2 0x1402
00000293: JUMP
00000294: JUMPDEST
00000295: PUSH1 0x40
00000297: MLOAD
00000298: DUP1
00000299: SWAP2
0000029a: SUB
0000029b: SWAP1
0000029c: REVERT
0000029d: JUMPDEST
0000029e: DUP1
0000029f: PUSH1 0x02
000002a1: DUP2
000002a2: SWAP1
000002a3: SSTORE
000002a4: POP
000002a5: DUP1
000002a6: PUSH32 0x90004c04698bc3322499a575ed3752dd4abf33e0a7294c06a787a0fe01bea941
000002c7: PUSH1 0x40
000002c9: MLOAD
000002ca: PUSH1 0x40
000002cc: MLOAD
000002cd: DUP1
000002ce: SWAP2
000002cf: SUB
000002d0: SWAP1
000002d1: LOG2
000002d2: POP
000002d3: JUMP
000002d4: JUMPDEST
000002d5: PUSH1 0x01
000002d7: PUSH1 0x00
000002d9: SWAP1
000002da: SLOAD
000002db: SWAP1
000002dc: PUSH2 0x0100
000002df: EXP
000002e0: SWAP1
000002e1: DIV
000002e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002f7: AND
000002f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000030d: AND
0000030e: CALLER
0000030f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000324: AND
00000325: EQ
00000326: PUSH2 0x0364
00000329: JUMPI
0000032a: PUSH1 0x40
0000032c: MLOAD
0000032d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000034e: DUP2
0000034f: MSTORE
00000350: PUSH1 0x04
00000352: ADD
00000353: PUSH2 0x035b
00000356: SWAP1
00000357: PUSH2 0x1402
0000035a: JUMP
0000035b: JUMPDEST
0000035c: PUSH1 0x40
0000035e: MLOAD
0000035f: DUP1
00000360: SWAP2
00000361: SUB
00000362: SWAP1
00000363: REVERT
00000364: JUMPDEST
00000365: PUSH2 0x036c
00000368: PUSH2 0x0ac4
0000036b: JUMP
0000036c: JUMPDEST
0000036d: PUSH1 0x00
0000036f: PUSH1 0x01
00000371: PUSH1 0x00
00000373: SWAP1
00000374: SLOAD
00000375: SWAP1
00000376: PUSH2 0x0100
00000379: EXP
0000037a: SWAP1
0000037b: DIV
0000037c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000391: AND
00000392: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003a7: AND
000003a8: DUP3
000003a9: PUSH1 0x40
000003ab: MLOAD
000003ac: PUSH2 0x03b4
000003af: SWAP1
000003b0: PUSH2 0x1453
000003b3: JUMP
000003b4: JUMPDEST
000003b5: PUSH1 0x00
000003b7: PUSH1 0x40
000003b9: MLOAD
000003ba: DUP1
000003bb: DUP4
000003bc: SUB
000003bd: DUP2
000003be: DUP6
000003bf: DUP8
000003c0: GAS
000003c1: CALL
000003c2: SWAP3
000003c3: POP
000003c4: POP
000003c5: POP
000003c6: RETURNDATASIZE
000003c7: DUP1
000003c8: PUSH1 0x00
000003ca: DUP2
000003cb: EQ
000003cc: PUSH2 0x03f1
000003cf: JUMPI
000003d0: PUSH1 0x40
000003d2: MLOAD
000003d3: SWAP2
000003d4: POP
000003d5: PUSH1 0x1f
000003d7: NOT
000003d8: PUSH1 0x3f
000003da: RETURNDATASIZE
000003db: ADD
000003dc: AND
000003dd: DUP3
000003de: ADD
000003df: PUSH1 0x40
000003e1: MSTORE
000003e2: RETURNDATASIZE
000003e3: DUP3
000003e4: MSTORE
000003e5: RETURNDATASIZE
000003e6: PUSH1 0x00
000003e8: PUSH1 0x20
000003ea: DUP5
000003eb: ADD
000003ec: RETURNDATACOPY
000003ed: PUSH2 0x03f6
000003f0: JUMP
000003f1: JUMPDEST
000003f2: PUSH1 0x60
000003f4: SWAP2
000003f5: POP
000003f6: JUMPDEST
000003f7: POP
000003f8: POP
000003f9: SWAP1
000003fa: POP
000003fb: DUP1
000003fc: PUSH2 0x043a
000003ff: JUMPI
00000400: PUSH1 0x40
00000402: MLOAD
00000403: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000424: DUP2
00000425: MSTORE
00000426: PUSH1 0x04
00000428: ADD
00000429: PUSH2 0x0431
0000042c: SWAP1
0000042d: PUSH2 0x14b4
00000430: JUMP
00000431: JUMPDEST
00000432: PUSH1 0x40
00000434: MLOAD
00000435: DUP1
00000436: SWAP2
00000437: SUB
00000438: SWAP1
00000439: REVERT
0000043a: JUMPDEST
0000043b: POP
0000043c: PUSH2 0x0443
0000043f: PUSH2 0x0b13
00000442: JUMP
00000443: JUMPDEST
00000444: POP
00000445: JUMP
00000446: JUMPDEST
00000447: PUSH1 0x01
00000449: PUSH1 0x00
0000044b: SWAP1
0000044c: SLOAD
0000044d: SWAP1
0000044e: PUSH2 0x0100
00000451: EXP
00000452: SWAP1
00000453: DIV
00000454: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000469: AND
0000046a: DUP2
0000046b: JUMP
0000046c: JUMPDEST
0000046d: PUSH2 0x0474
00000470: PUSH2 0x0ac4
00000473: JUMP
00000474: JUMPDEST
00000475: CALLER
00000476: PUSH32 0x427a506ff6e15bd1b7e4e93da52c8ec95f6af1279618a2f076946e83d8294996
00000497: PUSH1 0x00
00000499: SHL
0000049a: PUSH1 0x40
0000049c: MLOAD
0000049d: PUSH1 0x20
0000049f: ADD
000004a0: PUSH2 0x04aa
000004a3: SWAP3
000004a4: SWAP2
000004a5: SWAP1
000004a6: PUSH2 0x153d
000004a9: JUMP
000004aa: JUMPDEST
000004ab: PUSH1 0x40
000004ad: MLOAD
000004ae: PUSH1 0x20
000004b0: DUP2
000004b1: DUP4
000004b2: SUB
000004b3: SUB
000004b4: DUP2
000004b5: MSTORE
000004b6: SWAP1
000004b7: PUSH1 0x40
000004b9: MSTORE
000004ba: DUP1
000004bb: MLOAD
000004bc: SWAP1
000004bd: PUSH1 0x20
000004bf: ADD
000004c0: KECCAK256
000004c1: DUP7
000004c2: EQ
000004c3: PUSH2 0x0501
000004c6: JUMPI
000004c7: PUSH1 0x40
000004c9: MLOAD
000004ca: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000004eb: DUP2
000004ec: MSTORE
000004ed: PUSH1 0x04
000004ef: ADD
000004f0: PUSH2 0x04f8
000004f3: SWAP1
000004f4: PUSH2 0x15db
000004f7: JUMP
000004f8: JUMPDEST
000004f9: PUSH1 0x40
000004fb: MLOAD
000004fc: DUP1
000004fd: SWAP2
000004fe: SUB
000004ff: SWAP1
00000500: REVERT
00000501: JUMPDEST
00000502: PUSH2 0x057b
00000505: DUP3
00000506: DUP3
00000507: DUP1
00000508: DUP1
00000509: PUSH1 0x20
0000050b: MUL
0000050c: PUSH1 0x20
0000050e: ADD
0000050f: PUSH1 0x40
00000511: MLOAD
00000512: SWAP1
00000513: DUP2
00000514: ADD
00000515: PUSH1 0x40
00000517: MSTORE
00000518: DUP1
00000519: SWAP4
0000051a: SWAP3
0000051b: SWAP2
0000051c: SWAP1
0000051d: DUP2
0000051e: DUP2
0000051f: MSTORE
00000520: PUSH1 0x20
00000522: ADD
00000523: DUP4
00000524: DUP4
00000525: PUSH1 0x20
00000527: MUL
00000528: DUP1
00000529: DUP3
0000052a: DUP5
0000052b: CALLDATACOPY
0000052c: PUSH1 0x00
0000052e: DUP2
0000052f: DUP5
00000530: ADD
00000531: MSTORE
00000532: PUSH1 0x1f
00000534: NOT
00000535: PUSH1 0x1f
00000537: DUP3
00000538: ADD
00000539: AND
0000053a: SWAP1
0000053b: POP
0000053c: DUP1
0000053d: DUP4
0000053e: ADD
0000053f: SWAP3
00000540: POP
00000541: POP
00000542: POP
00000543: POP
00000544: POP
00000545: POP
00000546: POP
00000547: PUSH1 0x02
00000549: SLOAD
0000054a: DUP8
0000054b: CALLER
0000054c: DUP9
0000054d: DUP9
0000054e: PUSH1 0x40
00000550: MLOAD
00000551: PUSH1 0x20
00000553: ADD
00000554: PUSH2 0x0560
00000557: SWAP5
00000558: SWAP4
00000559: SWAP3
0000055a: SWAP2
0000055b: SWAP1
0000055c: PUSH2 0x173d
0000055f: JUMP
00000560: JUMPDEST
00000561: PUSH1 0x40
00000563: MLOAD
00000564: PUSH1 0x20
00000566: DUP2
00000567: DUP4
00000568: SUB
00000569: SUB
0000056a: DUP2
0000056b: MSTORE
0000056c: SWAP1
0000056d: PUSH1 0x40
0000056f: MSTORE
00000570: DUP1
00000571: MLOAD
00000572: SWAP1
00000573: PUSH1 0x20
00000575: ADD
00000576: KECCAK256
00000577: PUSH2 0x0b1d
0000057a: JUMP
0000057b: JUMPDEST
0000057c: PUSH2 0x05ba
0000057f: JUMPI
00000580: PUSH1 0x40
00000582: MLOAD
00000583: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000005a4: DUP2
000005a5: MSTORE
000005a6: PUSH1 0x04
000005a8: ADD
000005a9: PUSH2 0x05b1
000005ac: SWAP1
000005ad: PUSH2 0x17c9
000005b0: JUMP
000005b1: JUMPDEST
000005b2: PUSH1 0x40
000005b4: MLOAD
000005b5: DUP1
000005b6: SWAP2
000005b7: SUB
000005b8: SWAP1
000005b9: REVERT
000005ba: JUMPDEST
000005bb: PUSH1 0x03
000005bd: PUSH1 0x00
000005bf: DUP7
000005c0: DUP2
000005c1: MSTORE
000005c2: PUSH1 0x20
000005c4: ADD
000005c5: SWAP1
000005c6: DUP2
000005c7: MSTORE
000005c8: PUSH1 0x20
000005ca: ADD
000005cb: PUSH1 0x00
000005cd: KECCAK256
000005ce: PUSH1 0x00
000005d0: SWAP1
000005d1: SLOAD
000005d2: SWAP1
000005d3: PUSH2 0x0100
000005d6: EXP
000005d7: SWAP1
000005d8: DIV
000005d9: PUSH1 0xff
000005db: AND
000005dc: ISZERO
000005dd: PUSH2 0x061b
000005e0: JUMPI
000005e1: PUSH1 0x40
000005e3: MLOAD
000005e4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000605: DUP2
00000606: MSTORE
00000607: PUSH1 0x04
00000609: ADD
0000060a: PUSH2 0x0612
0000060d: SWAP1
0000060e: PUSH2 0x1835
00000611: JUMP
00000612: JUMPDEST
00000613: PUSH1 0x40
00000615: MLOAD
00000616: DUP1
00000617: SWAP2
00000618: SUB
00000619: SWAP1
0000061a: REVERT
0000061b: JUMPDEST
0000061c: PUSH1 0x01
0000061e: PUSH1 0x03
00000620: PUSH1 0x00
00000622: DUP8
00000623: DUP2
00000624: MSTORE
00000625: PUSH1 0x20
00000627: ADD
00000628: SWAP1
00000629: DUP2
0000062a: MSTORE
0000062b: PUSH1 0x20
0000062d: ADD
0000062e: PUSH1 0x00
00000630: KECCAK256
00000631: PUSH1 0x00
00000633: PUSH2 0x0100
00000636: EXP
00000637: DUP2
00000638: SLOAD
00000639: DUP2
0000063a: PUSH1 0xff
0000063c: MUL
0000063d: NOT
0000063e: AND
0000063f: SWAP1
00000640: DUP4
00000641: ISZERO
00000642: ISZERO
00000643: MUL
00000644: OR
00000645: SWAP1
00000646: SSTORE
00000647: POP
00000648: CALLER
00000649: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000065e: AND
0000065f: DUP6
00000660: PUSH32 0x5e4f9994b48e694f483e4577ba974f1171f0775b8e677baa34aeb12f8b271619
00000681: PUSH1 0x40
00000683: MLOAD
00000684: PUSH1 0x40
00000686: MLOAD
00000687: DUP1
00000688: SWAP2
00000689: SUB
0000068a: SWAP1
0000068b: LOG3
0000068c: PUSH1 0x00
0000068e: JUMPDEST
0000068f: DUP5
00000690: DUP5
00000691: SWAP1
00000692: POP
00000693: DUP2
00000694: LT
00000695: ISZERO
00000696: PUSH2 0x06fb
00000699: JUMPI
0000069a: PUSH2 0x06ea
0000069d: DUP6
0000069e: DUP6
0000069f: DUP4
000006a0: DUP2
000006a1: DUP2
000006a2: LT
000006a3: PUSH2 0x06af
000006a6: JUMPI
000006a7: PUSH2 0x06ae
000006aa: PUSH2 0x1855
000006ad: JUMP
000006ae: JUMPDEST
000006af: JUMPDEST
000006b0: SWAP1
000006b1: POP
000006b2: PUSH1 0x40
000006b4: MUL
000006b5: ADD
000006b6: PUSH1 0x00
000006b8: ADD
000006b9: PUSH1 0x20
000006bb: DUP2
000006bc: ADD
000006bd: SWAP1
000006be: PUSH2 0x06c7
000006c1: SWAP2
000006c2: SWAP1
000006c3: PUSH2 0x1389
000006c6: JUMP
000006c7: JUMPDEST
000006c8: CALLER
000006c9: DUP8
000006ca: DUP8
000006cb: DUP6
000006cc: DUP2
000006cd: DUP2
000006ce: LT
000006cf: PUSH2 0x06db
000006d2: JUMPI
000006d3: PUSH2 0x06da
000006d6: PUSH2 0x1855
000006d9: JUMP
000006da: JUMPDEST
000006db: JUMPDEST
000006dc: SWAP1
000006dd: POP
000006de: PUSH1 0x40
000006e0: MUL
000006e1: ADD
000006e2: PUSH1 0x20
000006e4: ADD
000006e5: CALLDATALOAD
000006e6: PUSH2 0x0b34
000006e9: JUMP
000006ea: JUMPDEST
000006eb: DUP1
000006ec: PUSH2 0x06f4
000006ef: SWAP1
000006f0: PUSH2 0x18b3
000006f3: JUMP
000006f4: JUMPDEST
000006f5: SWAP1
000006f6: POP
000006f7: PUSH2 0x068e
000006fa: JUMP
000006fb: JUMPDEST
000006fc: POP
000006fd: PUSH2 0x0704
00000700: PUSH2 0x0b13
00000703: JUMP
00000704: JUMPDEST
00000705: POP
00000706: POP
00000707: POP
00000708: POP
00000709: POP
0000070a: POP
0000070b: JUMP
0000070c: JUMPDEST
0000070d: PUSH1 0x01
0000070f: PUSH1 0x00
00000711: SWAP1
00000712: SLOAD
00000713: SWAP1
00000714: PUSH2 0x0100
00000717: EXP
00000718: SWAP1
00000719: DIV
0000071a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000072f: AND
00000730: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000745: AND
00000746: CALLER
00000747: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000075c: AND
0000075d: EQ
0000075e: PUSH2 0x079c
00000761: JUMPI
00000762: PUSH1 0x40
00000764: MLOAD
00000765: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000786: DUP2
00000787: MSTORE
00000788: PUSH1 0x04
0000078a: ADD
0000078b: PUSH2 0x0793
0000078e: SWAP1
0000078f: PUSH2 0x1402
00000792: JUMP
00000793: JUMPDEST
00000794: PUSH1 0x40
00000796: MLOAD
00000797: DUP1
00000798: SWAP2
00000799: SUB
0000079a: SWAP1
0000079b: REVERT
0000079c: JUMPDEST
0000079d: PUSH2 0x07a4
000007a0: PUSH2 0x0ac4
000007a3: JUMP
000007a4: JUMPDEST
000007a5: PUSH1 0x00
000007a7: JUMPDEST
000007a8: DUP5
000007a9: DUP5
000007aa: SWAP1
000007ab: POP
000007ac: DUP2
000007ad: LT
000007ae: ISZERO
000007af: PUSH2 0x089c
000007b2: JUMPI
000007b3: PUSH1 0x00
000007b5: DUP6
000007b6: DUP6
000007b7: DUP4
000007b8: DUP2
000007b9: DUP2
000007ba: LT
000007bb: PUSH2 0x07c7
000007be: JUMPI
000007bf: PUSH2 0x07c6
000007c2: PUSH2 0x1855
000007c5: JUMP
000007c6: JUMPDEST
000007c7: JUMPDEST
000007c8: SWAP1
000007c9: POP
000007ca: PUSH1 0x20
000007cc: MUL
000007cd: ADD
000007ce: CALLDATALOAD
000007cf: SWAP1
000007d0: POP
000007d1: PUSH1 0x03
000007d3: PUSH1 0x00
000007d5: DUP3
000007d6: DUP2
000007d7: MSTORE
000007d8: PUSH1 0x20
000007da: ADD
000007db: SWAP1
000007dc: DUP2
000007dd: MSTORE
000007de: PUSH1 0x20
000007e0: ADD
000007e1: PUSH1 0x00
000007e3: KECCAK256
000007e4: PUSH1 0x00
000007e6: SWAP1
000007e7: SLOAD
000007e8: SWAP1
000007e9: PUSH2 0x0100
000007ec: EXP
000007ed: SWAP1
000007ee: DIV
000007ef: PUSH1 0xff
000007f1: AND
000007f2: ISZERO
000007f3: PUSH2 0x0831
000007f6: JUMPI
000007f7: PUSH1 0x40
000007f9: MLOAD
000007fa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000081b: DUP2
0000081c: MSTORE
0000081d: PUSH1 0x04
0000081f: ADD
00000820: PUSH2 0x0828
00000823: SWAP1
00000824: PUSH2 0x1835
00000827: JUMP
00000828: JUMPDEST
00000829: PUSH1 0x40
0000082b: MLOAD
0000082c: DUP1
0000082d: SWAP2
0000082e: SUB
0000082f: SWAP1
00000830: REVERT
00000831: JUMPDEST
00000832: PUSH1 0x01
00000834: PUSH1 0x03
00000836: PUSH1 0x00
00000838: DUP4
00000839: DUP2
0000083a: MSTORE
0000083b: PUSH1 0x20
0000083d: ADD
0000083e: SWAP1
0000083f: DUP2
00000840: MSTORE
00000841: PUSH1 0x20
00000843: ADD
00000844: PUSH1 0x00
00000846: KECCAK256
00000847: PUSH1 0x00
00000849: PUSH2 0x0100
0000084c: EXP
0000084d: DUP2
0000084e: SLOAD
0000084f: DUP2
00000850: PUSH1 0xff
00000852: MUL
00000853: NOT
00000854: AND
00000855: SWAP1
00000856: DUP4
00000857: ISZERO
00000858: ISZERO
00000859: MUL
0000085a: OR
0000085b: SWAP1
0000085c: SSTORE
0000085d: POP
0000085e: DUP1
0000085f: PUSH32 0x150afe1a4f039206f87a38d65a16f6a7c76f285e29a4b2b5eab4e8a917b40ca1
00000880: PUSH1 0x40
00000882: MLOAD
00000883: PUSH1 0x40
00000885: MLOAD
00000886: DUP1
00000887: SWAP2
00000888: SUB
00000889: SWAP1
0000088a: LOG2
0000088b: POP
0000088c: DUP1
0000088d: PUSH2 0x0895
00000890: SWAP1
00000891: PUSH2 0x18b3
00000894: JUMP
00000895: JUMPDEST
00000896: SWAP1
00000897: POP
00000898: PUSH2 0x07a7
0000089b: JUMP
0000089c: JUMPDEST
0000089d: POP
0000089e: PUSH1 0x00
000008a0: JUMPDEST
000008a1: DUP3
000008a2: DUP3
000008a3: SWAP1
000008a4: POP
000008a5: DUP2
000008a6: LT
000008a7: ISZERO
000008a8: PUSH2 0x092f
000008ab: JUMPI
000008ac: PUSH2 0x091e
000008af: DUP4
000008b0: DUP4
000008b1: DUP4
000008b2: DUP2
000008b3: DUP2
000008b4: LT
000008b5: PUSH2 0x08c1
000008b8: JUMPI
000008b9: PUSH2 0x08c0
000008bc: PUSH2 0x1855
000008bf: JUMP
000008c0: JUMPDEST
000008c1: JUMPDEST
000008c2: SWAP1
000008c3: POP
000008c4: PUSH1 0x40
000008c6: MUL
000008c7: ADD
000008c8: PUSH1 0x00
000008ca: ADD
000008cb: PUSH1 0x20
000008cd: DUP2
000008ce: ADD
000008cf: SWAP1
000008d0: PUSH2 0x08d9
000008d3: SWAP2
000008d4: SWAP1
000008d5: PUSH2 0x1389
000008d8: JUMP
000008d9: JUMPDEST
000008da: PUSH1 0x01
000008dc: PUSH1 0x00
000008de: SWAP1
000008df: SLOAD
000008e0: SWAP1
000008e1: PUSH2 0x0100
000008e4: EXP
000008e5: SWAP1
000008e6: DIV
000008e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008fc: AND
000008fd: DUP6
000008fe: DUP6
000008ff: DUP6
00000900: DUP2
00000901: DUP2
00000902: LT
00000903: PUSH2 0x090f
00000906: JUMPI
00000907: PUSH2 0x090e
0000090a: PUSH2 0x1855
0000090d: JUMP
0000090e: JUMPDEST
0000090f: JUMPDEST
00000910: SWAP1
00000911: POP
00000912: PUSH1 0x40
00000914: MUL
00000915: ADD
00000916: PUSH1 0x20
00000918: ADD
00000919: CALLDATALOAD
0000091a: PUSH2 0x0b34
0000091d: JUMP
0000091e: JUMPDEST
0000091f: DUP1
00000920: PUSH2 0x0928
00000923: SWAP1
00000924: PUSH2 0x18b3
00000927: JUMP
00000928: JUMPDEST
00000929: SWAP1
0000092a: POP
0000092b: PUSH2 0x08a0
0000092e: JUMP
0000092f: JUMPDEST
00000930: POP
00000931: PUSH2 0x0938
00000934: PUSH2 0x0b13
00000937: JUMP
00000938: JUMPDEST
00000939: POP
0000093a: POP
0000093b: POP
0000093c: POP
0000093d: JUMP
0000093e: JUMPDEST
0000093f: PUSH1 0x01
00000941: PUSH1 0x00
00000943: SWAP1
00000944: SLOAD
00000945: SWAP1
00000946: PUSH2 0x0100
00000949: EXP
0000094a: SWAP1
0000094b: DIV
0000094c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000961: AND
00000962: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000977: AND
00000978: CALLER
00000979: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000098e: AND
0000098f: EQ
00000990: PUSH2 0x09ce
00000993: JUMPI
00000994: PUSH1 0x40
00000996: MLOAD
00000997: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009b8: DUP2
000009b9: MSTORE
000009ba: PUSH1 0x04
000009bc: ADD
000009bd: PUSH2 0x09c5
000009c0: SWAP1
000009c1: PUSH2 0x1402
000009c4: JUMP
000009c5: JUMPDEST
000009c6: PUSH1 0x40
000009c8: MLOAD
000009c9: DUP1
000009ca: SWAP2
000009cb: SUB
000009cc: SWAP1
000009cd: REVERT
000009ce: JUMPDEST
000009cf: PUSH1 0x00
000009d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009e6: AND
000009e7: DUP2
000009e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009fd: AND
000009fe: SUB
000009ff: PUSH2 0x0a3d
00000a02: JUMPI
00000a03: PUSH1 0x40
00000a05: MLOAD
00000a06: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a27: DUP2
00000a28: MSTORE
00000a29: PUSH1 0x04
00000a2b: ADD
00000a2c: PUSH2 0x0a34
00000a2f: SWAP1
00000a30: PUSH2 0x1947
00000a33: JUMP
00000a34: JUMPDEST
00000a35: PUSH1 0x40
00000a37: MLOAD
00000a38: DUP1
00000a39: SWAP2
00000a3a: SUB
00000a3b: SWAP1
00000a3c: REVERT
00000a3d: JUMPDEST
00000a3e: DUP1
00000a3f: PUSH1 0x01
00000a41: PUSH1 0x00
00000a43: PUSH2 0x0100
00000a46: EXP
00000a47: DUP2
00000a48: SLOAD
00000a49: DUP2
00000a4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a5f: MUL
00000a60: NOT
00000a61: AND
00000a62: SWAP1
00000a63: DUP4
00000a64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a79: AND
00000a7a: MUL
00000a7b: OR
00000a7c: SWAP1
00000a7d: SSTORE
00000a7e: POP
00000a7f: DUP1
00000a80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a95: AND
00000a96: PUSH32 0xa2ea9883a321a3e97b8266c2b078bfeec6d50c711ed71f874a90d500ae2eaf36
00000ab7: PUSH1 0x40
00000ab9: MLOAD
00000aba: PUSH1 0x40
00000abc: MLOAD
00000abd: DUP1
00000abe: SWAP2
00000abf: SUB
00000ac0: SWAP1
00000ac1: LOG2
00000ac2: POP
00000ac3: JUMP
00000ac4: JUMPDEST
00000ac5: PUSH1 0x02
00000ac7: PUSH1 0x00
00000ac9: SLOAD
00000aca: SUB
00000acb: PUSH2 0x0b09
00000ace: JUMPI
00000acf: PUSH1 0x40
00000ad1: MLOAD
00000ad2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000af3: DUP2
00000af4: MSTORE
00000af5: PUSH1 0x04
00000af7: ADD
00000af8: PUSH2 0x0b00
00000afb: SWAP1
00000afc: PUSH2 0x19b3
00000aff: JUMP
00000b00: JUMPDEST
00000b01: PUSH1 0x40
00000b03: MLOAD
00000b04: DUP1
00000b05: SWAP2
00000b06: SUB
00000b07: SWAP1
00000b08: REVERT
00000b09: JUMPDEST
00000b0a: PUSH1 0x02
00000b0c: PUSH1 0x00
00000b0e: DUP2
00000b0f: SWAP1
00000b10: SSTORE
00000b11: POP
00000b12: JUMP
00000b13: JUMPDEST
00000b14: PUSH1 0x01
00000b16: PUSH1 0x00
00000b18: DUP2
00000b19: SWAP1
00000b1a: SSTORE
00000b1b: POP
00000b1c: JUMP
00000b1d: JUMPDEST
00000b1e: PUSH1 0x00
00000b20: DUP3
00000b21: PUSH2 0x0b2a
00000b24: DUP6
00000b25: DUP5
00000b26: PUSH2 0x0bba
00000b29: JUMP
00000b2a: JUMPDEST
00000b2b: EQ
00000b2c: SWAP1
00000b2d: POP
00000b2e: SWAP4
00000b2f: SWAP3
00000b30: POP
00000b31: POP
00000b32: POP
00000b33: JUMP
00000b34: JUMPDEST
00000b35: PUSH2 0x0bb5
00000b38: DUP4
00000b39: PUSH4 0xa9059cbb
00000b3e: PUSH1 0xe0
00000b40: SHL
00000b41: DUP5
00000b42: DUP5
00000b43: PUSH1 0x40
00000b45: MLOAD
00000b46: PUSH1 0x24
00000b48: ADD
00000b49: PUSH2 0x0b53
00000b4c: SWAP3
00000b4d: SWAP2
00000b4e: SWAP1
00000b4f: PUSH2 0x19d3
00000b52: JUMP
00000b53: JUMPDEST
00000b54: PUSH1 0x40
00000b56: MLOAD
00000b57: PUSH1 0x20
00000b59: DUP2
00000b5a: DUP4
00000b5b: SUB
00000b5c: SUB
00000b5d: DUP2
00000b5e: MSTORE
00000b5f: SWAP1
00000b60: PUSH1 0x40
00000b62: MSTORE
00000b63: SWAP1
00000b64: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000b81: NOT
00000b82: AND
00000b83: PUSH1 0x20
00000b85: DUP3
00000b86: ADD
00000b87: DUP1
00000b88: MLOAD
00000b89: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000ba6: DUP4
00000ba7: DUP2
00000ba8: DUP4
00000ba9: AND
00000baa: OR
00000bab: DUP4
00000bac: MSTORE
00000bad: POP
00000bae: POP
00000baf: POP
00000bb0: POP
00000bb1: PUSH2 0x0c10
00000bb4: JUMP
00000bb5: JUMPDEST
00000bb6: POP
00000bb7: POP
00000bb8: POP
00000bb9: JUMP
00000bba: JUMPDEST
00000bbb: PUSH1 0x00
00000bbd: DUP1
00000bbe: DUP3
00000bbf: SWAP1
00000bc0: POP
00000bc1: PUSH1 0x00
00000bc3: JUMPDEST
00000bc4: DUP5
00000bc5: MLOAD
00000bc6: DUP2
00000bc7: LT
00000bc8: ISZERO
00000bc9: PUSH2 0x0c05
00000bcc: JUMPI
00000bcd: PUSH2 0x0bf0
00000bd0: DUP3
00000bd1: DUP7
00000bd2: DUP4
00000bd3: DUP2
00000bd4: MLOAD
00000bd5: DUP2
00000bd6: LT
00000bd7: PUSH2 0x0be3
00000bda: JUMPI
00000bdb: PUSH2 0x0be2
00000bde: PUSH2 0x1855
00000be1: JUMP
00000be2: JUMPDEST
00000be3: JUMPDEST
00000be4: PUSH1 0x20
00000be6: MUL
00000be7: PUSH1 0x20
00000be9: ADD
00000bea: ADD
00000beb: MLOAD
00000bec: PUSH2 0x0cd7
00000bef: JUMP
00000bf0: JUMPDEST
00000bf1: SWAP2
00000bf2: POP
00000bf3: DUP1
00000bf4: DUP1
00000bf5: PUSH2 0x0bfd
00000bf8: SWAP1
00000bf9: PUSH2 0x18b3
00000bfc: JUMP
00000bfd: JUMPDEST
00000bfe: SWAP2
00000bff: POP
00000c00: POP
00000c01: PUSH2 0x0bc3
00000c04: JUMP
00000c05: JUMPDEST
00000c06: POP
00000c07: DUP1
00000c08: SWAP2
00000c09: POP
00000c0a: POP
00000c0b: SWAP3
00000c0c: SWAP2
00000c0d: POP
00000c0e: POP
00000c0f: JUMP
00000c10: JUMPDEST
00000c11: PUSH1 0x00
00000c13: PUSH2 0x0c72
00000c16: DUP3
00000c17: PUSH1 0x40
00000c19: MLOAD
00000c1a: DUP1
00000c1b: PUSH1 0x40
00000c1d: ADD
00000c1e: PUSH1 0x40
00000c20: MSTORE
00000c21: DUP1
00000c22: PUSH1 0x20
00000c24: DUP2
00000c25: MSTORE
00000c26: PUSH1 0x20
00000c28: ADD
00000c29: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00000c4a: DUP2
00000c4b: MSTORE
00000c4c: POP
00000c4d: DUP6
00000c4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c63: AND
00000c64: PUSH2 0x0d02
00000c67: SWAP1
00000c68: SWAP3
00000c69: SWAP2
00000c6a: SWAP1
00000c6b: PUSH4 0xffffffff
00000c70: AND
00000c71: JUMP
00000c72: JUMPDEST
00000c73: SWAP1
00000c74: POP
00000c75: PUSH1 0x00
00000c77: DUP2
00000c78: MLOAD
00000c79: GT
00000c7a: ISZERO
00000c7b: PUSH2 0x0cd2
00000c7e: JUMPI
00000c7f: DUP1
00000c80: DUP1
00000c81: PUSH1 0x20
00000c83: ADD
00000c84: SWAP1
00000c85: MLOAD
00000c86: DUP2
00000c87: ADD
00000c88: SWAP1
00000c89: PUSH2 0x0c92
00000c8c: SWAP2
00000c8d: SWAP1
00000c8e: PUSH2 0x1a28
00000c91: JUMP
00000c92: JUMPDEST
00000c93: PUSH2 0x0cd1
00000c96: JUMPI
00000c97: PUSH1 0x40
00000c99: MLOAD
00000c9a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000cbb: DUP2
00000cbc: MSTORE
00000cbd: PUSH1 0x04
00000cbf: ADD
00000cc0: PUSH2 0x0cc8
00000cc3: SWAP1
00000cc4: PUSH2 0x1ac7
00000cc7: JUMP
00000cc8: JUMPDEST
00000cc9: PUSH1 0x40
00000ccb: MLOAD
00000ccc: DUP1
00000ccd: SWAP2
00000cce: SUB
00000ccf: SWAP1
00000cd0: REVERT
00000cd1: JUMPDEST
00000cd2: JUMPDEST
00000cd3: POP
00000cd4: POP
00000cd5: POP
00000cd6: JUMP
00000cd7: JUMPDEST
00000cd8: PUSH1 0x00
00000cda: DUP2
00000cdb: DUP4
00000cdc: LT
00000cdd: PUSH2 0x0cef
00000ce0: JUMPI
00000ce1: PUSH2 0x0cea
00000ce4: DUP3
00000ce5: DUP5
00000ce6: PUSH2 0x0d1a
00000ce9: JUMP
00000cea: JUMPDEST
00000ceb: PUSH2 0x0cfa
00000cee: JUMP
00000cef: JUMPDEST
00000cf0: PUSH2 0x0cf9
00000cf3: DUP4
00000cf4: DUP4
00000cf5: PUSH2 0x0d1a
00000cf8: JUMP
00000cf9: JUMPDEST
00000cfa: JUMPDEST
00000cfb: SWAP1
00000cfc: POP
00000cfd: SWAP3
00000cfe: SWAP2
00000cff: POP
00000d00: POP
00000d01: JUMP
00000d02: JUMPDEST
00000d03: PUSH1 0x60
00000d05: PUSH2 0x0d11
00000d08: DUP5
00000d09: DUP5
00000d0a: PUSH1 0x00
00000d0c: DUP6
00000d0d: PUSH2 0x0d31
00000d10: JUMP
00000d11: JUMPDEST
00000d12: SWAP1
00000d13: POP
00000d14: SWAP4
00000d15: SWAP3
00000d16: POP
00000d17: POP
00000d18: POP
00000d19: JUMP
00000d1a: JUMPDEST
00000d1b: PUSH1 0x00
00000d1d: DUP3
00000d1e: PUSH1 0x00
00000d20: MSTORE
00000d21: DUP2
00000d22: PUSH1 0x20
00000d24: MSTORE
00000d25: PUSH1 0x40
00000d27: PUSH1 0x00
00000d29: KECCAK256
00000d2a: SWAP1
00000d2b: POP
00000d2c: SWAP3
00000d2d: SWAP2
00000d2e: POP
00000d2f: POP
00000d30: JUMP
00000d31: JUMPDEST
00000d32: PUSH1 0x60
00000d34: DUP3
00000d35: SELFBALANCE
00000d36: LT
00000d37: ISZERO
00000d38: PUSH2 0x0d76
00000d3b: JUMPI
00000d3c: PUSH1 0x40
00000d3e: MLOAD
00000d3f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d60: DUP2
00000d61: MSTORE
00000d62: PUSH1 0x04
00000d64: ADD
00000d65: PUSH2 0x0d6d
00000d68: SWAP1
00000d69: PUSH2 0x1b59
00000d6c: JUMP
00000d6d: JUMPDEST
00000d6e: PUSH1 0x40
00000d70: MLOAD
00000d71: DUP1
00000d72: SWAP2
00000d73: SUB
00000d74: SWAP1
00000d75: REVERT
00000d76: JUMPDEST
00000d77: PUSH1 0x00
00000d79: DUP1
00000d7a: DUP7
00000d7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d90: AND
00000d91: DUP6
00000d92: DUP8
00000d93: PUSH1 0x40
00000d95: MLOAD
00000d96: PUSH2 0x0d9f
00000d99: SWAP2
00000d9a: SWAP1
00000d9b: PUSH2 0x1bb5
00000d9e: JUMP
00000d9f: JUMPDEST
00000da0: PUSH1 0x00
00000da2: PUSH1 0x40
00000da4: MLOAD
00000da5: DUP1
00000da6: DUP4
00000da7: SUB
00000da8: DUP2
00000da9: DUP6
00000daa: DUP8
00000dab: GAS
00000dac: CALL
00000dad: SWAP3
00000dae: POP
00000daf: POP
00000db0: POP
00000db1: RETURNDATASIZE
00000db2: DUP1
00000db3: PUSH1 0x00
00000db5: DUP2
00000db6: EQ
00000db7: PUSH2 0x0ddc
00000dba: JUMPI
00000dbb: PUSH1 0x40
00000dbd: MLOAD
00000dbe: SWAP2
00000dbf: POP
00000dc0: PUSH1 0x1f
00000dc2: NOT
00000dc3: PUSH1 0x3f
00000dc5: RETURNDATASIZE
00000dc6: ADD
00000dc7: AND
00000dc8: DUP3
00000dc9: ADD
00000dca: PUSH1 0x40
00000dcc: MSTORE
00000dcd: RETURNDATASIZE
00000dce: DUP3
00000dcf: MSTORE
00000dd0: RETURNDATASIZE
00000dd1: PUSH1 0x00
00000dd3: PUSH1 0x20
00000dd5: DUP5
00000dd6: ADD
00000dd7: RETURNDATACOPY
00000dd8: PUSH2 0x0de1
00000ddb: JUMP
00000ddc: JUMPDEST
00000ddd: PUSH1 0x60
00000ddf: SWAP2
00000de0: POP
00000de1: JUMPDEST
00000de2: POP
00000de3: SWAP2
00000de4: POP
00000de5: SWAP2
00000de6: POP
00000de7: PUSH2 0x0df2
00000dea: DUP8
00000deb: DUP4
00000dec: DUP4
00000ded: DUP8
00000dee: PUSH2 0x0dfe
00000df1: JUMP
00000df2: JUMPDEST
00000df3: SWAP3
00000df4: POP
00000df5: POP
00000df6: POP
00000df7: SWAP5
00000df8: SWAP4
00000df9: POP
00000dfa: POP
00000dfb: POP
00000dfc: POP
00000dfd: JUMP
00000dfe: JUMPDEST
00000dff: PUSH1 0x60
00000e01: DUP4
00000e02: ISZERO
00000e03: PUSH2 0x0e60
00000e06: JUMPI
00000e07: PUSH1 0x00
00000e09: DUP4
00000e0a: MLOAD
00000e0b: SUB
00000e0c: PUSH2 0x0e58
00000e0f: JUMPI
00000e10: PUSH2 0x0e18
00000e13: DUP6
00000e14: PUSH2 0x0e73
00000e17: JUMP
00000e18: JUMPDEST
00000e19: PUSH2 0x0e57
00000e1c: JUMPI
00000e1d: PUSH1 0x40
00000e1f: MLOAD
00000e20: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e41: DUP2
00000e42: MSTORE
00000e43: PUSH1 0x04
00000e45: ADD
00000e46: PUSH2 0x0e4e
00000e49: SWAP1
00000e4a: PUSH2 0x1c18
00000e4d: JUMP
00000e4e: JUMPDEST
00000e4f: PUSH1 0x40
00000e51: MLOAD
00000e52: DUP1
00000e53: SWAP2
00000e54: SUB
00000e55: SWAP1
00000e56: REVERT
00000e57: JUMPDEST
00000e58: JUMPDEST
00000e59: DUP3
00000e5a: SWAP1
00000e5b: POP
00000e5c: PUSH2 0x0e6b
00000e5f: JUMP
00000e60: JUMPDEST
00000e61: PUSH2 0x0e6a
00000e64: DUP4
00000e65: DUP4
00000e66: PUSH2 0x0e96
00000e69: JUMP
00000e6a: JUMPDEST
00000e6b: JUMPDEST
00000e6c: SWAP5
00000e6d: SWAP4
00000e6e: POP
00000e6f: POP
00000e70: POP
00000e71: POP
00000e72: JUMP
00000e73: JUMPDEST
00000e74: PUSH1 0x00
00000e76: DUP1
00000e77: DUP3
00000e78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e8d: AND
00000e8e: EXTCODESIZE
00000e8f: GT
00000e90: SWAP1
00000e91: POP
00000e92: SWAP2
00000e93: SWAP1
00000e94: POP
00000e95: JUMP
00000e96: JUMPDEST
00000e97: PUSH1 0x00
00000e99: DUP3
00000e9a: MLOAD
00000e9b: GT
00000e9c: ISZERO
00000e9d: PUSH2 0x0ea9
00000ea0: JUMPI
00000ea1: DUP2
00000ea2: MLOAD
00000ea3: DUP1
00000ea4: DUP4
00000ea5: PUSH1 0x20
00000ea7: ADD
00000ea8: REVERT
00000ea9: JUMPDEST
00000eaa: DUP1
00000eab: PUSH1 0x40
00000ead: MLOAD
00000eae: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ecf: DUP2
00000ed0: MSTORE
00000ed1: PUSH1 0x04
00000ed3: ADD
00000ed4: PUSH2 0x0edd
00000ed7: SWAP2
00000ed8: SWAP1
00000ed9: PUSH2 0x0f76
00000edc: JUMP
00000edd: JUMPDEST
00000ede: PUSH1 0x40
00000ee0: MLOAD
00000ee1: DUP1
00000ee2: SWAP2
00000ee3: SUB
00000ee4: SWAP1
00000ee5: REVERT
00000ee6: JUMPDEST
00000ee7: PUSH1 0x00
00000ee9: DUP2
00000eea: MLOAD
00000eeb: SWAP1
00000eec: POP
00000eed: SWAP2
00000eee: SWAP1
00000eef: POP
00000ef0: JUMP
00000ef1: JUMPDEST
00000ef2: PUSH1 0x00
00000ef4: DUP3
00000ef5: DUP3
00000ef6: MSTORE
00000ef7: PUSH1 0x20
00000ef9: DUP3
00000efa: ADD
00000efb: SWAP1
00000efc: POP
00000efd: SWAP3
00000efe: SWAP2
00000eff: POP
00000f00: POP
00000f01: JUMP
00000f02: JUMPDEST
00000f03: PUSH1 0x00
00000f05: JUMPDEST
00000f06: DUP4
00000f07: DUP2
00000f08: LT
00000f09: ISZERO
00000f0a: PUSH2 0x0f20
00000f0d: JUMPI
00000f0e: DUP1
00000f0f: DUP3
00000f10: ADD
00000f11: MLOAD
00000f12: DUP2
00000f13: DUP5
00000f14: ADD
00000f15: MSTORE
00000f16: PUSH1 0x20
00000f18: DUP2
00000f19: ADD
00000f1a: SWAP1
00000f1b: POP
00000f1c: PUSH2 0x0f05
00000f1f: JUMP
00000f20: JUMPDEST
00000f21: PUSH1 0x00
00000f23: DUP5
00000f24: DUP5
00000f25: ADD
00000f26: MSTORE
00000f27: POP
00000f28: POP
00000f29: POP
00000f2a: POP
00000f2b: JUMP
00000f2c: JUMPDEST
00000f2d: PUSH1 0x00
00000f2f: PUSH1 0x1f
00000f31: NOT
00000f32: PUSH1 0x1f
00000f34: DUP4
00000f35: ADD
00000f36: AND
00000f37: SWAP1
00000f38: POP
00000f39: SWAP2
00000f3a: SWAP1
00000f3b: POP
00000f3c: JUMP
00000f3d: JUMPDEST
00000f3e: PUSH1 0x00
00000f40: PUSH2 0x0f48
00000f43: DUP3
00000f44: PUSH2 0x0ee6
00000f47: JUMP
00000f48: JUMPDEST
00000f49: PUSH2 0x0f52
00000f4c: DUP2
00000f4d: DUP6
00000f4e: PUSH2 0x0ef1
00000f51: JUMP
00000f52: JUMPDEST
00000f53: SWAP4
00000f54: POP
00000f55: PUSH2 0x0f62
00000f58: DUP2
00000f59: DUP6
00000f5a: PUSH1 0x20
00000f5c: DUP7
00000f5d: ADD
00000f5e: PUSH2 0x0f02
00000f61: JUMP
00000f62: JUMPDEST
00000f63: PUSH2 0x0f6b
00000f66: DUP2
00000f67: PUSH2 0x0f2c
00000f6a: JUMP
00000f6b: JUMPDEST
00000f6c: DUP5
00000f6d: ADD
00000f6e: SWAP2
00000f6f: POP
00000f70: POP
00000f71: SWAP3
00000f72: SWAP2
00000f73: POP
00000f74: POP
00000f75: JUMP
00000f76: JUMPDEST
00000f77: PUSH1 0x00
00000f79: PUSH1 0x20
00000f7b: DUP3
00000f7c: ADD
00000f7d: SWAP1
00000f7e: POP
00000f7f: DUP2
00000f80: DUP2
00000f81: SUB
00000f82: PUSH1 0x00
00000f84: DUP4
00000f85: ADD
00000f86: MSTORE
00000f87: PUSH2 0x0f90
00000f8a: DUP2
00000f8b: DUP5
00000f8c: PUSH2 0x0f3d
00000f8f: JUMP
00000f90: JUMPDEST
00000f91: SWAP1
00000f92: POP
00000f93: SWAP3
00000f94: SWAP2
00000f95: POP
00000f96: POP
00000f97: JUMP
00000f98: JUMPDEST
00000f99: PUSH1 0x00
00000f9b: DUP1
00000f9c: REVERT
00000f9d: JUMPDEST
00000f9e: PUSH1 0x00
00000fa0: DUP1
00000fa1: REVERT
00000fa2: JUMPDEST
00000fa3: PUSH1 0x00
00000fa5: DUP2
00000fa6: SWAP1
00000fa7: POP
00000fa8: SWAP2
00000fa9: SWAP1
00000faa: POP
00000fab: JUMP
00000fac: JUMPDEST
00000fad: PUSH2 0x0fb5
00000fb0: DUP2
00000fb1: PUSH2 0x0fa2
00000fb4: JUMP
00000fb5: JUMPDEST
00000fb6: DUP2
00000fb7: EQ
00000fb8: PUSH2 0x0fc0
00000fbb: JUMPI
00000fbc: PUSH1 0x00
00000fbe: DUP1
00000fbf: REVERT
00000fc0: JUMPDEST
00000fc1: POP
00000fc2: JUMP
00000fc3: JUMPDEST
00000fc4: PUSH1 0x00
00000fc6: DUP2
00000fc7: CALLDATALOAD
00000fc8: SWAP1
00000fc9: POP
00000fca: PUSH2 0x0fd2
00000fcd: DUP2
00000fce: PUSH2 0x0fac
00000fd1: JUMP
00000fd2: JUMPDEST
00000fd3: SWAP3
00000fd4: SWAP2
00000fd5: POP
00000fd6: POP
00000fd7: JUMP
00000fd8: JUMPDEST
00000fd9: PUSH1 0x00
00000fdb: PUSH1 0x20
00000fdd: DUP3
00000fde: DUP5
00000fdf: SUB
00000fe0: SLT
00000fe1: ISZERO
00000fe2: PUSH2 0x0fee
00000fe5: JUMPI
00000fe6: PUSH2 0x0fed
00000fe9: PUSH2 0x0f98
00000fec: JUMP
00000fed: JUMPDEST
00000fee: JUMPDEST
00000fef: PUSH1 0x00
00000ff1: PUSH2 0x0ffc
00000ff4: DUP5
00000ff5: DUP3
00000ff6: DUP6
00000ff7: ADD
00000ff8: PUSH2 0x0fc3
00000ffb: JUMP
00000ffc: JUMPDEST
00000ffd: SWAP2
00000ffe: POP
00000fff: POP
00001000: SWAP3
00001001: SWAP2
00001002: POP
00001003: POP
00001004: JUMP
00001005: JUMPDEST
00001006: PUSH1 0x00
00001008: DUP2
00001009: ISZERO
0000100a: ISZERO
0000100b: SWAP1
0000100c: POP
0000100d: SWAP2
0000100e: SWAP1
0000100f: POP
00001010: JUMP
00001011: JUMPDEST
00001012: PUSH2 0x101a
00001015: DUP2
00001016: PUSH2 0x1005
00001019: JUMP
0000101a: JUMPDEST
0000101b: DUP3
0000101c: MSTORE
0000101d: POP
0000101e: POP
0000101f: JUMP
00001020: JUMPDEST
00001021: PUSH1 0x00
00001023: PUSH1 0x20
00001025: DUP3
00001026: ADD
00001027: SWAP1
00001028: POP
00001029: PUSH2 0x1035
0000102c: PUSH1 0x00
0000102e: DUP4
0000102f: ADD
00001030: DUP5
00001031: PUSH2 0x1011
00001034: JUMP
00001035: JUMPDEST
00001036: SWAP3
00001037: SWAP2
00001038: POP
00001039: POP
0000103a: JUMP
0000103b: JUMPDEST
0000103c: PUSH1 0x00
0000103e: DUP2
0000103f: SWAP1
00001040: POP
00001041: SWAP2
00001042: SWAP1
00001043: POP
00001044: JUMP
00001045: JUMPDEST
00001046: PUSH2 0x104e
00001049: DUP2
0000104a: PUSH2 0x103b
0000104d: JUMP
0000104e: JUMPDEST
0000104f: DUP3
00001050: MSTORE
00001051: POP
00001052: POP
00001053: JUMP
00001054: JUMPDEST
00001055: PUSH1 0x00
00001057: PUSH1 0x20
00001059: DUP3
0000105a: ADD
0000105b: SWAP1
0000105c: POP
0000105d: PUSH2 0x1069
00001060: PUSH1 0x00
00001062: DUP4
00001063: ADD
00001064: DUP5
00001065: PUSH2 0x1045
00001068: JUMP
00001069: JUMPDEST
0000106a: SWAP3
0000106b: SWAP2
0000106c: POP
0000106d: POP
0000106e: JUMP
0000106f: JUMPDEST
00001070: PUSH2 0x1078
00001073: DUP2
00001074: PUSH2 0x103b
00001077: JUMP
00001078: JUMPDEST
00001079: DUP2
0000107a: EQ
0000107b: PUSH2 0x1083
0000107e: JUMPI
0000107f: PUSH1 0x00
00001081: DUP1
00001082: REVERT
00001083: JUMPDEST
00001084: POP
00001085: JUMP
00001086: JUMPDEST
00001087: PUSH1 0x00
00001089: DUP2
0000108a: CALLDATALOAD
0000108b: SWAP1
0000108c: POP
0000108d: PUSH2 0x1095
00001090: DUP2
00001091: PUSH2 0x106f
00001094: JUMP
00001095: JUMPDEST
00001096: SWAP3
00001097: SWAP2
00001098: POP
00001099: POP
0000109a: JUMP
0000109b: JUMPDEST
0000109c: PUSH1 0x00
0000109e: PUSH1 0x20
000010a0: DUP3
000010a1: DUP5
000010a2: SUB
000010a3: SLT
000010a4: ISZERO
000010a5: PUSH2 0x10b1
000010a8: JUMPI
000010a9: PUSH2 0x10b0
000010ac: PUSH2 0x0f98
000010af: JUMP
000010b0: JUMPDEST
000010b1: JUMPDEST
000010b2: PUSH1 0x00
000010b4: PUSH2 0x10bf
000010b7: DUP5
000010b8: DUP3
000010b9: DUP6
000010ba: ADD
000010bb: PUSH2 0x1086
000010be: JUMP
000010bf: JUMPDEST
000010c0: SWAP2
000010c1: POP
000010c2: POP
000010c3: SWAP3
000010c4: SWAP2
000010c5: POP
000010c6: POP
000010c7: JUMP
000010c8: JUMPDEST
000010c9: PUSH1 0x00
000010cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010e0: DUP3
000010e1: AND
000010e2: SWAP1
000010e3: POP
000010e4: SWAP2
000010e5: SWAP1
000010e6: POP
000010e7: JUMP
000010e8: JUMPDEST
000010e9: PUSH1 0x00
000010eb: PUSH2 0x10f3
000010ee: DUP3
000010ef: PUSH2 0x10c8
000010f2: JUMP
000010f3: JUMPDEST
000010f4: SWAP1
000010f5: POP
000010f6: SWAP2
000010f7: SWAP1
000010f8: POP
000010f9: JUMP
000010fa: JUMPDEST
000010fb: PUSH2 0x1103
000010fe: DUP2
000010ff: PUSH2 0x10e8
00001102: JUMP
00001103: JUMPDEST
00001104: DUP3
00001105: MSTORE
00001106: POP
00001107: POP
00001108: JUMP
00001109: JUMPDEST
0000110a: PUSH1 0x00
0000110c: PUSH1 0x20
0000110e: DUP3
0000110f: ADD
00001110: SWAP1
00001111: POP
00001112: PUSH2 0x111e
00001115: PUSH1 0x00
00001117: DUP4
00001118: ADD
00001119: DUP5
0000111a: PUSH2 0x10fa
0000111d: JUMP
0000111e: JUMPDEST
0000111f: SWAP3
00001120: SWAP2
00001121: POP
00001122: POP
00001123: JUMP
00001124: JUMPDEST
00001125: PUSH1 0x00
00001127: DUP1
00001128: REVERT
00001129: JUMPDEST
0000112a: PUSH1 0x00
0000112c: DUP1
0000112d: REVERT
0000112e: JUMPDEST
0000112f: PUSH1 0x00
00001131: DUP1
00001132: REVERT
00001133: JUMPDEST
00001134: PUSH1 0x00
00001136: DUP1
00001137: DUP4
00001138: PUSH1 0x1f
0000113a: DUP5
0000113b: ADD
0000113c: SLT
0000113d: PUSH2 0x1149
00001140: JUMPI
00001141: PUSH2 0x1148
00001144: PUSH2 0x1124
00001147: JUMP
00001148: JUMPDEST
00001149: JUMPDEST
0000114a: DUP3
0000114b: CALLDATALOAD
0000114c: SWAP1
0000114d: POP
0000114e: PUSH8 0xffffffffffffffff
00001157: DUP2
00001158: GT
00001159: ISZERO
0000115a: PUSH2 0x1166
0000115d: JUMPI
0000115e: PUSH2 0x1165
00001161: PUSH2 0x1129
00001164: JUMP
00001165: JUMPDEST
00001166: JUMPDEST
00001167: PUSH1 0x20
00001169: DUP4
0000116a: ADD
0000116b: SWAP2
0000116c: POP
0000116d: DUP4
0000116e: PUSH1 0x40
00001170: DUP3
00001171: MUL
00001172: DUP4
00001173: ADD
00001174: GT
00001175: ISZERO
00001176: PUSH2 0x1182
00001179: JUMPI
0000117a: PUSH2 0x1181
0000117d: PUSH2 0x112e
00001180: JUMP
00001181: JUMPDEST
00001182: JUMPDEST
00001183: SWAP3
00001184: POP
00001185: SWAP3
00001186: SWAP1
00001187: POP
00001188: JUMP
00001189: JUMPDEST
0000118a: PUSH1 0x00
0000118c: DUP1
0000118d: DUP4
0000118e: PUSH1 0x1f
00001190: DUP5
00001191: ADD
00001192: SLT
00001193: PUSH2 0x119f
00001196: JUMPI
00001197: PUSH2 0x119e
0000119a: PUSH2 0x1124
0000119d: JUMP
0000119e: JUMPDEST
0000119f: JUMPDEST
000011a0: DUP3
000011a1: CALLDATALOAD
000011a2: SWAP1
000011a3: POP
000011a4: PUSH8 0xffffffffffffffff
000011ad: DUP2
000011ae: GT
000011af: ISZERO
000011b0: PUSH2 0x11bc
000011b3: JUMPI
000011b4: PUSH2 0x11bb
000011b7: PUSH2 0x1129
000011ba: JUMP
000011bb: JUMPDEST
000011bc: JUMPDEST
000011bd: PUSH1 0x20
000011bf: DUP4
000011c0: ADD
000011c1: SWAP2
000011c2: POP
000011c3: DUP4
000011c4: PUSH1 0x20
000011c6: DUP3
000011c7: MUL
000011c8: DUP4
000011c9: ADD
000011ca: GT
000011cb: ISZERO
000011cc: PUSH2 0x11d8
000011cf: JUMPI
000011d0: PUSH2 0x11d7
000011d3: PUSH2 0x112e
000011d6: JUMP
000011d7: JUMPDEST
000011d8: JUMPDEST
000011d9: SWAP3
000011da: POP
000011db: SWAP3
000011dc: SWAP1
000011dd: POP
000011de: JUMP
000011df: JUMPDEST
000011e0: PUSH1 0x00
000011e2: DUP1
000011e3: PUSH1 0x00
000011e5: DUP1
000011e6: PUSH1 0x00
000011e8: DUP1
000011e9: PUSH1 0x80
000011eb: DUP8
000011ec: DUP10
000011ed: SUB
000011ee: SLT
000011ef: ISZERO
000011f0: PUSH2 0x11fc
000011f3: JUMPI
000011f4: PUSH2 0x11fb
000011f7: PUSH2 0x0f98
000011fa: JUMP
000011fb: JUMPDEST
000011fc: JUMPDEST
000011fd: PUSH1 0x00
000011ff: PUSH2 0x120a
00001202: DUP10
00001203: DUP3
00001204: DUP11
00001205: ADD
00001206: PUSH2 0x1086
00001209: JUMP
0000120a: JUMPDEST
0000120b: SWAP7
0000120c: POP
0000120d: POP
0000120e: PUSH1 0x20
00001210: PUSH2 0x121b
00001213: DUP10
00001214: DUP3
00001215: DUP11
00001216: ADD
00001217: PUSH2 0x0fc3
0000121a: JUMP
0000121b: JUMPDEST
0000121c: SWAP6
0000121d: POP
0000121e: POP
0000121f: PUSH1 0x40
00001221: DUP8
00001222: ADD
00001223: CALLDATALOAD
00001224: PUSH8 0xffffffffffffffff
0000122d: DUP2
0000122e: GT
0000122f: ISZERO
00001230: PUSH2 0x123c
00001233: JUMPI
00001234: PUSH2 0x123b
00001237: PUSH2 0x0f9d
0000123a: JUMP
0000123b: JUMPDEST
0000123c: JUMPDEST
0000123d: PUSH2 0x1248
00001240: DUP10
00001241: DUP3
00001242: DUP11
00001243: ADD
00001244: PUSH2 0x1133
00001247: JUMP
00001248: JUMPDEST
00001249: SWAP5
0000124a: POP
0000124b: SWAP5
0000124c: POP
0000124d: POP
0000124e: PUSH1 0x60
00001250: DUP8
00001251: ADD
00001252: CALLDATALOAD
00001253: PUSH8 0xffffffffffffffff
0000125c: DUP2
0000125d: GT
0000125e: ISZERO
0000125f: PUSH2 0x126b
00001262: JUMPI
00001263: PUSH2 0x126a
00001266: PUSH2 0x0f9d
00001269: JUMP
0000126a: JUMPDEST
0000126b: JUMPDEST
0000126c: PUSH2 0x1277
0000126f: DUP10
00001270: DUP3
00001271: DUP11
00001272: ADD
00001273: PUSH2 0x1189
00001276: JUMP
00001277: JUMPDEST
00001278: SWAP3
00001279: POP
0000127a: SWAP3
0000127b: POP
0000127c: POP
0000127d: SWAP3
0000127e: SWAP6
0000127f: POP
00001280: SWAP3
00001281: SWAP6
00001282: POP
00001283: SWAP3
00001284: SWAP6
00001285: JUMP
00001286: JUMPDEST
00001287: PUSH1 0x00
00001289: DUP1
0000128a: DUP4
0000128b: PUSH1 0x1f
0000128d: DUP5
0000128e: ADD
0000128f: SLT
00001290: PUSH2 0x129c
00001293: JUMPI
00001294: PUSH2 0x129b
00001297: PUSH2 0x1124
0000129a: JUMP
0000129b: JUMPDEST
0000129c: JUMPDEST
0000129d: DUP3
0000129e: CALLDATALOAD
0000129f: SWAP1
000012a0: POP
000012a1: PUSH8 0xffffffffffffffff
000012aa: DUP2
000012ab: GT
000012ac: ISZERO
000012ad: PUSH2 0x12b9
000012b0: JUMPI
000012b1: PUSH2 0x12b8
000012b4: PUSH2 0x1129
000012b7: JUMP
000012b8: JUMPDEST
000012b9: JUMPDEST
000012ba: PUSH1 0x20
000012bc: DUP4
000012bd: ADD
000012be: SWAP2
000012bf: POP
000012c0: DUP4
000012c1: PUSH1 0x20
000012c3: DUP3
000012c4: MUL
000012c5: DUP4
000012c6: ADD
000012c7: GT
000012c8: ISZERO
000012c9: PUSH2 0x12d5
000012cc: JUMPI
000012cd: PUSH2 0x12d4
000012d0: PUSH2 0x112e
000012d3: JUMP
000012d4: JUMPDEST
000012d5: JUMPDEST
000012d6: SWAP3
000012d7: POP
000012d8: SWAP3
000012d9: SWAP1
000012da: POP
000012db: JUMP
000012dc: JUMPDEST
000012dd: PUSH1 0x00
000012df: DUP1
000012e0: PUSH1 0x00
000012e2: DUP1
000012e3: PUSH1 0x40
000012e5: DUP6
000012e6: DUP8
000012e7: SUB
000012e8: SLT
000012e9: ISZERO
000012ea: PUSH2 0x12f6
000012ed: JUMPI
000012ee: PUSH2 0x12f5
000012f1: PUSH2 0x0f98
000012f4: JUMP
000012f5: JUMPDEST
000012f6: JUMPDEST
000012f7: PUSH1 0x00
000012f9: DUP6
000012fa: ADD
000012fb: CALLDATALOAD
000012fc: PUSH8 0xffffffffffffffff
00001305: DUP2
00001306: GT
00001307: ISZERO
00001308: PUSH2 0x1314
0000130b: JUMPI
0000130c: PUSH2 0x1313
0000130f: PUSH2 0x0f9d
00001312: JUMP
00001313: JUMPDEST
00001314: JUMPDEST
00001315: PUSH2 0x1320
00001318: DUP8
00001319: DUP3
0000131a: DUP9
0000131b: ADD
0000131c: PUSH2 0x1286
0000131f: JUMP
00001320: JUMPDEST
00001321: SWAP5
00001322: POP
00001323: SWAP5
00001324: POP
00001325: POP
00001326: PUSH1 0x20
00001328: DUP6
00001329: ADD
0000132a: CALLDATALOAD
0000132b: PUSH8 0xffffffffffffffff
00001334: DUP2
00001335: GT
00001336: ISZERO
00001337: PUSH2 0x1343
0000133a: JUMPI
0000133b: PUSH2 0x1342
0000133e: PUSH2 0x0f9d
00001341: JUMP
00001342: JUMPDEST
00001343: JUMPDEST
00001344: PUSH2 0x134f
00001347: DUP8
00001348: DUP3
00001349: DUP9
0000134a: ADD
0000134b: PUSH2 0x1133
0000134e: JUMP
0000134f: JUMPDEST
00001350: SWAP3
00001351: POP
00001352: SWAP3
00001353: POP
00001354: POP
00001355: SWAP3
00001356: SWAP6
00001357: SWAP2
00001358: SWAP5
00001359: POP
0000135a: SWAP3
0000135b: POP
0000135c: JUMP
0000135d: JUMPDEST
0000135e: PUSH2 0x1366
00001361: DUP2
00001362: PUSH2 0x10e8
00001365: JUMP
00001366: JUMPDEST
00001367: DUP2
00001368: EQ
00001369: PUSH2 0x1371
0000136c: JUMPI
0000136d: PUSH1 0x00
0000136f: DUP1
00001370: REVERT
00001371: JUMPDEST
00001372: POP
00001373: JUMP
00001374: JUMPDEST
00001375: PUSH1 0x00
00001377: DUP2
00001378: CALLDATALOAD
00001379: SWAP1
0000137a: POP
0000137b: PUSH2 0x1383
0000137e: DUP2
0000137f: PUSH2 0x135d
00001382: JUMP
00001383: JUMPDEST
00001384: SWAP3
00001385: SWAP2
00001386: POP
00001387: POP
00001388: JUMP
00001389: JUMPDEST
0000138a: PUSH1 0x00
0000138c: PUSH1 0x20
0000138e: DUP3
0000138f: DUP5
00001390: SUB
00001391: SLT
00001392: ISZERO
00001393: PUSH2 0x139f
00001396: JUMPI
00001397: PUSH2 0x139e
0000139a: PUSH2 0x0f98
0000139d: JUMP
0000139e: JUMPDEST
0000139f: JUMPDEST
000013a0: PUSH1 0x00
000013a2: PUSH2 0x13ad
000013a5: DUP5
000013a6: DUP3
000013a7: DUP6
000013a8: ADD
000013a9: PUSH2 0x1374
000013ac: JUMP
000013ad: JUMPDEST
000013ae: SWAP2
000013af: POP
000013b0: POP
000013b1: SWAP3
000013b2: SWAP2
000013b3: POP
000013b4: POP
000013b5: JUMP
000013b6: JUMPDEST
000013b7: PUSH32 0x756e617574686f72697a65640000000000000000000000000000000000000000
000013d8: PUSH1 0x00
000013da: DUP3
000013db: ADD
000013dc: MSTORE
000013dd: POP
000013de: JUMP
000013df: JUMPDEST
000013e0: PUSH1 0x00
000013e2: PUSH2 0x13ec
000013e5: PUSH1 0x0c
000013e7: DUP4
000013e8: PUSH2 0x0ef1
000013eb: JUMP
000013ec: JUMPDEST
000013ed: SWAP2
000013ee: POP
000013ef: PUSH2 0x13f7
000013f2: DUP3
000013f3: PUSH2 0x13b6
000013f6: JUMP
000013f7: JUMPDEST
000013f8: PUSH1 0x20
000013fa: DUP3
000013fb: ADD
000013fc: SWAP1
000013fd: POP
000013fe: SWAP2
000013ff: SWAP1
00001400: POP
00001401: JUMP
00001402: JUMPDEST
00001403: PUSH1 0x00
00001405: PUSH1 0x20
00001407: DUP3
00001408: ADD
00001409: SWAP1
0000140a: POP
0000140b: DUP2
0000140c: DUP2
0000140d: SUB
0000140e: PUSH1 0x00
00001410: DUP4
00001411: ADD
00001412: MSTORE
00001413: PUSH2 0x141b
00001416: DUP2
00001417: PUSH2 0x13df
0000141a: JUMP
0000141b: JUMPDEST
0000141c: SWAP1
0000141d: POP
0000141e: SWAP2
0000141f: SWAP1
00001420: POP
00001421: JUMP
00001422: JUMPDEST
00001423: PUSH1 0x00
00001425: DUP2
00001426: SWAP1
00001427: POP
00001428: SWAP3
00001429: SWAP2
0000142a: POP
0000142b: POP
0000142c: JUMP
0000142d: JUMPDEST
0000142e: POP
0000142f: JUMP
00001430: JUMPDEST
00001431: PUSH1 0x00
00001433: PUSH2 0x143d
00001436: PUSH1 0x00
00001438: DUP4
00001439: PUSH2 0x1422
0000143c: JUMP
0000143d: JUMPDEST
0000143e: SWAP2
0000143f: POP
00001440: PUSH2 0x1448
00001443: DUP3
00001444: PUSH2 0x142d
00001447: JUMP
00001448: JUMPDEST
00001449: PUSH1 0x00
0000144b: DUP3
0000144c: ADD
0000144d: SWAP1
0000144e: POP
0000144f: SWAP2
00001450: SWAP1
00001451: POP
00001452: JUMP
00001453: JUMPDEST
00001454: PUSH1 0x00
00001456: PUSH2 0x145e
00001459: DUP3
0000145a: PUSH2 0x1430
0000145d: JUMP
0000145e: JUMPDEST
0000145f: SWAP2
00001460: POP
00001461: DUP2
00001462: SWAP1
00001463: POP
00001464: SWAP2
00001465: SWAP1
00001466: POP
00001467: JUMP
00001468: JUMPDEST
00001469: PUSH32 0x73656e6420657468206661696c65640000000000000000000000000000000000
0000148a: PUSH1 0x00
0000148c: DUP3
0000148d: ADD
0000148e: MSTORE
0000148f: POP
00001490: JUMP
00001491: JUMPDEST
00001492: PUSH1 0x00
00001494: PUSH2 0x149e
00001497: PUSH1 0x0f
00001499: DUP4
0000149a: PUSH2 0x0ef1
0000149d: JUMP
0000149e: JUMPDEST
0000149f: SWAP2
000014a0: POP
000014a1: PUSH2 0x14a9
000014a4: DUP3
000014a5: PUSH2 0x1468
000014a8: JUMP
000014a9: JUMPDEST
000014aa: PUSH1 0x20
000014ac: DUP3
000014ad: ADD
000014ae: SWAP1
000014af: POP
000014b0: SWAP2
000014b1: SWAP1
000014b2: POP
000014b3: JUMP
000014b4: JUMPDEST
000014b5: PUSH1 0x00
000014b7: PUSH1 0x20
000014b9: DUP3
000014ba: ADD
000014bb: SWAP1
000014bc: POP
000014bd: DUP2
000014be: DUP2
000014bf: SUB
000014c0: PUSH1 0x00
000014c2: DUP4
000014c3: ADD
000014c4: MSTORE
000014c5: PUSH2 0x14cd
000014c8: DUP2
000014c9: PUSH2 0x1491
000014cc: JUMP
000014cd: JUMPDEST
000014ce: SWAP1
000014cf: POP
000014d0: SWAP2
000014d1: SWAP1
000014d2: POP
000014d3: JUMP
000014d4: JUMPDEST
000014d5: PUSH1 0x00
000014d7: DUP2
000014d8: PUSH1 0x60
000014da: SHL
000014db: SWAP1
000014dc: POP
000014dd: SWAP2
000014de: SWAP1
000014df: POP
000014e0: JUMP
000014e1: JUMPDEST
000014e2: PUSH1 0x00
000014e4: PUSH2 0x14ec
000014e7: DUP3
000014e8: PUSH2 0x14d4
000014eb: JUMP
000014ec: JUMPDEST
000014ed: SWAP1
000014ee: POP
000014ef: SWAP2
000014f0: SWAP1
000014f1: POP
000014f2: JUMP
000014f3: JUMPDEST
000014f4: PUSH1 0x00
000014f6: PUSH2 0x14fe
000014f9: DUP3
000014fa: PUSH2 0x14e1
000014fd: JUMP
000014fe: JUMPDEST
000014ff: SWAP1
00001500: POP
00001501: SWAP2
00001502: SWAP1
00001503: POP
00001504: JUMP
00001505: JUMPDEST
00001506: PUSH2 0x1516
00001509: PUSH2 0x1511
0000150c: DUP3
0000150d: PUSH2 0x10e8
00001510: JUMP
00001511: JUMPDEST
00001512: PUSH2 0x14f3
00001515: JUMP
00001516: JUMPDEST
00001517: DUP3
00001518: MSTORE
00001519: POP
0000151a: POP
0000151b: JUMP
0000151c: JUMPDEST
0000151d: PUSH1 0x00
0000151f: DUP2
00001520: SWAP1
00001521: POP
00001522: SWAP2
00001523: SWAP1
00001524: POP
00001525: JUMP
00001526: JUMPDEST
00001527: PUSH2 0x1537
0000152a: PUSH2 0x1532
0000152d: DUP3
0000152e: PUSH2 0x103b
00001531: JUMP
00001532: JUMPDEST
00001533: PUSH2 0x151c
00001536: JUMP
00001537: JUMPDEST
00001538: DUP3
00001539: MSTORE
0000153a: POP
0000153b: POP
0000153c: JUMP
0000153d: JUMPDEST
0000153e: PUSH1 0x00
00001540: PUSH2 0x1549
00001543: DUP3
00001544: DUP6
00001545: PUSH2 0x1505
00001548: JUMP
00001549: JUMPDEST
0000154a: PUSH1 0x14
0000154c: DUP3
0000154d: ADD
0000154e: SWAP2
0000154f: POP
00001550: PUSH2 0x1559
00001553: DUP3
00001554: DUP5
00001555: PUSH2 0x1526
00001558: JUMP
00001559: JUMPDEST
0000155a: PUSH1 0x20
0000155c: DUP3
0000155d: ADD
0000155e: SWAP2
0000155f: POP
00001560: DUP2
00001561: SWAP1
00001562: POP
00001563: SWAP4
00001564: SWAP3
00001565: POP
00001566: POP
00001567: POP
00001568: JUMP
00001569: JUMPDEST
0000156a: PUSH32 0x706c65617365207265616420746865207465726d7320616e6420636f6e646974
0000158b: PUSH1 0x00
0000158d: DUP3
0000158e: ADD
0000158f: MSTORE
00001590: PUSH32 0x696f6e7300000000000000000000000000000000000000000000000000000000
000015b1: PUSH1 0x20
000015b3: DUP3
000015b4: ADD
000015b5: MSTORE
000015b6: POP
000015b7: JUMP
000015b8: JUMPDEST
000015b9: PUSH1 0x00
000015bb: PUSH2 0x15c5
000015be: PUSH1 0x24
000015c0: DUP4
000015c1: PUSH2 0x0ef1
000015c4: JUMP
000015c5: JUMPDEST
000015c6: SWAP2
000015c7: POP
000015c8: PUSH2 0x15d0
000015cb: DUP3
000015cc: PUSH2 0x1569
000015cf: JUMP
000015d0: JUMPDEST
000015d1: PUSH1 0x40
000015d3: DUP3
000015d4: ADD
000015d5: SWAP1
000015d6: POP
000015d7: SWAP2
000015d8: SWAP1
000015d9: POP
000015da: JUMP
000015db: JUMPDEST
000015dc: PUSH1 0x00
000015de: PUSH1 0x20
000015e0: DUP3
000015e1: ADD
000015e2: SWAP1
000015e3: POP
000015e4: DUP2
000015e5: DUP2
000015e6: SUB
000015e7: PUSH1 0x00
000015e9: DUP4
000015ea: ADD
000015eb: MSTORE
000015ec: PUSH2 0x15f4
000015ef: DUP2
000015f0: PUSH2 0x15b8
000015f3: JUMP
000015f4: JUMPDEST
000015f5: SWAP1
000015f6: POP
000015f7: SWAP2
000015f8: SWAP1
000015f9: POP
000015fa: JUMP
000015fb: JUMPDEST
000015fc: PUSH2 0x1604
000015ff: DUP2
00001600: PUSH2 0x0fa2
00001603: JUMP
00001604: JUMPDEST
00001605: DUP3
00001606: MSTORE
00001607: POP
00001608: POP
00001609: JUMP
0000160a: JUMPDEST
0000160b: PUSH1 0x00
0000160d: DUP3
0000160e: DUP3
0000160f: MSTORE
00001610: PUSH1 0x20
00001612: DUP3
00001613: ADD
00001614: SWAP1
00001615: POP
00001616: SWAP3
00001617: SWAP2
00001618: POP
00001619: POP
0000161a: JUMP
0000161b: JUMPDEST
0000161c: PUSH1 0x00
0000161e: DUP2
0000161f: SWAP1
00001620: POP
00001621: SWAP2
00001622: SWAP1
00001623: POP
00001624: JUMP
00001625: JUMPDEST
00001626: PUSH1 0x00
00001628: PUSH2 0x1634
0000162b: PUSH1 0x20
0000162d: DUP5
0000162e: ADD
0000162f: DUP5
00001630: PUSH2 0x1374
00001633: JUMP
00001634: JUMPDEST
00001635: SWAP1
00001636: POP
00001637: SWAP3
00001638: SWAP2
00001639: POP
0000163a: POP
0000163b: JUMP
0000163c: JUMPDEST
0000163d: PUSH2 0x1645
00001640: DUP2
00001641: PUSH2 0x10e8
00001644: JUMP
00001645: JUMPDEST
00001646: DUP3
00001647: MSTORE
00001648: POP
00001649: POP
0000164a: JUMP
0000164b: JUMPDEST
0000164c: PUSH1 0x00
0000164e: PUSH2 0x165a
00001651: PUSH1 0x20
00001653: DUP5
00001654: ADD
00001655: DUP5
00001656: PUSH2 0x0fc3
00001659: JUMP
0000165a: JUMPDEST
0000165b: SWAP1
0000165c: POP
0000165d: SWAP3
0000165e: SWAP2
0000165f: POP
00001660: POP
00001661: JUMP
00001662: JUMPDEST
00001663: PUSH2 0x166b
00001666: DUP2
00001667: PUSH2 0x0fa2
0000166a: JUMP
0000166b: JUMPDEST
0000166c: DUP3
0000166d: MSTORE
0000166e: POP
0000166f: POP
00001670: JUMP
00001671: JUMPDEST
00001672: PUSH1 0x40
00001674: DUP3
00001675: ADD
00001676: PUSH2 0x1682
00001679: PUSH1 0x00
0000167b: DUP4
0000167c: ADD
0000167d: DUP4
0000167e: PUSH2 0x1625
00001681: JUMP
00001682: JUMPDEST
00001683: PUSH2 0x168f
00001686: PUSH1 0x00
00001688: DUP6
00001689: ADD
0000168a: DUP3
0000168b: PUSH2 0x163c
0000168e: JUMP
0000168f: JUMPDEST
00001690: POP
00001691: PUSH2 0x169d
00001694: PUSH1 0x20
00001696: DUP4
00001697: ADD
00001698: DUP4
00001699: PUSH2 0x164b
0000169c: JUMP
0000169d: JUMPDEST
0000169e: PUSH2 0x16aa
000016a1: PUSH1 0x20
000016a3: DUP6
000016a4: ADD
000016a5: DUP3
000016a6: PUSH2 0x1662
000016a9: JUMP
000016aa: JUMPDEST
000016ab: POP
000016ac: POP
000016ad: POP
000016ae: POP
000016af: JUMP
000016b0: JUMPDEST
000016b1: PUSH1 0x00
000016b3: PUSH2 0x16bc
000016b6: DUP4
000016b7: DUP4
000016b8: PUSH2 0x1671
000016bb: JUMP
000016bc: JUMPDEST
000016bd: PUSH1 0x40
000016bf: DUP4
000016c0: ADD
000016c1: SWAP1
000016c2: POP
000016c3: SWAP3
000016c4: SWAP2
000016c5: POP
000016c6: POP
000016c7: JUMP
000016c8: JUMPDEST
000016c9: PUSH1 0x00
000016cb: DUP3
000016cc: SWAP1
000016cd: POP
000016ce: SWAP3
000016cf: SWAP2
000016d0: POP
000016d1: POP
000016d2: JUMP
000016d3: JUMPDEST
000016d4: PUSH1 0x00
000016d6: PUSH1 0x40
000016d8: DUP3
000016d9: ADD
000016da: SWAP1
000016db: POP
000016dc: SWAP2
000016dd: SWAP1
000016de: POP
000016df: JUMP
000016e0: JUMPDEST
000016e1: PUSH1 0x00
000016e3: PUSH2 0x16ec
000016e6: DUP4
000016e7: DUP6
000016e8: PUSH2 0x160a
000016eb: JUMP
000016ec: JUMPDEST
000016ed: SWAP4
000016ee: POP
000016ef: PUSH2 0x16f7
000016f2: DUP3
000016f3: PUSH2 0x161b
000016f6: JUMP
000016f7: JUMPDEST
000016f8: DUP1
000016f9: PUSH1 0x00
000016fb: JUMPDEST
000016fc: DUP6
000016fd: DUP2
000016fe: LT
000016ff: ISZERO
00001700: PUSH2 0x1730
00001703: JUMPI
00001704: PUSH2 0x170d
00001707: DUP3
00001708: DUP5
00001709: PUSH2 0x16c8
0000170c: JUMP
0000170d: JUMPDEST
0000170e: PUSH2 0x1717
00001711: DUP9
00001712: DUP3
00001713: PUSH2 0x16b0
00001716: JUMP
00001717: JUMPDEST
00001718: SWAP8
00001719: POP
0000171a: PUSH2 0x1722
0000171d: DUP4
0000171e: PUSH2 0x16d3
00001721: JUMP
00001722: JUMPDEST
00001723: SWAP3
00001724: POP
00001725: POP
00001726: PUSH1 0x01
00001728: DUP2
00001729: ADD
0000172a: SWAP1
0000172b: POP
0000172c: PUSH2 0x16fb
0000172f: JUMP
00001730: JUMPDEST
00001731: POP
00001732: DUP6
00001733: SWAP3
00001734: POP
00001735: POP
00001736: POP
00001737: SWAP4
00001738: SWAP3
00001739: POP
0000173a: POP
0000173b: POP
0000173c: JUMP
0000173d: JUMPDEST
0000173e: PUSH1 0x00
00001740: PUSH1 0x60
00001742: DUP3
00001743: ADD
00001744: SWAP1
00001745: POP
00001746: PUSH2 0x1752
00001749: PUSH1 0x00
0000174b: DUP4
0000174c: ADD
0000174d: DUP8
0000174e: PUSH2 0x15fb
00001751: JUMP
00001752: JUMPDEST
00001753: PUSH2 0x175f
00001756: PUSH1 0x20
00001758: DUP4
00001759: ADD
0000175a: DUP7
0000175b: PUSH2 0x10fa
0000175e: JUMP
0000175f: JUMPDEST
00001760: DUP2
00001761: DUP2
00001762: SUB
00001763: PUSH1 0x40
00001765: DUP4
00001766: ADD
00001767: MSTORE
00001768: PUSH2 0x1772
0000176b: DUP2
0000176c: DUP5
0000176d: DUP7
0000176e: PUSH2 0x16e0
00001771: JUMP
00001772: JUMPDEST
00001773: SWAP1
00001774: POP
00001775: SWAP6
00001776: SWAP5
00001777: POP
00001778: POP
00001779: POP
0000177a: POP
0000177b: POP
0000177c: JUMP
0000177d: JUMPDEST
0000177e: PUSH32 0x70726f6f6620696e76616c696400000000000000000000000000000000000000
0000179f: PUSH1 0x00
000017a1: DUP3
000017a2: ADD
000017a3: MSTORE
000017a4: POP
000017a5: JUMP
000017a6: JUMPDEST
000017a7: PUSH1 0x00
000017a9: PUSH2 0x17b3
000017ac: PUSH1 0x0d
000017ae: DUP4
000017af: PUSH2 0x0ef1
000017b2: JUMP
000017b3: JUMPDEST
000017b4: SWAP2
000017b5: POP
000017b6: PUSH2 0x17be
000017b9: DUP3
000017ba: PUSH2 0x177d
000017bd: JUMP
000017be: JUMPDEST
000017bf: PUSH1 0x20
000017c1: DUP3
000017c2: ADD
000017c3: SWAP1
000017c4: POP
000017c5: SWAP2
000017c6: SWAP1
000017c7: POP
000017c8: JUMP
000017c9: JUMPDEST
000017ca: PUSH1 0x00
000017cc: PUSH1 0x20
000017ce: DUP3
000017cf: ADD
000017d0: SWAP1
000017d1: POP
000017d2: DUP2
000017d3: DUP2
000017d4: SUB
000017d5: PUSH1 0x00
000017d7: DUP4
000017d8: ADD
000017d9: MSTORE
000017da: PUSH2 0x17e2
000017dd: DUP2
000017de: PUSH2 0x17a6
000017e1: JUMP
000017e2: JUMPDEST
000017e3: SWAP1
000017e4: POP
000017e5: SWAP2
000017e6: SWAP1
000017e7: POP
000017e8: JUMP
000017e9: JUMPDEST
000017ea: PUSH32 0x616c726561647920636c61696d65640000000000000000000000000000000000
0000180b: PUSH1 0x00
0000180d: DUP3
0000180e: ADD
0000180f: MSTORE
00001810: POP
00001811: JUMP
00001812: JUMPDEST
00001813: PUSH1 0x00
00001815: PUSH2 0x181f
00001818: PUSH1 0x0f
0000181a: DUP4
0000181b: PUSH2 0x0ef1
0000181e: JUMP
0000181f: JUMPDEST
00001820: SWAP2
00001821: POP
00001822: PUSH2 0x182a
00001825: DUP3
00001826: PUSH2 0x17e9
00001829: JUMP
0000182a: JUMPDEST
0000182b: PUSH1 0x20
0000182d: DUP3
0000182e: ADD
0000182f: SWAP1
00001830: POP
00001831: SWAP2
00001832: SWAP1
00001833: POP
00001834: JUMP
00001835: JUMPDEST
00001836: PUSH1 0x00
00001838: PUSH1 0x20
0000183a: DUP3
0000183b: ADD
0000183c: SWAP1
0000183d: POP
0000183e: DUP2
0000183f: DUP2
00001840: SUB
00001841: PUSH1 0x00
00001843: DUP4
00001844: ADD
00001845: MSTORE
00001846: PUSH2 0x184e
00001849: DUP2
0000184a: PUSH2 0x1812
0000184d: JUMP
0000184e: JUMPDEST
0000184f: SWAP1
00001850: POP
00001851: SWAP2
00001852: SWAP1
00001853: POP
00001854: JUMP
00001855: JUMPDEST
00001856: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001877: PUSH1 0x00
00001879: MSTORE
0000187a: PUSH1 0x32
0000187c: PUSH1 0x04
0000187e: MSTORE
0000187f: PUSH1 0x24
00001881: PUSH1 0x00
00001883: REVERT
00001884: JUMPDEST
00001885: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000018a6: PUSH1 0x00
000018a8: MSTORE
000018a9: PUSH1 0x11
000018ab: PUSH1 0x04
000018ad: MSTORE
000018ae: PUSH1 0x24
000018b0: PUSH1 0x00
000018b2: REVERT
000018b3: JUMPDEST
000018b4: PUSH1 0x00
000018b6: PUSH2 0x18be
000018b9: DUP3
000018ba: PUSH2 0x0fa2
000018bd: JUMP
000018be: JUMPDEST
000018bf: SWAP2
000018c0: POP
000018c1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000018e2: DUP3
000018e3: SUB
000018e4: PUSH2 0x18f0
000018e7: JUMPI
000018e8: PUSH2 0x18ef
000018eb: PUSH2 0x1884
000018ee: JUMP
000018ef: JUMPDEST
000018f0: JUMPDEST
000018f1: PUSH1 0x01
000018f3: DUP3
000018f4: ADD
000018f5: SWAP1
000018f6: POP
000018f7: SWAP2
000018f8: SWAP1
000018f9: POP
000018fa: JUMP
000018fb: JUMPDEST
000018fc: PUSH32 0x6f776e6572206973207a65726f00000000000000000000000000000000000000
0000191d: PUSH1 0x00
0000191f: DUP3
00001920: ADD
00001921: MSTORE
00001922: POP
00001923: JUMP
00001924: JUMPDEST
00001925: PUSH1 0x00
00001927: PUSH2 0x1931
0000192a: PUSH1 0x0d
0000192c: DUP4
0000192d: PUSH2 0x0ef1
00001930: JUMP
00001931: JUMPDEST
00001932: SWAP2
00001933: POP
00001934: PUSH2 0x193c
00001937: DUP3
00001938: PUSH2 0x18fb
0000193b: JUMP
0000193c: JUMPDEST
0000193d: PUSH1 0x20
0000193f: DUP3
00001940: ADD
00001941: SWAP1
00001942: POP
00001943: SWAP2
00001944: SWAP1
00001945: POP
00001946: JUMP
00001947: JUMPDEST
00001948: PUSH1 0x00
0000194a: PUSH1 0x20
0000194c: DUP3
0000194d: ADD
0000194e: SWAP1
0000194f: POP
00001950: DUP2
00001951: DUP2
00001952: SUB
00001953: PUSH1 0x00
00001955: DUP4
00001956: ADD
00001957: MSTORE
00001958: PUSH2 0x1960
0000195b: DUP2
0000195c: PUSH2 0x1924
0000195f: JUMP
00001960: JUMPDEST
00001961: SWAP1
00001962: POP
00001963: SWAP2
00001964: SWAP1
00001965: POP
00001966: JUMP
00001967: JUMPDEST
00001968: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00001989: PUSH1 0x00
0000198b: DUP3
0000198c: ADD
0000198d: MSTORE
0000198e: POP
0000198f: JUMP
00001990: JUMPDEST
00001991: PUSH1 0x00
00001993: PUSH2 0x199d
00001996: PUSH1 0x1f
00001998: DUP4
00001999: PUSH2 0x0ef1
0000199c: JUMP
0000199d: JUMPDEST
0000199e: SWAP2
0000199f: POP
000019a0: PUSH2 0x19a8
000019a3: DUP3
000019a4: PUSH2 0x1967
000019a7: JUMP
000019a8: JUMPDEST
000019a9: PUSH1 0x20
000019ab: DUP3
000019ac: ADD
000019ad: SWAP1
000019ae: POP
000019af: SWAP2
000019b0: SWAP1
000019b1: POP
000019b2: JUMP
000019b3: JUMPDEST
000019b4: PUSH1 0x00
000019b6: PUSH1 0x20
000019b8: DUP3
000019b9: ADD
000019ba: SWAP1
000019bb: POP
000019bc: DUP2
000019bd: DUP2
000019be: SUB
000019bf: PUSH1 0x00
000019c1: DUP4
000019c2: ADD
000019c3: MSTORE
000019c4: PUSH2 0x19cc
000019c7: DUP2
000019c8: PUSH2 0x1990
000019cb: JUMP
000019cc: JUMPDEST
000019cd: SWAP1
000019ce: POP
000019cf: SWAP2
000019d0: SWAP1
000019d1: POP
000019d2: JUMP
000019d3: JUMPDEST
000019d4: PUSH1 0x00
000019d6: PUSH1 0x40
000019d8: DUP3
000019d9: ADD
000019da: SWAP1
000019db: POP
000019dc: PUSH2 0x19e8
000019df: PUSH1 0x00
000019e1: DUP4
000019e2: ADD
000019e3: DUP6
000019e4: PUSH2 0x10fa
000019e7: JUMP
000019e8: JUMPDEST
000019e9: PUSH2 0x19f5
000019ec: PUSH1 0x20
000019ee: DUP4
000019ef: ADD
000019f0: DUP5
000019f1: PUSH2 0x15fb
000019f4: JUMP
000019f5: JUMPDEST
000019f6: SWAP4
000019f7: SWAP3
000019f8: POP
000019f9: POP
000019fa: POP
000019fb: JUMP
000019fc: JUMPDEST
000019fd: PUSH2 0x1a05
00001a00: DUP2
00001a01: PUSH2 0x1005
00001a04: JUMP
00001a05: JUMPDEST
00001a06: DUP2
00001a07: EQ
00001a08: PUSH2 0x1a10
00001a0b: JUMPI
00001a0c: PUSH1 0x00
00001a0e: DUP1
00001a0f: REVERT
00001a10: JUMPDEST
00001a11: POP
00001a12: JUMP
00001a13: JUMPDEST
00001a14: PUSH1 0x00
00001a16: DUP2
00001a17: MLOAD
00001a18: SWAP1
00001a19: POP
00001a1a: PUSH2 0x1a22
00001a1d: DUP2
00001a1e: PUSH2 0x19fc
00001a21: JUMP
00001a22: JUMPDEST
00001a23: SWAP3
00001a24: SWAP2
00001a25: POP
00001a26: POP
00001a27: JUMP
00001a28: JUMPDEST
00001a29: PUSH1 0x00
00001a2b: PUSH1 0x20
00001a2d: DUP3
00001a2e: DUP5
00001a2f: SUB
00001a30: SLT
00001a31: ISZERO
00001a32: PUSH2 0x1a3e
00001a35: JUMPI
00001a36: PUSH2 0x1a3d
00001a39: PUSH2 0x0f98
00001a3c: JUMP
00001a3d: JUMPDEST
00001a3e: JUMPDEST
00001a3f: PUSH1 0x00
00001a41: PUSH2 0x1a4c
00001a44: DUP5
00001a45: DUP3
00001a46: DUP6
00001a47: ADD
00001a48: PUSH2 0x1a13
00001a4b: JUMP
00001a4c: JUMPDEST
00001a4d: SWAP2
00001a4e: POP
00001a4f: POP
00001a50: SWAP3
00001a51: SWAP2
00001a52: POP
00001a53: POP
00001a54: JUMP
00001a55: JUMPDEST
00001a56: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00001a77: PUSH1 0x00
00001a79: DUP3
00001a7a: ADD
00001a7b: MSTORE
00001a7c: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
00001a9d: PUSH1 0x20
00001a9f: DUP3
00001aa0: ADD
00001aa1: MSTORE
00001aa2: POP
00001aa3: JUMP
00001aa4: JUMPDEST
00001aa5: PUSH1 0x00
00001aa7: PUSH2 0x1ab1
00001aaa: PUSH1 0x2a
00001aac: DUP4
00001aad: PUSH2 0x0ef1
00001ab0: JUMP
00001ab1: JUMPDEST
00001ab2: SWAP2
00001ab3: POP
00001ab4: PUSH2 0x1abc
00001ab7: DUP3
00001ab8: PUSH2 0x1a55
00001abb: JUMP
00001abc: JUMPDEST
00001abd: PUSH1 0x40
00001abf: DUP3
00001ac0: ADD
00001ac1: SWAP1
00001ac2: POP
00001ac3: SWAP2
00001ac4: SWAP1
00001ac5: POP
00001ac6: JUMP
00001ac7: JUMPDEST
00001ac8: PUSH1 0x00
00001aca: PUSH1 0x20
00001acc: DUP3
00001acd: ADD
00001ace: SWAP1
00001acf: POP
00001ad0: DUP2
00001ad1: DUP2
00001ad2: SUB
00001ad3: PUSH1 0x00
00001ad5: DUP4
00001ad6: ADD
00001ad7: MSTORE
00001ad8: PUSH2 0x1ae0
00001adb: DUP2
00001adc: PUSH2 0x1aa4
00001adf: JUMP
00001ae0: JUMPDEST
00001ae1: SWAP1
00001ae2: POP
00001ae3: SWAP2
00001ae4: SWAP1
00001ae5: POP
00001ae6: JUMP
00001ae7: JUMPDEST
00001ae8: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00001b09: PUSH1 0x00
00001b0b: DUP3
00001b0c: ADD
00001b0d: MSTORE
00001b0e: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000
00001b2f: PUSH1 0x20
00001b31: DUP3
00001b32: ADD
00001b33: MSTORE
00001b34: POP
00001b35: JUMP
00001b36: JUMPDEST
00001b37: PUSH1 0x00
00001b39: PUSH2 0x1b43
00001b3c: PUSH1 0x26
00001b3e: DUP4
00001b3f: PUSH2 0x0ef1
00001b42: JUMP
00001b43: JUMPDEST
00001b44: SWAP2
00001b45: POP
00001b46: PUSH2 0x1b4e
00001b49: DUP3
00001b4a: PUSH2 0x1ae7
00001b4d: JUMP
00001b4e: JUMPDEST
00001b4f: PUSH1 0x40
00001b51: DUP3
00001b52: ADD
00001b53: SWAP1
00001b54: POP
00001b55: SWAP2
00001b56: SWAP1
00001b57: POP
00001b58: JUMP
00001b59: JUMPDEST
00001b5a: PUSH1 0x00
00001b5c: PUSH1 0x20
00001b5e: DUP3
00001b5f: ADD
00001b60: SWAP1
00001b61: POP
00001b62: DUP2
00001b63: DUP2
00001b64: SUB
00001b65: PUSH1 0x00
00001b67: DUP4
00001b68: ADD
00001b69: MSTORE
00001b6a: PUSH2 0x1b72
00001b6d: DUP2
00001b6e: PUSH2 0x1b36
00001b71: JUMP
00001b72: JUMPDEST
00001b73: SWAP1
00001b74: POP
00001b75: SWAP2
00001b76: SWAP1
00001b77: POP
00001b78: JUMP
00001b79: JUMPDEST
00001b7a: PUSH1 0x00
00001b7c: DUP2
00001b7d: MLOAD
00001b7e: SWAP1
00001b7f: POP
00001b80: SWAP2
00001b81: SWAP1
00001b82: POP
00001b83: JUMP
00001b84: JUMPDEST
00001b85: PUSH1 0x00
00001b87: PUSH2 0x1b8f
00001b8a: DUP3
00001b8b: PUSH2 0x1b79
00001b8e: JUMP
00001b8f: JUMPDEST
00001b90: PUSH2 0x1b99
00001b93: DUP2
00001b94: DUP6
00001b95: PUSH2 0x1422
00001b98: JUMP
00001b99: JUMPDEST
00001b9a: SWAP4
00001b9b: POP
00001b9c: PUSH2 0x1ba9
00001b9f: DUP2
00001ba0: DUP6
00001ba1: PUSH1 0x20
00001ba3: DUP7
00001ba4: ADD
00001ba5: PUSH2 0x0f02
00001ba8: JUMP
00001ba9: JUMPDEST
00001baa: DUP1
00001bab: DUP5
00001bac: ADD
00001bad: SWAP2
00001bae: POP
00001baf: POP
00001bb0: SWAP3
00001bb1: SWAP2
00001bb2: POP
00001bb3: POP
00001bb4: JUMP
00001bb5: JUMPDEST
00001bb6: PUSH1 0x00
00001bb8: PUSH2 0x1bc1
00001bbb: DUP3
00001bbc: DUP5
00001bbd: PUSH2 0x1b84
00001bc0: JUMP
00001bc1: JUMPDEST
00001bc2: SWAP2
00001bc3: POP
00001bc4: DUP2
00001bc5: SWAP1
00001bc6: POP
00001bc7: SWAP3
00001bc8: SWAP2
00001bc9: POP
00001bca: POP
00001bcb: JUMP
00001bcc: JUMPDEST
00001bcd: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00001bee: PUSH1 0x00
00001bf0: DUP3
00001bf1: ADD
00001bf2: MSTORE
00001bf3: POP
00001bf4: JUMP
00001bf5: JUMPDEST
00001bf6: PUSH1 0x00
00001bf8: PUSH2 0x1c02
00001bfb: PUSH1 0x1d
00001bfd: DUP4
00001bfe: PUSH2 0x0ef1
00001c01: JUMP
00001c02: JUMPDEST
00001c03: SWAP2
00001c04: POP
00001c05: PUSH2 0x1c0d
00001c08: DUP3
00001c09: PUSH2 0x1bcc
00001c0c: JUMP
00001c0d: JUMPDEST
00001c0e: PUSH1 0x20
00001c10: DUP3
00001c11: ADD
00001c12: SWAP1
00001c13: POP
00001c14: SWAP2
00001c15: SWAP1
00001c16: POP
00001c17: JUMP
00001c18: JUMPDEST
00001c19: PUSH1 0x00
00001c1b: PUSH1 0x20
00001c1d: DUP3
00001c1e: ADD
00001c1f: SWAP1
00001c20: POP
00001c21: DUP2
00001c22: DUP2
00001c23: SUB
00001c24: PUSH1 0x00
00001c26: DUP4
00001c27: ADD
00001c28: MSTORE
00001c29: PUSH2 0x1c31
00001c2c: DUP2
00001c2d: PUSH2 0x1bf5
00001c30: JUMP
00001c31: JUMPDEST
00001c32: SWAP1
00001c33: POP
00001c34: SWAP2
00001c35: SWAP1
00001c36: POP
00001c37: JUMP
00001c38: INVALID
00001c39: LOG2
00001c3a: PUSH5 0x6970667358
00001c40: UNKNOWN(0x22)
00001c41: SLT
00001c42: KECCAK256
00001c43: DELEGATECALL
00001c44: UNKNOWN(0xE1)
00001c45: SLT
00001c46: UNKNOWN(0x0C)
00001c47: SWAP15
00001c48: PUSH15 0x1dbf2d85cb314a836f5125182ea580
00001c58: MULMOD
00001c59: DUP3
00001c5a: UNKNOWN(0xC5)
00001c5b: LOG3
00001c5c: UNKNOWN(0xE6)
00001c5d: SWAP8
00001c5e: PUSH13 0xcc3c6a1b64736f6c6343000812
00001c6c: STOP
00001c6d: CALLER