Analysis Run

[codex:1482358] OpenAI Codex v0.77.0 (research preview)
[codex:1482358] --------
[codex:1482358] workdir: /tmp/codex-multi-8x3ehphz
[codex:1482358] model: gpt-5.2-codex
[codex:1482358] provider: openai
[codex:1482358] approval: never
[codex:1482358] sandbox: read-only
[codex:1482358] reasoning effort: xhigh
[codex:1482358] reasoning summaries: auto
[codex:1482358] session id: 019b62c7-89f7-7b61-b82f-83c9ef013173
[codex:1482358] --------
[codex:1482358] user
[codex:1482358] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:1482358] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:1482358] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:1482358] 
[codex:1482358] Scope rules:
[codex:1482358] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:1482358] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:1482358] 
[codex:1482358] Output MUST be valid JSON matching the provided schema.
[codex:1482358] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:1482358] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:1482358] 
[codex:1482358] Output constraints (IMPORTANT):
[codex:1482358] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1482358] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1482358] mcp startup: no servers
[codex:1482358] 
[codex:1482358] thinking
[codex:1482358] **Preparing to read AUDIT_BUNDLE.txt**
[codex:1482358] exec
[codex:1482358] /bin/bash -lc ls in /tmp/codex-multi-8x3ehphz succeeded in 6ms:
[codex:1482358] AUDIT_BUNDLE.txt
[codex:1482358] codex-output-schema.json
[codex:1482358] contracts
[codex:1482358] exec
[codex:1482358] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-8x3ehphz succeeded in 5ms:
[codex:1482358] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1482358] 
[codex:1482358] ================================================================================
[codex:1482358] FILE: contracts/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/access/Ownable.sol
[codex:1482358] ================================================================================
[codex:1482358] // SPDX-License-Identifier: MIT
[codex:1482358] // OpenZeppelin Contracts (last updated v5.0.0) (access/Ownable.sol)
[codex:1482358] 
[codex:1482358] pragma solidity ^0.8.20;
[codex:1482358] 
[codex:1482358] import {Context} from "../utils/Context.sol";
[codex:1482358] 
[codex:1482358] /**
[codex:1482358]  * @dev Contract module which provides a basic access control mechanism, where
[codex:1482358]  * there is an account (an owner) that can be granted exclusive access to
[codex:1482358]  * specific functions.
[codex:1482358]  *
[codex:1482358]  * The initial owner is set to the address provided by the deployer. This can
[codex:1482358]  * later be changed with {transferOwnership}.
[codex:1482358]  *
[codex:1482358] 
[codex:1482358] 
[codex:1482358] thinking
[codex:1482358] **Analyzing signature and reentrancy risks**
[codex:1482358] thinking
[codex:1482358] **Preparing JSON summary output**
[codex:1482358] 
[codex:1482358] I'll create a JSON report marking no exploitable vulnerabilities found, adding a summary noting residual risks related to trusted owner and token behavior, with an empty findings list as required.
[codex:1482358] codex
[codex:1482358] {"no_findings":true,"summary":"No exploitable vulnerabilities found in first-party contracts in scope. Residual risk: behavior depends on trusted owner controls (rates/withdrawals) and on ERC20 tokens behaving as expected.","findings":[]}
[codex:1482358] tokens used
[codex:1482358] 22,769
[codex:1482358] {"no_findings":true,"summary":"No exploitable vulnerabilities found in first-party contracts in scope. Residual risk: behavior depends on trusted owner controls (rates/withdrawals) and on ERC20 tokens behaving as expected.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-28T02:28:11.851366+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities found in first-party contracts in scope. Residual risk: behavior depends on trusted owner controls (rates/withdrawals) and on ERC20 tokens behaving as expected.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities found in first-party contracts in scope. Residual risk: behavior depends on trusted owner controls (rates/withdrawals) and on ERC20 tokens behaving as expected.",
        "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 0x000f
0000000b: JUMPI
0000000c: PUSH0
0000000d: DUP1
0000000e: REVERT
0000000f: JUMPDEST
00000010: POP
00000011: PUSH1 0x04
00000013: CALLDATASIZE
00000014: LT
00000015: PUSH2 0x011c
00000018: JUMPI
00000019: PUSH0
0000001a: CALLDATALOAD
0000001b: PUSH1 0xe0
0000001d: SHR
0000001e: DUP1
0000001f: PUSH4 0x89363df8
00000024: GT
00000025: PUSH2 0x00a9
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd9caed12
0000002f: GT
00000030: PUSH2 0x006e
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd9caed12
0000003a: EQ
0000003b: PUSH2 0x0270
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe30c3978
00000045: EQ
00000046: PUSH2 0x0283
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xefb7601d
00000050: EQ
00000051: PUSH2 0x0294
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x02bc
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf5b72f7d
00000066: EQ
00000067: PUSH2 0x02cf
0000006a: JUMPI
0000006b: PUSH0
0000006c: DUP1
0000006d: REVERT
0000006e: JUMPDEST
0000006f: DUP1
00000070: PUSH4 0x89363df8
00000075: EQ
00000076: PUSH2 0x01f6
00000079: JUMPI
0000007a: DUP1
0000007b: PUSH4 0x8da5cb5b
00000080: EQ
00000081: PUSH2 0x021d
00000084: JUMPI
00000085: DUP1
00000086: PUSH4 0x8f0bc152
0000008b: EQ
0000008c: PUSH2 0x022d
0000008f: JUMPI
00000090: DUP1
00000091: PUSH4 0x918f8674
00000096: EQ
00000097: PUSH2 0x0240
0000009a: JUMPI
0000009b: DUP1
0000009c: PUSH4 0xae648e90
000000a1: EQ
000000a2: PUSH2 0x024f
000000a5: JUMPI
000000a6: PUSH0
000000a7: DUP1
000000a8: REVERT
000000a9: JUMPDEST
000000aa: DUP1
000000ab: PUSH4 0x715018a6
000000b0: GT
000000b1: PUSH2 0x00ef
000000b4: JUMPI
000000b5: DUP1
000000b6: PUSH4 0x715018a6
000000bb: EQ
000000bc: PUSH2 0x01ac
000000bf: JUMPI
000000c0: DUP1
000000c1: PUSH4 0x79ba5097
000000c6: EQ
000000c7: PUSH2 0x01b4
000000ca: JUMPI
000000cb: DUP1
000000cc: PUSH4 0x8456cb59
000000d1: EQ
000000d2: PUSH2 0x01bc
000000d5: JUMPI
000000d6: DUP1
000000d7: PUSH4 0x85c15d9a
000000dc: EQ
000000dd: PUSH2 0x01c4
000000e0: JUMPI
000000e1: DUP1
000000e2: PUSH4 0x87956f3e
000000e7: EQ
000000e8: PUSH2 0x01e3
000000eb: JUMPI
000000ec: PUSH0
000000ed: DUP1
000000ee: REVERT
000000ef: JUMPDEST
000000f0: DUP1
000000f1: PUSH4 0x0c5ef039
000000f6: EQ
000000f7: PUSH2 0x0120
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x20f00736
00000101: EQ
00000102: PUSH2 0x015a
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x3f4ba83a
0000010c: EQ
0000010d: PUSH2 0x0185
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0x5c975abb
00000117: EQ
00000118: PUSH2 0x018f
0000011b: JUMPI
0000011c: JUMPDEST
0000011d: PUSH0
0000011e: DUP1
0000011f: REVERT
00000120: JUMPDEST
00000121: PUSH2 0x0147
00000124: PUSH32 0x7b3a1416f3a5e173286beafc1bedd7bd8d8ae6ea0c78f8d7fba680ba1efcb3e7
00000145: DUP2
00000146: JUMP
00000147: JUMPDEST
00000148: PUSH1 0x40
0000014a: MLOAD
0000014b: SWAP1
0000014c: DUP2
0000014d: MSTORE
0000014e: PUSH1 0x20
00000150: ADD
00000151: JUMPDEST
00000152: PUSH1 0x40
00000154: MLOAD
00000155: DUP1
00000156: SWAP2
00000157: SUB
00000158: SWAP1
00000159: RETURN
0000015a: JUMPDEST
0000015b: PUSH2 0x016d
0000015e: PUSH2 0x0168
00000161: CALLDATASIZE
00000162: PUSH1 0x04
00000164: PUSH2 0x1310
00000167: JUMP
00000168: JUMPDEST
00000169: PUSH2 0x02d7
0000016c: JUMP
0000016d: JUMPDEST
0000016e: PUSH1 0x40
00000170: MLOAD
00000171: PUSH1 0x01
00000173: PUSH1 0x01
00000175: PUSH1 0xa0
00000177: SHL
00000178: SUB
00000179: SWAP1
0000017a: SWAP2
0000017b: AND
0000017c: DUP2
0000017d: MSTORE
0000017e: PUSH1 0x20
00000180: ADD
00000181: PUSH2 0x0151
00000184: JUMP
00000185: JUMPDEST
00000186: PUSH2 0x018d
00000189: PUSH2 0x02ff
0000018c: JUMP
0000018d: JUMPDEST
0000018e: STOP
0000018f: JUMPDEST
00000190: PUSH1 0x01
00000192: SLOAD
00000193: PUSH1 0x01
00000195: PUSH1 0xa0
00000197: SHL
00000198: SWAP1
00000199: DIV
0000019a: PUSH1 0xff
0000019c: AND
0000019d: PUSH1 0x40
0000019f: MLOAD
000001a0: SWAP1
000001a1: ISZERO
000001a2: ISZERO
000001a3: DUP2
000001a4: MSTORE
000001a5: PUSH1 0x20
000001a7: ADD
000001a8: PUSH2 0x0151
000001ab: JUMP
000001ac: JUMPDEST
000001ad: PUSH2 0x018d
000001b0: PUSH2 0x0311
000001b3: JUMP
000001b4: JUMPDEST
000001b5: PUSH2 0x018d
000001b8: PUSH2 0x0322
000001bb: JUMP
000001bc: JUMPDEST
000001bd: PUSH2 0x018d
000001c0: PUSH2 0x036b
000001c3: JUMP
000001c4: JUMPDEST
000001c5: PUSH2 0x0147
000001c8: PUSH2 0x01d2
000001cb: CALLDATASIZE
000001cc: PUSH1 0x04
000001ce: PUSH2 0x1342
000001d1: JUMP
000001d2: JUMPDEST
000001d3: PUSH1 0x04
000001d5: PUSH1 0x20
000001d7: MSTORE
000001d8: PUSH0
000001d9: SWAP1
000001da: DUP2
000001db: MSTORE
000001dc: PUSH1 0x40
000001de: SWAP1
000001df: KECCAK256
000001e0: SLOAD
000001e1: DUP2
000001e2: JUMP
000001e3: JUMPDEST
000001e4: PUSH2 0x018d
000001e7: PUSH2 0x01f1
000001ea: CALLDATASIZE
000001eb: PUSH1 0x04
000001ed: PUSH2 0x13a3
000001f0: JUMP
000001f1: JUMPDEST
000001f2: PUSH2 0x037b
000001f5: JUMP
000001f6: JUMPDEST
000001f7: PUSH2 0x016d
000001fa: PUSH32 0x00000000000000000000000055769490c825ccb09b2a6ae955203fabf04857fd
0000021b: DUP2
0000021c: JUMP
0000021d: JUMPDEST
0000021e: PUSH0
0000021f: SLOAD
00000220: PUSH1 0x01
00000222: PUSH1 0x01
00000224: PUSH1 0xa0
00000226: SHL
00000227: SUB
00000228: AND
00000229: PUSH2 0x016d
0000022c: JUMP
0000022d: JUMPDEST
0000022e: PUSH2 0x018d
00000231: PUSH2 0x023b
00000234: CALLDATASIZE
00000235: PUSH1 0x04
00000237: PUSH2 0x141e
0000023a: JUMP
0000023b: JUMPDEST
0000023c: PUSH2 0x0564
0000023f: JUMP
00000240: JUMPDEST
00000241: PUSH2 0x0147
00000244: PUSH8 0x0de0b6b3a7640000
0000024d: DUP2
0000024e: JUMP
0000024f: JUMPDEST
00000250: PUSH2 0x0262
00000253: PUSH2 0x025d
00000256: CALLDATASIZE
00000257: PUSH1 0x04
00000259: PUSH2 0x1310
0000025c: JUMP
0000025d: JUMPDEST
0000025e: PUSH2 0x06ef
00000261: JUMP
00000262: JUMPDEST
00000263: PUSH1 0x40
00000265: MLOAD
00000266: PUSH2 0x0151
00000269: SWAP3
0000026a: SWAP2
0000026b: SWAP1
0000026c: PUSH2 0x1554
0000026f: JUMP
00000270: JUMPDEST
00000271: PUSH2 0x018d
00000274: PUSH2 0x027e
00000277: CALLDATASIZE
00000278: PUSH1 0x04
0000027a: PUSH2 0x1581
0000027d: JUMP
0000027e: JUMPDEST
0000027f: PUSH2 0x09a6
00000282: JUMP
00000283: JUMPDEST
00000284: PUSH1 0x01
00000286: SLOAD
00000287: PUSH1 0x01
00000289: PUSH1 0x01
0000028b: PUSH1 0xa0
0000028d: SHL
0000028e: SUB
0000028f: AND
00000290: PUSH2 0x016d
00000293: JUMP
00000294: JUMPDEST
00000295: PUSH2 0x0147
00000298: PUSH2 0x02a2
0000029b: CALLDATASIZE
0000029c: PUSH1 0x04
0000029e: PUSH2 0x1342
000002a1: JUMP
000002a2: JUMPDEST
000002a3: PUSH1 0x01
000002a5: PUSH1 0x01
000002a7: PUSH1 0xa0
000002a9: SHL
000002aa: SUB
000002ab: AND
000002ac: PUSH0
000002ad: SWAP1
000002ae: DUP2
000002af: MSTORE
000002b0: PUSH1 0x04
000002b2: PUSH1 0x20
000002b4: MSTORE
000002b5: PUSH1 0x40
000002b7: SWAP1
000002b8: KECCAK256
000002b9: SLOAD
000002ba: SWAP1
000002bb: JUMP
000002bc: JUMPDEST
000002bd: PUSH2 0x018d
000002c0: PUSH2 0x02ca
000002c3: CALLDATASIZE
000002c4: PUSH1 0x04
000002c6: PUSH2 0x1342
000002c9: JUMP
000002ca: JUMPDEST
000002cb: PUSH2 0x0a5b
000002ce: JUMP
000002cf: JUMPDEST
000002d0: PUSH2 0x0262
000002d3: PUSH2 0x0acb
000002d6: JUMP
000002d7: JUMPDEST
000002d8: PUSH1 0x03
000002da: DUP2
000002db: DUP2
000002dc: SLOAD
000002dd: DUP2
000002de: LT
000002df: PUSH2 0x02e6
000002e2: JUMPI
000002e3: PUSH0
000002e4: DUP1
000002e5: REVERT
000002e6: JUMPDEST
000002e7: PUSH0
000002e8: SWAP2
000002e9: DUP3
000002ea: MSTORE
000002eb: PUSH1 0x20
000002ed: SWAP1
000002ee: SWAP2
000002ef: KECCAK256
000002f0: ADD
000002f1: SLOAD
000002f2: PUSH1 0x01
000002f4: PUSH1 0x01
000002f6: PUSH1 0xa0
000002f8: SHL
000002f9: SUB
000002fa: AND
000002fb: SWAP1
000002fc: POP
000002fd: DUP2
000002fe: JUMP
000002ff: JUMPDEST
00000300: PUSH2 0x0307
00000303: PUSH2 0x0be4
00000306: JUMP
00000307: JUMPDEST
00000308: PUSH2 0x030f
0000030b: PUSH2 0x0c10
0000030e: JUMP
0000030f: JUMPDEST
00000310: JUMP
00000311: JUMPDEST
00000312: PUSH2 0x0319
00000315: PUSH2 0x0be4
00000318: JUMP
00000319: JUMPDEST
0000031a: PUSH2 0x030f
0000031d: PUSH0
0000031e: PUSH2 0x0c65
00000321: JUMP
00000322: JUMPDEST
00000323: PUSH1 0x01
00000325: SLOAD
00000326: CALLER
00000327: SWAP1
00000328: PUSH1 0x01
0000032a: PUSH1 0x01
0000032c: PUSH1 0xa0
0000032e: SHL
0000032f: SUB
00000330: AND
00000331: DUP2
00000332: EQ
00000333: PUSH2 0x035f
00000336: JUMPI
00000337: PUSH1 0x40
00000339: MLOAD
0000033a: PUSH4 0x118cdaa7
0000033f: PUSH1 0xe0
00000341: SHL
00000342: DUP2
00000343: MSTORE
00000344: PUSH1 0x01
00000346: PUSH1 0x01
00000348: PUSH1 0xa0
0000034a: SHL
0000034b: SUB
0000034c: DUP3
0000034d: AND
0000034e: PUSH1 0x04
00000350: DUP3
00000351: ADD
00000352: MSTORE
00000353: PUSH1 0x24
00000355: ADD
00000356: JUMPDEST
00000357: PUSH1 0x40
00000359: MLOAD
0000035a: DUP1
0000035b: SWAP2
0000035c: SUB
0000035d: SWAP1
0000035e: REVERT
0000035f: JUMPDEST
00000360: PUSH2 0x0368
00000363: DUP2
00000364: PUSH2 0x0c65
00000367: JUMP
00000368: JUMPDEST
00000369: POP
0000036a: JUMP
0000036b: JUMPDEST
0000036c: PUSH2 0x0373
0000036f: PUSH2 0x0be4
00000372: JUMP
00000373: JUMPDEST
00000374: PUSH2 0x030f
00000377: PUSH2 0x0c7e
0000037a: JUMP
0000037b: JUMPDEST
0000037c: PUSH2 0x0383
0000037f: PUSH2 0x0be4
00000382: JUMP
00000383: JUMPDEST
00000384: PUSH0
00000385: DUP4
00000386: SWAP1
00000387: SUB
00000388: PUSH2 0x03a4
0000038b: JUMPI
0000038c: PUSH1 0x40
0000038e: MLOAD
0000038f: PUSH4 0x521299a9
00000394: PUSH1 0xe0
00000396: SHL
00000397: DUP2
00000398: MSTORE
00000399: PUSH1 0x04
0000039b: ADD
0000039c: PUSH1 0x40
0000039e: MLOAD
0000039f: DUP1
000003a0: SWAP2
000003a1: SUB
000003a2: SWAP1
000003a3: REVERT
000003a4: JUMPDEST
000003a5: PUSH0
000003a6: DUP2
000003a7: SWAP1
000003a8: SUB
000003a9: PUSH2 0x03c5
000003ac: JUMPI
000003ad: PUSH1 0x40
000003af: MLOAD
000003b0: PUSH4 0x521299a9
000003b5: PUSH1 0xe0
000003b7: SHL
000003b8: DUP2
000003b9: MSTORE
000003ba: PUSH1 0x04
000003bc: ADD
000003bd: PUSH1 0x40
000003bf: MLOAD
000003c0: DUP1
000003c1: SWAP2
000003c2: SUB
000003c3: SWAP1
000003c4: REVERT
000003c5: JUMPDEST
000003c6: DUP3
000003c7: DUP2
000003c8: EQ
000003c9: PUSH2 0x03e5
000003cc: JUMPI
000003cd: PUSH1 0x40
000003cf: MLOAD
000003d0: PUSH4 0x2b477e71
000003d5: PUSH1 0xe1
000003d7: SHL
000003d8: DUP2
000003d9: MSTORE
000003da: PUSH1 0x04
000003dc: ADD
000003dd: PUSH1 0x40
000003df: MLOAD
000003e0: DUP1
000003e1: SWAP2
000003e2: SUB
000003e3: SWAP1
000003e4: REVERT
000003e5: JUMPDEST
000003e6: DUP3
000003e7: PUSH0
000003e8: JUMPDEST
000003e9: DUP2
000003ea: DUP2
000003eb: LT
000003ec: ISZERO
000003ed: PUSH2 0x055c
000003f0: JUMPI
000003f1: DUP4
000003f2: DUP4
000003f3: DUP3
000003f4: DUP2
000003f5: DUP2
000003f6: LT
000003f7: PUSH2 0x0402
000003fa: JUMPI
000003fb: PUSH2 0x0402
000003fe: PUSH2 0x15ba
00000401: JUMP
00000402: JUMPDEST
00000403: SWAP1
00000404: POP
00000405: PUSH1 0x20
00000407: MUL
00000408: ADD
00000409: CALLDATALOAD
0000040a: PUSH0
0000040b: SUB
0000040c: PUSH2 0x0428
0000040f: JUMPI
00000410: PUSH1 0x40
00000412: MLOAD
00000413: PUSH4 0x1f2a2005
00000418: PUSH1 0xe0
0000041a: SHL
0000041b: DUP2
0000041c: MSTORE
0000041d: PUSH1 0x04
0000041f: ADD
00000420: PUSH1 0x40
00000422: MLOAD
00000423: DUP1
00000424: SWAP2
00000425: SUB
00000426: SWAP1
00000427: REVERT
00000428: JUMPDEST
00000429: PUSH0
0000042a: DUP7
0000042b: DUP7
0000042c: DUP4
0000042d: DUP2
0000042e: DUP2
0000042f: LT
00000430: PUSH2 0x043b
00000433: JUMPI
00000434: PUSH2 0x043b
00000437: PUSH2 0x15ba
0000043a: JUMP
0000043b: JUMPDEST
0000043c: SWAP1
0000043d: POP
0000043e: PUSH1 0x20
00000440: MUL
00000441: ADD
00000442: PUSH1 0x20
00000444: DUP2
00000445: ADD
00000446: SWAP1
00000447: PUSH2 0x0450
0000044a: SWAP2
0000044b: SWAP1
0000044c: PUSH2 0x1342
0000044f: JUMP
00000450: JUMPDEST
00000451: PUSH1 0x01
00000453: PUSH1 0x01
00000455: PUSH1 0xa0
00000457: SHL
00000458: SUB
00000459: AND
0000045a: SUB
0000045b: PUSH2 0x0477
0000045e: JUMPI
0000045f: PUSH1 0x40
00000461: MLOAD
00000462: PUSH4 0xd92e233d
00000467: PUSH1 0xe0
00000469: SHL
0000046a: DUP2
0000046b: MSTORE
0000046c: PUSH1 0x04
0000046e: ADD
0000046f: PUSH1 0x40
00000471: MLOAD
00000472: DUP1
00000473: SWAP2
00000474: SUB
00000475: SWAP1
00000476: REVERT
00000477: JUMPDEST
00000478: DUP4
00000479: DUP4
0000047a: DUP3
0000047b: DUP2
0000047c: DUP2
0000047d: LT
0000047e: PUSH2 0x0489
00000481: JUMPI
00000482: PUSH2 0x0489
00000485: PUSH2 0x15ba
00000488: JUMP
00000489: JUMPDEST
0000048a: SWAP1
0000048b: POP
0000048c: PUSH1 0x20
0000048e: MUL
0000048f: ADD
00000490: CALLDATALOAD
00000491: PUSH1 0x04
00000493: PUSH0
00000494: DUP9
00000495: DUP9
00000496: DUP6
00000497: DUP2
00000498: DUP2
00000499: LT
0000049a: PUSH2 0x04a5
0000049d: JUMPI
0000049e: PUSH2 0x04a5
000004a1: PUSH2 0x15ba
000004a4: JUMP
000004a5: JUMPDEST
000004a6: SWAP1
000004a7: POP
000004a8: PUSH1 0x20
000004aa: MUL
000004ab: ADD
000004ac: PUSH1 0x20
000004ae: DUP2
000004af: ADD
000004b0: SWAP1
000004b1: PUSH2 0x04ba
000004b4: SWAP2
000004b5: SWAP1
000004b6: PUSH2 0x1342
000004b9: JUMP
000004ba: JUMPDEST
000004bb: PUSH1 0x01
000004bd: PUSH1 0x01
000004bf: PUSH1 0xa0
000004c1: SHL
000004c2: SUB
000004c3: AND
000004c4: DUP2
000004c5: MSTORE
000004c6: PUSH1 0x20
000004c8: DUP2
000004c9: ADD
000004ca: SWAP2
000004cb: SWAP1
000004cc: SWAP2
000004cd: MSTORE
000004ce: PUSH1 0x40
000004d0: ADD
000004d1: PUSH0
000004d2: KECCAK256
000004d3: SSTORE
000004d4: DUP6
000004d5: DUP6
000004d6: DUP3
000004d7: DUP2
000004d8: DUP2
000004d9: LT
000004da: PUSH2 0x04e5
000004dd: JUMPI
000004de: PUSH2 0x04e5
000004e1: PUSH2 0x15ba
000004e4: JUMP
000004e5: JUMPDEST
000004e6: SWAP1
000004e7: POP
000004e8: PUSH1 0x20
000004ea: MUL
000004eb: ADD
000004ec: PUSH1 0x20
000004ee: DUP2
000004ef: ADD
000004f0: SWAP1
000004f1: PUSH2 0x04fa
000004f4: SWAP2
000004f5: SWAP1
000004f6: PUSH2 0x1342
000004f9: JUMP
000004fa: JUMPDEST
000004fb: PUSH1 0x01
000004fd: PUSH1 0x01
000004ff: PUSH1 0xa0
00000501: SHL
00000502: SUB
00000503: AND
00000504: PUSH32 0x0b4e9390054347e2a16d95fd8376311b0d2deedecba526e9742bcaa40b059f0b
00000525: DUP6
00000526: DUP6
00000527: DUP5
00000528: DUP2
00000529: DUP2
0000052a: LT
0000052b: PUSH2 0x0536
0000052e: JUMPI
0000052f: PUSH2 0x0536
00000532: PUSH2 0x15ba
00000535: JUMP
00000536: JUMPDEST
00000537: SWAP1
00000538: POP
00000539: PUSH1 0x20
0000053b: MUL
0000053c: ADD
0000053d: CALLDATALOAD
0000053e: PUSH1 0x40
00000540: MLOAD
00000541: PUSH2 0x054c
00000544: SWAP2
00000545: DUP2
00000546: MSTORE
00000547: PUSH1 0x20
00000549: ADD
0000054a: SWAP1
0000054b: JUMP
0000054c: JUMPDEST
0000054d: PUSH1 0x40
0000054f: MLOAD
00000550: DUP1
00000551: SWAP2
00000552: SUB
00000553: SWAP1
00000554: LOG2
00000555: PUSH1 0x01
00000557: ADD
00000558: PUSH2 0x03e8
0000055b: JUMP
0000055c: JUMPDEST
0000055d: POP
0000055e: POP
0000055f: POP
00000560: POP
00000561: POP
00000562: POP
00000563: JUMP
00000564: JUMPDEST
00000565: PUSH2 0x056c
00000568: PUSH2 0x0cc1
0000056b: JUMP
0000056c: JUMPDEST
0000056d: PUSH2 0x0574
00000570: PUSH2 0x0ce9
00000573: JUMP
00000574: JUMPDEST
00000575: DUP2
00000576: PUSH0
00000577: SUB
00000578: PUSH2 0x0594
0000057b: JUMPI
0000057c: PUSH1 0x40
0000057e: MLOAD
0000057f: PUSH4 0x1f2a2005
00000584: PUSH1 0xe0
00000586: SHL
00000587: DUP2
00000588: MSTORE
00000589: PUSH1 0x04
0000058b: ADD
0000058c: PUSH1 0x40
0000058e: MLOAD
0000058f: DUP1
00000590: SWAP2
00000591: SUB
00000592: SWAP1
00000593: REVERT
00000594: JUMPDEST
00000595: PUSH1 0x01
00000597: PUSH1 0x01
00000599: PUSH1 0xa0
0000059b: SHL
0000059c: SUB
0000059d: DUP4
0000059e: AND
0000059f: PUSH2 0x05bb
000005a2: JUMPI
000005a3: PUSH1 0x40
000005a5: MLOAD
000005a6: PUSH4 0xd92e233d
000005ab: PUSH1 0xe0
000005ad: SHL
000005ae: DUP2
000005af: MSTORE
000005b0: PUSH1 0x04
000005b2: ADD
000005b3: PUSH1 0x40
000005b5: MLOAD
000005b6: DUP1
000005b7: SWAP2
000005b8: SUB
000005b9: SWAP1
000005ba: REVERT
000005bb: JUMPDEST
000005bc: PUSH2 0x05c5
000005bf: CALLER
000005c0: DUP3
000005c1: PUSH2 0x0d14
000005c4: JUMP
000005c5: JUMPDEST
000005c6: PUSH2 0x05e2
000005c9: JUMPI
000005ca: PUSH1 0x40
000005cc: MLOAD
000005cd: PUSH4 0x8baa579f
000005d2: PUSH1 0xe0
000005d4: SHL
000005d5: DUP2
000005d6: MSTORE
000005d7: PUSH1 0x04
000005d9: ADD
000005da: PUSH1 0x40
000005dc: MLOAD
000005dd: DUP1
000005de: SWAP2
000005df: SUB
000005e0: SWAP1
000005e1: REVERT
000005e2: JUMPDEST
000005e3: PUSH2 0x0617
000005e6: PUSH1 0x01
000005e8: PUSH1 0x01
000005ea: PUSH1 0xa0
000005ec: SHL
000005ed: SUB
000005ee: PUSH32 0x00000000000000000000000055769490c825ccb09b2a6ae955203fabf04857fd
0000060f: AND
00000610: CALLER
00000611: ADDRESS
00000612: DUP6
00000613: PUSH2 0x0d76
00000616: JUMP
00000617: JUMPDEST
00000618: PUSH0
00000619: DUP1
0000061a: PUSH2 0x0622
0000061d: DUP5
0000061e: PUSH2 0x06ef
00000621: JUMP
00000622: JUMPDEST
00000623: DUP2
00000624: MLOAD
00000625: SWAP2
00000626: SWAP4
00000627: POP
00000628: SWAP2
00000629: POP
0000062a: PUSH0
0000062b: JUMPDEST
0000062c: DUP2
0000062d: DUP2
0000062e: LT
0000062f: ISZERO
00000630: PUSH2 0x068b
00000633: JUMPI
00000634: PUSH2 0x0683
00000637: DUP8
00000638: DUP5
00000639: DUP4
0000063a: DUP2
0000063b: MLOAD
0000063c: DUP2
0000063d: LT
0000063e: PUSH2 0x0649
00000641: JUMPI
00000642: PUSH2 0x0649
00000645: PUSH2 0x15ba
00000648: JUMP
00000649: JUMPDEST
0000064a: PUSH1 0x20
0000064c: MUL
0000064d: PUSH1 0x20
0000064f: ADD
00000650: ADD
00000651: MLOAD
00000652: DUP7
00000653: DUP5
00000654: DUP2
00000655: MLOAD
00000656: DUP2
00000657: LT
00000658: PUSH2 0x0663
0000065b: JUMPI
0000065c: PUSH2 0x0663
0000065f: PUSH2 0x15ba
00000662: JUMP
00000663: JUMPDEST
00000664: PUSH1 0x20
00000666: MUL
00000667: PUSH1 0x20
00000669: ADD
0000066a: ADD
0000066b: MLOAD
0000066c: PUSH1 0x01
0000066e: PUSH1 0x01
00000670: PUSH1 0xa0
00000672: SHL
00000673: SUB
00000674: AND
00000675: PUSH2 0x0de3
00000678: SWAP1
00000679: SWAP3
0000067a: SWAP2
0000067b: SWAP1
0000067c: PUSH4 0xffffffff
00000681: AND
00000682: JUMP
00000683: JUMPDEST
00000684: PUSH1 0x01
00000686: ADD
00000687: PUSH2 0x062b
0000068a: JUMP
0000068b: JUMPDEST
0000068c: POP
0000068d: DUP6
0000068e: PUSH1 0x01
00000690: PUSH1 0x01
00000692: PUSH1 0xa0
00000694: SHL
00000695: SUB
00000696: AND
00000697: CALLER
00000698: PUSH1 0x01
0000069a: PUSH1 0x01
0000069c: PUSH1 0xa0
0000069e: SHL
0000069f: SUB
000006a0: AND
000006a1: PUSH32 0xb0d2a0a69fe1bbb7fdd78dac0cbd1b1ea481809ea4b52b11d659e64e9163ca54
000006c2: DUP8
000006c3: DUP7
000006c4: DUP7
000006c5: DUP10
000006c6: PUSH1 0x40
000006c8: MLOAD
000006c9: PUSH2 0x06d5
000006cc: SWAP5
000006cd: SWAP4
000006ce: SWAP3
000006cf: SWAP2
000006d0: SWAP1
000006d1: PUSH2 0x161b
000006d4: JUMP
000006d5: JUMPDEST
000006d6: PUSH1 0x40
000006d8: MLOAD
000006d9: DUP1
000006da: SWAP2
000006db: SUB
000006dc: SWAP1
000006dd: LOG3
000006de: POP
000006df: POP
000006e0: POP
000006e1: PUSH2 0x06ea
000006e4: PUSH1 0x01
000006e6: PUSH1 0x02
000006e8: SSTORE
000006e9: JUMP
000006ea: JUMPDEST
000006eb: POP
000006ec: POP
000006ed: POP
000006ee: JUMP
000006ef: JUMPDEST
000006f0: PUSH1 0x60
000006f2: DUP1
000006f3: PUSH1 0x03
000006f5: DUP1
000006f6: SLOAD
000006f7: DUP1
000006f8: PUSH1 0x20
000006fa: MUL
000006fb: PUSH1 0x20
000006fd: ADD
000006fe: PUSH1 0x40
00000700: MLOAD
00000701: SWAP1
00000702: DUP2
00000703: ADD
00000704: PUSH1 0x40
00000706: MSTORE
00000707: DUP1
00000708: SWAP3
00000709: SWAP2
0000070a: SWAP1
0000070b: DUP2
0000070c: DUP2
0000070d: MSTORE
0000070e: PUSH1 0x20
00000710: ADD
00000711: DUP3
00000712: DUP1
00000713: SLOAD
00000714: DUP1
00000715: ISZERO
00000716: PUSH2 0x0746
00000719: JUMPI
0000071a: PUSH1 0x20
0000071c: MUL
0000071d: DUP3
0000071e: ADD
0000071f: SWAP2
00000720: SWAP1
00000721: PUSH0
00000722: MSTORE
00000723: PUSH1 0x20
00000725: PUSH0
00000726: KECCAK256
00000727: SWAP1
00000728: JUMPDEST
00000729: DUP2
0000072a: SLOAD
0000072b: PUSH1 0x01
0000072d: PUSH1 0x01
0000072f: PUSH1 0xa0
00000731: SHL
00000732: SUB
00000733: AND
00000734: DUP2
00000735: MSTORE
00000736: PUSH1 0x01
00000738: SWAP1
00000739: SWAP2
0000073a: ADD
0000073b: SWAP1
0000073c: PUSH1 0x20
0000073e: ADD
0000073f: DUP1
00000740: DUP4
00000741: GT
00000742: PUSH2 0x0728
00000745: JUMPI
00000746: JUMPDEST
00000747: POP
00000748: POP
00000749: POP
0000074a: POP
0000074b: POP
0000074c: SWAP2
0000074d: POP
0000074e: DUP2
0000074f: MLOAD
00000750: PUSH8 0xffffffffffffffff
00000759: DUP2
0000075a: GT
0000075b: ISZERO
0000075c: PUSH2 0x0767
0000075f: JUMPI
00000760: PUSH2 0x0767
00000763: PUSH2 0x140a
00000766: JUMP
00000767: JUMPDEST
00000768: PUSH1 0x40
0000076a: MLOAD
0000076b: SWAP1
0000076c: DUP1
0000076d: DUP3
0000076e: MSTORE
0000076f: DUP1
00000770: PUSH1 0x20
00000772: MUL
00000773: PUSH1 0x20
00000775: ADD
00000776: DUP3
00000777: ADD
00000778: PUSH1 0x40
0000077a: MSTORE
0000077b: DUP1
0000077c: ISZERO
0000077d: PUSH2 0x0790
00000780: JUMPI
00000781: DUP2
00000782: PUSH1 0x20
00000784: ADD
00000785: PUSH1 0x20
00000787: DUP3
00000788: MUL
00000789: DUP1
0000078a: CALLDATASIZE
0000078b: DUP4
0000078c: CALLDATACOPY
0000078d: ADD
0000078e: SWAP1
0000078f: POP
00000790: JUMPDEST
00000791: POP
00000792: SWAP1
00000793: POP
00000794: PUSH0
00000795: DUP3
00000796: MLOAD
00000797: PUSH8 0xffffffffffffffff
000007a0: DUP2
000007a1: GT
000007a2: ISZERO
000007a3: PUSH2 0x07ae
000007a6: JUMPI
000007a7: PUSH2 0x07ae
000007aa: PUSH2 0x140a
000007ad: JUMP
000007ae: JUMPDEST
000007af: PUSH1 0x40
000007b1: MLOAD
000007b2: SWAP1
000007b3: DUP1
000007b4: DUP3
000007b5: MSTORE
000007b6: DUP1
000007b7: PUSH1 0x20
000007b9: MUL
000007ba: PUSH1 0x20
000007bc: ADD
000007bd: DUP3
000007be: ADD
000007bf: PUSH1 0x40
000007c1: MSTORE
000007c2: DUP1
000007c3: ISZERO
000007c4: PUSH2 0x07d7
000007c7: JUMPI
000007c8: DUP2
000007c9: PUSH1 0x20
000007cb: ADD
000007cc: PUSH1 0x20
000007ce: DUP3
000007cf: MUL
000007d0: DUP1
000007d1: CALLDATASIZE
000007d2: DUP4
000007d3: CALLDATACOPY
000007d4: ADD
000007d5: SWAP1
000007d6: POP
000007d7: JUMPDEST
000007d8: POP
000007d9: SWAP1
000007da: POP
000007db: PUSH0
000007dc: JUMPDEST
000007dd: DUP4
000007de: MLOAD
000007df: DUP2
000007e0: LT
000007e1: ISZERO
000007e2: PUSH2 0x088e
000007e5: JUMPI
000007e6: DUP4
000007e7: DUP2
000007e8: DUP2
000007e9: MLOAD
000007ea: DUP2
000007eb: LT
000007ec: PUSH2 0x07f7
000007ef: JUMPI
000007f0: PUSH2 0x07f7
000007f3: PUSH2 0x15ba
000007f6: JUMP
000007f7: JUMPDEST
000007f8: PUSH1 0x20
000007fa: SWAP1
000007fb: DUP2
000007fc: MUL
000007fd: SWAP2
000007fe: SWAP1
000007ff: SWAP2
00000800: ADD
00000801: ADD
00000802: MLOAD
00000803: PUSH1 0x40
00000805: MLOAD
00000806: PUSH4 0x70a08231
0000080b: PUSH1 0xe0
0000080d: SHL
0000080e: DUP2
0000080f: MSTORE
00000810: ADDRESS
00000811: PUSH1 0x04
00000813: DUP3
00000814: ADD
00000815: MSTORE
00000816: PUSH1 0x01
00000818: PUSH1 0x01
0000081a: PUSH1 0xa0
0000081c: SHL
0000081d: SUB
0000081e: SWAP1
0000081f: SWAP2
00000820: AND
00000821: SWAP1
00000822: PUSH4 0x70a08231
00000827: SWAP1
00000828: PUSH1 0x24
0000082a: ADD
0000082b: PUSH1 0x20
0000082d: PUSH1 0x40
0000082f: MLOAD
00000830: DUP1
00000831: DUP4
00000832: SUB
00000833: DUP2
00000834: DUP7
00000835: GAS
00000836: STATICCALL
00000837: ISZERO
00000838: DUP1
00000839: ISZERO
0000083a: PUSH2 0x0845
0000083d: JUMPI
0000083e: RETURNDATASIZE
0000083f: PUSH0
00000840: DUP1
00000841: RETURNDATACOPY
00000842: RETURNDATASIZE
00000843: PUSH0
00000844: REVERT
00000845: JUMPDEST
00000846: POP
00000847: POP
00000848: POP
00000849: POP
0000084a: PUSH1 0x40
0000084c: MLOAD
0000084d: RETURNDATASIZE
0000084e: PUSH1 0x1f
00000850: NOT
00000851: PUSH1 0x1f
00000853: DUP3
00000854: ADD
00000855: AND
00000856: DUP3
00000857: ADD
00000858: DUP1
00000859: PUSH1 0x40
0000085b: MSTORE
0000085c: POP
0000085d: DUP2
0000085e: ADD
0000085f: SWAP1
00000860: PUSH2 0x0869
00000863: SWAP2
00000864: SWAP1
00000865: PUSH2 0x1664
00000868: JUMP
00000869: JUMPDEST
0000086a: DUP3
0000086b: DUP3
0000086c: DUP2
0000086d: MLOAD
0000086e: DUP2
0000086f: LT
00000870: PUSH2 0x087b
00000873: JUMPI
00000874: PUSH2 0x087b
00000877: PUSH2 0x15ba
0000087a: JUMP
0000087b: JUMPDEST
0000087c: PUSH1 0x20
0000087e: SWAP1
0000087f: DUP2
00000880: MUL
00000881: SWAP2
00000882: SWAP1
00000883: SWAP2
00000884: ADD
00000885: ADD
00000886: MSTORE
00000887: PUSH1 0x01
00000889: ADD
0000088a: PUSH2 0x07dc
0000088d: JUMP
0000088e: JUMPDEST
0000088f: POP
00000890: PUSH1 0x03
00000892: SLOAD
00000893: PUSH0
00000894: JUMPDEST
00000895: DUP2
00000896: DUP2
00000897: LT
00000898: ISZERO
00000899: PUSH2 0x099e
0000089c: JUMPI
0000089d: PUSH0
0000089e: PUSH1 0x03
000008a0: DUP3
000008a1: DUP2
000008a2: SLOAD
000008a3: DUP2
000008a4: LT
000008a5: PUSH2 0x08b0
000008a8: JUMPI
000008a9: PUSH2 0x08b0
000008ac: PUSH2 0x15ba
000008af: JUMP
000008b0: JUMPDEST
000008b1: PUSH0
000008b2: SWAP2
000008b3: DUP3
000008b4: MSTORE
000008b5: PUSH1 0x20
000008b7: DUP1
000008b8: DUP4
000008b9: KECCAK256
000008ba: SWAP1
000008bb: SWAP2
000008bc: ADD
000008bd: SLOAD
000008be: PUSH1 0x01
000008c0: PUSH1 0x01
000008c2: PUSH1 0xa0
000008c4: SHL
000008c5: SUB
000008c6: AND
000008c7: DUP1
000008c8: DUP4
000008c9: MSTORE
000008ca: PUSH1 0x04
000008cc: SWAP1
000008cd: SWAP2
000008ce: MSTORE
000008cf: PUSH1 0x40
000008d1: DUP3
000008d2: KECCAK256
000008d3: SLOAD
000008d4: SWAP1
000008d5: SWAP3
000008d6: POP
000008d7: SWAP1
000008d8: PUSH2 0x08ea
000008db: DUP10
000008dc: DUP4
000008dd: PUSH8 0x0de0b6b3a7640000
000008e6: PUSH2 0x0e14
000008e9: JUMP
000008ea: JUMPDEST
000008eb: SWAP1
000008ec: POP
000008ed: DUP1
000008ee: PUSH0
000008ef: SUB
000008f0: PUSH2 0x090c
000008f3: JUMPI
000008f4: PUSH1 0x40
000008f6: MLOAD
000008f7: PUSH4 0x1f2a2005
000008fc: PUSH1 0xe0
000008fe: SHL
000008ff: DUP2
00000900: MSTORE
00000901: PUSH1 0x04
00000903: ADD
00000904: PUSH1 0x40
00000906: MLOAD
00000907: DUP1
00000908: SWAP2
00000909: SUB
0000090a: SWAP1
0000090b: REVERT
0000090c: JUMPDEST
0000090d: DUP1
0000090e: DUP8
0000090f: DUP6
00000910: DUP2
00000911: MLOAD
00000912: DUP2
00000913: LT
00000914: PUSH2 0x091f
00000917: JUMPI
00000918: PUSH2 0x091f
0000091b: PUSH2 0x15ba
0000091e: JUMP
0000091f: JUMPDEST
00000920: PUSH1 0x20
00000922: MUL
00000923: PUSH1 0x20
00000925: ADD
00000926: ADD
00000927: DUP2
00000928: DUP2
00000929: MSTORE
0000092a: POP
0000092b: POP
0000092c: DUP1
0000092d: DUP7
0000092e: DUP6
0000092f: DUP2
00000930: MLOAD
00000931: DUP2
00000932: LT
00000933: PUSH2 0x093e
00000936: JUMPI
00000937: PUSH2 0x093e
0000093a: PUSH2 0x15ba
0000093d: JUMP
0000093e: JUMPDEST
0000093f: PUSH1 0x20
00000941: MUL
00000942: PUSH1 0x20
00000944: ADD
00000945: ADD
00000946: MLOAD
00000947: LT
00000948: ISZERO
00000949: PUSH2 0x0965
0000094c: JUMPI
0000094d: PUSH1 0x40
0000094f: MLOAD
00000950: PUSH4 0x1e9acf17
00000955: PUSH1 0xe3
00000957: SHL
00000958: DUP2
00000959: MSTORE
0000095a: PUSH1 0x04
0000095c: ADD
0000095d: PUSH1 0x40
0000095f: MLOAD
00000960: DUP1
00000961: SWAP2
00000962: SUB
00000963: SWAP1
00000964: REVERT
00000965: JUMPDEST
00000966: DUP1
00000967: DUP7
00000968: DUP6
00000969: DUP2
0000096a: MLOAD
0000096b: DUP2
0000096c: LT
0000096d: PUSH2 0x0978
00000970: JUMPI
00000971: PUSH2 0x0978
00000974: PUSH2 0x15ba
00000977: JUMP
00000978: JUMPDEST
00000979: PUSH1 0x20
0000097b: MUL
0000097c: PUSH1 0x20
0000097e: ADD
0000097f: ADD
00000980: DUP2
00000981: DUP2
00000982: MLOAD
00000983: PUSH2 0x098c
00000986: SWAP2
00000987: SWAP1
00000988: PUSH2 0x167b
0000098b: JUMP
0000098c: JUMPDEST
0000098d: SWAP1
0000098e: MSTORE
0000098f: POP
00000990: POP
00000991: PUSH1 0x01
00000993: SWAP1
00000994: SWAP3
00000995: ADD
00000996: SWAP2
00000997: POP
00000998: PUSH2 0x0894
0000099b: SWAP1
0000099c: POP
0000099d: JUMP
0000099e: JUMPDEST
0000099f: POP
000009a0: POP
000009a1: POP
000009a2: SWAP2
000009a3: POP
000009a4: SWAP2
000009a5: JUMP
000009a6: JUMPDEST
000009a7: PUSH2 0x09ae
000009aa: PUSH2 0x0be4
000009ad: JUMP
000009ae: JUMPDEST
000009af: PUSH1 0x01
000009b1: PUSH1 0x01
000009b3: PUSH1 0xa0
000009b5: SHL
000009b6: SUB
000009b7: DUP3
000009b8: AND
000009b9: PUSH2 0x09d5
000009bc: JUMPI
000009bd: PUSH1 0x40
000009bf: MLOAD
000009c0: PUSH4 0xd92e233d
000009c5: PUSH1 0xe0
000009c7: SHL
000009c8: DUP2
000009c9: MSTORE
000009ca: PUSH1 0x04
000009cc: ADD
000009cd: PUSH1 0x40
000009cf: MLOAD
000009d0: DUP1
000009d1: SWAP2
000009d2: SUB
000009d3: SWAP1
000009d4: REVERT
000009d5: JUMPDEST
000009d6: DUP1
000009d7: PUSH0
000009d8: SUB
000009d9: PUSH2 0x09f5
000009dc: JUMPI
000009dd: PUSH1 0x40
000009df: MLOAD
000009e0: PUSH4 0x1f2a2005
000009e5: PUSH1 0xe0
000009e7: SHL
000009e8: DUP2
000009e9: MSTORE
000009ea: PUSH1 0x04
000009ec: ADD
000009ed: PUSH1 0x40
000009ef: MLOAD
000009f0: DUP1
000009f1: SWAP2
000009f2: SUB
000009f3: SWAP1
000009f4: REVERT
000009f5: JUMPDEST
000009f6: PUSH2 0x0a09
000009f9: PUSH1 0x01
000009fb: PUSH1 0x01
000009fd: PUSH1 0xa0
000009ff: SHL
00000a00: SUB
00000a01: DUP5
00000a02: AND
00000a03: DUP4
00000a04: DUP4
00000a05: PUSH2 0x0de3
00000a08: JUMP
00000a09: JUMPDEST
00000a0a: DUP2
00000a0b: PUSH1 0x01
00000a0d: PUSH1 0x01
00000a0f: PUSH1 0xa0
00000a11: SHL
00000a12: SUB
00000a13: AND
00000a14: DUP4
00000a15: PUSH1 0x01
00000a17: PUSH1 0x01
00000a19: PUSH1 0xa0
00000a1b: SHL
00000a1c: SUB
00000a1d: AND
00000a1e: PUSH32 0xd1c19fbcd4551a5edfb66d43d2e337c04837afda3482b42bdf569a8fccdae5fb
00000a3f: DUP4
00000a40: PUSH1 0x40
00000a42: MLOAD
00000a43: PUSH2 0x0a4e
00000a46: SWAP2
00000a47: DUP2
00000a48: MSTORE
00000a49: PUSH1 0x20
00000a4b: ADD
00000a4c: SWAP1
00000a4d: JUMP
00000a4e: JUMPDEST
00000a4f: PUSH1 0x40
00000a51: MLOAD
00000a52: DUP1
00000a53: SWAP2
00000a54: SUB
00000a55: SWAP1
00000a56: LOG3
00000a57: POP
00000a58: POP
00000a59: POP
00000a5a: JUMP
00000a5b: JUMPDEST
00000a5c: PUSH2 0x0a63
00000a5f: PUSH2 0x0be4
00000a62: JUMP
00000a63: JUMPDEST
00000a64: PUSH1 0x01
00000a66: DUP1
00000a67: SLOAD
00000a68: PUSH1 0x01
00000a6a: PUSH1 0x01
00000a6c: PUSH1 0xa0
00000a6e: SHL
00000a6f: SUB
00000a70: DUP4
00000a71: AND
00000a72: PUSH1 0x01
00000a74: PUSH1 0x01
00000a76: PUSH1 0xa0
00000a78: SHL
00000a79: SUB
00000a7a: NOT
00000a7b: SWAP1
00000a7c: SWAP2
00000a7d: AND
00000a7e: DUP2
00000a7f: OR
00000a80: SWAP1
00000a81: SWAP2
00000a82: SSTORE
00000a83: PUSH2 0x0a93
00000a86: PUSH0
00000a87: SLOAD
00000a88: PUSH1 0x01
00000a8a: PUSH1 0x01
00000a8c: PUSH1 0xa0
00000a8e: SHL
00000a8f: SUB
00000a90: AND
00000a91: SWAP1
00000a92: JUMP
00000a93: JUMPDEST
00000a94: PUSH1 0x01
00000a96: PUSH1 0x01
00000a98: PUSH1 0xa0
00000a9a: SHL
00000a9b: SUB
00000a9c: AND
00000a9d: PUSH32 0x38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e22700
00000abe: PUSH1 0x40
00000ac0: MLOAD
00000ac1: PUSH1 0x40
00000ac3: MLOAD
00000ac4: DUP1
00000ac5: SWAP2
00000ac6: SUB
00000ac7: SWAP1
00000ac8: LOG3
00000ac9: POP
00000aca: JUMP
00000acb: JUMPDEST
00000acc: PUSH1 0x60
00000ace: DUP1
00000acf: PUSH1 0x03
00000ad1: DUP1
00000ad2: SLOAD
00000ad3: DUP1
00000ad4: PUSH1 0x20
00000ad6: MUL
00000ad7: PUSH1 0x20
00000ad9: ADD
00000ada: PUSH1 0x40
00000adc: MLOAD
00000add: SWAP1
00000ade: DUP2
00000adf: ADD
00000ae0: PUSH1 0x40
00000ae2: MSTORE
00000ae3: DUP1
00000ae4: SWAP3
00000ae5: SWAP2
00000ae6: SWAP1
00000ae7: DUP2
00000ae8: DUP2
00000ae9: MSTORE
00000aea: PUSH1 0x20
00000aec: ADD
00000aed: DUP3
00000aee: DUP1
00000aef: SLOAD
00000af0: DUP1
00000af1: ISZERO
00000af2: PUSH2 0x0b22
00000af5: JUMPI
00000af6: PUSH1 0x20
00000af8: MUL
00000af9: DUP3
00000afa: ADD
00000afb: SWAP2
00000afc: SWAP1
00000afd: PUSH0
00000afe: MSTORE
00000aff: PUSH1 0x20
00000b01: PUSH0
00000b02: KECCAK256
00000b03: SWAP1
00000b04: JUMPDEST
00000b05: DUP2
00000b06: SLOAD
00000b07: PUSH1 0x01
00000b09: PUSH1 0x01
00000b0b: PUSH1 0xa0
00000b0d: SHL
00000b0e: SUB
00000b0f: AND
00000b10: DUP2
00000b11: MSTORE
00000b12: PUSH1 0x01
00000b14: SWAP1
00000b15: SWAP2
00000b16: ADD
00000b17: SWAP1
00000b18: PUSH1 0x20
00000b1a: ADD
00000b1b: DUP1
00000b1c: DUP4
00000b1d: GT
00000b1e: PUSH2 0x0b04
00000b21: JUMPI
00000b22: JUMPDEST
00000b23: POP
00000b24: POP
00000b25: POP
00000b26: POP
00000b27: POP
00000b28: SWAP2
00000b29: POP
00000b2a: DUP2
00000b2b: MLOAD
00000b2c: PUSH8 0xffffffffffffffff
00000b35: DUP2
00000b36: GT
00000b37: ISZERO
00000b38: PUSH2 0x0b43
00000b3b: JUMPI
00000b3c: PUSH2 0x0b43
00000b3f: PUSH2 0x140a
00000b42: JUMP
00000b43: JUMPDEST
00000b44: PUSH1 0x40
00000b46: MLOAD
00000b47: SWAP1
00000b48: DUP1
00000b49: DUP3
00000b4a: MSTORE
00000b4b: DUP1
00000b4c: PUSH1 0x20
00000b4e: MUL
00000b4f: PUSH1 0x20
00000b51: ADD
00000b52: DUP3
00000b53: ADD
00000b54: PUSH1 0x40
00000b56: MSTORE
00000b57: DUP1
00000b58: ISZERO
00000b59: PUSH2 0x0b6c
00000b5c: JUMPI
00000b5d: DUP2
00000b5e: PUSH1 0x20
00000b60: ADD
00000b61: PUSH1 0x20
00000b63: DUP3
00000b64: MUL
00000b65: DUP1
00000b66: CALLDATASIZE
00000b67: DUP4
00000b68: CALLDATACOPY
00000b69: ADD
00000b6a: SWAP1
00000b6b: POP
00000b6c: JUMPDEST
00000b6d: POP
00000b6e: DUP3
00000b6f: MLOAD
00000b70: SWAP1
00000b71: SWAP2
00000b72: POP
00000b73: PUSH0
00000b74: JUMPDEST
00000b75: DUP2
00000b76: DUP2
00000b77: LT
00000b78: ISZERO
00000b79: PUSH2 0x0bde
00000b7c: JUMPI
00000b7d: PUSH1 0x04
00000b7f: PUSH0
00000b80: DUP6
00000b81: DUP4
00000b82: DUP2
00000b83: MLOAD
00000b84: DUP2
00000b85: LT
00000b86: PUSH2 0x0b91
00000b89: JUMPI
00000b8a: PUSH2 0x0b91
00000b8d: PUSH2 0x15ba
00000b90: JUMP
00000b91: JUMPDEST
00000b92: PUSH1 0x20
00000b94: MUL
00000b95: PUSH1 0x20
00000b97: ADD
00000b98: ADD
00000b99: MLOAD
00000b9a: PUSH1 0x01
00000b9c: PUSH1 0x01
00000b9e: PUSH1 0xa0
00000ba0: SHL
00000ba1: SUB
00000ba2: AND
00000ba3: PUSH1 0x01
00000ba5: PUSH1 0x01
00000ba7: PUSH1 0xa0
00000ba9: SHL
00000baa: SUB
00000bab: AND
00000bac: DUP2
00000bad: MSTORE
00000bae: PUSH1 0x20
00000bb0: ADD
00000bb1: SWAP1
00000bb2: DUP2
00000bb3: MSTORE
00000bb4: PUSH1 0x20
00000bb6: ADD
00000bb7: PUSH0
00000bb8: KECCAK256
00000bb9: SLOAD
00000bba: DUP4
00000bbb: DUP3
00000bbc: DUP2
00000bbd: MLOAD
00000bbe: DUP2
00000bbf: LT
00000bc0: PUSH2 0x0bcb
00000bc3: JUMPI
00000bc4: PUSH2 0x0bcb
00000bc7: PUSH2 0x15ba
00000bca: JUMP
00000bcb: JUMPDEST
00000bcc: PUSH1 0x20
00000bce: SWAP1
00000bcf: DUP2
00000bd0: MUL
00000bd1: SWAP2
00000bd2: SWAP1
00000bd3: SWAP2
00000bd4: ADD
00000bd5: ADD
00000bd6: MSTORE
00000bd7: PUSH1 0x01
00000bd9: ADD
00000bda: PUSH2 0x0b74
00000bdd: JUMP
00000bde: JUMPDEST
00000bdf: POP
00000be0: POP
00000be1: SWAP1
00000be2: SWAP2
00000be3: JUMP
00000be4: JUMPDEST
00000be5: PUSH0
00000be6: SLOAD
00000be7: PUSH1 0x01
00000be9: PUSH1 0x01
00000beb: PUSH1 0xa0
00000bed: SHL
00000bee: SUB
00000bef: AND
00000bf0: CALLER
00000bf1: EQ
00000bf2: PUSH2 0x030f
00000bf5: JUMPI
00000bf6: PUSH1 0x40
00000bf8: MLOAD
00000bf9: PUSH4 0x118cdaa7
00000bfe: PUSH1 0xe0
00000c00: SHL
00000c01: DUP2
00000c02: MSTORE
00000c03: CALLER
00000c04: PUSH1 0x04
00000c06: DUP3
00000c07: ADD
00000c08: MSTORE
00000c09: PUSH1 0x24
00000c0b: ADD
00000c0c: PUSH2 0x0356
00000c0f: JUMP
00000c10: JUMPDEST
00000c11: PUSH2 0x0c18
00000c14: PUSH2 0x0ed4
00000c17: JUMP
00000c18: JUMPDEST
00000c19: PUSH1 0x01
00000c1b: DUP1
00000c1c: SLOAD
00000c1d: PUSH1 0xff
00000c1f: PUSH1 0xa0
00000c21: SHL
00000c22: NOT
00000c23: AND
00000c24: SWAP1
00000c25: SSTORE
00000c26: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00000c47: CALLER
00000c48: JUMPDEST
00000c49: PUSH1 0x40
00000c4b: MLOAD
00000c4c: PUSH1 0x01
00000c4e: PUSH1 0x01
00000c50: PUSH1 0xa0
00000c52: SHL
00000c53: SUB
00000c54: SWAP1
00000c55: SWAP2
00000c56: AND
00000c57: DUP2
00000c58: MSTORE
00000c59: PUSH1 0x20
00000c5b: ADD
00000c5c: PUSH1 0x40
00000c5e: MLOAD
00000c5f: DUP1
00000c60: SWAP2
00000c61: SUB
00000c62: SWAP1
00000c63: LOG1
00000c64: JUMP
00000c65: JUMPDEST
00000c66: PUSH1 0x01
00000c68: DUP1
00000c69: SLOAD
00000c6a: PUSH1 0x01
00000c6c: PUSH1 0x01
00000c6e: PUSH1 0xa0
00000c70: SHL
00000c71: SUB
00000c72: NOT
00000c73: AND
00000c74: SWAP1
00000c75: SSTORE
00000c76: PUSH2 0x0368
00000c79: DUP2
00000c7a: PUSH2 0x0efe
00000c7d: JUMP
00000c7e: JUMPDEST
00000c7f: PUSH2 0x0c86
00000c82: PUSH2 0x0ce9
00000c85: JUMP
00000c86: JUMPDEST
00000c87: PUSH1 0x01
00000c89: DUP1
00000c8a: SLOAD
00000c8b: PUSH1 0xff
00000c8d: PUSH1 0xa0
00000c8f: SHL
00000c90: NOT
00000c91: AND
00000c92: PUSH1 0x01
00000c94: PUSH1 0xa0
00000c96: SHL
00000c97: OR
00000c98: SWAP1
00000c99: SSTORE
00000c9a: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00000cbb: PUSH2 0x0c48
00000cbe: CALLER
00000cbf: SWAP1
00000cc0: JUMP
00000cc1: JUMPDEST
00000cc2: PUSH1 0x02
00000cc4: DUP1
00000cc5: SLOAD
00000cc6: SUB
00000cc7: PUSH2 0x0ce3
00000cca: JUMPI
00000ccb: PUSH1 0x40
00000ccd: MLOAD
00000cce: PUSH4 0x3ee5aeb5
00000cd3: PUSH1 0xe0
00000cd5: SHL
00000cd6: DUP2
00000cd7: MSTORE
00000cd8: PUSH1 0x04
00000cda: ADD
00000cdb: PUSH1 0x40
00000cdd: MLOAD
00000cde: DUP1
00000cdf: SWAP2
00000ce0: SUB
00000ce1: SWAP1
00000ce2: REVERT
00000ce3: JUMPDEST
00000ce4: PUSH1 0x02
00000ce6: DUP1
00000ce7: SSTORE
00000ce8: JUMP
00000ce9: JUMPDEST
00000cea: PUSH1 0x01
00000cec: SLOAD
00000ced: PUSH1 0x01
00000cef: PUSH1 0xa0
00000cf1: SHL
00000cf2: SWAP1
00000cf3: DIV
00000cf4: PUSH1 0xff
00000cf6: AND
00000cf7: ISZERO
00000cf8: PUSH2 0x030f
00000cfb: JUMPI
00000cfc: PUSH1 0x40
00000cfe: MLOAD
00000cff: PUSH4 0xd93c0665
00000d04: PUSH1 0xe0
00000d06: SHL
00000d07: DUP2
00000d08: MSTORE
00000d09: PUSH1 0x04
00000d0b: ADD
00000d0c: PUSH1 0x40
00000d0e: MLOAD
00000d0f: DUP1
00000d10: SWAP2
00000d11: SUB
00000d12: SWAP1
00000d13: REVERT
00000d14: JUMPDEST
00000d15: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
00000d36: PUSH0
00000d37: SWAP1
00000d38: DUP2
00000d39: MSTORE
00000d3a: PUSH32 0x7b3a1416f3a5e173286beafc1bedd7bd8d8ae6ea0c78f8d7fba680ba1efcb3e7
00000d5b: PUSH1 0x1c
00000d5d: MSTORE
00000d5e: PUSH1 0x3c
00000d60: DUP2
00000d61: KECCAK256
00000d62: PUSH2 0x0d6c
00000d65: DUP5
00000d66: DUP3
00000d67: DUP6
00000d68: PUSH2 0x0f4d
00000d6b: JUMP
00000d6c: JUMPDEST
00000d6d: SWAP2
00000d6e: POP
00000d6f: POP
00000d70: JUMPDEST
00000d71: SWAP3
00000d72: SWAP2
00000d73: POP
00000d74: POP
00000d75: JUMP
00000d76: JUMPDEST
00000d77: PUSH1 0x40
00000d79: MLOAD
00000d7a: PUSH1 0x01
00000d7c: PUSH1 0x01
00000d7e: PUSH1 0xa0
00000d80: SHL
00000d81: SUB
00000d82: DUP5
00000d83: DUP2
00000d84: AND
00000d85: PUSH1 0x24
00000d87: DUP4
00000d88: ADD
00000d89: MSTORE
00000d8a: DUP4
00000d8b: DUP2
00000d8c: AND
00000d8d: PUSH1 0x44
00000d8f: DUP4
00000d90: ADD
00000d91: MSTORE
00000d92: PUSH1 0x64
00000d94: DUP3
00000d95: ADD
00000d96: DUP4
00000d97: SWAP1
00000d98: MSTORE
00000d99: PUSH2 0x0ddd
00000d9c: SWAP2
00000d9d: DUP7
00000d9e: SWAP2
00000d9f: DUP3
00000da0: AND
00000da1: SWAP1
00000da2: PUSH4 0x23b872dd
00000da7: SWAP1
00000da8: PUSH1 0x84
00000daa: ADD
00000dab: JUMPDEST
00000dac: PUSH1 0x40
00000dae: MLOAD
00000daf: PUSH1 0x20
00000db1: DUP2
00000db2: DUP4
00000db3: SUB
00000db4: SUB
00000db5: DUP2
00000db6: MSTORE
00000db7: SWAP1
00000db8: PUSH1 0x40
00000dba: MSTORE
00000dbb: SWAP2
00000dbc: POP
00000dbd: PUSH1 0xe0
00000dbf: SHL
00000dc0: PUSH1 0x20
00000dc2: DUP3
00000dc3: ADD
00000dc4: DUP1
00000dc5: MLOAD
00000dc6: PUSH1 0x01
00000dc8: PUSH1 0x01
00000dca: PUSH1 0xe0
00000dcc: SHL
00000dcd: SUB
00000dce: DUP4
00000dcf: DUP2
00000dd0: DUP4
00000dd1: AND
00000dd2: OR
00000dd3: DUP4
00000dd4: MSTORE
00000dd5: POP
00000dd6: POP
00000dd7: POP
00000dd8: POP
00000dd9: PUSH2 0x0fac
00000ddc: JUMP
00000ddd: JUMPDEST
00000dde: POP
00000ddf: POP
00000de0: POP
00000de1: POP
00000de2: JUMP
00000de3: JUMPDEST
00000de4: PUSH1 0x40
00000de6: MLOAD
00000de7: PUSH1 0x01
00000de9: PUSH1 0x01
00000deb: PUSH1 0xa0
00000ded: SHL
00000dee: SUB
00000def: DUP4
00000df0: DUP2
00000df1: AND
00000df2: PUSH1 0x24
00000df4: DUP4
00000df5: ADD
00000df6: MSTORE
00000df7: PUSH1 0x44
00000df9: DUP3
00000dfa: ADD
00000dfb: DUP4
00000dfc: SWAP1
00000dfd: MSTORE
00000dfe: PUSH2 0x06ea
00000e01: SWAP2
00000e02: DUP6
00000e03: SWAP2
00000e04: DUP3
00000e05: AND
00000e06: SWAP1
00000e07: PUSH4 0xa9059cbb
00000e0c: SWAP1
00000e0d: PUSH1 0x64
00000e0f: ADD
00000e10: PUSH2 0x0dab
00000e13: JUMP
00000e14: JUMPDEST
00000e15: PUSH0
00000e16: DUP4
00000e17: DUP4
00000e18: MUL
00000e19: DUP2
00000e1a: PUSH0
00000e1b: NOT
00000e1c: DUP6
00000e1d: DUP8
00000e1e: MULMOD
00000e1f: DUP3
00000e20: DUP2
00000e21: LT
00000e22: DUP4
00000e23: DUP3
00000e24: SUB
00000e25: SUB
00000e26: SWAP2
00000e27: POP
00000e28: POP
00000e29: DUP1
00000e2a: PUSH0
00000e2b: SUB
00000e2c: PUSH2 0x0e48
00000e2f: JUMPI
00000e30: DUP4
00000e31: DUP3
00000e32: DUP2
00000e33: PUSH2 0x0e3e
00000e36: JUMPI
00000e37: PUSH2 0x0e3e
00000e3a: PUSH2 0x169a
00000e3d: JUMP
00000e3e: JUMPDEST
00000e3f: DIV
00000e40: SWAP3
00000e41: POP
00000e42: POP
00000e43: POP
00000e44: PUSH2 0x0ecd
00000e47: JUMP
00000e48: JUMPDEST
00000e49: DUP1
00000e4a: DUP5
00000e4b: GT
00000e4c: PUSH2 0x0e68
00000e4f: JUMPI
00000e50: PUSH1 0x40
00000e52: MLOAD
00000e53: PUSH4 0x227bc153
00000e58: PUSH1 0xe0
00000e5a: SHL
00000e5b: DUP2
00000e5c: MSTORE
00000e5d: PUSH1 0x04
00000e5f: ADD
00000e60: PUSH1 0x40
00000e62: MLOAD
00000e63: DUP1
00000e64: SWAP2
00000e65: SUB
00000e66: SWAP1
00000e67: REVERT
00000e68: JUMPDEST
00000e69: PUSH0
00000e6a: DUP5
00000e6b: DUP7
00000e6c: DUP9
00000e6d: MULMOD
00000e6e: PUSH0
00000e6f: DUP7
00000e70: DUP2
00000e71: SUB
00000e72: DUP8
00000e73: AND
00000e74: SWAP7
00000e75: DUP8
00000e76: SWAP1
00000e77: DIV
00000e78: SWAP7
00000e79: PUSH1 0x02
00000e7b: PUSH1 0x03
00000e7d: DUP10
00000e7e: MUL
00000e7f: DUP2
00000e80: XOR
00000e81: DUP1
00000e82: DUP11
00000e83: MUL
00000e84: DUP3
00000e85: SUB
00000e86: MUL
00000e87: DUP1
00000e88: DUP11
00000e89: MUL
00000e8a: DUP3
00000e8b: SUB
00000e8c: MUL
00000e8d: DUP1
00000e8e: DUP11
00000e8f: MUL
00000e90: DUP3
00000e91: SUB
00000e92: MUL
00000e93: DUP1
00000e94: DUP11
00000e95: MUL
00000e96: DUP3
00000e97: SUB
00000e98: MUL
00000e99: DUP1
00000e9a: DUP11
00000e9b: MUL
00000e9c: DUP3
00000e9d: SUB
00000e9e: MUL
00000e9f: DUP1
00000ea0: DUP11
00000ea1: MUL
00000ea2: SWAP1
00000ea3: SWAP2
00000ea4: SUB
00000ea5: MUL
00000ea6: SWAP2
00000ea7: DUP2
00000ea8: SWAP1
00000ea9: SUB
00000eaa: DUP2
00000eab: SWAP1
00000eac: DIV
00000ead: PUSH1 0x01
00000eaf: ADD
00000eb0: DUP7
00000eb1: DUP5
00000eb2: GT
00000eb3: SWAP1
00000eb4: SWAP6
00000eb5: SUB
00000eb6: SWAP5
00000eb7: SWAP1
00000eb8: SWAP5
00000eb9: MUL
00000eba: SWAP2
00000ebb: SWAP1
00000ebc: SWAP5
00000ebd: SUB
00000ebe: SWAP3
00000ebf: SWAP1
00000ec0: SWAP3
00000ec1: DIV
00000ec2: SWAP2
00000ec3: SWAP1
00000ec4: SWAP2
00000ec5: OR
00000ec6: SWAP2
00000ec7: SWAP1
00000ec8: SWAP2
00000ec9: MUL
00000eca: SWAP2
00000ecb: POP
00000ecc: POP
00000ecd: JUMPDEST
00000ece: SWAP4
00000ecf: SWAP3
00000ed0: POP
00000ed1: POP
00000ed2: POP
00000ed3: JUMP
00000ed4: JUMPDEST
00000ed5: PUSH1 0x01
00000ed7: SLOAD
00000ed8: PUSH1 0x01
00000eda: PUSH1 0xa0
00000edc: SHL
00000edd: SWAP1
00000ede: DIV
00000edf: PUSH1 0xff
00000ee1: AND
00000ee2: PUSH2 0x030f
00000ee5: JUMPI
00000ee6: PUSH1 0x40
00000ee8: MLOAD
00000ee9: PUSH4 0x8dfc202b
00000eee: PUSH1 0xe0
00000ef0: SHL
00000ef1: DUP2
00000ef2: MSTORE
00000ef3: PUSH1 0x04
00000ef5: ADD
00000ef6: PUSH1 0x40
00000ef8: MLOAD
00000ef9: DUP1
00000efa: SWAP2
00000efb: SUB
00000efc: SWAP1
00000efd: REVERT
00000efe: JUMPDEST
00000eff: PUSH0
00000f00: DUP1
00000f01: SLOAD
00000f02: PUSH1 0x01
00000f04: PUSH1 0x01
00000f06: PUSH1 0xa0
00000f08: SHL
00000f09: SUB
00000f0a: DUP4
00000f0b: DUP2
00000f0c: AND
00000f0d: PUSH1 0x01
00000f0f: PUSH1 0x01
00000f11: PUSH1 0xa0
00000f13: SHL
00000f14: SUB
00000f15: NOT
00000f16: DUP4
00000f17: AND
00000f18: DUP2
00000f19: OR
00000f1a: DUP5
00000f1b: SSTORE
00000f1c: PUSH1 0x40
00000f1e: MLOAD
00000f1f: SWAP2
00000f20: SWAP1
00000f21: SWAP3
00000f22: AND
00000f23: SWAP3
00000f24: DUP4
00000f25: SWAP2
00000f26: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000f47: SWAP2
00000f48: SWAP1
00000f49: LOG3
00000f4a: POP
00000f4b: POP
00000f4c: JUMP
00000f4d: JUMPDEST
00000f4e: PUSH0
00000f4f: DUP1
00000f50: PUSH0
00000f51: PUSH2 0x0f5a
00000f54: DUP6
00000f55: DUP6
00000f56: PUSH2 0x100d
00000f59: JUMP
00000f5a: JUMPDEST
00000f5b: POP
00000f5c: SWAP1
00000f5d: SWAP3
00000f5e: POP
00000f5f: SWAP1
00000f60: POP
00000f61: PUSH0
00000f62: DUP2
00000f63: PUSH1 0x03
00000f65: DUP2
00000f66: GT
00000f67: ISZERO
00000f68: PUSH2 0x0f73
00000f6b: JUMPI
00000f6c: PUSH2 0x0f73
00000f6f: PUSH2 0x16ae
00000f72: JUMP
00000f73: JUMPDEST
00000f74: EQ
00000f75: DUP1
00000f76: ISZERO
00000f77: PUSH2 0x0f91
00000f7a: JUMPI
00000f7b: POP
00000f7c: DUP6
00000f7d: PUSH1 0x01
00000f7f: PUSH1 0x01
00000f81: PUSH1 0xa0
00000f83: SHL
00000f84: SUB
00000f85: AND
00000f86: DUP3
00000f87: PUSH1 0x01
00000f89: PUSH1 0x01
00000f8b: PUSH1 0xa0
00000f8d: SHL
00000f8e: SUB
00000f8f: AND
00000f90: EQ
00000f91: JUMPDEST
00000f92: DUP1
00000f93: PUSH2 0x0fa2
00000f96: JUMPI
00000f97: POP
00000f98: PUSH2 0x0fa2
00000f9b: DUP7
00000f9c: DUP7
00000f9d: DUP7
00000f9e: PUSH2 0x1056
00000fa1: JUMP
00000fa2: JUMPDEST
00000fa3: SWAP7
00000fa4: SWAP6
00000fa5: POP
00000fa6: POP
00000fa7: POP
00000fa8: POP
00000fa9: POP
00000faa: POP
00000fab: JUMP
00000fac: JUMPDEST
00000fad: PUSH0
00000fae: PUSH2 0x0fc0
00000fb1: PUSH1 0x01
00000fb3: PUSH1 0x01
00000fb5: PUSH1 0xa0
00000fb7: SHL
00000fb8: SUB
00000fb9: DUP5
00000fba: AND
00000fbb: DUP4
00000fbc: PUSH2 0x112c
00000fbf: JUMP
00000fc0: JUMPDEST
00000fc1: SWAP1
00000fc2: POP
00000fc3: DUP1
00000fc4: MLOAD
00000fc5: PUSH0
00000fc6: EQ
00000fc7: ISZERO
00000fc8: DUP1
00000fc9: ISZERO
00000fca: PUSH2 0x0fe4
00000fcd: JUMPI
00000fce: POP
00000fcf: DUP1
00000fd0: DUP1
00000fd1: PUSH1 0x20
00000fd3: ADD
00000fd4: SWAP1
00000fd5: MLOAD
00000fd6: DUP2
00000fd7: ADD
00000fd8: SWAP1
00000fd9: PUSH2 0x0fe2
00000fdc: SWAP2
00000fdd: SWAP1
00000fde: PUSH2 0x16c2
00000fe1: JUMP
00000fe2: JUMPDEST
00000fe3: ISZERO
00000fe4: JUMPDEST
00000fe5: ISZERO
00000fe6: PUSH2 0x06ea
00000fe9: JUMPI
00000fea: PUSH1 0x40
00000fec: MLOAD
00000fed: PUSH4 0x5274afe7
00000ff2: PUSH1 0xe0
00000ff4: SHL
00000ff5: DUP2
00000ff6: MSTORE
00000ff7: PUSH1 0x01
00000ff9: PUSH1 0x01
00000ffb: PUSH1 0xa0
00000ffd: SHL
00000ffe: SUB
00000fff: DUP5
00001000: AND
00001001: PUSH1 0x04
00001003: DUP3
00001004: ADD
00001005: MSTORE
00001006: PUSH1 0x24
00001008: ADD
00001009: PUSH2 0x0356
0000100c: JUMP
0000100d: JUMPDEST
0000100e: PUSH0
0000100f: DUP1
00001010: PUSH0
00001011: DUP4
00001012: MLOAD
00001013: PUSH1 0x41
00001015: SUB
00001016: PUSH2 0x1044
00001019: JUMPI
0000101a: PUSH1 0x20
0000101c: DUP5
0000101d: ADD
0000101e: MLOAD
0000101f: PUSH1 0x40
00001021: DUP6
00001022: ADD
00001023: MLOAD
00001024: PUSH1 0x60
00001026: DUP7
00001027: ADD
00001028: MLOAD
00001029: PUSH0
0000102a: BYTE
0000102b: PUSH2 0x1036
0000102e: DUP9
0000102f: DUP3
00001030: DUP6
00001031: DUP6
00001032: PUSH2 0x1139
00001035: JUMP
00001036: JUMPDEST
00001037: SWAP6
00001038: POP
00001039: SWAP6
0000103a: POP
0000103b: SWAP6
0000103c: POP
0000103d: POP
0000103e: POP
0000103f: POP
00001040: PUSH2 0x104f
00001043: JUMP
00001044: JUMPDEST
00001045: POP
00001046: POP
00001047: DUP2
00001048: MLOAD
00001049: PUSH0
0000104a: SWAP2
0000104b: POP
0000104c: PUSH1 0x02
0000104e: SWAP1
0000104f: JUMPDEST
00001050: SWAP3
00001051: POP
00001052: SWAP3
00001053: POP
00001054: SWAP3
00001055: JUMP
00001056: JUMPDEST
00001057: PUSH0
00001058: DUP1
00001059: PUSH0
0000105a: DUP6
0000105b: PUSH1 0x01
0000105d: PUSH1 0x01
0000105f: PUSH1 0xa0
00001061: SHL
00001062: SUB
00001063: AND
00001064: DUP6
00001065: DUP6
00001066: PUSH1 0x40
00001068: MLOAD
00001069: PUSH1 0x24
0000106b: ADD
0000106c: PUSH2 0x1076
0000106f: SWAP3
00001070: SWAP2
00001071: SWAP1
00001072: PUSH2 0x16e1
00001075: JUMP
00001076: JUMPDEST
00001077: PUSH1 0x40
00001079: DUP1
0000107a: MLOAD
0000107b: PUSH1 0x1f
0000107d: NOT
0000107e: DUP2
0000107f: DUP5
00001080: SUB
00001081: ADD
00001082: DUP2
00001083: MSTORE
00001084: SWAP2
00001085: DUP2
00001086: MSTORE
00001087: PUSH1 0x20
00001089: DUP3
0000108a: ADD
0000108b: DUP1
0000108c: MLOAD
0000108d: PUSH1 0x01
0000108f: PUSH1 0x01
00001091: PUSH1 0xe0
00001093: SHL
00001094: SUB
00001095: AND
00001096: PUSH4 0x0b135d3f
0000109b: PUSH1 0xe1
0000109d: SHL
0000109e: OR
0000109f: SWAP1
000010a0: MSTORE
000010a1: MLOAD
000010a2: PUSH2 0x10ab
000010a5: SWAP2
000010a6: SWAP1
000010a7: PUSH2 0x1701
000010aa: JUMP
000010ab: JUMPDEST
000010ac: PUSH0
000010ad: PUSH1 0x40
000010af: MLOAD
000010b0: DUP1
000010b1: DUP4
000010b2: SUB
000010b3: DUP2
000010b4: DUP6
000010b5: GAS
000010b6: STATICCALL
000010b7: SWAP2
000010b8: POP
000010b9: POP
000010ba: RETURNDATASIZE
000010bb: DUP1
000010bc: PUSH0
000010bd: DUP2
000010be: EQ
000010bf: PUSH2 0x10e3
000010c2: JUMPI
000010c3: PUSH1 0x40
000010c5: MLOAD
000010c6: SWAP2
000010c7: POP
000010c8: PUSH1 0x1f
000010ca: NOT
000010cb: PUSH1 0x3f
000010cd: RETURNDATASIZE
000010ce: ADD
000010cf: AND
000010d0: DUP3
000010d1: ADD
000010d2: PUSH1 0x40
000010d4: MSTORE
000010d5: RETURNDATASIZE
000010d6: DUP3
000010d7: MSTORE
000010d8: RETURNDATASIZE
000010d9: PUSH0
000010da: PUSH1 0x20
000010dc: DUP5
000010dd: ADD
000010de: RETURNDATACOPY
000010df: PUSH2 0x10e8
000010e2: JUMP
000010e3: JUMPDEST
000010e4: PUSH1 0x60
000010e6: SWAP2
000010e7: POP
000010e8: JUMPDEST
000010e9: POP
000010ea: SWAP2
000010eb: POP
000010ec: SWAP2
000010ed: POP
000010ee: DUP2
000010ef: DUP1
000010f0: ISZERO
000010f1: PUSH2 0x10fc
000010f4: JUMPI
000010f5: POP
000010f6: PUSH1 0x20
000010f8: DUP2
000010f9: MLOAD
000010fa: LT
000010fb: ISZERO
000010fc: JUMPDEST
000010fd: DUP1
000010fe: ISZERO
000010ff: PUSH2 0x0fa2
00001102: JUMPI
00001103: POP
00001104: DUP1
00001105: MLOAD
00001106: PUSH4 0x0b135d3f
0000110b: PUSH1 0xe1
0000110d: SHL
0000110e: SWAP1
0000110f: PUSH2 0x1121
00001112: SWAP1
00001113: DUP4
00001114: ADD
00001115: PUSH1 0x20
00001117: SWAP1
00001118: DUP2
00001119: ADD
0000111a: SWAP1
0000111b: DUP5
0000111c: ADD
0000111d: PUSH2 0x1664
00001120: JUMP
00001121: JUMPDEST
00001122: EQ
00001123: SWAP7
00001124: SWAP6
00001125: POP
00001126: POP
00001127: POP
00001128: POP
00001129: POP
0000112a: POP
0000112b: JUMP
0000112c: JUMPDEST
0000112d: PUSH1 0x60
0000112f: PUSH2 0x0ecd
00001132: DUP4
00001133: DUP4
00001134: PUSH0
00001135: PUSH2 0x1201
00001138: JUMP
00001139: JUMPDEST
0000113a: PUSH0
0000113b: DUP1
0000113c: DUP1
0000113d: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0
0000115e: DUP5
0000115f: GT
00001160: ISZERO
00001161: PUSH2 0x1172
00001164: JUMPI
00001165: POP
00001166: PUSH0
00001167: SWAP2
00001168: POP
00001169: PUSH1 0x03
0000116b: SWAP1
0000116c: POP
0000116d: DUP3
0000116e: PUSH2 0x11f7
00001171: JUMP
00001172: JUMPDEST
00001173: PUSH1 0x40
00001175: DUP1
00001176: MLOAD
00001177: PUSH0
00001178: DUP1
00001179: DUP3
0000117a: MSTORE
0000117b: PUSH1 0x20
0000117d: DUP3
0000117e: ADD
0000117f: DUP1
00001180: DUP5
00001181: MSTORE
00001182: DUP11
00001183: SWAP1
00001184: MSTORE
00001185: PUSH1 0xff
00001187: DUP10
00001188: AND
00001189: SWAP3
0000118a: DUP3
0000118b: ADD
0000118c: SWAP3
0000118d: SWAP1
0000118e: SWAP3
0000118f: MSTORE
00001190: PUSH1 0x60
00001192: DUP2
00001193: ADD
00001194: DUP8
00001195: SWAP1
00001196: MSTORE
00001197: PUSH1 0x80
00001199: DUP2
0000119a: ADD
0000119b: DUP7
0000119c: SWAP1
0000119d: MSTORE
0000119e: PUSH1 0x01
000011a0: SWAP1
000011a1: PUSH1 0xa0
000011a3: ADD
000011a4: PUSH1 0x20
000011a6: PUSH1 0x40
000011a8: MLOAD
000011a9: PUSH1 0x20
000011ab: DUP2
000011ac: SUB
000011ad: SWAP1
000011ae: DUP1
000011af: DUP5
000011b0: SUB
000011b1: SWAP1
000011b2: DUP6
000011b3: GAS
000011b4: STATICCALL
000011b5: ISZERO
000011b6: DUP1
000011b7: ISZERO
000011b8: PUSH2 0x11c3
000011bb: JUMPI
000011bc: RETURNDATASIZE
000011bd: PUSH0
000011be: DUP1
000011bf: RETURNDATACOPY
000011c0: RETURNDATASIZE
000011c1: PUSH0
000011c2: REVERT
000011c3: JUMPDEST
000011c4: POP
000011c5: POP
000011c6: PUSH1 0x40
000011c8: MLOAD
000011c9: PUSH1 0x1f
000011cb: NOT
000011cc: ADD
000011cd: MLOAD
000011ce: SWAP2
000011cf: POP
000011d0: POP
000011d1: PUSH1 0x01
000011d3: PUSH1 0x01
000011d5: PUSH1 0xa0
000011d7: SHL
000011d8: SUB
000011d9: DUP2
000011da: AND
000011db: PUSH2 0x11ee
000011de: JUMPI
000011df: POP
000011e0: PUSH0
000011e1: SWAP3
000011e2: POP
000011e3: PUSH1 0x01
000011e5: SWAP2
000011e6: POP
000011e7: DUP3
000011e8: SWAP1
000011e9: POP
000011ea: PUSH2 0x11f7
000011ed: JUMP
000011ee: JUMPDEST
000011ef: SWAP3
000011f0: POP
000011f1: PUSH0
000011f2: SWAP2
000011f3: POP
000011f4: DUP2
000011f5: SWAP1
000011f6: POP
000011f7: JUMPDEST
000011f8: SWAP5
000011f9: POP
000011fa: SWAP5
000011fb: POP
000011fc: SWAP5
000011fd: SWAP2
000011fe: POP
000011ff: POP
00001200: JUMP
00001201: JUMPDEST
00001202: PUSH1 0x60
00001204: DUP2
00001205: SELFBALANCE
00001206: LT
00001207: ISZERO
00001208: PUSH2 0x1226
0000120b: JUMPI
0000120c: PUSH1 0x40
0000120e: MLOAD
0000120f: PUSH4 0xcd786059
00001214: PUSH1 0xe0
00001216: SHL
00001217: DUP2
00001218: MSTORE
00001219: ADDRESS
0000121a: PUSH1 0x04
0000121c: DUP3
0000121d: ADD
0000121e: MSTORE
0000121f: PUSH1 0x24
00001221: ADD
00001222: PUSH2 0x0356
00001225: JUMP
00001226: JUMPDEST
00001227: PUSH0
00001228: DUP1
00001229: DUP6
0000122a: PUSH1 0x01
0000122c: PUSH1 0x01
0000122e: PUSH1 0xa0
00001230: SHL
00001231: SUB
00001232: AND
00001233: DUP5
00001234: DUP7
00001235: PUSH1 0x40
00001237: MLOAD
00001238: PUSH2 0x1241
0000123b: SWAP2
0000123c: SWAP1
0000123d: PUSH2 0x1701
00001240: JUMP
00001241: JUMPDEST
00001242: PUSH0
00001243: PUSH1 0x40
00001245: MLOAD
00001246: DUP1
00001247: DUP4
00001248: SUB
00001249: DUP2
0000124a: DUP6
0000124b: DUP8
0000124c: GAS
0000124d: CALL
0000124e: SWAP3
0000124f: POP
00001250: POP
00001251: POP
00001252: RETURNDATASIZE
00001253: DUP1
00001254: PUSH0
00001255: DUP2
00001256: EQ
00001257: PUSH2 0x127b
0000125a: JUMPI
0000125b: PUSH1 0x40
0000125d: MLOAD
0000125e: SWAP2
0000125f: POP
00001260: PUSH1 0x1f
00001262: NOT
00001263: PUSH1 0x3f
00001265: RETURNDATASIZE
00001266: ADD
00001267: AND
00001268: DUP3
00001269: ADD
0000126a: PUSH1 0x40
0000126c: MSTORE
0000126d: RETURNDATASIZE
0000126e: DUP3
0000126f: MSTORE
00001270: RETURNDATASIZE
00001271: PUSH0
00001272: PUSH1 0x20
00001274: DUP5
00001275: ADD
00001276: RETURNDATACOPY
00001277: PUSH2 0x1280
0000127a: JUMP
0000127b: JUMPDEST
0000127c: PUSH1 0x60
0000127e: SWAP2
0000127f: POP
00001280: JUMPDEST
00001281: POP
00001282: SWAP2
00001283: POP
00001284: SWAP2
00001285: POP
00001286: PUSH2 0x0fa2
00001289: DUP7
0000128a: DUP4
0000128b: DUP4
0000128c: PUSH1 0x60
0000128e: DUP3
0000128f: PUSH2 0x12a0
00001292: JUMPI
00001293: PUSH2 0x129b
00001296: DUP3
00001297: PUSH2 0x12e7
0000129a: JUMP
0000129b: JUMPDEST
0000129c: PUSH2 0x0ecd
0000129f: JUMP
000012a0: JUMPDEST
000012a1: DUP2
000012a2: MLOAD
000012a3: ISZERO
000012a4: DUP1
000012a5: ISZERO
000012a6: PUSH2 0x12b7
000012a9: JUMPI
000012aa: POP
000012ab: PUSH1 0x01
000012ad: PUSH1 0x01
000012af: PUSH1 0xa0
000012b1: SHL
000012b2: SUB
000012b3: DUP5
000012b4: AND
000012b5: EXTCODESIZE
000012b6: ISZERO
000012b7: JUMPDEST
000012b8: ISZERO
000012b9: PUSH2 0x12e0
000012bc: JUMPI
000012bd: PUSH1 0x40
000012bf: MLOAD
000012c0: PUSH4 0x9996b315
000012c5: PUSH1 0xe0
000012c7: SHL
000012c8: DUP2
000012c9: MSTORE
000012ca: PUSH1 0x01
000012cc: PUSH1 0x01
000012ce: PUSH1 0xa0
000012d0: SHL
000012d1: SUB
000012d2: DUP6
000012d3: AND
000012d4: PUSH1 0x04
000012d6: DUP3
000012d7: ADD
000012d8: MSTORE
000012d9: PUSH1 0x24
000012db: ADD
000012dc: PUSH2 0x0356
000012df: JUMP
000012e0: JUMPDEST
000012e1: POP
000012e2: DUP1
000012e3: PUSH2 0x0ecd
000012e6: JUMP
000012e7: JUMPDEST
000012e8: DUP1
000012e9: MLOAD
000012ea: ISZERO
000012eb: PUSH2 0x12f7
000012ee: JUMPI
000012ef: DUP1
000012f0: MLOAD
000012f1: DUP1
000012f2: DUP3
000012f3: PUSH1 0x20
000012f5: ADD
000012f6: REVERT
000012f7: JUMPDEST
000012f8: PUSH1 0x40
000012fa: MLOAD
000012fb: PUSH4 0x0a12f521
00001300: PUSH1 0xe1
00001302: SHL
00001303: DUP2
00001304: MSTORE
00001305: PUSH1 0x04
00001307: ADD
00001308: PUSH1 0x40
0000130a: MLOAD
0000130b: DUP1
0000130c: SWAP2
0000130d: SUB
0000130e: SWAP1
0000130f: REVERT
00001310: JUMPDEST
00001311: PUSH0
00001312: PUSH1 0x20
00001314: DUP3
00001315: DUP5
00001316: SUB
00001317: SLT
00001318: ISZERO
00001319: PUSH2 0x1320
0000131c: JUMPI
0000131d: PUSH0
0000131e: DUP1
0000131f: REVERT
00001320: JUMPDEST
00001321: POP
00001322: CALLDATALOAD
00001323: SWAP2
00001324: SWAP1
00001325: POP
00001326: JUMP
00001327: JUMPDEST
00001328: DUP1
00001329: CALLDATALOAD
0000132a: PUSH1 0x01
0000132c: PUSH1 0x01
0000132e: PUSH1 0xa0
00001330: SHL
00001331: SUB
00001332: DUP2
00001333: AND
00001334: DUP2
00001335: EQ
00001336: PUSH2 0x133d
00001339: JUMPI
0000133a: PUSH0
0000133b: DUP1
0000133c: REVERT
0000133d: JUMPDEST
0000133e: SWAP2
0000133f: SWAP1
00001340: POP
00001341: JUMP
00001342: JUMPDEST
00001343: PUSH0
00001344: PUSH1 0x20
00001346: DUP3
00001347: DUP5
00001348: SUB
00001349: SLT
0000134a: ISZERO
0000134b: PUSH2 0x1352
0000134e: JUMPI
0000134f: PUSH0
00001350: DUP1
00001351: REVERT
00001352: JUMPDEST
00001353: PUSH2 0x0ecd
00001356: DUP3
00001357: PUSH2 0x1327
0000135a: JUMP
0000135b: JUMPDEST
0000135c: PUSH0
0000135d: DUP1
0000135e: DUP4
0000135f: PUSH1 0x1f
00001361: DUP5
00001362: ADD
00001363: SLT
00001364: PUSH2 0x136b
00001367: JUMPI
00001368: PUSH0
00001369: DUP1
0000136a: REVERT
0000136b: JUMPDEST
0000136c: POP
0000136d: DUP2
0000136e: CALLDATALOAD
0000136f: PUSH8 0xffffffffffffffff
00001378: DUP2
00001379: GT
0000137a: ISZERO
0000137b: PUSH2 0x1382
0000137e: JUMPI
0000137f: PUSH0
00001380: DUP1
00001381: REVERT
00001382: JUMPDEST
00001383: PUSH1 0x20
00001385: DUP4
00001386: ADD
00001387: SWAP2
00001388: POP
00001389: DUP4
0000138a: PUSH1 0x20
0000138c: DUP3
0000138d: PUSH1 0x05
0000138f: SHL
00001390: DUP6
00001391: ADD
00001392: ADD
00001393: GT
00001394: ISZERO
00001395: PUSH2 0x139c
00001398: JUMPI
00001399: PUSH0
0000139a: DUP1
0000139b: REVERT
0000139c: JUMPDEST
0000139d: SWAP3
0000139e: POP
0000139f: SWAP3
000013a0: SWAP1
000013a1: POP
000013a2: JUMP
000013a3: JUMPDEST
000013a4: PUSH0
000013a5: DUP1
000013a6: PUSH0
000013a7: DUP1
000013a8: PUSH1 0x40
000013aa: DUP6
000013ab: DUP8
000013ac: SUB
000013ad: SLT
000013ae: ISZERO
000013af: PUSH2 0x13b6
000013b2: JUMPI
000013b3: PUSH0
000013b4: DUP1
000013b5: REVERT
000013b6: JUMPDEST
000013b7: DUP5
000013b8: CALLDATALOAD
000013b9: PUSH8 0xffffffffffffffff
000013c2: DUP1
000013c3: DUP3
000013c4: GT
000013c5: ISZERO
000013c6: PUSH2 0x13cd
000013c9: JUMPI
000013ca: PUSH0
000013cb: DUP1
000013cc: REVERT
000013cd: JUMPDEST
000013ce: PUSH2 0x13d9
000013d1: DUP9
000013d2: DUP4
000013d3: DUP10
000013d4: ADD
000013d5: PUSH2 0x135b
000013d8: JUMP
000013d9: JUMPDEST
000013da: SWAP1
000013db: SWAP7
000013dc: POP
000013dd: SWAP5
000013de: POP
000013df: PUSH1 0x20
000013e1: DUP8
000013e2: ADD
000013e3: CALLDATALOAD
000013e4: SWAP2
000013e5: POP
000013e6: DUP1
000013e7: DUP3
000013e8: GT
000013e9: ISZERO
000013ea: PUSH2 0x13f1
000013ed: JUMPI
000013ee: PUSH0
000013ef: DUP1
000013f0: REVERT
000013f1: JUMPDEST
000013f2: POP
000013f3: PUSH2 0x13fe
000013f6: DUP8
000013f7: DUP3
000013f8: DUP9
000013f9: ADD
000013fa: PUSH2 0x135b
000013fd: JUMP
000013fe: JUMPDEST
000013ff: SWAP6
00001400: SWAP9
00001401: SWAP5
00001402: SWAP8
00001403: POP
00001404: SWAP6
00001405: POP
00001406: POP
00001407: POP
00001408: POP
00001409: JUMP
0000140a: JUMPDEST
0000140b: PUSH4 0x4e487b71
00001410: PUSH1 0xe0
00001412: SHL
00001413: PUSH0
00001414: MSTORE
00001415: PUSH1 0x41
00001417: PUSH1 0x04
00001419: MSTORE
0000141a: PUSH1 0x24
0000141c: PUSH0
0000141d: REVERT
0000141e: JUMPDEST
0000141f: PUSH0
00001420: DUP1
00001421: PUSH0
00001422: PUSH1 0x60
00001424: DUP5
00001425: DUP7
00001426: SUB
00001427: SLT
00001428: ISZERO
00001429: PUSH2 0x1430
0000142c: JUMPI
0000142d: PUSH0
0000142e: DUP1
0000142f: REVERT
00001430: JUMPDEST
00001431: PUSH2 0x1439
00001434: DUP5
00001435: PUSH2 0x1327
00001438: JUMP
00001439: JUMPDEST
0000143a: SWAP3
0000143b: POP
0000143c: PUSH1 0x20
0000143e: DUP5
0000143f: ADD
00001440: CALLDATALOAD
00001441: SWAP2
00001442: POP
00001443: PUSH1 0x40
00001445: DUP5
00001446: ADD
00001447: CALLDATALOAD
00001448: PUSH8 0xffffffffffffffff
00001451: DUP1
00001452: DUP3
00001453: GT
00001454: ISZERO
00001455: PUSH2 0x145c
00001458: JUMPI
00001459: PUSH0
0000145a: DUP1
0000145b: REVERT
0000145c: JUMPDEST
0000145d: DUP2
0000145e: DUP7
0000145f: ADD
00001460: SWAP2
00001461: POP
00001462: DUP7
00001463: PUSH1 0x1f
00001465: DUP4
00001466: ADD
00001467: SLT
00001468: PUSH2 0x146f
0000146b: JUMPI
0000146c: PUSH0
0000146d: DUP1
0000146e: REVERT
0000146f: JUMPDEST
00001470: DUP2
00001471: CALLDATALOAD
00001472: DUP2
00001473: DUP2
00001474: GT
00001475: ISZERO
00001476: PUSH2 0x1481
00001479: JUMPI
0000147a: PUSH2 0x1481
0000147d: PUSH2 0x140a
00001480: JUMP
00001481: JUMPDEST
00001482: PUSH1 0x40
00001484: MLOAD
00001485: PUSH1 0x1f
00001487: DUP3
00001488: ADD
00001489: PUSH1 0x1f
0000148b: NOT
0000148c: SWAP1
0000148d: DUP2
0000148e: AND
0000148f: PUSH1 0x3f
00001491: ADD
00001492: AND
00001493: DUP2
00001494: ADD
00001495: SWAP1
00001496: DUP4
00001497: DUP3
00001498: GT
00001499: DUP2
0000149a: DUP4
0000149b: LT
0000149c: OR
0000149d: ISZERO
0000149e: PUSH2 0x14a9
000014a1: JUMPI
000014a2: PUSH2 0x14a9
000014a5: PUSH2 0x140a
000014a8: JUMP
000014a9: JUMPDEST
000014aa: DUP2
000014ab: PUSH1 0x40
000014ad: MSTORE
000014ae: DUP3
000014af: DUP2
000014b0: MSTORE
000014b1: DUP10
000014b2: PUSH1 0x20
000014b4: DUP5
000014b5: DUP8
000014b6: ADD
000014b7: ADD
000014b8: GT
000014b9: ISZERO
000014ba: PUSH2 0x14c1
000014bd: JUMPI
000014be: PUSH0
000014bf: DUP1
000014c0: REVERT
000014c1: JUMPDEST
000014c2: DUP3
000014c3: PUSH1 0x20
000014c5: DUP7
000014c6: ADD
000014c7: PUSH1 0x20
000014c9: DUP4
000014ca: ADD
000014cb: CALLDATACOPY
000014cc: PUSH0
000014cd: PUSH1 0x20
000014cf: DUP5
000014d0: DUP4
000014d1: ADD
000014d2: ADD
000014d3: MSTORE
000014d4: DUP1
000014d5: SWAP6
000014d6: POP
000014d7: POP
000014d8: POP
000014d9: POP
000014da: POP
000014db: POP
000014dc: SWAP3
000014dd: POP
000014de: SWAP3
000014df: POP
000014e0: SWAP3
000014e1: JUMP
000014e2: JUMPDEST
000014e3: PUSH0
000014e4: DUP2
000014e5: MLOAD
000014e6: DUP1
000014e7: DUP5
000014e8: MSTORE
000014e9: PUSH1 0x20
000014eb: DUP1
000014ec: DUP6
000014ed: ADD
000014ee: SWAP5
000014ef: POP
000014f0: PUSH1 0x20
000014f2: DUP5
000014f3: ADD
000014f4: PUSH0
000014f5: JUMPDEST
000014f6: DUP4
000014f7: DUP2
000014f8: LT
000014f9: ISZERO
000014fa: PUSH2 0x151a
000014fd: JUMPI
000014fe: DUP2
000014ff: MLOAD
00001500: PUSH1 0x01
00001502: PUSH1 0x01
00001504: PUSH1 0xa0
00001506: SHL
00001507: SUB
00001508: AND
00001509: DUP8
0000150a: MSTORE
0000150b: SWAP6
0000150c: DUP3
0000150d: ADD
0000150e: SWAP6
0000150f: SWAP1
00001510: DUP3
00001511: ADD
00001512: SWAP1
00001513: PUSH1 0x01
00001515: ADD
00001516: PUSH2 0x14f5
00001519: JUMP
0000151a: JUMPDEST
0000151b: POP
0000151c: SWAP5
0000151d: SWAP6
0000151e: SWAP5
0000151f: POP
00001520: POP
00001521: POP
00001522: POP
00001523: POP
00001524: JUMP
00001525: JUMPDEST
00001526: PUSH0
00001527: DUP2
00001528: MLOAD
00001529: DUP1
0000152a: DUP5
0000152b: MSTORE
0000152c: PUSH1 0x20
0000152e: DUP1
0000152f: DUP6
00001530: ADD
00001531: SWAP5
00001532: POP
00001533: PUSH1 0x20
00001535: DUP5
00001536: ADD
00001537: PUSH0
00001538: JUMPDEST
00001539: DUP4
0000153a: DUP2
0000153b: LT
0000153c: ISZERO
0000153d: PUSH2 0x151a
00001540: JUMPI
00001541: DUP2
00001542: MLOAD
00001543: DUP8
00001544: MSTORE
00001545: SWAP6
00001546: DUP3
00001547: ADD
00001548: SWAP6
00001549: SWAP1
0000154a: DUP3
0000154b: ADD
0000154c: SWAP1
0000154d: PUSH1 0x01
0000154f: ADD
00001550: PUSH2 0x1538
00001553: JUMP
00001554: JUMPDEST
00001555: PUSH1 0x40
00001557: DUP2
00001558: MSTORE
00001559: PUSH0
0000155a: PUSH2 0x1566
0000155d: PUSH1 0x40
0000155f: DUP4
00001560: ADD
00001561: DUP6
00001562: PUSH2 0x14e2
00001565: JUMP
00001566: JUMPDEST
00001567: DUP3
00001568: DUP2
00001569: SUB
0000156a: PUSH1 0x20
0000156c: DUP5
0000156d: ADD
0000156e: MSTORE
0000156f: PUSH2 0x1578
00001572: DUP2
00001573: DUP6
00001574: PUSH2 0x1525
00001577: JUMP
00001578: JUMPDEST
00001579: SWAP6
0000157a: SWAP5
0000157b: POP
0000157c: POP
0000157d: POP
0000157e: POP
0000157f: POP
00001580: JUMP
00001581: JUMPDEST
00001582: PUSH0
00001583: DUP1
00001584: PUSH0
00001585: PUSH1 0x60
00001587: DUP5
00001588: DUP7
00001589: SUB
0000158a: SLT
0000158b: ISZERO
0000158c: PUSH2 0x1593
0000158f: JUMPI
00001590: PUSH0
00001591: DUP1
00001592: REVERT
00001593: JUMPDEST
00001594: PUSH2 0x159c
00001597: DUP5
00001598: PUSH2 0x1327
0000159b: JUMP
0000159c: JUMPDEST
0000159d: SWAP3
0000159e: POP
0000159f: PUSH2 0x15aa
000015a2: PUSH1 0x20
000015a4: DUP6
000015a5: ADD
000015a6: PUSH2 0x1327
000015a9: JUMP
000015aa: JUMPDEST
000015ab: SWAP2
000015ac: POP
000015ad: PUSH1 0x40
000015af: DUP5
000015b0: ADD
000015b1: CALLDATALOAD
000015b2: SWAP1
000015b3: POP
000015b4: SWAP3
000015b5: POP
000015b6: SWAP3
000015b7: POP
000015b8: SWAP3
000015b9: JUMP
000015ba: JUMPDEST
000015bb: PUSH4 0x4e487b71
000015c0: PUSH1 0xe0
000015c2: SHL
000015c3: PUSH0
000015c4: MSTORE
000015c5: PUSH1 0x32
000015c7: PUSH1 0x04
000015c9: MSTORE
000015ca: PUSH1 0x24
000015cc: PUSH0
000015cd: REVERT
000015ce: JUMPDEST
000015cf: PUSH0
000015d0: JUMPDEST
000015d1: DUP4
000015d2: DUP2
000015d3: LT
000015d4: ISZERO
000015d5: PUSH2 0x15e8
000015d8: JUMPI
000015d9: DUP2
000015da: DUP2
000015db: ADD
000015dc: MLOAD
000015dd: DUP4
000015de: DUP3
000015df: ADD
000015e0: MSTORE
000015e1: PUSH1 0x20
000015e3: ADD
000015e4: PUSH2 0x15d0
000015e7: JUMP
000015e8: JUMPDEST
000015e9: POP
000015ea: POP
000015eb: PUSH0
000015ec: SWAP2
000015ed: ADD
000015ee: MSTORE
000015ef: JUMP
000015f0: JUMPDEST
000015f1: PUSH0
000015f2: DUP2
000015f3: MLOAD
000015f4: DUP1
000015f5: DUP5
000015f6: MSTORE
000015f7: PUSH2 0x1607
000015fa: DUP2
000015fb: PUSH1 0x20
000015fd: DUP7
000015fe: ADD
000015ff: PUSH1 0x20
00001601: DUP7
00001602: ADD
00001603: PUSH2 0x15ce
00001606: JUMP
00001607: JUMPDEST
00001608: PUSH1 0x1f
0000160a: ADD
0000160b: PUSH1 0x1f
0000160d: NOT
0000160e: AND
0000160f: SWAP3
00001610: SWAP1
00001611: SWAP3
00001612: ADD
00001613: PUSH1 0x20
00001615: ADD
00001616: SWAP3
00001617: SWAP2
00001618: POP
00001619: POP
0000161a: JUMP
0000161b: JUMPDEST
0000161c: DUP5
0000161d: DUP2
0000161e: MSTORE
0000161f: PUSH1 0x80
00001621: PUSH1 0x20
00001623: DUP3
00001624: ADD
00001625: MSTORE
00001626: PUSH0
00001627: PUSH2 0x1633
0000162a: PUSH1 0x80
0000162c: DUP4
0000162d: ADD
0000162e: DUP7
0000162f: PUSH2 0x14e2
00001632: JUMP
00001633: JUMPDEST
00001634: DUP3
00001635: DUP2
00001636: SUB
00001637: PUSH1 0x40
00001639: DUP5
0000163a: ADD
0000163b: MSTORE
0000163c: PUSH2 0x1645
0000163f: DUP2
00001640: DUP7
00001641: PUSH2 0x1525
00001644: JUMP
00001645: JUMPDEST
00001646: SWAP1
00001647: POP
00001648: DUP3
00001649: DUP2
0000164a: SUB
0000164b: PUSH1 0x60
0000164d: DUP5
0000164e: ADD
0000164f: MSTORE
00001650: PUSH2 0x1659
00001653: DUP2
00001654: DUP6
00001655: PUSH2 0x15f0
00001658: JUMP
00001659: JUMPDEST
0000165a: SWAP8
0000165b: SWAP7
0000165c: POP
0000165d: POP
0000165e: POP
0000165f: POP
00001660: POP
00001661: POP
00001662: POP
00001663: JUMP
00001664: JUMPDEST
00001665: PUSH0
00001666: PUSH1 0x20
00001668: DUP3
00001669: DUP5
0000166a: SUB
0000166b: SLT
0000166c: ISZERO
0000166d: PUSH2 0x1674
00001670: JUMPI
00001671: PUSH0
00001672: DUP1
00001673: REVERT
00001674: JUMPDEST
00001675: POP
00001676: MLOAD
00001677: SWAP2
00001678: SWAP1
00001679: POP
0000167a: JUMP
0000167b: JUMPDEST
0000167c: DUP2
0000167d: DUP2
0000167e: SUB
0000167f: DUP2
00001680: DUP2
00001681: GT
00001682: ISZERO
00001683: PUSH2 0x0d70
00001686: JUMPI
00001687: PUSH4 0x4e487b71
0000168c: PUSH1 0xe0
0000168e: SHL
0000168f: PUSH0
00001690: MSTORE
00001691: PUSH1 0x11
00001693: PUSH1 0x04
00001695: MSTORE
00001696: PUSH1 0x24
00001698: PUSH0
00001699: REVERT
0000169a: JUMPDEST
0000169b: PUSH4 0x4e487b71
000016a0: PUSH1 0xe0
000016a2: SHL
000016a3: PUSH0
000016a4: MSTORE
000016a5: PUSH1 0x12
000016a7: PUSH1 0x04
000016a9: MSTORE
000016aa: PUSH1 0x24
000016ac: PUSH0
000016ad: REVERT
000016ae: JUMPDEST
000016af: PUSH4 0x4e487b71
000016b4: PUSH1 0xe0
000016b6: SHL
000016b7: PUSH0
000016b8: MSTORE
000016b9: PUSH1 0x21
000016bb: PUSH1 0x04
000016bd: MSTORE
000016be: PUSH1 0x24
000016c0: PUSH0
000016c1: REVERT
000016c2: JUMPDEST
000016c3: PUSH0
000016c4: PUSH1 0x20
000016c6: DUP3
000016c7: DUP5
000016c8: SUB
000016c9: SLT
000016ca: ISZERO
000016cb: PUSH2 0x16d2
000016ce: JUMPI
000016cf: PUSH0
000016d0: DUP1
000016d1: REVERT
000016d2: JUMPDEST
000016d3: DUP2
000016d4: MLOAD
000016d5: DUP1
000016d6: ISZERO
000016d7: ISZERO
000016d8: DUP2
000016d9: EQ
000016da: PUSH2 0x0ecd
000016dd: JUMPI
000016de: PUSH0
000016df: DUP1
000016e0: REVERT
000016e1: JUMPDEST
000016e2: DUP3
000016e3: DUP2
000016e4: MSTORE
000016e5: PUSH1 0x40
000016e7: PUSH1 0x20
000016e9: DUP3
000016ea: ADD
000016eb: MSTORE
000016ec: PUSH0
000016ed: PUSH2 0x16f9
000016f0: PUSH1 0x40
000016f2: DUP4
000016f3: ADD
000016f4: DUP5
000016f5: PUSH2 0x15f0
000016f8: JUMP
000016f9: JUMPDEST
000016fa: SWAP5
000016fb: SWAP4
000016fc: POP
000016fd: POP
000016fe: POP
000016ff: POP
00001700: JUMP
00001701: JUMPDEST
00001702: PUSH0
00001703: DUP3
00001704: MLOAD
00001705: PUSH2 0x1712
00001708: DUP2
00001709: DUP5
0000170a: PUSH1 0x20
0000170c: DUP8
0000170d: ADD
0000170e: PUSH2 0x15ce
00001711: JUMP
00001712: JUMPDEST
00001713: SWAP2
00001714: SWAP1
00001715: SWAP2
00001716: ADD
00001717: SWAP3
00001718: SWAP2
00001719: POP
0000171a: POP
0000171b: JUMP
0000171c: INVALID
0000171d: LOG2
0000171e: PUSH5 0x6970667358
00001724: UNKNOWN(0x22)
00001725: SLT
00001726: KECCAK256
00001727: CREATE
00001728: PUSH17 0x544913b53b5a402109c48024b038dc8ddd
0000173a: PUSH1 0x4c
0000173c: ADDRESS
0000173d: CALLDATACOPY
0000173e: UNKNOWN(0x2E)
0000173f: UNKNOWN(0xE3)
00001740: PUSH3 0x0a15c2
00001744: CALLDATALOAD
00001745: MSTORE8
00001746: DUP11
00001747: PUSH5 0x736f6c6343
0000174d: STOP
0000174e: ADDMOD
0000174f: NOT
00001750: STOP
00001751: CALLER