Analysis Run

[codex:1127654] OpenAI Codex v0.77.0 (research preview)
[codex:1127654] --------
[codex:1127654] workdir: /tmp/codex-multi-s9oqpdxp
[codex:1127654] model: gpt-5.2-codex
[codex:1127654] provider: openai
[codex:1127654] approval: never
[codex:1127654] sandbox: read-only
[codex:1127654] reasoning effort: xhigh
[codex:1127654] reasoning summaries: auto
[codex:1127654] session id: 019b7a13-ea45-71d1-9914-0a45e9f2495b
[codex:1127654] --------
[codex:1127654] user
[codex:1127654] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1127654] 
[codex:1127654] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1127654] 
[codex:1127654] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1127654] - Gas inefficiency, code quality, naming, or best practices
[codex:1127654] - Theoretical vulnerabilities without a clear extraction path
[codex:1127654] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1127654] - Front-running unless it enables theft beyond MEV
[codex:1127654] - DoS, griefing, or issues that don't result in attacker profit
[codex:1127654] - Missing events, view function issues, or informational findings
[codex:1127654] 
[codex:1127654] HIGH-VALUE PATTERNS TO HUNT:
[codex:1127654] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1127654] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1127654] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1127654] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1127654] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1127654] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1127654] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1127654] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1127654] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1127654] 
[codex:1127654] For each finding, you MUST provide:
[codex:1127654] 1. Exact file and line numbers of vulnerable code
[codex:1127654] 2. Step-by-step exploit transaction sequence
[codex:1127654] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1127654] 
[codex:1127654] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1127654] 
[codex:1127654] Output MUST be valid JSON matching the provided schema.
[codex:1127654] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1127654] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1127654] mcp startup: no servers
[codex:1127654] 
[codex:1127654] thinking
[codex:1127654] **Preparing to read AGENTS instructions**
[codex:1127654] exec
[codex:1127654] /bin/bash -lc ls in /tmp/codex-multi-s9oqpdxp succeeded in 9ms:
[codex:1127654] AUDIT_BUNDLE.txt
[codex:1127654] codex-output-schema.json
[codex:1127654] contracts
[codex:1127654] 
[codex:1127654] thinking
[codex:1127654] **Reading AUDIT_BUNDLE.txt fully**
[codex:1127654] exec
[codex:1127654] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-s9oqpdxp succeeded in 5ms:
[codex:1127654] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1127654] 
[codex:1127654] ================================================================================
[codex:1127654] FILE: contracts/contracts/BridgeVault.sol
[codex:1127654] ================================================================================
[codex:1127654] // SPDX-License-Identifier: MIT
[codex:1127654] pragma solidity ^0.8.18;
[codex:1127654] 
[codex:1127654] import '@openzeppelin/contracts/interfaces/IERC20.sol';
[codex:1127654] import '@openzeppelin/contracts/access/Ownable.sol';
[codex:1127654] import '@openzeppelin/contracts/utils/cryptography/ECDSA.sol';
[codex:1127654] import '@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol';
[codex:1127654] import '@openzeppelin/contracts/security/Pausable.sol';
[codex:1127654] import './lib/massaUtils.sol';
[codex:1127654] 
[codex:1127654] contract BridgeVault is Ownable, Pausable {
[codex:1127654]     using SafeERC20 for IERC20;
[codex:1127654]     event Locked(address indexed sender, address indexed token, string massaAddress, uint amount, uint lockedAmount);
[codex:1127654]     event Redeemed(address indexed recipient, address indexed token, string burnOpId, uint amount);
[codex:1127654]     event TokenAdded(address indexed token);
[codex:1127654] 
[codex:1127654] thinking
[codex:1127654] **Analyzing BridgeVault contract for exploits**
[codex:1127654] 
[codex:1127654] I’m thoroughly examining the BridgeVault contract for any profit-extraction vulnerabilities, focusing on reentrancy, signature validation, fee handling, and token transfer nuances. After considering potential replay attacks, signature malleability, fee-on-transfer tokens, and unchecked edge cases, I see no exploitable path for unauthorized token withdrawal or contract draining. I’ll output a JSON report indicating no findings with a concise summary.
[codex:1127654] codex
[codex:1127654] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided contract; redemption requires valid signer quorum and state changes occur before external transfers.","findings":[]}
[codex:1127654] tokens used
[codex:1127654] 11,606
[codex:1127654] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided contract; redemption requires valid signer quorum and state changes occur before external transfers.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-01T15:02:35.673625+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths identified in the provided contract; redemption requires valid signer quorum and state changes occur before external transfers.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths identified in the provided contract; redemption requires valid signer quorum and state changes occur before external transfers.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: ISZERO
0000000a: PUSH2 0x0012
0000000d: JUMPI
0000000e: PUSH1 0x00
00000010: DUP1
00000011: REVERT
00000012: JUMPDEST
00000013: PUSH1 0x00
00000015: CALLDATALOAD
00000016: PUSH1 0xe0
00000018: SHR
00000019: DUP1
0000001a: PUSH4 0x0e316ab7
0000001f: EQ
00000020: PUSH2 0x1429
00000023: JUMPI
00000024: DUP1
00000025: PUSH4 0x164e68de
0000002a: EQ
0000002b: PUSH2 0x1319
0000002e: JUMPI
0000002f: DUP1
00000030: PUSH4 0x1ebac5c6
00000035: EQ
00000036: PUSH2 0x1152
00000039: JUMPI
0000003a: DUP1
0000003b: PUSH4 0x2079fb9a
00000040: EQ
00000041: PUSH2 0x1110
00000044: JUMPI
00000045: DUP1
00000046: PUSH4 0x3f4ba83a
0000004b: EQ
0000004c: PUSH2 0x1074
0000004f: JUMPI
00000050: DUP1
00000051: PUSH4 0x56a06235
00000056: EQ
00000057: PUSH2 0x1056
0000005a: JUMPI
0000005b: DUP1
0000005c: PUSH4 0x5c975abb
00000061: EQ
00000062: PUSH2 0x1030
00000065: JUMPI
00000066: DUP1
00000067: PUSH4 0x5d841af5
0000006c: EQ
0000006d: PUSH2 0x0fb9
00000070: JUMPI
00000071: DUP1
00000072: PUSH4 0x5fa7b584
00000077: EQ
00000078: PUSH2 0x0e36
0000007b: JUMPI
0000007c: DUP1
0000007d: PUSH4 0x68c4ac26
00000082: EQ
00000083: PUSH2 0x0df7
00000086: JUMPI
00000087: DUP1
00000088: PUSH4 0x6e8bf0e1
0000008d: EQ
0000008e: PUSH2 0x0d5a
00000091: JUMPI
00000092: DUP1
00000093: PUSH4 0x715018a6
00000098: EQ
00000099: PUSH2 0x0d01
0000009c: JUMPI
0000009d: DUP1
0000009e: PUSH4 0x7df73e27
000000a3: EQ
000000a4: PUSH2 0x0cd4
000000a7: JUMPI
000000a8: DUP1
000000a9: PUSH4 0x7e40525a
000000ae: EQ
000000af: PUSH2 0x0ca3
000000b2: JUMPI
000000b3: DUP1
000000b4: PUSH4 0x8121ff90
000000b9: EQ
000000ba: PUSH2 0x0c21
000000bd: JUMPI
000000be: DUP1
000000bf: PUSH4 0x8456cb59
000000c4: EQ
000000c5: PUSH2 0x0b48
000000c8: JUMPI
000000c9: DUP1
000000ca: PUSH4 0x8da5cb5b
000000cf: EQ
000000d0: PUSH2 0x0b1f
000000d3: JUMPI
000000d4: DUP1
000000d5: PUSH4 0x94cf795e
000000da: EQ
000000db: PUSH2 0x0a8d
000000de: JUMPI
000000df: DUP1
000000e0: PUSH4 0x960bfe04
000000e5: EQ
000000e6: PUSH2 0x09ef
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x965fa21e
000000f0: EQ
000000f1: PUSH2 0x09d1
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0x9f7260bd
000000fb: EQ
000000fc: PUSH2 0x095c
000000ff: JUMPI
00000100: DUP1
00000101: PUSH4 0xb4f40c61
00000106: EQ
00000107: PUSH2 0x093e
0000010a: JUMPI
0000010b: DUP1
0000010c: PUSH4 0xbaab6e9a
00000111: EQ
00000112: PUSH2 0x0915
00000115: JUMPI
00000116: DUP1
00000117: PUSH4 0xd48bfca7
0000011c: EQ
0000011d: PUSH2 0x0829
00000120: JUMPI
00000121: DUP1
00000122: PUSH4 0xe3edb890
00000127: EQ
00000128: PUSH2 0x035e
0000012b: JUMPI
0000012c: DUP1
0000012d: PUSH4 0xeb12d61e
00000132: EQ
00000133: PUSH2 0x0212
00000136: JUMPI
00000137: DUP1
00000138: PUSH4 0xf2fde38b
0000013d: EQ
0000013e: PUSH2 0x018f
00000141: JUMPI
00000142: PUSH4 0xfaaebd21
00000147: EQ
00000148: PUSH2 0x0150
0000014b: JUMPI
0000014c: PUSH1 0x00
0000014e: DUP1
0000014f: REVERT
00000150: JUMPDEST
00000151: CALLVALUE
00000152: PUSH2 0x018a
00000155: JUMPI
00000156: PUSH1 0x20
00000158: CALLDATASIZE
00000159: PUSH1 0x03
0000015b: NOT
0000015c: ADD
0000015d: SLT
0000015e: PUSH2 0x018a
00000161: JUMPI
00000162: PUSH1 0x01
00000164: PUSH1 0x01
00000166: PUSH1 0xa0
00000168: SHL
00000169: SUB
0000016a: PUSH2 0x0171
0000016d: PUSH2 0x155e
00000170: JUMP
00000171: JUMPDEST
00000172: AND
00000173: PUSH1 0x00
00000175: MSTORE
00000176: PUSH1 0x09
00000178: PUSH1 0x20
0000017a: MSTORE
0000017b: PUSH1 0x20
0000017d: PUSH1 0x40
0000017f: PUSH1 0x00
00000181: KECCAK256
00000182: SLOAD
00000183: PUSH1 0x40
00000185: MLOAD
00000186: SWAP1
00000187: DUP2
00000188: MSTORE
00000189: RETURN
0000018a: JUMPDEST
0000018b: PUSH1 0x00
0000018d: DUP1
0000018e: REVERT
0000018f: JUMPDEST
00000190: CALLVALUE
00000191: PUSH2 0x018a
00000194: JUMPI
00000195: PUSH1 0x20
00000197: CALLDATASIZE
00000198: PUSH1 0x03
0000019a: NOT
0000019b: ADD
0000019c: SLT
0000019d: PUSH2 0x018a
000001a0: JUMPI
000001a1: PUSH2 0x01a8
000001a4: PUSH2 0x155e
000001a7: JUMP
000001a8: JUMPDEST
000001a9: PUSH2 0x01b0
000001ac: PUSH2 0x1631
000001af: JUMP
000001b0: JUMPDEST
000001b1: PUSH1 0x01
000001b3: PUSH1 0x01
000001b5: PUSH1 0xa0
000001b7: SHL
000001b8: SUB
000001b9: SWAP1
000001ba: DUP2
000001bb: AND
000001bc: SWAP1
000001bd: PUSH2 0x01d8
000001c0: DUP3
000001c1: ISZERO
000001c2: ISZERO
000001c3: PUSH2 0x01cb
000001c6: DUP2
000001c7: PUSH2 0x1c71
000001ca: JUMP
000001cb: JUMPDEST
000001cc: PUSH2 0x01d3
000001cf: PUSH2 0x1631
000001d2: JUMP
000001d3: JUMPDEST
000001d4: PUSH2 0x1c71
000001d7: JUMP
000001d8: JUMPDEST
000001d9: PUSH1 0x00
000001db: SLOAD
000001dc: DUP3
000001dd: PUSH1 0x01
000001df: DUP1
000001e0: PUSH1 0xa0
000001e2: SHL
000001e3: SUB
000001e4: NOT
000001e5: DUP3
000001e6: AND
000001e7: OR
000001e8: PUSH1 0x00
000001ea: SSTORE
000001eb: AND
000001ec: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000020d: PUSH1 0x00
0000020f: DUP1
00000210: LOG3
00000211: STOP
00000212: JUMPDEST
00000213: CALLVALUE
00000214: PUSH2 0x018a
00000217: JUMPI
00000218: PUSH1 0x20
0000021a: CALLDATASIZE
0000021b: PUSH1 0x03
0000021d: NOT
0000021e: ADD
0000021f: SLT
00000220: PUSH2 0x018a
00000223: JUMPI
00000224: PUSH2 0x022b
00000227: PUSH2 0x155e
0000022a: JUMP
0000022b: JUMPDEST
0000022c: PUSH2 0x0233
0000022f: PUSH2 0x1631
00000232: JUMP
00000233: JUMPDEST
00000234: PUSH1 0x01
00000236: PUSH1 0x01
00000238: PUSH1 0xa0
0000023a: SHL
0000023b: SUB
0000023c: DUP2
0000023d: AND
0000023e: SWAP1
0000023f: DUP2
00000240: ISZERO
00000241: PUSH2 0x030f
00000244: JUMPI
00000245: PUSH2 0x024d
00000248: DUP2
00000249: PUSH2 0x1ccc
0000024c: JUMP
0000024d: JUMPDEST
0000024e: PUSH2 0x02d0
00000251: JUMPI
00000252: PUSH1 0x04
00000254: SLOAD
00000255: SWAP1
00000256: PUSH1 0x01
00000258: PUSH1 0x40
0000025a: SHL
0000025b: DUP3
0000025c: LT
0000025d: ISZERO
0000025e: PUSH2 0x02ba
00000261: JUMPI
00000262: PUSH2 0x0274
00000265: DUP3
00000266: PUSH1 0x01
00000268: PUSH2 0x0293
0000026b: SWAP5
0000026c: ADD
0000026d: PUSH1 0x04
0000026f: SSTORE
00000270: PUSH2 0x15a1
00000273: JUMP
00000274: JUMPDEST
00000275: SWAP1
00000276: SWAP2
00000277: SWAP1
00000278: DUP3
00000279: SLOAD
0000027a: SWAP1
0000027b: PUSH1 0x03
0000027d: SHL
0000027e: SWAP2
0000027f: PUSH1 0x01
00000281: DUP1
00000282: PUSH1 0xa0
00000284: SHL
00000285: SUB
00000286: DUP1
00000287: SWAP2
00000288: AND
00000289: DUP4
0000028a: SHL
0000028b: SWAP3
0000028c: SHL
0000028d: NOT
0000028e: AND
0000028f: OR
00000290: SWAP1
00000291: SSTORE
00000292: JUMP
00000293: JUMPDEST
00000294: PUSH32 0x47d1c22a25bb3a5d4e481b9b1e6944c2eade3181a0a20b495ed61d35b5323f24
000002b5: PUSH1 0x00
000002b7: DUP1
000002b8: LOG2
000002b9: STOP
000002ba: JUMPDEST
000002bb: PUSH4 0x4e487b71
000002c0: PUSH1 0xe0
000002c2: SHL
000002c3: PUSH1 0x00
000002c5: MSTORE
000002c6: PUSH1 0x41
000002c8: PUSH1 0x04
000002ca: MSTORE
000002cb: PUSH1 0x24
000002cd: PUSH1 0x00
000002cf: REVERT
000002d0: JUMPDEST
000002d1: PUSH1 0x40
000002d3: MLOAD
000002d4: PUSH3 0x461bcd
000002d8: PUSH1 0xe5
000002da: SHL
000002db: DUP2
000002dc: MSTORE
000002dd: PUSH1 0x20
000002df: PUSH1 0x04
000002e1: DUP3
000002e2: ADD
000002e3: MSTORE
000002e4: PUSH1 0x17
000002e6: PUSH1 0x24
000002e8: DUP3
000002e9: ADD
000002ea: MSTORE
000002eb: PUSH23 0x14da59db995c881a5cc8185b1c9958591e481859191959
00000303: PUSH1 0x4a
00000305: SHL
00000306: PUSH1 0x44
00000308: DUP3
00000309: ADD
0000030a: MSTORE
0000030b: PUSH1 0x64
0000030d: SWAP1
0000030e: REVERT
0000030f: JUMPDEST
00000310: PUSH1 0x40
00000312: MLOAD
00000313: PUSH3 0x461bcd
00000317: PUSH1 0xe5
00000319: SHL
0000031a: DUP2
0000031b: MSTORE
0000031c: PUSH1 0x20
0000031e: PUSH1 0x04
00000320: DUP3
00000321: ADD
00000322: MSTORE
00000323: PUSH1 0x21
00000325: PUSH1 0x24
00000327: DUP3
00000328: ADD
00000329: MSTORE
0000032a: PUSH32 0x5369676e65722063616e6e6f7420626520746865207a65726f20616464726573
0000034b: PUSH1 0x44
0000034d: DUP3
0000034e: ADD
0000034f: MSTORE
00000350: PUSH1 0x73
00000352: PUSH1 0xf8
00000354: SHL
00000355: PUSH1 0x64
00000357: DUP3
00000358: ADD
00000359: MSTORE
0000035a: PUSH1 0x84
0000035c: SWAP1
0000035d: REVERT
0000035e: JUMPDEST
0000035f: CALLVALUE
00000360: PUSH2 0x018a
00000363: JUMPI
00000364: PUSH1 0xa0
00000366: CALLDATASIZE
00000367: PUSH1 0x03
00000369: NOT
0000036a: ADD
0000036b: SLT
0000036c: PUSH2 0x018a
0000036f: JUMPI
00000370: PUSH1 0x24
00000372: CALLDATALOAD
00000373: PUSH1 0x01
00000375: PUSH1 0x01
00000377: PUSH1 0xa0
00000379: SHL
0000037a: SUB
0000037b: DUP2
0000037c: AND
0000037d: SWAP1
0000037e: SUB
0000037f: PUSH2 0x018a
00000382: JUMPI
00000383: PUSH1 0x44
00000385: CALLDATALOAD
00000386: PUSH1 0x01
00000388: PUSH1 0x01
0000038a: PUSH1 0x40
0000038c: SHL
0000038d: SUB
0000038e: DUP2
0000038f: GT
00000390: PUSH2 0x018a
00000393: JUMPI
00000394: PUSH2 0x03a1
00000397: SWAP1
00000398: CALLDATASIZE
00000399: SWAP1
0000039a: PUSH1 0x04
0000039c: ADD
0000039d: PUSH2 0x1574
000003a0: JUMP
000003a1: JUMPDEST
000003a2: SWAP1
000003a3: PUSH1 0x64
000003a5: CALLDATALOAD
000003a6: PUSH1 0x01
000003a8: PUSH1 0x01
000003aa: PUSH1 0xa0
000003ac: SHL
000003ad: SUB
000003ae: DUP2
000003af: AND
000003b0: SWAP1
000003b1: SUB
000003b2: PUSH2 0x018a
000003b5: JUMPI
000003b6: PUSH1 0x01
000003b8: PUSH1 0x01
000003ba: PUSH1 0x40
000003bc: SHL
000003bd: SUB
000003be: PUSH1 0x84
000003c0: CALLDATALOAD
000003c1: GT
000003c2: PUSH2 0x018a
000003c5: JUMPI
000003c6: CALLDATASIZE
000003c7: PUSH1 0x23
000003c9: PUSH1 0x84
000003cb: CALLDATALOAD
000003cc: ADD
000003cd: SLT
000003ce: ISZERO
000003cf: PUSH2 0x018a
000003d2: JUMPI
000003d3: PUSH1 0x01
000003d5: PUSH1 0x01
000003d7: PUSH1 0x40
000003d9: SHL
000003da: SUB
000003db: PUSH1 0x84
000003dd: CALLDATALOAD
000003de: PUSH1 0x04
000003e0: ADD
000003e1: CALLDATALOAD
000003e2: GT
000003e3: PUSH2 0x018a
000003e6: JUMPI
000003e7: CALLDATASIZE
000003e8: PUSH1 0x24
000003ea: PUSH1 0x84
000003ec: CALLDATALOAD
000003ed: PUSH1 0x04
000003ef: ADD
000003f0: CALLDATALOAD
000003f1: PUSH1 0x05
000003f3: SHL
000003f4: PUSH1 0x84
000003f6: CALLDATALOAD
000003f7: ADD
000003f8: ADD
000003f9: GT
000003fa: PUSH2 0x018a
000003fd: JUMPI
000003fe: PUSH2 0x0405
00000401: PUSH2 0x1719
00000404: JUMP
00000405: JUMPDEST
00000406: PUSH1 0x04
00000408: SLOAD
00000409: PUSH1 0x64
0000040b: CALLDATALOAD
0000040c: PUSH1 0x01
0000040e: PUSH1 0x01
00000410: PUSH1 0xa0
00000412: SHL
00000413: SUB
00000414: AND
00000415: PUSH1 0x00
00000417: SWAP1
00000418: DUP2
00000419: MSTORE
0000041a: PUSH1 0x01
0000041c: PUSH1 0x20
0000041e: MSTORE
0000041f: PUSH1 0x40
00000421: SWAP1
00000422: KECCAK256
00000423: SLOAD
00000424: PUSH2 0x042f
00000427: SWAP1
00000428: PUSH1 0xff
0000042a: AND
0000042b: PUSH2 0x1689
0000042e: JUMP
0000042f: JUMPDEST
00000430: PUSH1 0x08
00000432: SLOAD
00000433: SWAP1
00000434: DUP2
00000435: PUSH1 0x84
00000437: CALLDATALOAD
00000438: PUSH1 0x04
0000043a: ADD
0000043b: CALLDATALOAD
0000043c: LT
0000043d: PUSH2 0x07d5
00000440: JUMPI
00000441: PUSH1 0x40
00000443: MLOAD
00000444: PUSH1 0x20
00000446: DUP2
00000447: ADD
00000448: SWAP1
00000449: DUP6
0000044a: DUP6
0000044b: DUP4
0000044c: CALLDATACOPY
0000044d: PUSH2 0x0466
00000450: PUSH1 0x20
00000452: DUP3
00000453: DUP9
00000454: DUP2
00000455: ADD
00000456: PUSH1 0x00
00000458: DUP4
00000459: DUP3
0000045a: ADD
0000045b: MSTORE
0000045c: SUB
0000045d: DUP1
0000045e: DUP5
0000045f: MSTORE
00000460: ADD
00000461: DUP3
00000462: PUSH2 0x1760
00000465: JUMP
00000466: JUMPDEST
00000467: MLOAD
00000468: SWAP1
00000469: KECCAK256
0000046a: PUSH1 0x00
0000046c: MSTORE
0000046d: PUSH1 0x03
0000046f: PUSH1 0x20
00000471: MSTORE
00000472: PUSH1 0xff
00000474: PUSH1 0x40
00000476: PUSH1 0x00
00000478: KECCAK256
00000479: SLOAD
0000047a: AND
0000047b: PUSH2 0x0790
0000047e: JUMPI
0000047f: PUSH1 0x40
00000481: MLOAD
00000482: PUSH1 0x00
00000484: PUSH1 0x20
00000486: DUP3
00000487: ADD
00000488: MSTORE
00000489: PUSH1 0x04
0000048b: CALLDATALOAD
0000048c: PUSH1 0x21
0000048e: DUP3
0000048f: ADD
00000490: MSTORE
00000491: PUSH2 0x04dc
00000494: PUSH1 0x89
00000496: DUP3
00000497: PUSH12 0xffffffffffffffffffffffff
000004a4: NOT
000004a5: DUP1
000004a6: PUSH1 0x24
000004a8: CALLDATALOAD
000004a9: PUSH1 0x60
000004ab: SHL
000004ac: AND
000004ad: PUSH1 0x41
000004af: DUP4
000004b0: ADD
000004b1: MSTORE
000004b2: DUP9
000004b3: DUP9
000004b4: PUSH1 0x55
000004b6: DUP5
000004b7: ADD
000004b8: CALLDATACOPY
000004b9: DUP9
000004ba: DUP3
000004bb: ADD
000004bc: SWAP1
000004bd: PUSH1 0x64
000004bf: CALLDATALOAD
000004c0: PUSH1 0x60
000004c2: SHL
000004c3: AND
000004c4: PUSH1 0x55
000004c6: DUP3
000004c7: ADD
000004c8: MSTORE
000004c9: CHAINID
000004ca: PUSH1 0x69
000004cc: DUP3
000004cd: ADD
000004ce: MSTORE
000004cf: SUB
000004d0: PUSH1 0x69
000004d2: DUP2
000004d3: ADD
000004d4: DUP5
000004d5: MSTORE
000004d6: ADD
000004d7: DUP3
000004d8: PUSH2 0x1760
000004db: JUMP
000004dc: JUMPDEST
000004dd: PUSH1 0x20
000004df: DUP2
000004e0: MLOAD
000004e1: SWAP2
000004e2: ADD
000004e3: KECCAK256
000004e4: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
00000505: PUSH1 0x00
00000507: MSTORE
00000508: PUSH1 0x1c
0000050a: MSTORE
0000050b: PUSH1 0x3c
0000050d: PUSH1 0x00
0000050f: KECCAK256
00000510: SWAP1
00000511: PUSH1 0x00
00000513: SWAP2
00000514: PUSH2 0x051c
00000517: DUP3
00000518: PUSH2 0x19a0
0000051b: JUMP
0000051c: JUMPDEST
0000051d: PUSH2 0x0529
00000520: PUSH1 0x40
00000522: MLOAD
00000523: SWAP2
00000524: DUP3
00000525: PUSH2 0x1760
00000528: JUMP
00000529: JUMPDEST
0000052a: DUP3
0000052b: DUP2
0000052c: MSTORE
0000052d: PUSH1 0x1f
0000052f: NOT
00000530: PUSH2 0x0538
00000533: DUP5
00000534: PUSH2 0x19a0
00000537: JUMP
00000538: JUMPDEST
00000539: ADD
0000053a: CALLDATASIZE
0000053b: PUSH1 0x20
0000053d: DUP4
0000053e: ADD
0000053f: CALLDATACOPY
00000540: PUSH1 0x00
00000542: JUMPDEST
00000543: PUSH1 0x84
00000545: CALLDATALOAD
00000546: PUSH1 0x04
00000548: ADD
00000549: CALLDATALOAD
0000054a: DUP2
0000054b: LT
0000054c: PUSH2 0x06a5
0000054f: JUMPI
00000550: JUMPDEST
00000551: POP
00000552: POP
00000553: POP
00000554: POP
00000555: LT
00000556: PUSH2 0x064f
00000559: JUMPI
0000055a: PUSH1 0x40
0000055c: MLOAD
0000055d: PUSH1 0x20
0000055f: DUP2
00000560: ADD
00000561: SWAP1
00000562: DUP4
00000563: DUP4
00000564: DUP4
00000565: CALLDATACOPY
00000566: PUSH2 0x057f
00000569: PUSH1 0x20
0000056b: DUP3
0000056c: DUP7
0000056d: DUP2
0000056e: ADD
0000056f: PUSH1 0x00
00000571: DUP4
00000572: DUP3
00000573: ADD
00000574: MSTORE
00000575: SUB
00000576: DUP1
00000577: DUP5
00000578: MSTORE
00000579: ADD
0000057a: DUP3
0000057b: PUSH2 0x1760
0000057e: JUMP
0000057f: JUMPDEST
00000580: MLOAD
00000581: SWAP1
00000582: KECCAK256
00000583: PUSH1 0x00
00000585: MSTORE
00000586: PUSH1 0x03
00000588: PUSH1 0x20
0000058a: MSTORE
0000058b: PUSH1 0x40
0000058d: PUSH1 0x00
0000058f: KECCAK256
00000590: PUSH1 0x01
00000592: PUSH1 0xff
00000594: NOT
00000595: DUP3
00000596: SLOAD
00000597: AND
00000598: OR
00000599: SWAP1
0000059a: SSTORE
0000059b: PUSH2 0x060a
0000059e: PUSH2 0x05df
000005a1: PUSH2 0x2710
000005a4: PUSH2 0x05b1
000005a7: PUSH1 0x06
000005a9: SLOAD
000005aa: PUSH1 0x04
000005ac: CALLDATALOAD
000005ad: PUSH2 0x16cb
000005b0: JUMP
000005b1: JUMPDEST
000005b2: DIV
000005b3: PUSH1 0x01
000005b5: DUP1
000005b6: PUSH1 0xa0
000005b8: SHL
000005b9: SUB
000005ba: PUSH1 0x64
000005bc: CALLDATALOAD
000005bd: AND
000005be: PUSH1 0x00
000005c0: MSTORE
000005c1: PUSH1 0x09
000005c3: PUSH1 0x20
000005c5: MSTORE
000005c6: PUSH1 0x40
000005c8: PUSH1 0x00
000005ca: KECCAK256
000005cb: PUSH2 0x05d5
000005ce: DUP3
000005cf: DUP3
000005d0: SLOAD
000005d1: PUSH2 0x16de
000005d4: JUMP
000005d5: JUMPDEST
000005d6: SWAP1
000005d7: SSTORE
000005d8: PUSH1 0x04
000005da: CALLDATALOAD
000005db: PUSH2 0x16eb
000005de: JUMP
000005df: JUMPDEST
000005e0: SWAP2
000005e1: PUSH2 0x05f8
000005e4: DUP4
000005e5: PUSH1 0x24
000005e7: CALLDATALOAD
000005e8: PUSH1 0x64
000005ea: CALLDATALOAD
000005eb: PUSH1 0x01
000005ed: PUSH1 0x01
000005ef: PUSH1 0xa0
000005f1: SHL
000005f2: SUB
000005f3: AND
000005f4: PUSH2 0x1a02
000005f7: JUMP
000005f8: JUMPDEST
000005f9: PUSH1 0x40
000005fb: MLOAD
000005fc: SWAP4
000005fd: PUSH1 0x40
000005ff: DUP6
00000600: MSTORE
00000601: PUSH1 0x40
00000603: DUP6
00000604: ADD
00000605: SWAP2
00000606: PUSH2 0x16f8
00000609: JUMP
0000060a: JUMPDEST
0000060b: SWAP1
0000060c: PUSH1 0x20
0000060e: DUP4
0000060f: ADD
00000610: MSTORE
00000611: PUSH32 0xe442438f977cf13ed122d2e3462b1afe5a74fc3ad80af33b4962d673a5bbd371
00000632: PUSH1 0x01
00000634: DUP1
00000635: PUSH1 0xa0
00000637: SHL
00000638: SUB
00000639: PUSH1 0x64
0000063b: CALLDATALOAD
0000063c: AND
0000063d: SWAP3
0000063e: DUP1
0000063f: PUSH1 0x01
00000641: DUP1
00000642: PUSH1 0xa0
00000644: SHL
00000645: SUB
00000646: PUSH1 0x24
00000648: CALLDATALOAD
00000649: AND
0000064a: SWAP4
0000064b: SUB
0000064c: SWAP1
0000064d: LOG3
0000064e: STOP
0000064f: JUMPDEST
00000650: PUSH1 0x40
00000652: MLOAD
00000653: PUSH3 0x461bcd
00000657: PUSH1 0xe5
00000659: SHL
0000065a: DUP2
0000065b: MSTORE
0000065c: PUSH1 0x20
0000065e: PUSH1 0x04
00000660: DUP3
00000661: ADD
00000662: MSTORE
00000663: PUSH1 0x28
00000665: PUSH1 0x24
00000667: DUP3
00000668: ADD
00000669: MSTORE
0000066a: PUSH32 0x496e76616c6964206f7220696e73756666696369656e742076616c6964207369
0000068b: PUSH1 0x44
0000068d: DUP3
0000068e: ADD
0000068f: MSTORE
00000690: PUSH8 0x676e617475726573
00000699: PUSH1 0xc0
0000069b: SHL
0000069c: PUSH1 0x64
0000069e: DUP3
0000069f: ADD
000006a0: MSTORE
000006a1: PUSH1 0x84
000006a3: SWAP1
000006a4: REVERT
000006a5: JUMPDEST
000006a6: PUSH1 0x24
000006a8: DUP2
000006a9: PUSH1 0x05
000006ab: SHL
000006ac: PUSH1 0x84
000006ae: CALLDATALOAD
000006af: ADD
000006b0: ADD
000006b1: CALLDATALOAD
000006b2: PUSH1 0x42
000006b4: NOT
000006b5: PUSH1 0x84
000006b7: CALLDATALOAD
000006b8: CALLDATASIZE
000006b9: SUB
000006ba: ADD
000006bb: DUP2
000006bc: SLT
000006bd: ISZERO
000006be: PUSH2 0x018a
000006c1: JUMPI
000006c2: PUSH1 0x84
000006c4: CALLDATALOAD
000006c5: ADD
000006c6: PUSH1 0x01
000006c8: PUSH1 0x01
000006ca: PUSH1 0x40
000006cc: SHL
000006cd: SUB
000006ce: PUSH1 0x24
000006d0: DUP3
000006d1: ADD
000006d2: CALLDATALOAD
000006d3: GT
000006d4: PUSH2 0x018a
000006d7: JUMPI
000006d8: PUSH1 0x24
000006da: DUP2
000006db: ADD
000006dc: CALLDATALOAD
000006dd: CALLDATASIZE
000006de: SUB
000006df: PUSH1 0x44
000006e1: DUP3
000006e2: ADD
000006e3: SGT
000006e4: PUSH2 0x018a
000006e7: JUMPI
000006e8: PUSH2 0x0707
000006eb: PUSH2 0x0701
000006ee: PUSH2 0x070f
000006f1: SWAP3
000006f2: CALLDATASIZE
000006f3: SWAP1
000006f4: PUSH1 0x44
000006f6: PUSH1 0x24
000006f8: DUP3
000006f9: ADD
000006fa: CALLDATALOAD
000006fb: SWAP2
000006fc: ADD
000006fd: PUSH2 0x19b7
00000700: JUMP
00000701: JUMPDEST
00000702: DUP6
00000703: PUSH2 0x1b68
00000706: JUMP
00000707: JUMPDEST
00000708: SWAP2
00000709: SWAP1
0000070a: SWAP2
0000070b: PUSH2 0x1a53
0000070e: JUMP
0000070f: JUMPDEST
00000710: PUSH1 0x00
00000712: JUMPDEST
00000713: DUP6
00000714: DUP2
00000715: LT
00000716: PUSH2 0x0730
00000719: JUMPI
0000071a: JUMPDEST
0000071b: POP
0000071c: POP
0000071d: DUP6
0000071e: DUP6
0000071f: EQ
00000720: PUSH2 0x072b
00000723: JUMPI
00000724: PUSH1 0x01
00000726: ADD
00000727: PUSH2 0x0542
0000072a: JUMP
0000072b: JUMPDEST
0000072c: PUSH2 0x0550
0000072f: JUMP
00000730: JUMPDEST
00000731: PUSH2 0x0739
00000734: DUP2
00000735: PUSH2 0x15a1
00000738: JUMP
00000739: JUMPDEST
0000073a: SWAP1
0000073b: SLOAD
0000073c: PUSH1 0x03
0000073e: SWAP2
0000073f: SWAP1
00000740: SWAP2
00000741: SHL
00000742: SHR
00000743: PUSH1 0x01
00000745: PUSH1 0x01
00000747: PUSH1 0xa0
00000749: SHL
0000074a: SUB
0000074b: SWAP1
0000074c: DUP2
0000074d: AND
0000074e: SWAP1
0000074f: DUP4
00000750: AND
00000751: EQ
00000752: DUP1
00000753: PUSH2 0x077e
00000756: JUMPI
00000757: JUMPDEST
00000758: PUSH2 0x0763
0000075b: JUMPI
0000075c: PUSH1 0x01
0000075e: ADD
0000075f: PUSH2 0x0712
00000762: JUMP
00000763: JUMPDEST
00000764: PUSH1 0x01
00000766: SWAP3
00000767: SWAP7
00000768: SWAP2
00000769: POP
0000076a: PUSH2 0x0774
0000076d: DUP4
0000076e: SWAP2
0000076f: DUP6
00000770: PUSH2 0x19ee
00000773: JUMP
00000774: JUMPDEST
00000775: MSTORE
00000776: ADD
00000777: SWAP4
00000778: DUP9
00000779: DUP1
0000077a: PUSH2 0x071a
0000077d: JUMP
0000077e: JUMPDEST
0000077f: POP
00000780: PUSH2 0x0789
00000783: DUP2
00000784: DUP6
00000785: PUSH2 0x19ee
00000788: JUMP
00000789: JUMPDEST
0000078a: MLOAD
0000078b: ISZERO
0000078c: PUSH2 0x0757
0000078f: JUMP
00000790: JUMPDEST
00000791: PUSH1 0x40
00000793: MLOAD
00000794: PUSH3 0x461bcd
00000798: PUSH1 0xe5
0000079a: SHL
0000079b: DUP2
0000079c: MSTORE
0000079d: PUSH1 0x20
0000079f: PUSH1 0x04
000007a1: DUP3
000007a2: ADD
000007a3: MSTORE
000007a4: PUSH1 0x1a
000007a6: PUSH1 0x24
000007a8: DUP3
000007a9: ADD
000007aa: MSTORE
000007ab: PUSH32 0x4f7065726174696f6e20616c7265616479206578656375746564000000000000
000007cc: PUSH1 0x44
000007ce: DUP3
000007cf: ADD
000007d0: MSTORE
000007d1: PUSH1 0x64
000007d3: SWAP1
000007d4: REVERT
000007d5: JUMPDEST
000007d6: PUSH1 0x40
000007d8: MLOAD
000007d9: PUSH3 0x461bcd
000007dd: PUSH1 0xe5
000007df: SHL
000007e0: DUP2
000007e1: MSTORE
000007e2: PUSH1 0x20
000007e4: PUSH1 0x04
000007e6: DUP3
000007e7: ADD
000007e8: MSTORE
000007e9: PUSH1 0x26
000007eb: PUSH1 0x24
000007ed: DUP3
000007ee: ADD
000007ef: MSTORE
000007f0: PUSH32 0x416d6f756e74206f66207369676e617475726573206973206e6f742073756666
00000811: PUSH1 0x44
00000813: DUP3
00000814: ADD
00000815: MSTORE
00000816: PUSH6 0x1a58da595b9d
0000081d: PUSH1 0xd2
0000081f: SHL
00000820: PUSH1 0x64
00000822: DUP3
00000823: ADD
00000824: MSTORE
00000825: PUSH1 0x84
00000827: SWAP1
00000828: REVERT
00000829: JUMPDEST
0000082a: CALLVALUE
0000082b: PUSH2 0x018a
0000082e: JUMPI
0000082f: PUSH1 0x20
00000831: CALLDATASIZE
00000832: PUSH1 0x03
00000834: NOT
00000835: ADD
00000836: SLT
00000837: PUSH2 0x018a
0000083a: JUMPI
0000083b: PUSH2 0x0842
0000083e: PUSH2 0x155e
00000841: JUMP
00000842: JUMPDEST
00000843: PUSH2 0x084a
00000846: PUSH2 0x1631
00000849: JUMP
0000084a: JUMPDEST
0000084b: PUSH1 0x01
0000084d: PUSH1 0x01
0000084f: PUSH1 0xa0
00000851: SHL
00000852: SUB
00000853: DUP2
00000854: AND
00000855: PUSH1 0x00
00000857: DUP2
00000858: DUP2
00000859: MSTORE
0000085a: PUSH1 0x01
0000085c: PUSH1 0x20
0000085e: MSTORE
0000085f: PUSH1 0x40
00000861: SWAP1
00000862: KECCAK256
00000863: SLOAD
00000864: SWAP1
00000865: SWAP2
00000866: SWAP1
00000867: PUSH1 0xff
00000869: AND
0000086a: PUSH2 0x08d0
0000086d: JUMPI
0000086e: DUP2
0000086f: PUSH1 0x00
00000871: MSTORE
00000872: PUSH1 0x01
00000874: PUSH1 0x20
00000876: MSTORE
00000877: PUSH1 0x40
00000879: PUSH1 0x00
0000087b: KECCAK256
0000087c: PUSH1 0x01
0000087e: PUSH1 0xff
00000880: NOT
00000881: DUP3
00000882: SLOAD
00000883: AND
00000884: OR
00000885: SWAP1
00000886: SSTORE
00000887: PUSH1 0x02
00000889: SLOAD
0000088a: SWAP1
0000088b: PUSH1 0x01
0000088d: PUSH1 0x40
0000088f: SHL
00000890: DUP3
00000891: LT
00000892: ISZERO
00000893: PUSH2 0x02ba
00000896: JUMPI
00000897: PUSH2 0x0274
0000089a: DUP3
0000089b: PUSH1 0x01
0000089d: PUSH2 0x08a9
000008a0: SWAP5
000008a1: ADD
000008a2: PUSH1 0x02
000008a4: SSTORE
000008a5: PUSH2 0x15d2
000008a8: JUMP
000008a9: JUMPDEST
000008aa: PUSH32 0x784c8f4dbf0ffedd6e72c76501c545a70f8b203b30a26ce542bf92ba87c248a4
000008cb: PUSH1 0x00
000008cd: DUP1
000008ce: LOG2
000008cf: STOP
000008d0: JUMPDEST
000008d1: PUSH1 0x40
000008d3: MLOAD
000008d4: PUSH3 0x461bcd
000008d8: PUSH1 0xe5
000008da: SHL
000008db: DUP2
000008dc: MSTORE
000008dd: PUSH1 0x20
000008df: PUSH1 0x04
000008e1: DUP3
000008e2: ADD
000008e3: MSTORE
000008e4: PUSH1 0x1a
000008e6: PUSH1 0x24
000008e8: DUP3
000008e9: ADD
000008ea: MSTORE
000008eb: PUSH32 0x546f6b656e20697320616c726561647920737570706f72746564000000000000
0000090c: PUSH1 0x44
0000090e: DUP3
0000090f: ADD
00000910: MSTORE
00000911: PUSH1 0x64
00000913: SWAP1
00000914: REVERT
00000915: JUMPDEST
00000916: CALLVALUE
00000917: PUSH2 0x018a
0000091a: JUMPI
0000091b: PUSH1 0x00
0000091d: CALLDATASIZE
0000091e: PUSH1 0x03
00000920: NOT
00000921: ADD
00000922: SLT
00000923: PUSH2 0x018a
00000926: JUMPI
00000927: PUSH1 0x07
00000929: SLOAD
0000092a: PUSH1 0x40
0000092c: MLOAD
0000092d: PUSH1 0x01
0000092f: PUSH1 0x01
00000931: PUSH1 0xa0
00000933: SHL
00000934: SUB
00000935: SWAP1
00000936: SWAP2
00000937: AND
00000938: DUP2
00000939: MSTORE
0000093a: PUSH1 0x20
0000093c: SWAP1
0000093d: RETURN
0000093e: JUMPDEST
0000093f: CALLVALUE
00000940: PUSH2 0x018a
00000943: JUMPI
00000944: PUSH1 0x00
00000946: CALLDATASIZE
00000947: PUSH1 0x03
00000949: NOT
0000094a: ADD
0000094b: SLT
0000094c: PUSH2 0x018a
0000094f: JUMPI
00000950: PUSH1 0x20
00000952: PUSH1 0x08
00000954: SLOAD
00000955: PUSH1 0x40
00000957: MLOAD
00000958: SWAP1
00000959: DUP2
0000095a: MSTORE
0000095b: RETURN
0000095c: JUMPDEST
0000095d: CALLVALUE
0000095e: PUSH2 0x018a
00000961: JUMPI
00000962: PUSH1 0x20
00000964: CALLDATASIZE
00000965: PUSH1 0x03
00000967: NOT
00000968: ADD
00000969: SLT
0000096a: PUSH2 0x018a
0000096d: JUMPI
0000096e: PUSH32 0xf1c9188ac961e8bd19c50ac88f72f585b190a9af6d3796d2c5cfba24e9ec7a42
0000098f: PUSH1 0x80
00000991: PUSH1 0x04
00000993: CALLDATALOAD
00000994: PUSH2 0x099b
00000997: PUSH2 0x1631
0000099a: JUMP
0000099b: JUMPDEST
0000099c: PUSH2 0x09a9
0000099f: PUSH2 0x2710
000009a2: DUP3
000009a3: GT
000009a4: ISZERO
000009a5: PUSH2 0x1c25
000009a8: JUMP
000009a9: JUMPDEST
000009aa: DUP1
000009ab: PUSH1 0x05
000009ad: SSTORE
000009ae: PUSH1 0x40
000009b0: MLOAD
000009b1: SWAP1
000009b2: DUP2
000009b3: MSTORE
000009b4: PUSH1 0x40
000009b6: PUSH1 0x20
000009b8: DUP3
000009b9: ADD
000009ba: MSTORE
000009bb: PUSH1 0x04
000009bd: PUSH1 0x40
000009bf: DUP3
000009c0: ADD
000009c1: MSTORE
000009c2: PUSH4 0x6c6f636b
000009c7: PUSH1 0xe0
000009c9: SHL
000009ca: PUSH1 0x60
000009cc: DUP3
000009cd: ADD
000009ce: MSTORE
000009cf: LOG1
000009d0: STOP
000009d1: JUMPDEST
000009d2: CALLVALUE
000009d3: PUSH2 0x018a
000009d6: JUMPI
000009d7: PUSH1 0x00
000009d9: CALLDATASIZE
000009da: PUSH1 0x03
000009dc: NOT
000009dd: ADD
000009de: SLT
000009df: PUSH2 0x018a
000009e2: JUMPI
000009e3: PUSH1 0x20
000009e5: PUSH1 0x06
000009e7: SLOAD
000009e8: PUSH1 0x40
000009ea: MLOAD
000009eb: SWAP1
000009ec: DUP2
000009ed: MSTORE
000009ee: RETURN
000009ef: JUMPDEST
000009f0: CALLVALUE
000009f1: PUSH2 0x018a
000009f4: JUMPI
000009f5: PUSH1 0x20
000009f7: CALLDATASIZE
000009f8: PUSH1 0x03
000009fa: NOT
000009fb: ADD
000009fc: SLT
000009fd: PUSH2 0x018a
00000a00: JUMPI
00000a01: PUSH1 0x04
00000a03: CALLDATALOAD
00000a04: PUSH2 0x0a0b
00000a07: PUSH2 0x1631
00000a0a: JUMP
00000a0b: JUMPDEST
00000a0c: DUP1
00000a0d: ISZERO
00000a0e: ISZERO
00000a0f: DUP1
00000a10: PUSH2 0x0a81
00000a13: JUMPI
00000a14: JUMPDEST
00000a15: ISZERO
00000a16: PUSH2 0x0a4a
00000a19: JUMPI
00000a1a: PUSH1 0x20
00000a1c: DUP2
00000a1d: PUSH32 0x6c4ce60fd690e1216286a10b875c5662555f10774484e58142cedd7a90781baa
00000a3e: SWAP3
00000a3f: PUSH1 0x08
00000a41: SSTORE
00000a42: PUSH1 0x40
00000a44: MLOAD
00000a45: SWAP1
00000a46: DUP2
00000a47: MSTORE
00000a48: LOG1
00000a49: STOP
00000a4a: JUMPDEST
00000a4b: PUSH1 0x40
00000a4d: MLOAD
00000a4e: PUSH3 0x461bcd
00000a52: PUSH1 0xe5
00000a54: SHL
00000a55: DUP2
00000a56: MSTORE
00000a57: PUSH1 0x20
00000a59: PUSH1 0x04
00000a5b: DUP3
00000a5c: ADD
00000a5d: MSTORE
00000a5e: PUSH1 0x0f
00000a60: PUSH1 0x24
00000a62: DUP3
00000a63: ADD
00000a64: MSTORE
00000a65: PUSH15 0x496e76616c6964206b2076616c7565
00000a75: PUSH1 0x88
00000a77: SHL
00000a78: PUSH1 0x44
00000a7a: DUP3
00000a7b: ADD
00000a7c: MSTORE
00000a7d: PUSH1 0x64
00000a7f: SWAP1
00000a80: REVERT
00000a81: JUMPDEST
00000a82: POP
00000a83: PUSH1 0x04
00000a85: SLOAD
00000a86: DUP2
00000a87: GT
00000a88: ISZERO
00000a89: PUSH2 0x0a14
00000a8c: JUMP
00000a8d: JUMPDEST
00000a8e: CALLVALUE
00000a8f: PUSH2 0x018a
00000a92: JUMPI
00000a93: PUSH1 0x00
00000a95: CALLDATASIZE
00000a96: PUSH1 0x03
00000a98: NOT
00000a99: ADD
00000a9a: SLT
00000a9b: PUSH2 0x018a
00000a9e: JUMPI
00000a9f: PUSH1 0x40
00000aa1: MLOAD
00000aa2: PUSH1 0x04
00000aa4: DUP1
00000aa5: SLOAD
00000aa6: DUP1
00000aa7: DUP4
00000aa8: MSTORE
00000aa9: PUSH1 0x00
00000aab: SWAP2
00000aac: DUP3
00000aad: MSTORE
00000aae: PUSH1 0x20
00000ab0: DUP1
00000ab1: DUP5
00000ab2: ADD
00000ab3: SWAP4
00000ab4: SWAP3
00000ab5: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b
00000ad6: SWAP3
00000ad7: SWAP2
00000ad8: JUMPDEST
00000ad9: DUP3
00000ada: DUP3
00000adb: LT
00000adc: PUSH2 0x0aff
00000adf: JUMPI
00000ae0: PUSH2 0x0afb
00000ae3: DUP6
00000ae4: PUSH2 0x0aef
00000ae7: DUP2
00000ae8: DUP10
00000ae9: SUB
00000aea: DUP3
00000aeb: PUSH2 0x1760
00000aee: JUMP
00000aef: JUMPDEST
00000af0: PUSH1 0x40
00000af2: MLOAD
00000af3: SWAP2
00000af4: DUP3
00000af5: SWAP2
00000af6: DUP3
00000af7: PUSH2 0x15ed
00000afa: JUMP
00000afb: JUMPDEST
00000afc: SUB
00000afd: SWAP1
00000afe: RETURN
00000aff: JUMPDEST
00000b00: DUP4
00000b01: SLOAD
00000b02: PUSH1 0x01
00000b04: PUSH1 0x01
00000b06: PUSH1 0xa0
00000b08: SHL
00000b09: SUB
00000b0a: AND
00000b0b: DUP7
00000b0c: MSTORE
00000b0d: SWAP5
00000b0e: DUP6
00000b0f: ADD
00000b10: SWAP5
00000b11: PUSH1 0x01
00000b13: SWAP4
00000b14: DUP5
00000b15: ADD
00000b16: SWAP4
00000b17: SWAP1
00000b18: SWAP2
00000b19: ADD
00000b1a: SWAP1
00000b1b: PUSH2 0x0ad8
00000b1e: JUMP
00000b1f: JUMPDEST
00000b20: CALLVALUE
00000b21: PUSH2 0x018a
00000b24: JUMPI
00000b25: PUSH1 0x00
00000b27: CALLDATASIZE
00000b28: PUSH1 0x03
00000b2a: NOT
00000b2b: ADD
00000b2c: SLT
00000b2d: PUSH2 0x018a
00000b30: JUMPI
00000b31: PUSH1 0x00
00000b33: SLOAD
00000b34: PUSH1 0x40
00000b36: MLOAD
00000b37: PUSH1 0x01
00000b39: PUSH1 0x01
00000b3b: PUSH1 0xa0
00000b3d: SHL
00000b3e: SUB
00000b3f: SWAP1
00000b40: SWAP2
00000b41: AND
00000b42: DUP2
00000b43: MSTORE
00000b44: PUSH1 0x20
00000b46: SWAP1
00000b47: RETURN
00000b48: JUMPDEST
00000b49: CALLVALUE
00000b4a: PUSH2 0x018a
00000b4d: JUMPI
00000b4e: PUSH1 0x00
00000b50: CALLDATASIZE
00000b51: PUSH1 0x03
00000b53: NOT
00000b54: ADD
00000b55: SLT
00000b56: PUSH2 0x018a
00000b59: JUMPI
00000b5a: PUSH1 0x07
00000b5c: SLOAD
00000b5d: CALLER
00000b5e: PUSH1 0x01
00000b60: PUSH1 0x01
00000b62: PUSH1 0xa0
00000b64: SHL
00000b65: SUB
00000b66: SWAP2
00000b67: DUP3
00000b68: AND
00000b69: EQ
00000b6a: SWAP1
00000b6b: DUP2
00000b6c: ISZERO
00000b6d: PUSH2 0x0c13
00000b70: JUMPI
00000b71: JUMPDEST
00000b72: POP
00000b73: ISZERO
00000b74: PUSH2 0x0bc0
00000b77: JUMPI
00000b78: PUSH2 0x0b7f
00000b7b: PUSH2 0x1719
00000b7e: JUMP
00000b7f: JUMPDEST
00000b80: PUSH1 0x00
00000b82: DUP1
00000b83: SLOAD
00000b84: PUSH1 0xff
00000b86: PUSH1 0xa0
00000b88: SHL
00000b89: NOT
00000b8a: AND
00000b8b: PUSH1 0x01
00000b8d: PUSH1 0xa0
00000b8f: SHL
00000b90: OR
00000b91: SWAP1
00000b92: SSTORE
00000b93: PUSH1 0x40
00000b95: MLOAD
00000b96: CALLER
00000b97: DUP2
00000b98: MSTORE
00000b99: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00000bba: SWAP1
00000bbb: PUSH1 0x20
00000bbd: SWAP1
00000bbe: LOG1
00000bbf: STOP
00000bc0: JUMPDEST
00000bc1: PUSH1 0x40
00000bc3: MLOAD
00000bc4: PUSH3 0x461bcd
00000bc8: PUSH1 0xe5
00000bca: SHL
00000bcb: DUP2
00000bcc: MSTORE
00000bcd: PUSH1 0x20
00000bcf: PUSH1 0x04
00000bd1: DUP3
00000bd2: ADD
00000bd3: MSTORE
00000bd4: PUSH1 0x25
00000bd6: PUSH1 0x24
00000bd8: DUP3
00000bd9: ADD
00000bda: MSTORE
00000bdb: PUSH32 0x4f6e6c79206d756c746973696741646d696e206f72206f776e65722063616e20
00000bfc: PUSH1 0x44
00000bfe: DUP3
00000bff: ADD
00000c00: MSTORE
00000c01: PUSH5 0x7061757365
00000c07: PUSH1 0xd8
00000c09: SHL
00000c0a: PUSH1 0x64
00000c0c: DUP3
00000c0d: ADD
00000c0e: MSTORE
00000c0f: PUSH1 0x84
00000c11: SWAP1
00000c12: REVERT
00000c13: JUMPDEST
00000c14: SWAP1
00000c15: POP
00000c16: PUSH1 0x00
00000c18: SLOAD
00000c19: AND
00000c1a: CALLER
00000c1b: EQ
00000c1c: DUP2
00000c1d: PUSH2 0x0b71
00000c20: JUMP
00000c21: JUMPDEST
00000c22: CALLVALUE
00000c23: PUSH2 0x018a
00000c26: JUMPI
00000c27: PUSH1 0x00
00000c29: CALLDATASIZE
00000c2a: PUSH1 0x03
00000c2c: NOT
00000c2d: ADD
00000c2e: SLT
00000c2f: PUSH2 0x018a
00000c32: JUMPI
00000c33: PUSH1 0x40
00000c35: MLOAD
00000c36: PUSH1 0x02
00000c38: DUP1
00000c39: SLOAD
00000c3a: DUP1
00000c3b: DUP4
00000c3c: MSTORE
00000c3d: PUSH1 0x00
00000c3f: SWAP2
00000c40: DUP3
00000c41: MSTORE
00000c42: PUSH1 0x20
00000c44: DUP1
00000c45: DUP5
00000c46: ADD
00000c47: SWAP4
00000c48: SWAP3
00000c49: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace
00000c6a: SWAP3
00000c6b: SWAP2
00000c6c: JUMPDEST
00000c6d: DUP3
00000c6e: DUP3
00000c6f: LT
00000c70: PUSH2 0x0c83
00000c73: JUMPI
00000c74: PUSH2 0x0afb
00000c77: DUP6
00000c78: PUSH2 0x0aef
00000c7b: DUP2
00000c7c: DUP10
00000c7d: SUB
00000c7e: DUP3
00000c7f: PUSH2 0x1760
00000c82: JUMP
00000c83: JUMPDEST
00000c84: DUP4
00000c85: SLOAD
00000c86: PUSH1 0x01
00000c88: PUSH1 0x01
00000c8a: PUSH1 0xa0
00000c8c: SHL
00000c8d: SUB
00000c8e: AND
00000c8f: DUP7
00000c90: MSTORE
00000c91: SWAP5
00000c92: DUP6
00000c93: ADD
00000c94: SWAP5
00000c95: PUSH1 0x01
00000c97: SWAP4
00000c98: DUP5
00000c99: ADD
00000c9a: SWAP4
00000c9b: SWAP1
00000c9c: SWAP2
00000c9d: ADD
00000c9e: SWAP1
00000c9f: PUSH2 0x0c6c
00000ca2: JUMP
00000ca3: JUMPDEST
00000ca4: CALLVALUE
00000ca5: PUSH2 0x018a
00000ca8: JUMPI
00000ca9: PUSH1 0x20
00000cab: CALLDATASIZE
00000cac: PUSH1 0x03
00000cae: NOT
00000caf: ADD
00000cb0: SLT
00000cb1: PUSH2 0x018a
00000cb4: JUMPI
00000cb5: PUSH1 0x04
00000cb7: CALLDATALOAD
00000cb8: PUSH1 0x00
00000cba: MSTORE
00000cbb: PUSH1 0x03
00000cbd: PUSH1 0x20
00000cbf: MSTORE
00000cc0: PUSH1 0x20
00000cc2: PUSH1 0xff
00000cc4: PUSH1 0x40
00000cc6: PUSH1 0x00
00000cc8: KECCAK256
00000cc9: SLOAD
00000cca: AND
00000ccb: PUSH1 0x40
00000ccd: MLOAD
00000cce: SWAP1
00000ccf: ISZERO
00000cd0: ISZERO
00000cd1: DUP2
00000cd2: MSTORE
00000cd3: RETURN
00000cd4: JUMPDEST
00000cd5: CALLVALUE
00000cd6: PUSH2 0x018a
00000cd9: JUMPI
00000cda: PUSH1 0x20
00000cdc: CALLDATASIZE
00000cdd: PUSH1 0x03
00000cdf: NOT
00000ce0: ADD
00000ce1: SLT
00000ce2: PUSH2 0x018a
00000ce5: JUMPI
00000ce6: PUSH1 0x20
00000ce8: PUSH2 0x0cf7
00000ceb: PUSH2 0x0cf2
00000cee: PUSH2 0x155e
00000cf1: JUMP
00000cf2: JUMPDEST
00000cf3: PUSH2 0x1ccc
00000cf6: JUMP
00000cf7: JUMPDEST
00000cf8: PUSH1 0x40
00000cfa: MLOAD
00000cfb: SWAP1
00000cfc: ISZERO
00000cfd: ISZERO
00000cfe: DUP2
00000cff: MSTORE
00000d00: RETURN
00000d01: JUMPDEST
00000d02: CALLVALUE
00000d03: PUSH2 0x018a
00000d06: JUMPI
00000d07: PUSH1 0x00
00000d09: CALLDATASIZE
00000d0a: PUSH1 0x03
00000d0c: NOT
00000d0d: ADD
00000d0e: SLT
00000d0f: PUSH2 0x018a
00000d12: JUMPI
00000d13: PUSH2 0x0d1a
00000d16: PUSH2 0x1631
00000d19: JUMP
00000d1a: JUMPDEST
00000d1b: PUSH1 0x00
00000d1d: DUP1
00000d1e: SLOAD
00000d1f: PUSH1 0x01
00000d21: PUSH1 0x01
00000d23: PUSH1 0xa0
00000d25: SHL
00000d26: SUB
00000d27: NOT
00000d28: DUP2
00000d29: AND
00000d2a: DUP3
00000d2b: SSTORE
00000d2c: PUSH1 0x01
00000d2e: PUSH1 0x01
00000d30: PUSH1 0xa0
00000d32: SHL
00000d33: SUB
00000d34: AND
00000d35: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000d56: DUP3
00000d57: DUP1
00000d58: LOG3
00000d59: STOP
00000d5a: JUMPDEST
00000d5b: CALLVALUE
00000d5c: PUSH2 0x018a
00000d5f: JUMPI
00000d60: PUSH1 0x20
00000d62: CALLDATASIZE
00000d63: PUSH1 0x03
00000d65: NOT
00000d66: ADD
00000d67: SLT
00000d68: PUSH2 0x018a
00000d6b: JUMPI
00000d6c: PUSH2 0x0d73
00000d6f: PUSH2 0x155e
00000d72: JUMP
00000d73: JUMPDEST
00000d74: PUSH2 0x0d7b
00000d77: PUSH2 0x1631
00000d7a: JUMP
00000d7b: JUMPDEST
00000d7c: PUSH1 0x01
00000d7e: PUSH1 0x01
00000d80: PUSH1 0xa0
00000d82: SHL
00000d83: SUB
00000d84: AND
00000d85: DUP1
00000d86: ISZERO
00000d87: PUSH2 0x0da0
00000d8a: JUMPI
00000d8b: PUSH1 0x07
00000d8d: DUP1
00000d8e: SLOAD
00000d8f: PUSH1 0x01
00000d91: PUSH1 0x01
00000d93: PUSH1 0xa0
00000d95: SHL
00000d96: SUB
00000d97: NOT
00000d98: AND
00000d99: SWAP2
00000d9a: SWAP1
00000d9b: SWAP2
00000d9c: OR
00000d9d: SWAP1
00000d9e: SSTORE
00000d9f: STOP
00000da0: JUMPDEST
00000da1: PUSH1 0x40
00000da3: MLOAD
00000da4: PUSH3 0x461bcd
00000da8: PUSH1 0xe5
00000daa: SHL
00000dab: DUP2
00000dac: MSTORE
00000dad: PUSH1 0x20
00000daf: PUSH1 0x04
00000db1: DUP3
00000db2: ADD
00000db3: MSTORE
00000db4: PUSH1 0x29
00000db6: PUSH1 0x24
00000db8: DUP3
00000db9: ADD
00000dba: MSTORE
00000dbb: PUSH32 0x4d756c74697369672061646d696e2063616e6e6f7420626520746865207a6572
00000ddc: PUSH1 0x44
00000dde: DUP3
00000ddf: ADD
00000de0: MSTORE
00000de1: PUSH9 0x6f2061646472657373
00000deb: PUSH1 0xb8
00000ded: SHL
00000dee: PUSH1 0x64
00000df0: DUP3
00000df1: ADD
00000df2: MSTORE
00000df3: PUSH1 0x84
00000df5: SWAP1
00000df6: REVERT
00000df7: JUMPDEST
00000df8: CALLVALUE
00000df9: PUSH2 0x018a
00000dfc: JUMPI
00000dfd: PUSH1 0x20
00000dff: CALLDATASIZE
00000e00: PUSH1 0x03
00000e02: NOT
00000e03: ADD
00000e04: SLT
00000e05: PUSH2 0x018a
00000e08: JUMPI
00000e09: PUSH1 0x01
00000e0b: PUSH1 0x01
00000e0d: PUSH1 0xa0
00000e0f: SHL
00000e10: SUB
00000e11: PUSH2 0x0e18
00000e14: PUSH2 0x155e
00000e17: JUMP
00000e18: JUMPDEST
00000e19: AND
00000e1a: PUSH1 0x00
00000e1c: MSTORE
00000e1d: PUSH1 0x01
00000e1f: PUSH1 0x20
00000e21: MSTORE
00000e22: PUSH1 0x20
00000e24: PUSH1 0xff
00000e26: PUSH1 0x40
00000e28: PUSH1 0x00
00000e2a: KECCAK256
00000e2b: SLOAD
00000e2c: AND
00000e2d: PUSH1 0x40
00000e2f: MLOAD
00000e30: SWAP1
00000e31: ISZERO
00000e32: ISZERO
00000e33: DUP2
00000e34: MSTORE
00000e35: RETURN
00000e36: JUMPDEST
00000e37: CALLVALUE
00000e38: PUSH2 0x018a
00000e3b: JUMPI
00000e3c: PUSH1 0x20
00000e3e: CALLDATASIZE
00000e3f: PUSH1 0x03
00000e41: NOT
00000e42: ADD
00000e43: SLT
00000e44: PUSH2 0x018a
00000e47: JUMPI
00000e48: PUSH2 0x0e4f
00000e4b: PUSH2 0x155e
00000e4e: JUMP
00000e4f: JUMPDEST
00000e50: PUSH2 0x0e57
00000e53: PUSH2 0x1631
00000e56: JUMP
00000e57: JUMPDEST
00000e58: PUSH1 0x01
00000e5a: DUP1
00000e5b: PUSH1 0xa0
00000e5d: SHL
00000e5e: SUB
00000e5f: DUP1
00000e60: SWAP2
00000e61: AND
00000e62: SWAP1
00000e63: DUP2
00000e64: PUSH1 0x00
00000e66: MSTORE
00000e67: PUSH1 0x01
00000e69: SWAP1
00000e6a: DUP2
00000e6b: PUSH1 0x20
00000e6d: MSTORE
00000e6e: PUSH1 0xff
00000e70: PUSH1 0x40
00000e72: PUSH1 0x00
00000e74: KECCAK256
00000e75: SLOAD
00000e76: AND
00000e77: ISZERO
00000e78: PUSH2 0x0f7b
00000e7b: JUMPI
00000e7c: DUP3
00000e7d: PUSH1 0x00
00000e7f: MSTORE
00000e80: DUP2
00000e81: PUSH1 0x20
00000e83: MSTORE
00000e84: PUSH1 0x40
00000e86: PUSH1 0x00
00000e88: KECCAK256
00000e89: PUSH1 0xff
00000e8b: NOT
00000e8c: DUP2
00000e8d: SLOAD
00000e8e: AND
00000e8f: SWAP1
00000e90: SSTORE
00000e91: PUSH1 0x02
00000e93: DUP1
00000e94: SLOAD
00000e95: SWAP2
00000e96: PUSH1 0x00
00000e98: JUMPDEST
00000e99: DUP4
00000e9a: DUP2
00000e9b: LT
00000e9c: PUSH2 0x0ec8
00000e9f: JUMPI
00000ea0: JUMPDEST
00000ea1: DUP6
00000ea2: PUSH32 0x4c910b69fe65a61f7531b9c5042b2329ca7179c77290aa7e2eb3afa3c8511fd3
00000ec3: PUSH1 0x00
00000ec5: DUP1
00000ec6: LOG2
00000ec7: STOP
00000ec8: JUMPDEST
00000ec9: DUP2
00000eca: DUP7
00000ecb: PUSH2 0x0ed3
00000ece: DUP4
00000ecf: PUSH2 0x15d2
00000ed2: JUMP
00000ed3: JUMPDEST
00000ed4: SWAP3
00000ed5: SWAP1
00000ed6: SLOAD
00000ed7: PUSH1 0x03
00000ed9: SWAP4
00000eda: DUP5
00000edb: SHL
00000edc: SHR
00000edd: AND
00000ede: EQ
00000edf: PUSH2 0x0eea
00000ee2: JUMPI
00000ee3: POP
00000ee4: DUP5
00000ee5: ADD
00000ee6: PUSH2 0x0e98
00000ee9: JUMP
00000eea: JUMPDEST
00000eeb: SWAP3
00000eec: SWAP5
00000eed: POP
00000eee: PUSH1 0x00
00000ef0: NOT
00000ef1: SWAP4
00000ef2: SWAP1
00000ef3: SWAP2
00000ef4: DUP5
00000ef5: DUP3
00000ef6: ADD
00000ef7: SWAP2
00000ef8: DUP3
00000ef9: GT
00000efa: PUSH2 0x0f65
00000efd: JUMPI
00000efe: PUSH2 0x0f19
00000f01: SWAP4
00000f02: PUSH2 0x0f0d
00000f05: PUSH2 0x0274
00000f08: SWAP4
00000f09: PUSH2 0x15d2
00000f0c: JUMP
00000f0d: JUMPDEST
00000f0e: SWAP1
00000f0f: SLOAD
00000f10: SWAP2
00000f11: SHL
00000f12: SHR
00000f13: AND
00000f14: SWAP2
00000f15: PUSH2 0x15d2
00000f18: JUMP
00000f19: JUMPDEST
00000f1a: DUP2
00000f1b: SLOAD
00000f1c: DUP1
00000f1d: ISZERO
00000f1e: PUSH2 0x0f4f
00000f21: JUMPI
00000f22: ADD
00000f23: SWAP1
00000f24: PUSH2 0x0f44
00000f27: PUSH2 0x0f2f
00000f2a: DUP4
00000f2b: PUSH2 0x15d2
00000f2e: JUMP
00000f2f: JUMPDEST
00000f30: DUP2
00000f31: SLOAD
00000f32: SWAP1
00000f33: PUSH1 0x01
00000f35: DUP1
00000f36: PUSH1 0xa0
00000f38: SHL
00000f39: SUB
00000f3a: SWAP1
00000f3b: PUSH1 0x03
00000f3d: SHL
00000f3e: SHL
00000f3f: NOT
00000f40: AND
00000f41: SWAP1
00000f42: SSTORE
00000f43: JUMP
00000f44: JUMPDEST
00000f45: SSTORE
00000f46: DUP2
00000f47: DUP1
00000f48: DUP1
00000f49: DUP1
00000f4a: DUP1
00000f4b: PUSH2 0x0ea0
00000f4e: JUMP
00000f4f: JUMPDEST
00000f50: PUSH4 0x4e487b71
00000f55: PUSH1 0xe0
00000f57: SHL
00000f58: PUSH1 0x00
00000f5a: MSTORE
00000f5b: PUSH1 0x31
00000f5d: PUSH1 0x04
00000f5f: MSTORE
00000f60: PUSH1 0x24
00000f62: PUSH1 0x00
00000f64: REVERT
00000f65: JUMPDEST
00000f66: PUSH4 0x4e487b71
00000f6b: PUSH1 0xe0
00000f6d: SHL
00000f6e: PUSH1 0x00
00000f70: MSTORE
00000f71: PUSH1 0x11
00000f73: PUSH1 0x04
00000f75: MSTORE
00000f76: PUSH1 0x24
00000f78: PUSH1 0x00
00000f7a: REVERT
00000f7b: JUMPDEST
00000f7c: PUSH1 0x40
00000f7e: MLOAD
00000f7f: PUSH3 0x461bcd
00000f83: PUSH1 0xe5
00000f85: SHL
00000f86: DUP2
00000f87: MSTORE
00000f88: PUSH1 0x20
00000f8a: PUSH1 0x04
00000f8c: DUP3
00000f8d: ADD
00000f8e: MSTORE
00000f8f: PUSH1 0x16
00000f91: PUSH1 0x24
00000f93: DUP3
00000f94: ADD
00000f95: MSTORE
00000f96: PUSH22 0x151bdad95b881a5cc81b9bdd081cdd5c1c1bdc9d1959
00000fad: PUSH1 0x52
00000faf: SHL
00000fb0: PUSH1 0x44
00000fb2: DUP3
00000fb3: ADD
00000fb4: MSTORE
00000fb5: PUSH1 0x64
00000fb7: SWAP1
00000fb8: REVERT
00000fb9: JUMPDEST
00000fba: CALLVALUE
00000fbb: PUSH2 0x018a
00000fbe: JUMPI
00000fbf: PUSH1 0x20
00000fc1: CALLDATASIZE
00000fc2: PUSH1 0x03
00000fc4: NOT
00000fc5: ADD
00000fc6: SLT
00000fc7: PUSH2 0x018a
00000fca: JUMPI
00000fcb: PUSH32 0xf1c9188ac961e8bd19c50ac88f72f585b190a9af6d3796d2c5cfba24e9ec7a42
00000fec: PUSH1 0x80
00000fee: PUSH1 0x04
00000ff0: CALLDATALOAD
00000ff1: PUSH2 0x0ff8
00000ff4: PUSH2 0x1631
00000ff7: JUMP
00000ff8: JUMPDEST
00000ff9: PUSH2 0x1006
00000ffc: PUSH2 0x2710
00000fff: DUP3
00001000: GT
00001001: ISZERO
00001002: PUSH2 0x1c25
00001005: JUMP
00001006: JUMPDEST
00001007: DUP1
00001008: PUSH1 0x06
0000100a: SSTORE
0000100b: PUSH1 0x40
0000100d: MLOAD
0000100e: SWAP1
0000100f: DUP2
00001010: MSTORE
00001011: PUSH1 0x40
00001013: PUSH1 0x20
00001015: DUP3
00001016: ADD
00001017: MSTORE
00001018: PUSH1 0x06
0000101a: PUSH1 0x40
0000101c: DUP3
0000101d: ADD
0000101e: MSTORE
0000101f: PUSH6 0x72656465656d
00001026: PUSH1 0xd0
00001028: SHL
00001029: PUSH1 0x60
0000102b: DUP3
0000102c: ADD
0000102d: MSTORE
0000102e: LOG1
0000102f: STOP
00001030: JUMPDEST
00001031: CALLVALUE
00001032: PUSH2 0x018a
00001035: JUMPI
00001036: PUSH1 0x00
00001038: CALLDATASIZE
00001039: PUSH1 0x03
0000103b: NOT
0000103c: ADD
0000103d: SLT
0000103e: PUSH2 0x018a
00001041: JUMPI
00001042: PUSH1 0x20
00001044: PUSH1 0xff
00001046: PUSH1 0x00
00001048: SLOAD
00001049: PUSH1 0xa0
0000104b: SHR
0000104c: AND
0000104d: PUSH1 0x40
0000104f: MLOAD
00001050: SWAP1
00001051: ISZERO
00001052: ISZERO
00001053: DUP2
00001054: MSTORE
00001055: RETURN
00001056: JUMPDEST
00001057: CALLVALUE
00001058: PUSH2 0x018a
0000105b: JUMPI
0000105c: PUSH1 0x00
0000105e: CALLDATASIZE
0000105f: PUSH1 0x03
00001061: NOT
00001062: ADD
00001063: SLT
00001064: PUSH2 0x018a
00001067: JUMPI
00001068: PUSH1 0x20
0000106a: PUSH1 0x05
0000106c: SLOAD
0000106d: PUSH1 0x40
0000106f: MLOAD
00001070: SWAP1
00001071: DUP2
00001072: MSTORE
00001073: RETURN
00001074: JUMPDEST
00001075: CALLVALUE
00001076: PUSH2 0x018a
00001079: JUMPI
0000107a: PUSH1 0x00
0000107c: CALLDATASIZE
0000107d: PUSH1 0x03
0000107f: NOT
00001080: ADD
00001081: SLT
00001082: PUSH2 0x018a
00001085: JUMPI
00001086: PUSH2 0x108d
00001089: PUSH2 0x1631
0000108c: JUMP
0000108d: JUMPDEST
0000108e: PUSH1 0x00
00001090: SLOAD
00001091: PUSH1 0xff
00001093: DUP2
00001094: PUSH1 0xa0
00001096: SHR
00001097: AND
00001098: ISZERO
00001099: PUSH2 0x10d4
0000109c: JUMPI
0000109d: PUSH1 0xff
0000109f: PUSH1 0xa0
000010a1: SHL
000010a2: NOT
000010a3: AND
000010a4: PUSH1 0x00
000010a6: SSTORE
000010a7: PUSH1 0x40
000010a9: MLOAD
000010aa: CALLER
000010ab: DUP2
000010ac: MSTORE
000010ad: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
000010ce: SWAP1
000010cf: PUSH1 0x20
000010d1: SWAP1
000010d2: LOG1
000010d3: STOP
000010d4: JUMPDEST
000010d5: PUSH1 0x40
000010d7: MLOAD
000010d8: PUSH3 0x461bcd
000010dc: PUSH1 0xe5
000010de: SHL
000010df: DUP2
000010e0: MSTORE
000010e1: PUSH1 0x20
000010e3: PUSH1 0x04
000010e5: DUP3
000010e6: ADD
000010e7: MSTORE
000010e8: PUSH1 0x14
000010ea: PUSH1 0x24
000010ec: DUP3
000010ed: ADD
000010ee: MSTORE
000010ef: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959
00001104: PUSH1 0x62
00001106: SHL
00001107: PUSH1 0x44
00001109: DUP3
0000110a: ADD
0000110b: MSTORE
0000110c: PUSH1 0x64
0000110e: SWAP1
0000110f: REVERT
00001110: JUMPDEST
00001111: CALLVALUE
00001112: PUSH2 0x018a
00001115: JUMPI
00001116: PUSH1 0x20
00001118: CALLDATASIZE
00001119: PUSH1 0x03
0000111b: NOT
0000111c: ADD
0000111d: SLT
0000111e: PUSH2 0x018a
00001121: JUMPI
00001122: PUSH1 0x04
00001124: CALLDATALOAD
00001125: PUSH1 0x04
00001127: SLOAD
00001128: DUP2
00001129: LT
0000112a: ISZERO
0000112b: PUSH2 0x018a
0000112e: JUMPI
0000112f: PUSH2 0x1139
00001132: PUSH1 0x20
00001134: SWAP2
00001135: PUSH2 0x15a1
00001138: JUMP
00001139: JUMPDEST
0000113a: SWAP1
0000113b: SLOAD
0000113c: PUSH1 0x40
0000113e: MLOAD
0000113f: PUSH1 0x03
00001141: SWAP3
00001142: SWAP1
00001143: SWAP3
00001144: SHL
00001145: SHR
00001146: PUSH1 0x01
00001148: PUSH1 0x01
0000114a: PUSH1 0xa0
0000114c: SHL
0000114d: SUB
0000114e: AND
0000114f: DUP2
00001150: MSTORE
00001151: RETURN
00001152: JUMPDEST
00001153: CALLVALUE
00001154: PUSH2 0x018a
00001157: JUMPI
00001158: PUSH1 0x60
0000115a: CALLDATASIZE
0000115b: PUSH1 0x03
0000115d: NOT
0000115e: ADD
0000115f: SLT
00001160: PUSH2 0x018a
00001163: JUMPI
00001164: PUSH1 0x01
00001166: PUSH1 0x01
00001168: PUSH1 0x40
0000116a: SHL
0000116b: SUB
0000116c: PUSH1 0x04
0000116e: CALLDATALOAD
0000116f: PUSH1 0x24
00001171: CALLDATALOAD
00001172: DUP3
00001173: DUP2
00001174: GT
00001175: PUSH2 0x018a
00001178: JUMPI
00001179: PUSH2 0x1186
0000117c: SWAP1
0000117d: CALLDATASIZE
0000117e: SWAP1
0000117f: PUSH1 0x04
00001181: ADD
00001182: PUSH2 0x1574
00001185: JUMP
00001186: JUMPDEST
00001187: PUSH1 0x44
00001189: CALLDATALOAD
0000118a: PUSH1 0x01
0000118c: PUSH1 0x01
0000118e: PUSH1 0xa0
00001190: SHL
00001191: SUB
00001192: DUP2
00001193: AND
00001194: SWAP5
00001195: SWAP3
00001196: SWAP1
00001197: DUP6
00001198: SWAP1
00001199: SUB
0000119a: PUSH2 0x018a
0000119d: JUMPI
0000119e: PUSH2 0x11a5
000011a1: PUSH2 0x1719
000011a4: JUMP
000011a5: JUMPDEST
000011a6: DUP4
000011a7: ISZERO
000011a8: PUSH2 0x12d4
000011ab: JUMPI
000011ac: DUP5
000011ad: PUSH1 0x00
000011af: MSTORE
000011b0: PUSH1 0x01
000011b2: PUSH1 0x20
000011b4: MSTORE
000011b5: PUSH2 0x11c5
000011b8: PUSH1 0xff
000011ba: PUSH1 0x40
000011bc: PUSH1 0x00
000011be: KECCAK256
000011bf: SLOAD
000011c0: AND
000011c1: PUSH2 0x1689
000011c4: JUMP
000011c5: JUMPDEST
000011c6: PUSH2 0x11cf
000011c9: DUP3
000011ca: DUP3
000011cb: PUSH2 0x1d17
000011ce: JUMP
000011cf: JUMPDEST
000011d0: ISZERO
000011d1: PUSH2 0x1297
000011d4: JUMPI
000011d5: PUSH2 0x2710
000011d8: PUSH2 0x11e3
000011db: PUSH1 0x05
000011dd: SLOAD
000011de: DUP7
000011df: PUSH2 0x16cb
000011e2: JUMP
000011e3: JUMPDEST
000011e4: DIV
000011e5: SWAP3
000011e6: DUP6
000011e7: PUSH1 0x00
000011e9: MSTORE
000011ea: PUSH1 0x09
000011ec: PUSH1 0x20
000011ee: MSTORE
000011ef: PUSH1 0x40
000011f1: PUSH1 0x00
000011f3: KECCAK256
000011f4: PUSH2 0x11fe
000011f7: DUP6
000011f8: DUP3
000011f9: SLOAD
000011fa: PUSH2 0x16de
000011fd: JUMP
000011fe: JUMPDEST
000011ff: SWAP1
00001200: SSTORE
00001201: PUSH1 0x40
00001203: MLOAD
00001204: PUSH4 0x23b872dd
00001209: PUSH1 0xe0
0000120b: SHL
0000120c: PUSH1 0x20
0000120e: DUP3
0000120f: ADD
00001210: MSTORE
00001211: CALLER
00001212: PUSH1 0x24
00001214: DUP3
00001215: ADD
00001216: MSTORE
00001217: ADDRESS
00001218: PUSH1 0x44
0000121a: DUP3
0000121b: ADD
0000121c: MSTORE
0000121d: PUSH1 0x64
0000121f: DUP1
00001220: DUP3
00001221: ADD
00001222: DUP8
00001223: SWAP1
00001224: MSTORE
00001225: DUP2
00001226: MSTORE
00001227: PUSH1 0xa0
00001229: DUP2
0000122a: ADD
0000122b: SWAP2
0000122c: DUP3
0000122d: GT
0000122e: DUP2
0000122f: DUP4
00001230: LT
00001231: OR
00001232: PUSH2 0x02ba
00001235: JUMPI
00001236: PUSH32 0x78a4518c05c7ababe3937649e215d6c585b14a47a7936d03ebf0ec95544d5167
00001257: SWAP5
00001258: PUSH2 0x126b
0000125b: PUSH2 0x1271
0000125e: SWAP3
0000125f: PUSH2 0x1284
00001262: SWAP5
00001263: PUSH1 0x40
00001265: MSTORE
00001266: DUP10
00001267: PUSH2 0x179c
0000126a: JUMP
0000126b: JUMPDEST
0000126c: DUP7
0000126d: PUSH2 0x16eb
00001270: JUMP
00001271: JUMPDEST
00001272: SWAP2
00001273: PUSH1 0x40
00001275: MLOAD
00001276: SWAP4
00001277: PUSH1 0x60
00001279: DUP6
0000127a: MSTORE
0000127b: PUSH1 0x60
0000127d: DUP6
0000127e: ADD
0000127f: SWAP2
00001280: PUSH2 0x16f8
00001283: JUMP
00001284: JUMPDEST
00001285: SWAP4
00001286: PUSH1 0x20
00001288: DUP4
00001289: ADD
0000128a: MSTORE
0000128b: PUSH1 0x40
0000128d: DUP3
0000128e: ADD
0000128f: MSTORE
00001290: DUP1
00001291: CALLER
00001292: SWAP4
00001293: SUB
00001294: SWAP1
00001295: LOG3
00001296: STOP
00001297: JUMPDEST
00001298: PUSH1 0x40
0000129a: MLOAD
0000129b: PUSH3 0x461bcd
0000129f: PUSH1 0xe5
000012a1: SHL
000012a2: DUP2
000012a3: MSTORE
000012a4: PUSH1 0x20
000012a6: PUSH1 0x04
000012a8: DUP3
000012a9: ADD
000012aa: MSTORE
000012ab: PUSH1 0x15
000012ad: PUSH1 0x24
000012af: DUP3
000012b0: ADD
000012b1: MSTORE
000012b2: PUSH21 0x496e76616c6964204d617373612061646472657373
000012c8: PUSH1 0x58
000012ca: SHL
000012cb: PUSH1 0x44
000012cd: DUP3
000012ce: ADD
000012cf: MSTORE
000012d0: PUSH1 0x64
000012d2: SWAP1
000012d3: REVERT
000012d4: JUMPDEST
000012d5: PUSH1 0x40
000012d7: MLOAD
000012d8: PUSH3 0x461bcd
000012dc: PUSH1 0xe5
000012de: SHL
000012df: DUP2
000012e0: MSTORE
000012e1: PUSH1 0x20
000012e3: PUSH1 0x04
000012e5: DUP3
000012e6: ADD
000012e7: MSTORE
000012e8: PUSH1 0x1d
000012ea: PUSH1 0x24
000012ec: DUP3
000012ed: ADD
000012ee: MSTORE
000012ef: PUSH32 0x416d6f756e74206d7573742062652067726561746572207468616e2030000000
00001310: PUSH1 0x44
00001312: DUP3
00001313: ADD
00001314: MSTORE
00001315: PUSH1 0x64
00001317: SWAP1
00001318: REVERT
00001319: JUMPDEST
0000131a: CALLVALUE
0000131b: PUSH2 0x018a
0000131e: JUMPI
0000131f: PUSH1 0x20
00001321: DUP1
00001322: PUSH1 0x03
00001324: NOT
00001325: CALLDATASIZE
00001326: ADD
00001327: SLT
00001328: PUSH2 0x018a
0000132b: JUMPI
0000132c: PUSH2 0x1333
0000132f: PUSH2 0x155e
00001332: JUMP
00001333: JUMPDEST
00001334: PUSH1 0x07
00001336: SLOAD
00001337: PUSH1 0x01
00001339: PUSH1 0x01
0000133b: PUSH1 0xa0
0000133d: SHL
0000133e: SUB
0000133f: SWAP2
00001340: SWAP1
00001341: DUP3
00001342: AND
00001343: CALLER
00001344: EQ
00001345: DUP1
00001346: ISZERO
00001347: PUSH2 0x141c
0000134a: JUMPI
0000134b: JUMPDEST
0000134c: ISZERO
0000134d: PUSH2 0x13c1
00001350: JUMPI
00001351: PUSH1 0x00
00001353: JUMPDEST
00001354: PUSH1 0x02
00001356: SLOAD
00001357: DUP2
00001358: LT
00001359: ISZERO
0000135a: PUSH2 0x13bf
0000135d: JUMPI
0000135e: DUP1
0000135f: DUP4
00001360: PUSH2 0x136a
00001363: PUSH1 0x01
00001365: SWAP4
00001366: PUSH2 0x15d2
00001369: JUMP
0000136a: JUMPDEST
0000136b: SWAP1
0000136c: SLOAD
0000136d: SWAP1
0000136e: PUSH1 0x03
00001370: SHL
00001371: SHR
00001372: AND
00001373: DUP1
00001374: PUSH1 0x00
00001376: MSTORE
00001377: PUSH1 0x09
00001379: DUP7
0000137a: MSTORE
0000137b: PUSH32 0x9826687c41651ba69cea32ce3452ab6943e1e3df42b47269d3a4b7bb5ddf8807
0000139c: DUP7
0000139d: PUSH1 0x40
0000139f: PUSH1 0x00
000013a1: KECCAK256
000013a2: PUSH1 0x00
000013a4: DUP2
000013a5: SLOAD
000013a6: SWAP2
000013a7: SSTORE
000013a8: PUSH2 0x13b2
000013ab: DUP2
000013ac: DUP9
000013ad: DUP7
000013ae: PUSH2 0x1a02
000013b1: JUMP
000013b2: JUMPDEST
000013b3: PUSH1 0x40
000013b5: MLOAD
000013b6: SWAP1
000013b7: DUP2
000013b8: MSTORE
000013b9: LOG2
000013ba: ADD
000013bb: PUSH2 0x1353
000013be: JUMP
000013bf: JUMPDEST
000013c0: STOP
000013c1: JUMPDEST
000013c2: PUSH1 0x40
000013c4: MLOAD
000013c5: PUSH3 0x461bcd
000013c9: PUSH1 0xe5
000013cb: SHL
000013cc: DUP2
000013cd: MSTORE
000013ce: PUSH1 0x04
000013d0: DUP2
000013d1: ADD
000013d2: DUP5
000013d3: SWAP1
000013d4: MSTORE
000013d5: PUSH1 0x2d
000013d7: PUSH1 0x24
000013d9: DUP3
000013da: ADD
000013db: MSTORE
000013dc: PUSH32 0x4f6e6c79206d756c746973696741646d696e206f72206f776e65722063616e20
000013fd: PUSH1 0x44
000013ff: DUP3
00001400: ADD
00001401: MSTORE
00001402: PUSH13 0x77697468647261772066656573
00001410: PUSH1 0x98
00001412: SHL
00001413: PUSH1 0x64
00001415: DUP3
00001416: ADD
00001417: MSTORE
00001418: PUSH1 0x84
0000141a: SWAP1
0000141b: REVERT
0000141c: JUMPDEST
0000141d: POP
0000141e: DUP2
0000141f: PUSH1 0x00
00001421: SLOAD
00001422: AND
00001423: CALLER
00001424: EQ
00001425: PUSH2 0x134b
00001428: JUMP
00001429: JUMPDEST
0000142a: CALLVALUE
0000142b: PUSH2 0x018a
0000142e: JUMPI
0000142f: PUSH1 0x20
00001431: CALLDATASIZE
00001432: PUSH1 0x03
00001434: NOT
00001435: ADD
00001436: SLT
00001437: PUSH2 0x018a
0000143a: JUMPI
0000143b: PUSH2 0x1442
0000143e: PUSH2 0x155e
00001441: JUMP
00001442: JUMPDEST
00001443: PUSH2 0x144a
00001446: PUSH2 0x1631
00001449: JUMP
0000144a: JUMPDEST
0000144b: PUSH1 0x04
0000144d: SLOAD
0000144e: SWAP1
0000144f: PUSH1 0x08
00001451: SLOAD
00001452: DUP3
00001453: GT
00001454: ISZERO
00001455: PUSH2 0x1500
00001458: JUMPI
00001459: PUSH1 0x01
0000145b: PUSH1 0x01
0000145d: PUSH1 0xa0
0000145f: SHL
00001460: SUB
00001461: SWAP1
00001462: DUP2
00001463: AND
00001464: SWAP2
00001465: SWAP1
00001466: PUSH1 0x00
00001468: JUMPDEST
00001469: DUP3
0000146a: DUP2
0000146b: LT
0000146c: PUSH2 0x1471
0000146f: JUMPI
00001470: STOP
00001471: JUMPDEST
00001472: DUP2
00001473: DUP5
00001474: PUSH2 0x147c
00001477: DUP4
00001478: PUSH2 0x15a1
0000147b: JUMP
0000147c: JUMPDEST
0000147d: SWAP3
0000147e: SWAP1
0000147f: SLOAD
00001480: PUSH1 0x03
00001482: SWAP4
00001483: DUP5
00001484: SHL
00001485: SHR
00001486: AND
00001487: EQ
00001488: PUSH2 0x1494
0000148b: JUMPI
0000148c: POP
0000148d: PUSH1 0x01
0000148f: ADD
00001490: PUSH2 0x1468
00001493: JUMP
00001494: JUMPDEST
00001495: PUSH1 0x00
00001497: NOT
00001498: SWAP4
00001499: SWAP1
0000149a: SWAP3
0000149b: DUP5
0000149c: DUP3
0000149d: ADD
0000149e: SWAP2
0000149f: DUP3
000014a0: GT
000014a1: PUSH2 0x0f65
000014a4: JUMPI
000014a5: PUSH2 0x14c0
000014a8: SWAP4
000014a9: PUSH2 0x14b4
000014ac: PUSH2 0x0274
000014af: SWAP4
000014b0: PUSH2 0x15a1
000014b3: JUMP
000014b4: JUMPDEST
000014b5: SWAP1
000014b6: SLOAD
000014b7: SWAP2
000014b8: SHL
000014b9: SHR
000014ba: AND
000014bb: SWAP2
000014bc: PUSH2 0x15a1
000014bf: JUMP
000014c0: JUMPDEST
000014c1: PUSH1 0x04
000014c3: SLOAD
000014c4: DUP1
000014c5: ISZERO
000014c6: PUSH2 0x0f4f
000014c9: JUMPI
000014ca: ADD
000014cb: PUSH2 0x14d6
000014ce: PUSH2 0x0f2f
000014d1: DUP3
000014d2: PUSH2 0x15a1
000014d5: JUMP
000014d6: JUMPDEST
000014d7: PUSH1 0x04
000014d9: SSTORE
000014da: PUSH32 0x3525e22824a8a7df2c9a6029941c824cf95b6447f1e13d5128fd3826d35afe8b
000014fb: PUSH1 0x00
000014fd: DUP1
000014fe: LOG2
000014ff: STOP
00001500: JUMPDEST
00001501: PUSH1 0x40
00001503: MLOAD
00001504: PUSH3 0x461bcd
00001508: PUSH1 0xe5
0000150a: SHL
0000150b: DUP2
0000150c: MSTORE
0000150d: PUSH1 0x20
0000150f: PUSH1 0x04
00001511: DUP3
00001512: ADD
00001513: MSTORE
00001514: PUSH1 0x30
00001516: PUSH1 0x24
00001518: DUP3
00001519: ADD
0000151a: MSTORE
0000151b: PUSH32 0x4e756d626572206f66207369676e657273206d75737420626520677265617465
0000153c: PUSH1 0x44
0000153e: DUP3
0000153f: ADD
00001540: MSTORE
00001541: PUSH16 0x1c881d1a185b881d1a1c995cda1bdb19
00001552: PUSH1 0x82
00001554: SHL
00001555: PUSH1 0x64
00001557: DUP3
00001558: ADD
00001559: MSTORE
0000155a: PUSH1 0x84
0000155c: SWAP1
0000155d: REVERT
0000155e: JUMPDEST
0000155f: PUSH1 0x04
00001561: CALLDATALOAD
00001562: SWAP1
00001563: PUSH1 0x01
00001565: PUSH1 0x01
00001567: PUSH1 0xa0
00001569: SHL
0000156a: SUB
0000156b: DUP3
0000156c: AND
0000156d: DUP3
0000156e: SUB
0000156f: PUSH2 0x018a
00001572: JUMPI
00001573: JUMP
00001574: JUMPDEST
00001575: SWAP2
00001576: DUP2
00001577: PUSH1 0x1f
00001579: DUP5
0000157a: ADD
0000157b: SLT
0000157c: ISZERO
0000157d: PUSH2 0x018a
00001580: JUMPI
00001581: DUP3
00001582: CALLDATALOAD
00001583: SWAP2
00001584: PUSH1 0x01
00001586: PUSH1 0x01
00001588: PUSH1 0x40
0000158a: SHL
0000158b: SUB
0000158c: DUP4
0000158d: GT
0000158e: PUSH2 0x018a
00001591: JUMPI
00001592: PUSH1 0x20
00001594: DUP4
00001595: DUP2
00001596: DUP7
00001597: ADD
00001598: SWAP6
00001599: ADD
0000159a: ADD
0000159b: GT
0000159c: PUSH2 0x018a
0000159f: JUMPI
000015a0: JUMP
000015a1: JUMPDEST
000015a2: PUSH1 0x04
000015a4: SLOAD
000015a5: DUP2
000015a6: LT
000015a7: ISZERO
000015a8: PUSH2 0x15bc
000015ab: JUMPI
000015ac: PUSH1 0x04
000015ae: PUSH1 0x00
000015b0: MSTORE
000015b1: PUSH1 0x20
000015b3: PUSH1 0x00
000015b5: KECCAK256
000015b6: ADD
000015b7: SWAP1
000015b8: PUSH1 0x00
000015ba: SWAP1
000015bb: JUMP
000015bc: JUMPDEST
000015bd: PUSH4 0x4e487b71
000015c2: PUSH1 0xe0
000015c4: SHL
000015c5: PUSH1 0x00
000015c7: MSTORE
000015c8: PUSH1 0x32
000015ca: PUSH1 0x04
000015cc: MSTORE
000015cd: PUSH1 0x24
000015cf: PUSH1 0x00
000015d1: REVERT
000015d2: JUMPDEST
000015d3: PUSH1 0x02
000015d5: SLOAD
000015d6: DUP2
000015d7: LT
000015d8: ISZERO
000015d9: PUSH2 0x15bc
000015dc: JUMPI
000015dd: PUSH1 0x02
000015df: PUSH1 0x00
000015e1: MSTORE
000015e2: PUSH1 0x20
000015e4: PUSH1 0x00
000015e6: KECCAK256
000015e7: ADD
000015e8: SWAP1
000015e9: PUSH1 0x00
000015eb: SWAP1
000015ec: JUMP
000015ed: JUMPDEST
000015ee: PUSH1 0x20
000015f0: SWAP1
000015f1: DUP2
000015f2: PUSH1 0x40
000015f4: DUP2
000015f5: DUP4
000015f6: ADD
000015f7: SWAP3
000015f8: DUP3
000015f9: DUP2
000015fa: MSTORE
000015fb: DUP6
000015fc: MLOAD
000015fd: DUP1
000015fe: SWAP5
000015ff: MSTORE
00001600: ADD
00001601: SWAP4
00001602: ADD
00001603: SWAP2
00001604: PUSH1 0x00
00001606: JUMPDEST
00001607: DUP3
00001608: DUP2
00001609: LT
0000160a: PUSH2 0x1614
0000160d: JUMPI
0000160e: POP
0000160f: POP
00001610: POP
00001611: POP
00001612: SWAP1
00001613: JUMP
00001614: JUMPDEST
00001615: DUP4
00001616: MLOAD
00001617: PUSH1 0x01
00001619: PUSH1 0x01
0000161b: PUSH1 0xa0
0000161d: SHL
0000161e: SUB
0000161f: AND
00001620: DUP6
00001621: MSTORE
00001622: SWAP4
00001623: DUP2
00001624: ADD
00001625: SWAP4
00001626: SWAP3
00001627: DUP2
00001628: ADD
00001629: SWAP3
0000162a: PUSH1 0x01
0000162c: ADD
0000162d: PUSH2 0x1606
00001630: JUMP
00001631: JUMPDEST
00001632: PUSH1 0x00
00001634: SLOAD
00001635: PUSH1 0x01
00001637: PUSH1 0x01
00001639: PUSH1 0xa0
0000163b: SHL
0000163c: SUB
0000163d: AND
0000163e: CALLER
0000163f: SUB
00001640: PUSH2 0x1645
00001643: JUMPI
00001644: JUMP
00001645: JUMPDEST
00001646: PUSH1 0x64
00001648: PUSH1 0x40
0000164a: MLOAD
0000164b: PUSH3 0x461bcd
0000164f: PUSH1 0xe5
00001651: SHL
00001652: DUP2
00001653: MSTORE
00001654: PUSH1 0x20
00001656: PUSH1 0x04
00001658: DUP3
00001659: ADD
0000165a: MSTORE
0000165b: PUSH1 0x20
0000165d: PUSH1 0x24
0000165f: DUP3
00001660: ADD
00001661: MSTORE
00001662: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001683: PUSH1 0x44
00001685: DUP3
00001686: ADD
00001687: MSTORE
00001688: REVERT
00001689: JUMPDEST
0000168a: ISZERO
0000168b: PUSH2 0x1690
0000168e: JUMPI
0000168f: JUMP
00001690: JUMPDEST
00001691: PUSH1 0x40
00001693: MLOAD
00001694: PUSH3 0x461bcd
00001698: PUSH1 0xe5
0000169a: SHL
0000169b: DUP2
0000169c: MSTORE
0000169d: PUSH1 0x20
0000169f: PUSH1 0x04
000016a1: DUP3
000016a2: ADD
000016a3: MSTORE
000016a4: PUSH1 0x13
000016a6: PUSH1 0x24
000016a8: DUP3
000016a9: ADD
000016aa: MSTORE
000016ab: PUSH19 0x151bdad95b881b9bdd081cdd5c1c1bdc9d1959
000016bf: PUSH1 0x6a
000016c1: SHL
000016c2: PUSH1 0x44
000016c4: DUP3
000016c5: ADD
000016c6: MSTORE
000016c7: PUSH1 0x64
000016c9: SWAP1
000016ca: REVERT
000016cb: JUMPDEST
000016cc: DUP2
000016cd: DUP2
000016ce: MUL
000016cf: SWAP3
000016d0: SWAP2
000016d1: DUP2
000016d2: ISZERO
000016d3: SWAP2
000016d4: DUP5
000016d5: DIV
000016d6: EQ
000016d7: OR
000016d8: ISZERO
000016d9: PUSH2 0x0f65
000016dc: JUMPI
000016dd: JUMP
000016de: JUMPDEST
000016df: SWAP2
000016e0: SWAP1
000016e1: DUP3
000016e2: ADD
000016e3: DUP1
000016e4: SWAP3
000016e5: GT
000016e6: PUSH2 0x0f65
000016e9: JUMPI
000016ea: JUMP
000016eb: JUMPDEST
000016ec: SWAP2
000016ed: SWAP1
000016ee: DUP3
000016ef: SUB
000016f0: SWAP2
000016f1: DUP3
000016f2: GT
000016f3: PUSH2 0x0f65
000016f6: JUMPI
000016f7: JUMP
000016f8: JUMPDEST
000016f9: SWAP1
000016fa: DUP1
000016fb: PUSH1 0x20
000016fd: SWAP4
000016fe: SWAP3
000016ff: DUP2
00001700: DUP5
00001701: MSTORE
00001702: DUP5
00001703: DUP5
00001704: ADD
00001705: CALLDATACOPY
00001706: PUSH1 0x00
00001708: DUP3
00001709: DUP3
0000170a: ADD
0000170b: DUP5
0000170c: ADD
0000170d: MSTORE
0000170e: PUSH1 0x1f
00001710: ADD
00001711: PUSH1 0x1f
00001713: NOT
00001714: AND
00001715: ADD
00001716: ADD
00001717: SWAP1
00001718: JUMP
00001719: JUMPDEST
0000171a: PUSH1 0xff
0000171c: PUSH1 0x00
0000171e: SLOAD
0000171f: PUSH1 0xa0
00001721: SHR
00001722: AND
00001723: PUSH2 0x1728
00001726: JUMPI
00001727: JUMP
00001728: JUMPDEST
00001729: PUSH1 0x40
0000172b: MLOAD
0000172c: PUSH3 0x461bcd
00001730: PUSH1 0xe5
00001732: SHL
00001733: DUP2
00001734: MSTORE
00001735: PUSH1 0x20
00001737: PUSH1 0x04
00001739: DUP3
0000173a: ADD
0000173b: MSTORE
0000173c: PUSH1 0x10
0000173e: PUSH1 0x24
00001740: DUP3
00001741: ADD
00001742: MSTORE
00001743: PUSH16 0x14185d5cd8589b194e881c185d5cd959
00001754: PUSH1 0x82
00001756: SHL
00001757: PUSH1 0x44
00001759: DUP3
0000175a: ADD
0000175b: MSTORE
0000175c: PUSH1 0x64
0000175e: SWAP1
0000175f: REVERT
00001760: JUMPDEST
00001761: SWAP1
00001762: PUSH1 0x1f
00001764: DUP1
00001765: NOT
00001766: SWAP2
00001767: ADD
00001768: AND
00001769: DUP2
0000176a: ADD
0000176b: SWAP1
0000176c: DUP2
0000176d: LT
0000176e: PUSH1 0x01
00001770: PUSH1 0x01
00001772: PUSH1 0x40
00001774: SHL
00001775: SUB
00001776: DUP3
00001777: GT
00001778: OR
00001779: PUSH2 0x02ba
0000177c: JUMPI
0000177d: PUSH1 0x40
0000177f: MSTORE
00001780: JUMP
00001781: JUMPDEST
00001782: PUSH1 0x01
00001784: PUSH1 0x01
00001786: PUSH1 0x40
00001788: SHL
00001789: SUB
0000178a: DUP2
0000178b: GT
0000178c: PUSH2 0x02ba
0000178f: JUMPI
00001790: PUSH1 0x1f
00001792: ADD
00001793: PUSH1 0x1f
00001795: NOT
00001796: AND
00001797: PUSH1 0x20
00001799: ADD
0000179a: SWAP1
0000179b: JUMP
0000179c: JUMPDEST
0000179d: PUSH1 0x01
0000179f: DUP1
000017a0: PUSH1 0xa0
000017a2: SHL
000017a3: SUB
000017a4: AND
000017a5: SWAP1
000017a6: PUSH1 0x40
000017a8: MLOAD
000017a9: PUSH1 0x40
000017ab: DUP2
000017ac: ADD
000017ad: SWAP1
000017ae: DUP1
000017af: DUP3
000017b0: LT
000017b1: PUSH1 0x01
000017b3: PUSH1 0x01
000017b5: PUSH1 0x40
000017b7: SHL
000017b8: SUB
000017b9: DUP4
000017ba: GT
000017bb: OR
000017bc: PUSH2 0x02ba
000017bf: JUMPI
000017c0: PUSH2 0x182b
000017c3: SWAP2
000017c4: PUSH1 0x40
000017c6: MSTORE
000017c7: PUSH1 0x20
000017c9: SWAP4
000017ca: DUP5
000017cb: DUP3
000017cc: MSTORE
000017cd: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000017ee: DUP6
000017ef: DUP4
000017f0: ADD
000017f1: MSTORE
000017f2: PUSH1 0x00
000017f4: DUP1
000017f5: DUP6
000017f6: DUP8
000017f7: DUP3
000017f8: SWAP8
000017f9: MLOAD
000017fa: SWAP2
000017fb: ADD
000017fc: DUP3
000017fd: DUP6
000017fe: GAS
000017ff: CALL
00001800: RETURNDATASIZE
00001801: ISZERO
00001802: PUSH2 0x18c8
00001805: JUMPI
00001806: RETURNDATASIZE
00001807: SWAP2
00001808: PUSH2 0x1810
0000180b: DUP4
0000180c: PUSH2 0x1781
0000180f: JUMP
00001810: JUMPDEST
00001811: SWAP3
00001812: PUSH2 0x181e
00001815: PUSH1 0x40
00001817: MLOAD
00001818: SWAP5
00001819: DUP6
0000181a: PUSH2 0x1760
0000181d: JUMP
0000181e: JUMPDEST
0000181f: DUP4
00001820: MSTORE
00001821: RETURNDATASIZE
00001822: DUP7
00001823: DUP9
00001824: DUP6
00001825: ADD
00001826: RETURNDATACOPY
00001827: PUSH2 0x18cc
0000182a: JUMP
0000182b: JUMPDEST
0000182c: DUP1
0000182d: MLOAD
0000182e: SWAP2
0000182f: DUP3
00001830: ISZERO
00001831: SWAP2
00001832: DUP5
00001833: DUP4
00001834: ISZERO
00001835: PUSH2 0x189d
00001838: JUMPI
00001839: JUMPDEST
0000183a: POP
0000183b: POP
0000183c: POP
0000183d: SWAP1
0000183e: POP
0000183f: ISZERO
00001840: PUSH2 0x1846
00001843: JUMPI
00001844: POP
00001845: JUMP
00001846: JUMPDEST
00001847: PUSH1 0x84
00001849: SWAP1
0000184a: PUSH1 0x40
0000184c: MLOAD
0000184d: SWAP1
0000184e: PUSH3 0x461bcd
00001852: PUSH1 0xe5
00001854: SHL
00001855: DUP3
00001856: MSTORE
00001857: PUSH1 0x04
00001859: DUP3
0000185a: ADD
0000185b: MSTORE
0000185c: PUSH1 0x2a
0000185e: PUSH1 0x24
00001860: DUP3
00001861: ADD
00001862: MSTORE
00001863: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00001884: PUSH1 0x44
00001886: DUP3
00001887: ADD
00001888: MSTORE
00001889: PUSH10 0x1bdd081cdd58d8d95959
00001894: PUSH1 0xb2
00001896: SHL
00001897: PUSH1 0x64
00001899: DUP3
0000189a: ADD
0000189b: MSTORE
0000189c: REVERT
0000189d: JUMPDEST
0000189e: SWAP2
0000189f: SWAP4
000018a0: DUP2
000018a1: DUP1
000018a2: SWAP5
000018a3: POP
000018a4: ADD
000018a5: SUB
000018a6: SLT
000018a7: PUSH2 0x18c4
000018aa: JUMPI
000018ab: DUP3
000018ac: ADD
000018ad: MLOAD
000018ae: SWAP1
000018af: DUP2
000018b0: ISZERO
000018b1: ISZERO
000018b2: DUP3
000018b3: SUB
000018b4: PUSH2 0x18c1
000018b7: JUMPI
000018b8: POP
000018b9: DUP1
000018ba: CODESIZE
000018bb: DUP1
000018bc: DUP5
000018bd: PUSH2 0x1839
000018c0: JUMP
000018c1: JUMPDEST
000018c2: DUP1
000018c3: REVERT
000018c4: JUMPDEST
000018c5: POP
000018c6: DUP1
000018c7: REVERT
000018c8: JUMPDEST
000018c9: PUSH1 0x60
000018cb: SWAP2
000018cc: JUMPDEST
000018cd: SWAP2
000018ce: SWAP3
000018cf: SWAP1
000018d0: ISZERO
000018d1: PUSH2 0x192e
000018d4: JUMPI
000018d5: POP
000018d6: DUP2
000018d7: MLOAD
000018d8: ISZERO
000018d9: PUSH2 0x18e0
000018dc: JUMPI
000018dd: POP
000018de: SWAP1
000018df: JUMP
000018e0: JUMPDEST
000018e1: EXTCODESIZE
000018e2: ISZERO
000018e3: PUSH2 0x18e9
000018e6: JUMPI
000018e7: SWAP1
000018e8: JUMP
000018e9: JUMPDEST
000018ea: PUSH1 0x40
000018ec: MLOAD
000018ed: PUSH3 0x461bcd
000018f1: PUSH1 0xe5
000018f3: SHL
000018f4: DUP2
000018f5: MSTORE
000018f6: PUSH1 0x20
000018f8: PUSH1 0x04
000018fa: DUP3
000018fb: ADD
000018fc: MSTORE
000018fd: PUSH1 0x1d
000018ff: PUSH1 0x24
00001901: DUP3
00001902: ADD
00001903: MSTORE
00001904: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00001925: PUSH1 0x44
00001927: DUP3
00001928: ADD
00001929: MSTORE
0000192a: PUSH1 0x64
0000192c: SWAP1
0000192d: REVERT
0000192e: JUMPDEST
0000192f: DUP3
00001930: MLOAD
00001931: SWAP1
00001932: SWAP2
00001933: POP
00001934: ISZERO
00001935: PUSH2 0x1941
00001938: JUMPI
00001939: POP
0000193a: DUP1
0000193b: MLOAD
0000193c: SWAP1
0000193d: PUSH1 0x20
0000193f: ADD
00001940: REVERT
00001941: JUMPDEST
00001942: PUSH1 0x40
00001944: MLOAD
00001945: SWAP1
00001946: PUSH3 0x461bcd
0000194a: PUSH1 0xe5
0000194c: SHL
0000194d: DUP3
0000194e: MSTORE
0000194f: DUP2
00001950: PUSH1 0x20
00001952: DUP1
00001953: PUSH1 0x04
00001955: DUP4
00001956: ADD
00001957: MSTORE
00001958: DUP3
00001959: MLOAD
0000195a: SWAP1
0000195b: DUP2
0000195c: PUSH1 0x24
0000195e: DUP5
0000195f: ADD
00001960: MSTORE
00001961: PUSH1 0x00
00001963: SWAP4
00001964: JUMPDEST
00001965: DUP3
00001966: DUP6
00001967: LT
00001968: PUSH2 0x1987
0000196b: JUMPI
0000196c: POP
0000196d: POP
0000196e: PUSH1 0x44
00001970: SWAP3
00001971: POP
00001972: PUSH1 0x00
00001974: DUP4
00001975: DUP3
00001976: DUP5
00001977: ADD
00001978: ADD
00001979: MSTORE
0000197a: PUSH1 0x1f
0000197c: DUP1
0000197d: NOT
0000197e: SWAP2
0000197f: ADD
00001980: AND
00001981: DUP2
00001982: ADD
00001983: SUB
00001984: ADD
00001985: SWAP1
00001986: REVERT
00001987: JUMPDEST
00001988: DUP5
00001989: DUP2
0000198a: ADD
0000198b: DUP3
0000198c: ADD
0000198d: MLOAD
0000198e: DUP7
0000198f: DUP7
00001990: ADD
00001991: PUSH1 0x44
00001993: ADD
00001994: MSTORE
00001995: SWAP4
00001996: DUP2
00001997: ADD
00001998: SWAP4
00001999: DUP6
0000199a: SWAP4
0000199b: POP
0000199c: PUSH2 0x1964
0000199f: JUMP
000019a0: JUMPDEST
000019a1: PUSH1 0x01
000019a3: PUSH1 0x01
000019a5: PUSH1 0x40
000019a7: SHL
000019a8: SUB
000019a9: DUP2
000019aa: GT
000019ab: PUSH2 0x02ba
000019ae: JUMPI
000019af: PUSH1 0x05
000019b1: SHL
000019b2: PUSH1 0x20
000019b4: ADD
000019b5: SWAP1
000019b6: JUMP
000019b7: JUMPDEST
000019b8: SWAP3
000019b9: SWAP2
000019ba: SWAP3
000019bb: PUSH2 0x19c3
000019be: DUP3
000019bf: PUSH2 0x1781
000019c2: JUMP
000019c3: JUMPDEST
000019c4: SWAP2
000019c5: PUSH2 0x19d1
000019c8: PUSH1 0x40
000019ca: MLOAD
000019cb: SWAP4
000019cc: DUP5
000019cd: PUSH2 0x1760
000019d0: JUMP
000019d1: JUMPDEST
000019d2: DUP3
000019d3: SWAP5
000019d4: DUP2
000019d5: DUP5
000019d6: MSTORE
000019d7: DUP2
000019d8: DUP4
000019d9: ADD
000019da: GT
000019db: PUSH2 0x018a
000019de: JUMPI
000019df: DUP3
000019e0: DUP2
000019e1: PUSH1 0x20
000019e3: SWAP4
000019e4: DUP5
000019e5: PUSH1 0x00
000019e7: SWAP7
000019e8: ADD
000019e9: CALLDATACOPY
000019ea: ADD
000019eb: ADD
000019ec: MSTORE
000019ed: JUMP
000019ee: JUMPDEST
000019ef: DUP1
000019f0: MLOAD
000019f1: DUP3
000019f2: LT
000019f3: ISZERO
000019f4: PUSH2 0x15bc
000019f7: JUMPI
000019f8: PUSH1 0x20
000019fa: SWAP2
000019fb: PUSH1 0x05
000019fd: SHL
000019fe: ADD
000019ff: ADD
00001a00: SWAP1
00001a01: JUMP
00001a02: JUMPDEST
00001a03: PUSH1 0x40
00001a05: MLOAD
00001a06: PUSH4 0xa9059cbb
00001a0b: PUSH1 0xe0
00001a0d: SHL
00001a0e: PUSH1 0x20
00001a10: DUP3
00001a11: ADD
00001a12: MSTORE
00001a13: PUSH1 0x01
00001a15: PUSH1 0x01
00001a17: PUSH1 0xa0
00001a19: SHL
00001a1a: SUB
00001a1b: SWAP1
00001a1c: SWAP3
00001a1d: AND
00001a1e: PUSH1 0x24
00001a20: DUP4
00001a21: ADD
00001a22: MSTORE
00001a23: PUSH1 0x44
00001a25: DUP1
00001a26: DUP4
00001a27: ADD
00001a28: SWAP4
00001a29: SWAP1
00001a2a: SWAP4
00001a2b: MSTORE
00001a2c: SWAP2
00001a2d: DUP2
00001a2e: MSTORE
00001a2f: PUSH1 0x80
00001a31: DUP2
00001a32: ADD
00001a33: SWAP2
00001a34: PUSH1 0x01
00001a36: PUSH1 0x01
00001a38: PUSH1 0x40
00001a3a: SHL
00001a3b: SUB
00001a3c: DUP4
00001a3d: GT
00001a3e: DUP3
00001a3f: DUP5
00001a40: LT
00001a41: OR
00001a42: PUSH2 0x02ba
00001a45: JUMPI
00001a46: PUSH2 0x1a51
00001a49: SWAP3
00001a4a: PUSH1 0x40
00001a4c: MSTORE
00001a4d: PUSH2 0x179c
00001a50: JUMP
00001a51: JUMPDEST
00001a52: JUMP
00001a53: JUMPDEST
00001a54: PUSH1 0x05
00001a56: DUP2
00001a57: LT
00001a58: ISZERO
00001a59: PUSH2 0x1b52
00001a5c: JUMPI
00001a5d: DUP1
00001a5e: PUSH2 0x1a64
00001a61: JUMPI
00001a62: POP
00001a63: JUMP
00001a64: JUMPDEST
00001a65: PUSH1 0x01
00001a67: DUP2
00001a68: SUB
00001a69: PUSH2 0x1aac
00001a6c: JUMPI
00001a6d: PUSH1 0x40
00001a6f: MLOAD
00001a70: PUSH3 0x461bcd
00001a74: PUSH1 0xe5
00001a76: SHL
00001a77: DUP2
00001a78: MSTORE
00001a79: PUSH1 0x20
00001a7b: PUSH1 0x04
00001a7d: DUP3
00001a7e: ADD
00001a7f: MSTORE
00001a80: PUSH1 0x18
00001a82: PUSH1 0x24
00001a84: DUP3
00001a85: ADD
00001a86: MSTORE
00001a87: PUSH24 0x45434453413a20696e76616c6964207369676e6174757265
00001aa0: PUSH1 0x40
00001aa2: SHL
00001aa3: PUSH1 0x44
00001aa5: DUP3
00001aa6: ADD
00001aa7: MSTORE
00001aa8: PUSH1 0x64
00001aaa: SWAP1
00001aab: REVERT
00001aac: JUMPDEST
00001aad: PUSH1 0x02
00001aaf: DUP2
00001ab0: SUB
00001ab1: PUSH2 0x1af9
00001ab4: JUMPI
00001ab5: PUSH1 0x40
00001ab7: MLOAD
00001ab8: PUSH3 0x461bcd
00001abc: PUSH1 0xe5
00001abe: SHL
00001abf: DUP2
00001ac0: MSTORE
00001ac1: PUSH1 0x20
00001ac3: PUSH1 0x04
00001ac5: DUP3
00001ac6: ADD
00001ac7: MSTORE
00001ac8: PUSH1 0x1f
00001aca: PUSH1 0x24
00001acc: DUP3
00001acd: ADD
00001ace: MSTORE
00001acf: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265206c656e67746800
00001af0: PUSH1 0x44
00001af2: DUP3
00001af3: ADD
00001af4: MSTORE
00001af5: PUSH1 0x64
00001af7: SWAP1
00001af8: REVERT
00001af9: JUMPDEST
00001afa: PUSH1 0x03
00001afc: EQ
00001afd: PUSH2 0x1b02
00001b00: JUMPI
00001b01: JUMP
00001b02: JUMPDEST
00001b03: PUSH1 0x40
00001b05: MLOAD
00001b06: PUSH3 0x461bcd
00001b0a: PUSH1 0xe5
00001b0c: SHL
00001b0d: DUP2
00001b0e: MSTORE
00001b0f: PUSH1 0x20
00001b11: PUSH1 0x04
00001b13: DUP3
00001b14: ADD
00001b15: MSTORE
00001b16: PUSH1 0x22
00001b18: PUSH1 0x24
00001b1a: DUP3
00001b1b: ADD
00001b1c: MSTORE
00001b1d: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202773272076616c
00001b3e: PUSH1 0x44
00001b40: DUP3
00001b41: ADD
00001b42: MSTORE
00001b43: PUSH2 0x7565
00001b46: PUSH1 0xf0
00001b48: SHL
00001b49: PUSH1 0x64
00001b4b: DUP3
00001b4c: ADD
00001b4d: MSTORE
00001b4e: PUSH1 0x84
00001b50: SWAP1
00001b51: REVERT
00001b52: JUMPDEST
00001b53: PUSH4 0x4e487b71
00001b58: PUSH1 0xe0
00001b5a: SHL
00001b5b: PUSH1 0x00
00001b5d: MSTORE
00001b5e: PUSH1 0x21
00001b60: PUSH1 0x04
00001b62: MSTORE
00001b63: PUSH1 0x24
00001b65: PUSH1 0x00
00001b67: REVERT
00001b68: JUMPDEST
00001b69: SWAP1
00001b6a: PUSH1 0x41
00001b6c: DUP2
00001b6d: MLOAD
00001b6e: EQ
00001b6f: PUSH1 0x00
00001b71: EQ
00001b72: PUSH2 0x1b96
00001b75: JUMPI
00001b76: PUSH2 0x1b92
00001b79: SWAP2
00001b7a: PUSH1 0x20
00001b7c: DUP3
00001b7d: ADD
00001b7e: MLOAD
00001b7f: SWAP1
00001b80: PUSH1 0x60
00001b82: PUSH1 0x40
00001b84: DUP5
00001b85: ADD
00001b86: MLOAD
00001b87: SWAP4
00001b88: ADD
00001b89: MLOAD
00001b8a: PUSH1 0x00
00001b8c: BYTE
00001b8d: SWAP1
00001b8e: PUSH2 0x1ba0
00001b91: JUMP
00001b92: JUMPDEST
00001b93: SWAP1
00001b94: SWAP2
00001b95: JUMP
00001b96: JUMPDEST
00001b97: POP
00001b98: POP
00001b99: PUSH1 0x00
00001b9b: SWAP1
00001b9c: PUSH1 0x02
00001b9e: SWAP1
00001b9f: JUMP
00001ba0: JUMPDEST
00001ba1: SWAP3
00001ba2: SWAP2
00001ba3: SWAP1
00001ba4: PUSH16 0xa2a8918ca85bafe22016d0b997e4df60
00001bb5: PUSH1 0x01
00001bb7: PUSH1 0xff
00001bb9: SHL
00001bba: SUB
00001bbb: DUP4
00001bbc: GT
00001bbd: PUSH2 0x1c19
00001bc0: JUMPI
00001bc1: SWAP2
00001bc2: PUSH1 0x80
00001bc4: SWAP5
00001bc5: SWAP4
00001bc6: SWAP2
00001bc7: PUSH1 0xff
00001bc9: PUSH1 0x20
00001bcb: SWAP5
00001bcc: PUSH1 0x40
00001bce: MLOAD
00001bcf: SWAP5
00001bd0: DUP6
00001bd1: MSTORE
00001bd2: AND
00001bd3: DUP5
00001bd4: DUP5
00001bd5: ADD
00001bd6: MSTORE
00001bd7: PUSH1 0x40
00001bd9: DUP4
00001bda: ADD
00001bdb: MSTORE
00001bdc: PUSH1 0x60
00001bde: DUP3
00001bdf: ADD
00001be0: MSTORE
00001be1: PUSH1 0x00
00001be3: SWAP4
00001be4: DUP5
00001be5: SWAP2
00001be6: DUP3
00001be7: DUP1
00001be8: MSTORE
00001be9: PUSH1 0x01
00001beb: GAS
00001bec: STATICCALL
00001bed: ISZERO
00001bee: PUSH2 0x1c0c
00001bf1: JUMPI
00001bf2: DUP2
00001bf3: MLOAD
00001bf4: PUSH1 0x01
00001bf6: PUSH1 0x01
00001bf8: PUSH1 0xa0
00001bfa: SHL
00001bfb: SUB
00001bfc: DUP2
00001bfd: AND
00001bfe: ISZERO
00001bff: PUSH2 0x1c06
00001c02: JUMPI
00001c03: SWAP2
00001c04: SWAP1
00001c05: JUMP
00001c06: JUMPDEST
00001c07: POP
00001c08: PUSH1 0x01
00001c0a: SWAP1
00001c0b: JUMP
00001c0c: JUMPDEST
00001c0d: POP
00001c0e: PUSH1 0x40
00001c10: MLOAD
00001c11: SWAP1
00001c12: RETURNDATASIZE
00001c13: SWAP1
00001c14: DUP3
00001c15: RETURNDATACOPY
00001c16: RETURNDATASIZE
00001c17: SWAP1
00001c18: REVERT
00001c19: JUMPDEST
00001c1a: POP
00001c1b: POP
00001c1c: POP
00001c1d: POP
00001c1e: PUSH1 0x00
00001c20: SWAP1
00001c21: PUSH1 0x03
00001c23: SWAP1
00001c24: JUMP
00001c25: JUMPDEST
00001c26: ISZERO
00001c27: PUSH2 0x1c2c
00001c2a: JUMPI
00001c2b: JUMP
00001c2c: JUMPDEST
00001c2d: PUSH1 0x40
00001c2f: MLOAD
00001c30: PUSH3 0x461bcd
00001c34: PUSH1 0xe5
00001c36: SHL
00001c37: DUP2
00001c38: MSTORE
00001c39: PUSH1 0x20
00001c3b: PUSH1 0x04
00001c3d: DUP3
00001c3e: ADD
00001c3f: MSTORE
00001c40: PUSH1 0x1f
00001c42: PUSH1 0x24
00001c44: DUP3
00001c45: ADD
00001c46: MSTORE
00001c47: PUSH32 0x4665652063616e6e6f742062652067726561746572207468616e203130302500
00001c68: PUSH1 0x44
00001c6a: DUP3
00001c6b: ADD
00001c6c: MSTORE
00001c6d: PUSH1 0x64
00001c6f: SWAP1
00001c70: REVERT
00001c71: JUMPDEST
00001c72: ISZERO
00001c73: PUSH2 0x1c78
00001c76: JUMPI
00001c77: JUMP
00001c78: JUMPDEST
00001c79: PUSH1 0x40
00001c7b: MLOAD
00001c7c: PUSH3 0x461bcd
00001c80: PUSH1 0xe5
00001c82: SHL
00001c83: DUP2
00001c84: MSTORE
00001c85: PUSH1 0x20
00001c87: PUSH1 0x04
00001c89: DUP3
00001c8a: ADD
00001c8b: MSTORE
00001c8c: PUSH1 0x26
00001c8e: PUSH1 0x24
00001c90: DUP3
00001c91: ADD
00001c92: MSTORE
00001c93: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001cb4: PUSH1 0x44
00001cb6: DUP3
00001cb7: ADD
00001cb8: MSTORE
00001cb9: PUSH6 0x646472657373
00001cc0: PUSH1 0xd0
00001cc2: SHL
00001cc3: PUSH1 0x64
00001cc5: DUP3
00001cc6: ADD
00001cc7: MSTORE
00001cc8: PUSH1 0x84
00001cca: SWAP1
00001ccb: REVERT
00001ccc: JUMPDEST
00001ccd: PUSH1 0x04
00001ccf: SLOAD
00001cd0: SWAP1
00001cd1: PUSH1 0x00
00001cd3: JUMPDEST
00001cd4: DUP3
00001cd5: DUP2
00001cd6: LT
00001cd7: PUSH2 0x1ce2
00001cda: JUMPI
00001cdb: POP
00001cdc: POP
00001cdd: POP
00001cde: PUSH1 0x00
00001ce0: SWAP1
00001ce1: JUMP
00001ce2: JUMPDEST
00001ce3: PUSH2 0x1ceb
00001ce6: DUP2
00001ce7: PUSH2 0x15a1
00001cea: JUMP
00001ceb: JUMPDEST
00001cec: SWAP1
00001ced: SLOAD
00001cee: PUSH1 0x03
00001cf0: SWAP2
00001cf1: SWAP1
00001cf2: SWAP2
00001cf3: SHL
00001cf4: SHR
00001cf5: PUSH1 0x01
00001cf7: PUSH1 0x01
00001cf9: PUSH1 0xa0
00001cfb: SHL
00001cfc: SUB
00001cfd: SWAP1
00001cfe: DUP2
00001cff: AND
00001d00: SWAP1
00001d01: DUP4
00001d02: AND
00001d03: EQ
00001d04: PUSH2 0x1d0f
00001d07: JUMPI
00001d08: PUSH1 0x01
00001d0a: ADD
00001d0b: PUSH2 0x1cd3
00001d0e: JUMP
00001d0f: JUMPDEST
00001d10: POP
00001d11: POP
00001d12: POP
00001d13: PUSH1 0x01
00001d15: SWAP1
00001d16: JUMP
00001d17: JUMPDEST
00001d18: PUSH2 0x1d22
00001d1b: SWAP2
00001d1c: CALLDATASIZE
00001d1d: SWAP2
00001d1e: PUSH2 0x19b7
00001d21: JUMP
00001d22: JUMPDEST
00001d23: DUP1
00001d24: MLOAD
00001d25: SWAP1
00001d26: PUSH1 0x27
00001d28: DUP3
00001d29: LT
00001d2a: DUP1
00001d2b: ISZERO
00001d2c: PUSH2 0x1efc
00001d2f: JUMPI
00001d30: JUMPDEST
00001d31: PUSH2 0x1ef5
00001d34: JUMPI
00001d35: DUP2
00001d36: ISZERO
00001d37: PUSH2 0x15bc
00001d3a: JUMPI
00001d3b: PUSH1 0x20
00001d3d: DUP1
00001d3e: DUP3
00001d3f: ADD
00001d40: MLOAD
00001d41: PUSH1 0x41
00001d43: PUSH1 0xf8
00001d45: SHL
00001d46: SWAP3
00001d47: PUSH1 0x01
00001d49: PUSH1 0x01
00001d4b: PUSH1 0xf8
00001d4d: SHL
00001d4e: SUB
00001d4f: NOT
00001d50: SWAP3
00001d51: SWAP2
00001d52: DUP4
00001d53: AND
00001d54: DUP5
00001d55: EQ
00001d56: DUP1
00001d57: ISZERO
00001d58: SWAP1
00001d59: PUSH2 0x1eb2
00001d5c: JUMPI
00001d5d: JUMPDEST
00001d5e: PUSH2 0x1ea8
00001d61: JUMPI
00001d62: PUSH1 0x02
00001d64: JUMPDEST
00001d65: DUP6
00001d66: DUP2
00001d67: LT
00001d68: PUSH2 0x1d76
00001d6b: JUMPI
00001d6c: POP
00001d6d: POP
00001d6e: POP
00001d6f: POP
00001d70: POP
00001d71: POP
00001d72: PUSH1 0x01
00001d74: SWAP1
00001d75: JUMP
00001d76: JUMPDEST
00001d77: DUP2
00001d78: MLOAD
00001d79: DUP2
00001d7a: LT
00001d7b: ISZERO
00001d7c: PUSH2 0x1e93
00001d7f: JUMPI
00001d80: DUP4
00001d81: DUP4
00001d82: DUP3
00001d83: DUP5
00001d84: ADD
00001d85: ADD
00001d86: MLOAD
00001d87: AND
00001d88: PUSH1 0x31
00001d8a: PUSH1 0xf8
00001d8c: SHL
00001d8d: DUP2
00001d8e: LT
00001d8f: ISZERO
00001d90: SWAP1
00001d91: DUP2
00001d92: PUSH2 0x1e84
00001d95: JUMPI
00001d96: JUMPDEST
00001d97: DUP2
00001d98: ISZERO
00001d99: PUSH2 0x1e64
00001d9c: JUMPI
00001d9d: JUMPDEST
00001d9e: DUP2
00001d9f: ISZERO
00001da0: PUSH2 0x1e40
00001da3: JUMPI
00001da4: JUMPDEST
00001da5: DUP2
00001da6: ISZERO
00001da7: PUSH2 0x1e1c
00001daa: JUMPI
00001dab: JUMPDEST
00001dac: DUP2
00001dad: ISZERO
00001dae: PUSH2 0x1df8
00001db1: JUMPI
00001db2: JUMPDEST
00001db3: DUP2
00001db4: ISZERO
00001db5: PUSH2 0x1dd2
00001db8: JUMPI
00001db9: JUMPDEST
00001dba: POP
00001dbb: ISZERO
00001dbc: PUSH2 0x1dc7
00001dbf: JUMPI
00001dc0: PUSH1 0x01
00001dc2: ADD
00001dc3: PUSH2 0x1d64
00001dc6: JUMP
00001dc7: JUMPDEST
00001dc8: POP
00001dc9: POP
00001dca: POP
00001dcb: POP
00001dcc: POP
00001dcd: POP
00001dce: PUSH1 0x00
00001dd0: SWAP1
00001dd1: JUMP
00001dd2: JUMPDEST
00001dd3: PUSH1 0x6d
00001dd5: PUSH1 0xf8
00001dd7: SHL
00001dd8: DUP2
00001dd9: LT
00001dda: ISZERO
00001ddb: SWAP2
00001ddc: POP
00001ddd: DUP2
00001dde: PUSH2 0x1de9
00001de1: JUMPI
00001de2: JUMPDEST
00001de3: POP
00001de4: CODESIZE
00001de5: PUSH2 0x1db9
00001de8: JUMP
00001de9: JUMPDEST
00001dea: PUSH1 0x3d
00001dec: PUSH1 0xf9
00001dee: SHL
00001def: LT
00001df0: ISZERO
00001df1: SWAP1
00001df2: POP
00001df3: CODESIZE
00001df4: PUSH2 0x1de2
00001df7: JUMP
00001df8: JUMPDEST
00001df9: SWAP1
00001dfa: POP
00001dfb: PUSH1 0x61
00001dfd: PUSH1 0xf8
00001dff: SHL
00001e00: DUP2
00001e01: LT
00001e02: ISZERO
00001e03: DUP1
00001e04: PUSH2 0x1e0e
00001e07: JUMPI
00001e08: JUMPDEST
00001e09: SWAP1
00001e0a: PUSH2 0x1db2
00001e0d: JUMP
00001e0e: JUMPDEST
00001e0f: POP
00001e10: PUSH1 0x6b
00001e12: PUSH1 0xf8
00001e14: SHL
00001e15: DUP2
00001e16: GT
00001e17: ISZERO
00001e18: PUSH2 0x1e08
00001e1b: JUMP
00001e1c: JUMPDEST
00001e1d: SWAP1
00001e1e: POP
00001e1f: PUSH1 0x05
00001e21: PUSH1 0xfc
00001e23: SHL
00001e24: DUP2
00001e25: LT
00001e26: ISZERO
00001e27: DUP1
00001e28: PUSH2 0x1e32
00001e2b: JUMPI
00001e2c: JUMPDEST
00001e2d: SWAP1
00001e2e: PUSH2 0x1dab
00001e31: JUMP
00001e32: JUMPDEST
00001e33: POP
00001e34: PUSH1 0x2d
00001e36: PUSH1 0xf9
00001e38: SHL
00001e39: DUP2
00001e3a: GT
00001e3b: ISZERO
00001e3c: PUSH2 0x1e2c
00001e3f: JUMP
00001e40: JUMPDEST
00001e41: SWAP1
00001e42: POP
00001e43: PUSH1 0x25
00001e45: PUSH1 0xf9
00001e47: SHL
00001e48: DUP2
00001e49: LT
00001e4a: ISZERO
00001e4b: DUP1
00001e4c: PUSH2 0x1e56
00001e4f: JUMPI
00001e50: JUMPDEST
00001e51: SWAP1
00001e52: PUSH2 0x1da4
00001e55: JUMP
00001e56: JUMPDEST
00001e57: POP
00001e58: PUSH1 0x27
00001e5a: PUSH1 0xf9
00001e5c: SHL
00001e5d: DUP2
00001e5e: GT
00001e5f: ISZERO
00001e60: PUSH2 0x1e50
00001e63: JUMP
00001e64: JUMPDEST
00001e65: SWAP1
00001e66: POP
00001e67: DUP6
00001e68: DUP2
00001e69: LT
00001e6a: ISZERO
00001e6b: DUP1
00001e6c: PUSH2 0x1e76
00001e6f: JUMPI
00001e70: JUMPDEST
00001e71: SWAP1
00001e72: PUSH2 0x1d9d
00001e75: JUMP
00001e76: JUMPDEST
00001e77: POP
00001e78: PUSH1 0x09
00001e7a: PUSH1 0xfb
00001e7c: SHL
00001e7d: DUP2
00001e7e: GT
00001e7f: ISZERO
00001e80: PUSH2 0x1e70
00001e83: JUMP
00001e84: JUMPDEST
00001e85: PUSH1 0x39
00001e87: PUSH1 0xf8
00001e89: SHL
00001e8a: DUP2
00001e8b: GT
00001e8c: ISZERO
00001e8d: SWAP2
00001e8e: POP
00001e8f: PUSH2 0x1d96
00001e92: JUMP
00001e93: JUMPDEST
00001e94: PUSH1 0x24
00001e96: PUSH1 0x00
00001e98: PUSH4 0x4e487b71
00001e9d: PUSH1 0xe0
00001e9f: SHL
00001ea0: DUP2
00001ea1: MSTORE
00001ea2: PUSH1 0x32
00001ea4: PUSH1 0x04
00001ea6: MSTORE
00001ea7: REVERT
00001ea8: JUMPDEST
00001ea9: POP
00001eaa: POP
00001eab: POP
00001eac: POP
00001ead: POP
00001eae: PUSH1 0x00
00001eb0: SWAP1
00001eb1: JUMP
00001eb2: JUMPDEST
00001eb3: POP
00001eb4: DUP1
00001eb5: MLOAD
00001eb6: PUSH1 0x01
00001eb8: LT
00001eb9: ISZERO
00001eba: PUSH2 0x15bc
00001ebd: JUMPI
00001ebe: PUSH1 0x21
00001ec0: DUP2
00001ec1: ADD
00001ec2: DUP1
00001ec3: MLOAD
00001ec4: DUP5
00001ec5: AND
00001ec6: PUSH1 0x55
00001ec8: PUSH1 0xf8
00001eca: SHL
00001ecb: EQ
00001ecc: ISZERO
00001ecd: SWAP1
00001ece: DUP2
00001ecf: PUSH2 0x1ed9
00001ed2: JUMPI
00001ed3: JUMPDEST
00001ed4: POP
00001ed5: PUSH2 0x1d5d
00001ed8: JUMP
00001ed9: JUMPDEST
00001eda: SWAP1
00001edb: POP
00001edc: DUP2
00001edd: MLOAD
00001ede: PUSH1 0x01
00001ee0: LT
00001ee1: ISZERO
00001ee2: PUSH2 0x15bc
00001ee5: JUMPI
00001ee6: MLOAD
00001ee7: DUP4
00001ee8: AND
00001ee9: PUSH1 0x53
00001eeb: PUSH1 0xf8
00001eed: SHL
00001eee: EQ
00001eef: ISZERO
00001ef0: CODESIZE
00001ef1: PUSH2 0x1ed3
00001ef4: JUMP
00001ef5: JUMPDEST
00001ef6: POP
00001ef7: POP
00001ef8: PUSH1 0x00
00001efa: SWAP1
00001efb: JUMP
00001efc: JUMPDEST
00001efd: POP
00001efe: PUSH1 0x40
00001f00: DUP3
00001f01: GT
00001f02: PUSH2 0x1d30
00001f05: JUMP
00001f06: INVALID
00001f07: LOG2
00001f08: PUSH5 0x6970667358
00001f0e: UNKNOWN(0x22)
00001f0f: SLT
00001f10: KECCAK256
00001f11: DUP13
00001f12: UNKNOWN(0x0D)
00001f13: EXTCODEHASH
00001f14: SWAP8
00001f15: PUSH16 0xd0f653299bff4ba4e930bec1a6abcfd8
00001f26: PUSH0
00001f27: PUSH1 0x02
00001f29: EXTCODESIZE
00001f2a: MULMOD
00001f2b: UNKNOWN(0xAB)
00001f2c: PC
00001f2d: CALLVALUE
00001f2e: CALLER
00001f2f: MSIZE
00001f30: UNKNOWN(0xEA)
00001f31: PUSH5 0x736f6c6343
00001f37: STOP
00001f38: ADDMOD
00001f39: SLT
00001f3a: STOP
00001f3b: CALLER