Analysis Run

[codex:843768] OpenAI Codex v0.77.0 (research preview)
[codex:843768] --------
[codex:843768] workdir: /tmp/codex-multi-ygk5x1vq
[codex:843768] model: gpt-5.2-codex
[codex:843768] provider: openai
[codex:843768] approval: never
[codex:843768] sandbox: read-only
[codex:843768] reasoning effort: xhigh
[codex:843768] reasoning summaries: auto
[codex:843768] session id: 019b7d20-42cb-72e3-b907-90c9896e6507
[codex:843768] --------
[codex:843768] user
[codex:843768] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:843768] 
[codex:843768] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:843768] 
[codex:843768] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:843768] - Gas inefficiency, code quality, naming, or best practices
[codex:843768] - Theoretical vulnerabilities without a clear extraction path
[codex:843768] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:843768] - Front-running unless it enables theft beyond MEV
[codex:843768] - DoS, griefing, or issues that don't result in attacker profit
[codex:843768] - Missing events, view function issues, or informational findings
[codex:843768] 
[codex:843768] HIGH-VALUE PATTERNS TO HUNT:
[codex:843768] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:843768] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:843768] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:843768] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:843768] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:843768] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:843768] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:843768] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:843768] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:843768] 
[codex:843768] For each finding, you MUST provide:
[codex:843768] 1. Exact file and line numbers of vulnerable code
[codex:843768] 2. Step-by-step exploit transaction sequence
[codex:843768] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:843768] 
[codex:843768] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:843768] 
[codex:843768] Output MUST be valid JSON matching the provided schema.
[codex:843768] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:843768] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:843768] mcp startup: no servers
[codex:843768] 
[codex:843768] thinking
[codex:843768] **Checking for instructions and resources**
[codex:843768] exec
[codex:843768] /bin/bash -lc ls in /tmp/codex-multi-ygk5x1vq succeeded in 5ms:
[codex:843768] AUDIT_BUNDLE.txt
[codex:843768] codex-output-schema.json
[codex:843768] contracts
[codex:843768] exec
[codex:843768] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ygk5x1vq succeeded in 5ms:
[codex:843768] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:843768] 
[codex:843768] ================================================================================
[codex:843768] FILE: contracts/src/BonklerNFT.sol
[codex:843768] ================================================================================
[codex:843768] // SPDX-License-Identifier: GPL-3.0
[codex:843768] // REMILIA COLLECTIVE
[codex:843768] 
[codex:843768] pragma solidity ^0.8.4;
[codex:843768] 
[codex:843768] import "solady/src/utils/SafeTransferLib.sol";
[codex:843768] import "solady/src/utils/LibString.sol";
[codex:843768] import "@openzeppelin/contracts/access/Ownable.sol";
[codex:843768] import "@openzeppelin/contracts/token/ERC721/ERC721.sol";
[codex:843768] 
[codex:843768] contract BonklerNFT is ERC721, Ownable {
[codex:843768]     using LibString for *;
[codex:843768] 
[codex:843768]     /*´:°•.°+.*•´.*:˚.°*.˚•´.°:°•.°•.*•´.*:˚.°*.˚•´.°:°•.°+.*•´.*:*/
[codex:843768]     /*                         CONSTANTS                          */
[codex:843768] exec
[codex:843768] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ygk5x1vq succeeded in 5ms:
[codex:843768]     /**
[codex:843768]      * @dev Allows the minter to transfer `tokenId` to address `to`,
[codex:843768]      * while accepting a ETH deposit to be stored inside the Bonkler,
[codex:843768]      * to be redeemed if it is burned.
[codex:843768]      */
[codex:843768]     function transferPurchasedBonkler(uint256 tokenId, address to) external payable onlyMinter {
[codex:843768]         _tokenShares[tokenId] = msg.value;
[codex:843768]         _transfer(msg.sender, to, tokenId);
[codex:843768]     }
[codex:843768] 
[codex:843768]     /**
[codex:843768]      * @dev Allows the minter to mint a Bonkler to itself, with `generationHash`.
[codex:843768]      */
[codex:843768]     function mint(uint256 generationHash) external payable onlyMinter returns (uint256 tokenId) {
[codex:843768]         require(!mintLocked, "Locked.");
[codex:843768]         tokenId = nextTokenId++;
[codex:843768]         _mint(msg.sender, tokenId); // Mint the sender 1 token.
[codex:843768]         _tokenGenerationHash[tokenId] = generationHash;
[codex:843768]     }
[codex:843768] 
[codex:843768] 
[codex:843768] thinking
[codex:843768] **Waiting for more content**
[codex:843768] exec
[codex:843768] /bin/bash -lc "sed -n '400,800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ygk5x1vq succeeded in 5ms:
[codex:843768] 
[codex:843768] 
[codex:843768] thinking
[codex:843768] **Analyzing contract for exploit paths**
[codex:843768] 
[codex:843768] I'm carefully reviewing the single contract in the bundle, focusing on possible vulnerabilities related to redeeming tokens, reentrancy risks, share handling, and access control. After assessing token minting, burning, transfers, and external calls, I don't see any concrete profit exploits or reentrancy attacks, assuming the minter contract is trusted and access controls hold. I'll produce a final JSON output indicating no findings with a concise summary.
[codex:843768] codex
[codex:843768] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided sources.","findings":[]}
[codex:843768] tokens used
[codex:843768] 9,464
[codex:843768] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided sources.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-02T05:14:19.328987+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in the provided sources.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths found in the provided sources.",
        "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: PUSH2 0x026a
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x87f65c91
00000019: GT
0000001a: PUSH2 0x0153
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb88d4fde
00000024: GT
00000025: PUSH2 0x00cb
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe985e9c5
0000002f: GT
00000030: PUSH2 0x007f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf2fde38b
0000003a: GT
0000003b: PUSH2 0x0064
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x070b
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf35dad40
00000050: EQ
00000051: PUSH2 0x072b
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfca3b5aa
0000005b: EQ
0000005c: PUSH2 0x074f
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xe985e9c5
0000006b: EQ
0000006c: PUSH2 0x0695
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xef85ade7
00000076: EQ
00000077: PUSH2 0x06de
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0xcc54cce3
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xcc54cce3
00000091: EQ
00000092: PUSH2 0x063e
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xdf3c3a30
0000009c: EQ
0000009d: PUSH2 0x065f
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xe0b6bb67
000000a7: EQ
000000a8: PUSH2 0x0680
000000ab: JUMPI
000000ac: PUSH1 0x00
000000ae: DUP1
000000af: REVERT
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0xb88d4fde
000000b7: EQ
000000b8: PUSH2 0x05fe
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0xc87b56dd
000000c2: EQ
000000c3: PUSH2 0x061e
000000c6: JUMPI
000000c7: PUSH1 0x00
000000c9: DUP1
000000ca: REVERT
000000cb: JUMPDEST
000000cc: DUP1
000000cd: PUSH4 0xa0712d68
000000d2: GT
000000d3: PUSH2 0x0122
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0xa2309ff8
000000dd: GT
000000de: PUSH2 0x0107
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0xa2309ff8
000000e8: EQ
000000e9: PUSH2 0x058f
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0xa44fa396
000000f3: EQ
000000f4: PUSH2 0x05a4
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0xac936d4a
000000fe: EQ
000000ff: PUSH2 0x05d1
00000102: JUMPI
00000103: PUSH1 0x00
00000105: DUP1
00000106: REVERT
00000107: JUMPDEST
00000108: DUP1
00000109: PUSH4 0xa0712d68
0000010e: EQ
0000010f: PUSH2 0x055c
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0xa22cb465
00000119: EQ
0000011a: PUSH2 0x056f
0000011d: JUMPI
0000011e: PUSH1 0x00
00000120: DUP1
00000121: REVERT
00000122: JUMPDEST
00000123: DUP1
00000124: PUSH4 0x87f65c91
00000129: EQ
0000012a: PUSH2 0x0501
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x8da5cb5b
00000134: EQ
00000135: PUSH2 0x0516
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x9229407d
0000013f: EQ
00000140: PUSH2 0x0534
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x95d89b41
0000014a: EQ
0000014b: PUSH2 0x0547
0000014e: JUMPI
0000014f: PUSH1 0x00
00000151: DUP1
00000152: REVERT
00000153: JUMPDEST
00000154: DUP1
00000155: PUSH4 0x55f804b3
0000015a: GT
0000015b: PUSH2 0x01e6
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0x715018a6
00000165: GT
00000166: PUSH2 0x01b5
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0x76daebe1
00000170: GT
00000171: PUSH2 0x019a
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0x76daebe1
0000017b: EQ
0000017c: PUSH2 0x049f
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0x7a1d33a6
00000186: EQ
00000187: PUSH2 0x04b4
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x8462151c
00000191: EQ
00000192: PUSH2 0x04d4
00000195: JUMPI
00000196: PUSH1 0x00
00000198: DUP1
00000199: REVERT
0000019a: JUMPDEST
0000019b: DUP1
0000019c: PUSH4 0x715018a6
000001a1: EQ
000001a2: PUSH2 0x0451
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0x75794a3c
000001ac: EQ
000001ad: PUSH2 0x0466
000001b0: JUMPI
000001b1: PUSH1 0x00
000001b3: DUP1
000001b4: REVERT
000001b5: JUMPDEST
000001b6: DUP1
000001b7: PUSH4 0x55f804b3
000001bc: EQ
000001bd: PUSH2 0x03d0
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0x5d148e5c
000001c7: EQ
000001c8: PUSH2 0x03f0
000001cb: JUMPI
000001cc: DUP1
000001cd: PUSH4 0x6352211e
000001d2: EQ
000001d3: PUSH2 0x0411
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0x70a08231
000001dd: EQ
000001de: PUSH2 0x0431
000001e1: JUMPI
000001e2: PUSH1 0x00
000001e4: DUP1
000001e5: REVERT
000001e6: JUMPDEST
000001e7: DUP1
000001e8: PUSH4 0x18160ddd
000001ed: GT
000001ee: PUSH2 0x023d
000001f1: JUMPI
000001f2: DUP1
000001f3: PUSH4 0x42842e0e
000001f8: GT
000001f9: PUSH2 0x0222
000001fc: JUMPI
000001fd: DUP1
000001fe: PUSH4 0x42842e0e
00000203: EQ
00000204: PUSH2 0x0363
00000207: JUMPI
00000208: DUP1
00000209: PUSH4 0x4f558e79
0000020e: EQ
0000020f: PUSH2 0x0383
00000212: JUMPI
00000213: DUP1
00000214: PUSH4 0x53df5c7c
00000219: EQ
0000021a: PUSH2 0x03bb
0000021d: JUMPI
0000021e: PUSH1 0x00
00000220: DUP1
00000221: REVERT
00000222: JUMPDEST
00000223: DUP1
00000224: PUSH4 0x18160ddd
00000229: EQ
0000022a: PUSH2 0x0320
0000022d: JUMPI
0000022e: DUP1
0000022f: PUSH4 0x23b872dd
00000234: EQ
00000235: PUSH2 0x0343
00000238: JUMPI
00000239: PUSH1 0x00
0000023b: DUP1
0000023c: REVERT
0000023d: JUMPDEST
0000023e: DUP1
0000023f: PUSH4 0x01ffc9a7
00000244: EQ
00000245: PUSH2 0x026f
00000248: JUMPI
00000249: DUP1
0000024a: PUSH4 0x06fdde03
0000024f: EQ
00000250: PUSH2 0x02a4
00000253: JUMPI
00000254: DUP1
00000255: PUSH4 0x081812fc
0000025a: EQ
0000025b: PUSH2 0x02c6
0000025e: JUMPI
0000025f: DUP1
00000260: PUSH4 0x095ea7b3
00000265: EQ
00000266: PUSH2 0x02fe
00000269: JUMPI
0000026a: JUMPDEST
0000026b: PUSH1 0x00
0000026d: DUP1
0000026e: REVERT
0000026f: JUMPDEST
00000270: CALLVALUE
00000271: DUP1
00000272: ISZERO
00000273: PUSH2 0x027b
00000276: JUMPI
00000277: PUSH1 0x00
00000279: DUP1
0000027a: REVERT
0000027b: JUMPDEST
0000027c: POP
0000027d: PUSH2 0x028f
00000280: PUSH2 0x028a
00000283: CALLDATASIZE
00000284: PUSH1 0x04
00000286: PUSH2 0x204e
00000289: JUMP
0000028a: JUMPDEST
0000028b: PUSH2 0x076f
0000028e: JUMP
0000028f: JUMPDEST
00000290: PUSH1 0x40
00000292: MLOAD
00000293: SWAP1
00000294: ISZERO
00000295: ISZERO
00000296: DUP2
00000297: MSTORE
00000298: PUSH1 0x20
0000029a: ADD
0000029b: JUMPDEST
0000029c: PUSH1 0x40
0000029e: MLOAD
0000029f: DUP1
000002a0: SWAP2
000002a1: SUB
000002a2: SWAP1
000002a3: RETURN
000002a4: JUMPDEST
000002a5: CALLVALUE
000002a6: DUP1
000002a7: ISZERO
000002a8: PUSH2 0x02b0
000002ab: JUMPI
000002ac: PUSH1 0x00
000002ae: DUP1
000002af: REVERT
000002b0: JUMPDEST
000002b1: POP
000002b2: PUSH2 0x02b9
000002b5: PUSH2 0x080c
000002b8: JUMP
000002b9: JUMPDEST
000002ba: PUSH1 0x40
000002bc: MLOAD
000002bd: PUSH2 0x029b
000002c0: SWAP2
000002c1: SWAP1
000002c2: PUSH2 0x20b8
000002c5: JUMP
000002c6: JUMPDEST
000002c7: CALLVALUE
000002c8: DUP1
000002c9: ISZERO
000002ca: PUSH2 0x02d2
000002cd: JUMPI
000002ce: PUSH1 0x00
000002d0: DUP1
000002d1: REVERT
000002d2: JUMPDEST
000002d3: POP
000002d4: PUSH2 0x02e6
000002d7: PUSH2 0x02e1
000002da: CALLDATASIZE
000002db: PUSH1 0x04
000002dd: PUSH2 0x20cb
000002e0: JUMP
000002e1: JUMPDEST
000002e2: PUSH2 0x089e
000002e5: JUMP
000002e6: JUMPDEST
000002e7: PUSH1 0x40
000002e9: MLOAD
000002ea: PUSH1 0x01
000002ec: PUSH1 0x01
000002ee: PUSH1 0xa0
000002f0: SHL
000002f1: SUB
000002f2: SWAP1
000002f3: SWAP2
000002f4: AND
000002f5: DUP2
000002f6: MSTORE
000002f7: PUSH1 0x20
000002f9: ADD
000002fa: PUSH2 0x029b
000002fd: JUMP
000002fe: JUMPDEST
000002ff: CALLVALUE
00000300: DUP1
00000301: ISZERO
00000302: PUSH2 0x030a
00000305: JUMPI
00000306: PUSH1 0x00
00000308: DUP1
00000309: REVERT
0000030a: JUMPDEST
0000030b: POP
0000030c: PUSH2 0x031e
0000030f: PUSH2 0x0319
00000312: CALLDATASIZE
00000313: PUSH1 0x04
00000315: PUSH2 0x20fb
00000318: JUMP
00000319: JUMPDEST
0000031a: PUSH2 0x08c5
0000031d: JUMP
0000031e: JUMPDEST
0000031f: STOP
00000320: JUMPDEST
00000321: CALLVALUE
00000322: DUP1
00000323: ISZERO
00000324: PUSH2 0x032c
00000327: JUMPI
00000328: PUSH1 0x00
0000032a: DUP1
0000032b: REVERT
0000032c: JUMPDEST
0000032d: POP
0000032e: PUSH2 0x0335
00000331: PUSH2 0x0a19
00000334: JUMP
00000335: JUMPDEST
00000336: PUSH1 0x40
00000338: MLOAD
00000339: SWAP1
0000033a: DUP2
0000033b: MSTORE
0000033c: PUSH1 0x20
0000033e: ADD
0000033f: PUSH2 0x029b
00000342: JUMP
00000343: JUMPDEST
00000344: CALLVALUE
00000345: DUP1
00000346: ISZERO
00000347: PUSH2 0x034f
0000034a: JUMPI
0000034b: PUSH1 0x00
0000034d: DUP1
0000034e: REVERT
0000034f: JUMPDEST
00000350: POP
00000351: PUSH2 0x031e
00000354: PUSH2 0x035e
00000357: CALLDATASIZE
00000358: PUSH1 0x04
0000035a: PUSH2 0x2125
0000035d: JUMP
0000035e: JUMPDEST
0000035f: PUSH2 0x0a51
00000362: JUMP
00000363: JUMPDEST
00000364: CALLVALUE
00000365: DUP1
00000366: ISZERO
00000367: PUSH2 0x036f
0000036a: JUMPI
0000036b: PUSH1 0x00
0000036d: DUP1
0000036e: REVERT
0000036f: JUMPDEST
00000370: POP
00000371: PUSH2 0x031e
00000374: PUSH2 0x037e
00000377: CALLDATASIZE
00000378: PUSH1 0x04
0000037a: PUSH2 0x2125
0000037d: JUMP
0000037e: JUMPDEST
0000037f: PUSH2 0x0ac8
00000382: JUMP
00000383: JUMPDEST
00000384: CALLVALUE
00000385: DUP1
00000386: ISZERO
00000387: PUSH2 0x038f
0000038a: JUMPI
0000038b: PUSH1 0x00
0000038d: DUP1
0000038e: REVERT
0000038f: JUMPDEST
00000390: POP
00000391: PUSH2 0x028f
00000394: PUSH2 0x039e
00000397: CALLDATASIZE
00000398: PUSH1 0x04
0000039a: PUSH2 0x20cb
0000039d: JUMP
0000039e: JUMPDEST
0000039f: PUSH1 0x00
000003a1: SWAP1
000003a2: DUP2
000003a3: MSTORE
000003a4: PUSH1 0x02
000003a6: PUSH1 0x20
000003a8: MSTORE
000003a9: PUSH1 0x40
000003ab: SWAP1
000003ac: KECCAK256
000003ad: SLOAD
000003ae: PUSH1 0x01
000003b0: PUSH1 0x01
000003b2: PUSH1 0xa0
000003b4: SHL
000003b5: SUB
000003b6: AND
000003b7: ISZERO
000003b8: ISZERO
000003b9: SWAP1
000003ba: JUMP
000003bb: JUMPDEST
000003bc: CALLVALUE
000003bd: DUP1
000003be: ISZERO
000003bf: PUSH2 0x03c7
000003c2: JUMPI
000003c3: PUSH1 0x00
000003c5: DUP1
000003c6: REVERT
000003c7: JUMPDEST
000003c8: POP
000003c9: PUSH2 0x031e
000003cc: PUSH2 0x0ae3
000003cf: JUMP
000003d0: JUMPDEST
000003d1: CALLVALUE
000003d2: DUP1
000003d3: ISZERO
000003d4: PUSH2 0x03dc
000003d7: JUMPI
000003d8: PUSH1 0x00
000003da: DUP1
000003db: REVERT
000003dc: JUMPDEST
000003dd: POP
000003de: PUSH2 0x031e
000003e1: PUSH2 0x03eb
000003e4: CALLDATASIZE
000003e5: PUSH1 0x04
000003e7: PUSH2 0x2200
000003ea: JUMP
000003eb: JUMPDEST
000003ec: PUSH2 0x0b1b
000003ef: JUMP
000003f0: JUMPDEST
000003f1: CALLVALUE
000003f2: DUP1
000003f3: ISZERO
000003f4: PUSH2 0x03fc
000003f7: JUMPI
000003f8: PUSH1 0x00
000003fa: DUP1
000003fb: REVERT
000003fc: JUMPDEST
000003fd: POP
000003fe: PUSH1 0x08
00000400: SLOAD
00000401: PUSH2 0x028f
00000404: SWAP1
00000405: PUSH1 0x01
00000407: PUSH1 0xf0
00000409: SHL
0000040a: SWAP1
0000040b: DIV
0000040c: PUSH1 0xff
0000040e: AND
0000040f: DUP2
00000410: JUMP
00000411: JUMPDEST
00000412: CALLVALUE
00000413: DUP1
00000414: ISZERO
00000415: PUSH2 0x041d
00000418: JUMPI
00000419: PUSH1 0x00
0000041b: DUP1
0000041c: REVERT
0000041d: JUMPDEST
0000041e: POP
0000041f: PUSH2 0x02e6
00000422: PUSH2 0x042c
00000425: CALLDATASIZE
00000426: PUSH1 0x04
00000428: PUSH2 0x20cb
0000042b: JUMP
0000042c: JUMPDEST
0000042d: PUSH2 0x0b77
00000430: JUMP
00000431: JUMPDEST
00000432: CALLVALUE
00000433: DUP1
00000434: ISZERO
00000435: PUSH2 0x043d
00000438: JUMPI
00000439: PUSH1 0x00
0000043b: DUP1
0000043c: REVERT
0000043d: JUMPDEST
0000043e: POP
0000043f: PUSH2 0x0335
00000442: PUSH2 0x044c
00000445: CALLDATASIZE
00000446: PUSH1 0x04
00000448: PUSH2 0x2249
0000044b: JUMP
0000044c: JUMPDEST
0000044d: PUSH2 0x0bdc
00000450: JUMP
00000451: JUMPDEST
00000452: CALLVALUE
00000453: DUP1
00000454: ISZERO
00000455: PUSH2 0x045d
00000458: JUMPI
00000459: PUSH1 0x00
0000045b: DUP1
0000045c: REVERT
0000045d: JUMPDEST
0000045e: POP
0000045f: PUSH2 0x031e
00000462: PUSH2 0x0c76
00000465: JUMP
00000466: JUMPDEST
00000467: CALLVALUE
00000468: DUP1
00000469: ISZERO
0000046a: PUSH2 0x0472
0000046d: JUMPI
0000046e: PUSH1 0x00
00000470: DUP1
00000471: REVERT
00000472: JUMPDEST
00000473: POP
00000474: PUSH1 0x08
00000476: SLOAD
00000477: PUSH2 0x048a
0000047a: SWAP1
0000047b: PUSH1 0x01
0000047d: PUSH1 0xa0
0000047f: SHL
00000480: SWAP1
00000481: DIV
00000482: PUSH4 0xffffffff
00000487: AND
00000488: DUP2
00000489: JUMP
0000048a: JUMPDEST
0000048b: PUSH1 0x40
0000048d: MLOAD
0000048e: PUSH4 0xffffffff
00000493: SWAP1
00000494: SWAP2
00000495: AND
00000496: DUP2
00000497: MSTORE
00000498: PUSH1 0x20
0000049a: ADD
0000049b: PUSH2 0x029b
0000049e: JUMP
0000049f: JUMPDEST
000004a0: CALLVALUE
000004a1: DUP1
000004a2: ISZERO
000004a3: PUSH2 0x04ab
000004a6: JUMPI
000004a7: PUSH1 0x00
000004a9: DUP1
000004aa: REVERT
000004ab: JUMPDEST
000004ac: POP
000004ad: PUSH2 0x031e
000004b0: PUSH2 0x0c8a
000004b3: JUMP
000004b4: JUMPDEST
000004b5: CALLVALUE
000004b6: DUP1
000004b7: ISZERO
000004b8: PUSH2 0x04c0
000004bb: JUMPI
000004bc: PUSH1 0x00
000004be: DUP1
000004bf: REVERT
000004c0: JUMPDEST
000004c1: POP
000004c2: PUSH2 0x031e
000004c5: PUSH2 0x04cf
000004c8: CALLDATASIZE
000004c9: PUSH1 0x04
000004cb: PUSH2 0x20cb
000004ce: JUMP
000004cf: JUMPDEST
000004d0: PUSH2 0x0cc2
000004d3: JUMP
000004d4: JUMPDEST
000004d5: CALLVALUE
000004d6: DUP1
000004d7: ISZERO
000004d8: PUSH2 0x04e0
000004db: JUMPI
000004dc: PUSH1 0x00
000004de: DUP1
000004df: REVERT
000004e0: JUMPDEST
000004e1: POP
000004e2: PUSH2 0x04f4
000004e5: PUSH2 0x04ef
000004e8: CALLDATASIZE
000004e9: PUSH1 0x04
000004eb: PUSH2 0x2249
000004ee: JUMP
000004ef: JUMPDEST
000004f0: PUSH2 0x0df7
000004f3: JUMP
000004f4: JUMPDEST
000004f5: PUSH1 0x40
000004f7: MLOAD
000004f8: PUSH2 0x029b
000004fb: SWAP2
000004fc: SWAP1
000004fd: PUSH2 0x2264
00000500: JUMP
00000501: JUMPDEST
00000502: CALLVALUE
00000503: DUP1
00000504: ISZERO
00000505: PUSH2 0x050d
00000508: JUMPI
00000509: PUSH1 0x00
0000050b: DUP1
0000050c: REVERT
0000050d: JUMPDEST
0000050e: POP
0000050f: PUSH2 0x0335
00000512: PUSH1 0x01
00000514: DUP2
00000515: JUMP
00000516: JUMPDEST
00000517: CALLVALUE
00000518: DUP1
00000519: ISZERO
0000051a: PUSH2 0x0522
0000051d: JUMPI
0000051e: PUSH1 0x00
00000520: DUP1
00000521: REVERT
00000522: JUMPDEST
00000523: POP
00000524: PUSH1 0x06
00000526: SLOAD
00000527: PUSH1 0x01
00000529: PUSH1 0x01
0000052b: PUSH1 0xa0
0000052d: SHL
0000052e: SUB
0000052f: AND
00000530: PUSH2 0x02e6
00000533: JUMP
00000534: JUMPDEST
00000535: PUSH2 0x031e
00000538: PUSH2 0x0542
0000053b: CALLDATASIZE
0000053c: PUSH1 0x04
0000053e: PUSH2 0x22a8
00000541: JUMP
00000542: JUMPDEST
00000543: PUSH2 0x0ed9
00000546: JUMP
00000547: JUMPDEST
00000548: CALLVALUE
00000549: DUP1
0000054a: ISZERO
0000054b: PUSH2 0x0553
0000054e: JUMPI
0000054f: PUSH1 0x00
00000551: DUP1
00000552: REVERT
00000553: JUMPDEST
00000554: POP
00000555: PUSH2 0x02b9
00000558: PUSH2 0x0f4f
0000055b: JUMP
0000055c: JUMPDEST
0000055d: PUSH2 0x0335
00000560: PUSH2 0x056a
00000563: CALLDATASIZE
00000564: PUSH1 0x04
00000566: PUSH2 0x20cb
00000569: JUMP
0000056a: JUMPDEST
0000056b: PUSH2 0x0f5e
0000056e: JUMP
0000056f: JUMPDEST
00000570: CALLVALUE
00000571: DUP1
00000572: ISZERO
00000573: PUSH2 0x057b
00000576: JUMPI
00000577: PUSH1 0x00
00000579: DUP1
0000057a: REVERT
0000057b: JUMPDEST
0000057c: POP
0000057d: PUSH2 0x031e
00000580: PUSH2 0x058a
00000583: CALLDATASIZE
00000584: PUSH1 0x04
00000586: PUSH2 0x22d4
00000589: JUMP
0000058a: JUMPDEST
0000058b: PUSH2 0x1061
0000058e: JUMP
0000058f: JUMPDEST
00000590: CALLVALUE
00000591: DUP1
00000592: ISZERO
00000593: PUSH2 0x059b
00000596: JUMPI
00000597: PUSH1 0x00
00000599: DUP1
0000059a: REVERT
0000059b: JUMPDEST
0000059c: POP
0000059d: PUSH2 0x0335
000005a0: PUSH2 0x106c
000005a3: JUMP
000005a4: JUMPDEST
000005a5: CALLVALUE
000005a6: DUP1
000005a7: ISZERO
000005a8: PUSH2 0x05b0
000005ab: JUMPI
000005ac: PUSH1 0x00
000005ae: DUP1
000005af: REVERT
000005b0: JUMPDEST
000005b1: POP
000005b2: PUSH2 0x0335
000005b5: PUSH2 0x05bf
000005b8: CALLDATASIZE
000005b9: PUSH1 0x04
000005bb: PUSH2 0x20cb
000005be: JUMP
000005bf: JUMPDEST
000005c0: PUSH1 0x00
000005c2: SWAP1
000005c3: DUP2
000005c4: MSTORE
000005c5: PUSH1 0x09
000005c7: PUSH1 0x20
000005c9: MSTORE
000005ca: PUSH1 0x40
000005cc: SWAP1
000005cd: KECCAK256
000005ce: SLOAD
000005cf: SWAP1
000005d0: JUMP
000005d1: JUMPDEST
000005d2: CALLVALUE
000005d3: DUP1
000005d4: ISZERO
000005d5: PUSH2 0x05dd
000005d8: JUMPI
000005d9: PUSH1 0x00
000005db: DUP1
000005dc: REVERT
000005dd: JUMPDEST
000005de: POP
000005df: PUSH2 0x05f1
000005e2: PUSH2 0x05ec
000005e5: CALLDATASIZE
000005e6: PUSH1 0x04
000005e8: PUSH2 0x2310
000005eb: JUMP
000005ec: JUMPDEST
000005ed: PUSH2 0x108b
000005f0: JUMP
000005f1: JUMPDEST
000005f2: PUSH1 0x40
000005f4: MLOAD
000005f5: PUSH2 0x029b
000005f8: SWAP2
000005f9: SWAP1
000005fa: PUSH2 0x23b6
000005fd: JUMP
000005fe: JUMPDEST
000005ff: CALLVALUE
00000600: DUP1
00000601: ISZERO
00000602: PUSH2 0x060a
00000605: JUMPI
00000606: PUSH1 0x00
00000608: DUP1
00000609: REVERT
0000060a: JUMPDEST
0000060b: POP
0000060c: PUSH2 0x031e
0000060f: PUSH2 0x0619
00000612: CALLDATASIZE
00000613: PUSH1 0x04
00000615: PUSH2 0x23f0
00000618: JUMP
00000619: JUMPDEST
0000061a: PUSH2 0x1167
0000061d: JUMP
0000061e: JUMPDEST
0000061f: CALLVALUE
00000620: DUP1
00000621: ISZERO
00000622: PUSH2 0x062a
00000625: JUMPI
00000626: PUSH1 0x00
00000628: DUP1
00000629: REVERT
0000062a: JUMPDEST
0000062b: POP
0000062c: PUSH2 0x02b9
0000062f: PUSH2 0x0639
00000632: CALLDATASIZE
00000633: PUSH1 0x04
00000635: PUSH2 0x20cb
00000638: JUMP
00000639: JUMPDEST
0000063a: PUSH2 0x11e5
0000063d: JUMP
0000063e: JUMPDEST
0000063f: CALLVALUE
00000640: DUP1
00000641: ISZERO
00000642: PUSH2 0x064a
00000645: JUMPI
00000646: PUSH1 0x00
00000648: DUP1
00000649: REVERT
0000064a: JUMPDEST
0000064b: POP
0000064c: PUSH1 0x08
0000064e: SLOAD
0000064f: PUSH2 0x028f
00000652: SWAP1
00000653: PUSH1 0x01
00000655: PUSH1 0xe0
00000657: SHL
00000658: SWAP1
00000659: DIV
0000065a: PUSH1 0xff
0000065c: AND
0000065d: DUP2
0000065e: JUMP
0000065f: JUMPDEST
00000660: CALLVALUE
00000661: DUP1
00000662: ISZERO
00000663: PUSH2 0x066b
00000666: JUMPI
00000667: PUSH1 0x00
00000669: DUP1
0000066a: REVERT
0000066b: JUMPDEST
0000066c: POP
0000066d: PUSH1 0x08
0000066f: SLOAD
00000670: PUSH2 0x028f
00000673: SWAP1
00000674: PUSH1 0x01
00000676: PUSH1 0xe8
00000678: SHL
00000679: SWAP1
0000067a: DIV
0000067b: PUSH1 0xff
0000067d: AND
0000067e: DUP2
0000067f: JUMP
00000680: JUMPDEST
00000681: CALLVALUE
00000682: DUP1
00000683: ISZERO
00000684: PUSH2 0x068c
00000687: JUMPI
00000688: PUSH1 0x00
0000068a: DUP1
0000068b: REVERT
0000068c: JUMPDEST
0000068d: POP
0000068e: PUSH2 0x031e
00000691: PUSH2 0x13df
00000694: JUMP
00000695: JUMPDEST
00000696: CALLVALUE
00000697: DUP1
00000698: ISZERO
00000699: PUSH2 0x06a1
0000069c: JUMPI
0000069d: PUSH1 0x00
0000069f: DUP1
000006a0: REVERT
000006a1: JUMPDEST
000006a2: POP
000006a3: PUSH2 0x028f
000006a6: PUSH2 0x06b0
000006a9: CALLDATASIZE
000006aa: PUSH1 0x04
000006ac: PUSH2 0x246c
000006af: JUMP
000006b0: JUMPDEST
000006b1: PUSH1 0x01
000006b3: PUSH1 0x01
000006b5: PUSH1 0xa0
000006b7: SHL
000006b8: SUB
000006b9: SWAP2
000006ba: DUP3
000006bb: AND
000006bc: PUSH1 0x00
000006be: SWAP1
000006bf: DUP2
000006c0: MSTORE
000006c1: PUSH1 0x05
000006c3: PUSH1 0x20
000006c5: SWAP1
000006c6: DUP2
000006c7: MSTORE
000006c8: PUSH1 0x40
000006ca: DUP1
000006cb: DUP4
000006cc: KECCAK256
000006cd: SWAP4
000006ce: SWAP1
000006cf: SWAP5
000006d0: AND
000006d1: DUP3
000006d2: MSTORE
000006d3: SWAP2
000006d4: SWAP1
000006d5: SWAP2
000006d6: MSTORE
000006d7: KECCAK256
000006d8: SLOAD
000006d9: PUSH1 0xff
000006db: AND
000006dc: SWAP1
000006dd: JUMP
000006de: JUMPDEST
000006df: CALLVALUE
000006e0: DUP1
000006e1: ISZERO
000006e2: PUSH2 0x06ea
000006e5: JUMPI
000006e6: PUSH1 0x00
000006e8: DUP1
000006e9: REVERT
000006ea: JUMPDEST
000006eb: POP
000006ec: PUSH2 0x0335
000006ef: PUSH2 0x06f9
000006f2: CALLDATASIZE
000006f3: PUSH1 0x04
000006f5: PUSH2 0x20cb
000006f8: JUMP
000006f9: JUMPDEST
000006fa: PUSH1 0x00
000006fc: SWAP1
000006fd: DUP2
000006fe: MSTORE
000006ff: PUSH1 0x0a
00000701: PUSH1 0x20
00000703: MSTORE
00000704: PUSH1 0x40
00000706: SWAP1
00000707: KECCAK256
00000708: SLOAD
00000709: SWAP1
0000070a: JUMP
0000070b: JUMPDEST
0000070c: CALLVALUE
0000070d: DUP1
0000070e: ISZERO
0000070f: PUSH2 0x0717
00000712: JUMPI
00000713: PUSH1 0x00
00000715: DUP1
00000716: REVERT
00000717: JUMPDEST
00000718: POP
00000719: PUSH2 0x031e
0000071c: PUSH2 0x0726
0000071f: CALLDATASIZE
00000720: PUSH1 0x04
00000722: PUSH2 0x2249
00000725: JUMP
00000726: JUMPDEST
00000727: PUSH2 0x1417
0000072a: JUMP
0000072b: JUMPDEST
0000072c: CALLVALUE
0000072d: DUP1
0000072e: ISZERO
0000072f: PUSH2 0x0737
00000732: JUMPI
00000733: PUSH1 0x00
00000735: DUP1
00000736: REVERT
00000737: JUMPDEST
00000738: POP
00000739: PUSH1 0x08
0000073b: SLOAD
0000073c: PUSH2 0x048a
0000073f: SWAP1
00000740: PUSH1 0x01
00000742: PUSH1 0xc0
00000744: SHL
00000745: SWAP1
00000746: DIV
00000747: PUSH4 0xffffffff
0000074c: AND
0000074d: DUP2
0000074e: JUMP
0000074f: JUMPDEST
00000750: CALLVALUE
00000751: DUP1
00000752: ISZERO
00000753: PUSH2 0x075b
00000756: JUMPI
00000757: PUSH1 0x00
00000759: DUP1
0000075a: REVERT
0000075b: JUMPDEST
0000075c: POP
0000075d: PUSH2 0x031e
00000760: PUSH2 0x076a
00000763: CALLDATASIZE
00000764: PUSH1 0x04
00000766: PUSH2 0x2249
00000769: JUMP
0000076a: JUMPDEST
0000076b: PUSH2 0x14a7
0000076e: JUMP
0000076f: JUMPDEST
00000770: PUSH1 0x00
00000772: PUSH1 0x01
00000774: PUSH1 0x01
00000776: PUSH1 0xe0
00000778: SHL
00000779: SUB
0000077a: NOT
0000077b: DUP3
0000077c: AND
0000077d: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000
0000079e: EQ
0000079f: DUP1
000007a0: PUSH2 0x07d2
000007a3: JUMPI
000007a4: POP
000007a5: PUSH1 0x01
000007a7: PUSH1 0x01
000007a9: PUSH1 0xe0
000007ab: SHL
000007ac: SUB
000007ad: NOT
000007ae: DUP3
000007af: AND
000007b0: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000
000007d1: EQ
000007d2: JUMPDEST
000007d3: DUP1
000007d4: PUSH2 0x0806
000007d7: JUMPI
000007d8: POP
000007d9: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
000007fa: PUSH1 0x01
000007fc: PUSH1 0x01
000007fe: PUSH1 0xe0
00000800: SHL
00000801: SUB
00000802: NOT
00000803: DUP4
00000804: AND
00000805: EQ
00000806: JUMPDEST
00000807: SWAP3
00000808: SWAP2
00000809: POP
0000080a: POP
0000080b: JUMP
0000080c: JUMPDEST
0000080d: PUSH1 0x60
0000080f: PUSH1 0x00
00000811: DUP1
00000812: SLOAD
00000813: PUSH2 0x081b
00000816: SWAP1
00000817: PUSH2 0x2496
0000081a: JUMP
0000081b: JUMPDEST
0000081c: DUP1
0000081d: PUSH1 0x1f
0000081f: ADD
00000820: PUSH1 0x20
00000822: DUP1
00000823: SWAP2
00000824: DIV
00000825: MUL
00000826: PUSH1 0x20
00000828: ADD
00000829: PUSH1 0x40
0000082b: MLOAD
0000082c: SWAP1
0000082d: DUP2
0000082e: ADD
0000082f: PUSH1 0x40
00000831: MSTORE
00000832: DUP1
00000833: SWAP3
00000834: SWAP2
00000835: SWAP1
00000836: DUP2
00000837: DUP2
00000838: MSTORE
00000839: PUSH1 0x20
0000083b: ADD
0000083c: DUP3
0000083d: DUP1
0000083e: SLOAD
0000083f: PUSH2 0x0847
00000842: SWAP1
00000843: PUSH2 0x2496
00000846: JUMP
00000847: JUMPDEST
00000848: DUP1
00000849: ISZERO
0000084a: PUSH2 0x0894
0000084d: JUMPI
0000084e: DUP1
0000084f: PUSH1 0x1f
00000851: LT
00000852: PUSH2 0x0869
00000855: JUMPI
00000856: PUSH2 0x0100
00000859: DUP1
0000085a: DUP4
0000085b: SLOAD
0000085c: DIV
0000085d: MUL
0000085e: DUP4
0000085f: MSTORE
00000860: SWAP2
00000861: PUSH1 0x20
00000863: ADD
00000864: SWAP2
00000865: PUSH2 0x0894
00000868: JUMP
00000869: JUMPDEST
0000086a: DUP3
0000086b: ADD
0000086c: SWAP2
0000086d: SWAP1
0000086e: PUSH1 0x00
00000870: MSTORE
00000871: PUSH1 0x20
00000873: PUSH1 0x00
00000875: KECCAK256
00000876: SWAP1
00000877: JUMPDEST
00000878: DUP2
00000879: SLOAD
0000087a: DUP2
0000087b: MSTORE
0000087c: SWAP1
0000087d: PUSH1 0x01
0000087f: ADD
00000880: SWAP1
00000881: PUSH1 0x20
00000883: ADD
00000884: DUP1
00000885: DUP4
00000886: GT
00000887: PUSH2 0x0877
0000088a: JUMPI
0000088b: DUP3
0000088c: SWAP1
0000088d: SUB
0000088e: PUSH1 0x1f
00000890: AND
00000891: DUP3
00000892: ADD
00000893: SWAP2
00000894: JUMPDEST
00000895: POP
00000896: POP
00000897: POP
00000898: POP
00000899: POP
0000089a: SWAP1
0000089b: POP
0000089c: SWAP1
0000089d: JUMP
0000089e: JUMPDEST
0000089f: PUSH1 0x00
000008a1: PUSH2 0x08a9
000008a4: DUP3
000008a5: PUSH2 0x1515
000008a8: JUMP
000008a9: JUMPDEST
000008aa: POP
000008ab: PUSH1 0x00
000008ad: SWAP1
000008ae: DUP2
000008af: MSTORE
000008b0: PUSH1 0x04
000008b2: PUSH1 0x20
000008b4: MSTORE
000008b5: PUSH1 0x40
000008b7: SWAP1
000008b8: KECCAK256
000008b9: SLOAD
000008ba: PUSH1 0x01
000008bc: PUSH1 0x01
000008be: PUSH1 0xa0
000008c0: SHL
000008c1: SUB
000008c2: AND
000008c3: SWAP1
000008c4: JUMP
000008c5: JUMPDEST
000008c6: PUSH1 0x00
000008c8: PUSH2 0x08d0
000008cb: DUP3
000008cc: PUSH2 0x0b77
000008cf: JUMP
000008d0: JUMPDEST
000008d1: SWAP1
000008d2: POP
000008d3: DUP1
000008d4: PUSH1 0x01
000008d6: PUSH1 0x01
000008d8: PUSH1 0xa0
000008da: SHL
000008db: SUB
000008dc: AND
000008dd: DUP4
000008de: PUSH1 0x01
000008e0: PUSH1 0x01
000008e2: PUSH1 0xa0
000008e4: SHL
000008e5: SUB
000008e6: AND
000008e7: SUB
000008e8: PUSH2 0x095e
000008eb: JUMPI
000008ec: PUSH1 0x40
000008ee: MLOAD
000008ef: PUSH3 0x461bcd
000008f3: PUSH1 0xe5
000008f5: SHL
000008f6: DUP2
000008f7: MSTORE
000008f8: PUSH1 0x20
000008fa: PUSH1 0x04
000008fc: DUP3
000008fd: ADD
000008fe: MSTORE
000008ff: PUSH1 0x21
00000901: PUSH1 0x24
00000903: DUP3
00000904: ADD
00000905: MSTORE
00000906: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65
00000927: PUSH1 0x44
00000929: DUP3
0000092a: ADD
0000092b: MSTORE
0000092c: PUSH32 0x7200000000000000000000000000000000000000000000000000000000000000
0000094d: PUSH1 0x64
0000094f: DUP3
00000950: ADD
00000951: MSTORE
00000952: PUSH1 0x84
00000954: ADD
00000955: JUMPDEST
00000956: PUSH1 0x40
00000958: MLOAD
00000959: DUP1
0000095a: SWAP2
0000095b: SUB
0000095c: SWAP1
0000095d: REVERT
0000095e: JUMPDEST
0000095f: CALLER
00000960: PUSH1 0x01
00000962: PUSH1 0x01
00000964: PUSH1 0xa0
00000966: SHL
00000967: SUB
00000968: DUP3
00000969: AND
0000096a: EQ
0000096b: DUP1
0000096c: PUSH2 0x0998
0000096f: JUMPI
00000970: POP
00000971: PUSH1 0x01
00000973: PUSH1 0x01
00000975: PUSH1 0xa0
00000977: SHL
00000978: SUB
00000979: DUP2
0000097a: AND
0000097b: PUSH1 0x00
0000097d: SWAP1
0000097e: DUP2
0000097f: MSTORE
00000980: PUSH1 0x05
00000982: PUSH1 0x20
00000984: SWAP1
00000985: DUP2
00000986: MSTORE
00000987: PUSH1 0x40
00000989: DUP1
0000098a: DUP4
0000098b: KECCAK256
0000098c: CALLER
0000098d: DUP5
0000098e: MSTORE
0000098f: SWAP1
00000990: SWAP2
00000991: MSTORE
00000992: SWAP1
00000993: KECCAK256
00000994: SLOAD
00000995: PUSH1 0xff
00000997: AND
00000998: JUMPDEST
00000999: PUSH2 0x0a0a
0000099c: JUMPI
0000099d: PUSH1 0x40
0000099f: MLOAD
000009a0: PUSH3 0x461bcd
000009a4: PUSH1 0xe5
000009a6: SHL
000009a7: DUP2
000009a8: MSTORE
000009a9: PUSH1 0x20
000009ab: PUSH1 0x04
000009ad: DUP3
000009ae: ADD
000009af: MSTORE
000009b0: PUSH1 0x3d
000009b2: PUSH1 0x24
000009b4: DUP3
000009b5: ADD
000009b6: MSTORE
000009b7: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f7420746f
000009d8: PUSH1 0x44
000009da: DUP3
000009db: ADD
000009dc: MSTORE
000009dd: PUSH32 0x6b656e206f776e6572206f7220617070726f76656420666f7220616c6c000000
000009fe: PUSH1 0x64
00000a00: DUP3
00000a01: ADD
00000a02: MSTORE
00000a03: PUSH1 0x84
00000a05: ADD
00000a06: PUSH2 0x0955
00000a09: JUMP
00000a0a: JUMPDEST
00000a0b: PUSH2 0x0a14
00000a0e: DUP4
00000a0f: DUP4
00000a10: PUSH2 0x1579
00000a13: JUMP
00000a14: JUMPDEST
00000a15: POP
00000a16: POP
00000a17: POP
00000a18: JUMP
00000a19: JUMPDEST
00000a1a: PUSH1 0x08
00000a1c: SLOAD
00000a1d: PUSH1 0x00
00000a1f: SWAP1
00000a20: PUSH4 0xffffffff
00000a25: PUSH1 0x01
00000a27: PUSH1 0xc0
00000a29: SHL
00000a2a: DUP3
00000a2b: DIV
00000a2c: DUP2
00000a2d: AND
00000a2e: SWAP2
00000a2f: PUSH2 0x0a42
00000a32: SWAP2
00000a33: PUSH1 0x01
00000a35: SWAP2
00000a36: PUSH1 0x01
00000a38: PUSH1 0xa0
00000a3a: SHL
00000a3b: SWAP1
00000a3c: DIV
00000a3d: AND
00000a3e: PUSH2 0x24e6
00000a41: JUMP
00000a42: JUMPDEST
00000a43: PUSH2 0x0a4c
00000a46: SWAP2
00000a47: SWAP1
00000a48: PUSH2 0x24e6
00000a4b: JUMP
00000a4c: JUMPDEST
00000a4d: SWAP1
00000a4e: POP
00000a4f: SWAP1
00000a50: JUMP
00000a51: JUMPDEST
00000a52: PUSH2 0x0a5b
00000a55: CALLER
00000a56: DUP3
00000a57: PUSH2 0x15e7
00000a5a: JUMP
00000a5b: JUMPDEST
00000a5c: PUSH2 0x0abd
00000a5f: JUMPI
00000a60: PUSH1 0x40
00000a62: MLOAD
00000a63: PUSH3 0x461bcd
00000a67: PUSH1 0xe5
00000a69: SHL
00000a6a: DUP2
00000a6b: MSTORE
00000a6c: PUSH1 0x20
00000a6e: PUSH1 0x04
00000a70: DUP3
00000a71: ADD
00000a72: MSTORE
00000a73: PUSH1 0x2d
00000a75: PUSH1 0x24
00000a77: DUP3
00000a78: ADD
00000a79: MSTORE
00000a7a: PUSH32 0x4552433732313a2063616c6c6572206973206e6f7420746f6b656e206f776e65
00000a9b: PUSH1 0x44
00000a9d: DUP3
00000a9e: ADD
00000a9f: MSTORE
00000aa0: PUSH13 0x1c881bdc88185c1c1c9bdd9959
00000aae: PUSH1 0x9a
00000ab0: SHL
00000ab1: PUSH1 0x64
00000ab3: DUP3
00000ab4: ADD
00000ab5: MSTORE
00000ab6: PUSH1 0x84
00000ab8: ADD
00000ab9: PUSH2 0x0955
00000abc: JUMP
00000abd: JUMPDEST
00000abe: PUSH2 0x0a14
00000ac1: DUP4
00000ac2: DUP4
00000ac3: DUP4
00000ac4: PUSH2 0x1666
00000ac7: JUMP
00000ac8: JUMPDEST
00000ac9: PUSH2 0x0a14
00000acc: DUP4
00000acd: DUP4
00000ace: DUP4
00000acf: PUSH1 0x40
00000ad1: MLOAD
00000ad2: DUP1
00000ad3: PUSH1 0x20
00000ad5: ADD
00000ad6: PUSH1 0x40
00000ad8: MSTORE
00000ad9: DUP1
00000ada: PUSH1 0x00
00000adc: DUP2
00000add: MSTORE
00000ade: POP
00000adf: PUSH2 0x1167
00000ae2: JUMP
00000ae3: JUMPDEST
00000ae4: PUSH2 0x0aeb
00000ae7: PUSH2 0x186c
00000aea: JUMP
00000aeb: JUMPDEST
00000aec: PUSH1 0x08
00000aee: DUP1
00000aef: SLOAD
00000af0: PUSH32 0xff00ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000b11: AND
00000b12: PUSH1 0x01
00000b14: PUSH1 0xf0
00000b16: SHL
00000b17: OR
00000b18: SWAP1
00000b19: SSTORE
00000b1a: JUMP
00000b1b: JUMPDEST
00000b1c: PUSH2 0x0b23
00000b1f: PUSH2 0x186c
00000b22: JUMP
00000b23: JUMPDEST
00000b24: PUSH1 0x08
00000b26: SLOAD
00000b27: PUSH1 0x01
00000b29: PUSH1 0xf0
00000b2b: SHL
00000b2c: SWAP1
00000b2d: DIV
00000b2e: PUSH1 0xff
00000b30: AND
00000b31: ISZERO
00000b32: PUSH2 0x0b67
00000b35: JUMPI
00000b36: PUSH1 0x40
00000b38: MLOAD
00000b39: PUSH3 0x461bcd
00000b3d: PUSH1 0xe5
00000b3f: SHL
00000b40: DUP2
00000b41: MSTORE
00000b42: PUSH1 0x20
00000b44: PUSH1 0x04
00000b46: DUP3
00000b47: ADD
00000b48: MSTORE
00000b49: PUSH1 0x07
00000b4b: PUSH1 0x24
00000b4d: DUP3
00000b4e: ADD
00000b4f: MSTORE
00000b50: PUSH7 0x2637b1b5b2b217
00000b58: PUSH1 0xc9
00000b5a: SHL
00000b5b: PUSH1 0x44
00000b5d: DUP3
00000b5e: ADD
00000b5f: MSTORE
00000b60: PUSH1 0x64
00000b62: ADD
00000b63: PUSH2 0x0955
00000b66: JUMP
00000b67: JUMPDEST
00000b68: PUSH1 0x07
00000b6a: PUSH2 0x0b73
00000b6d: DUP3
00000b6e: DUP3
00000b6f: PUSH2 0x2547
00000b72: JUMP
00000b73: JUMPDEST
00000b74: POP
00000b75: POP
00000b76: JUMP
00000b77: JUMPDEST
00000b78: PUSH1 0x00
00000b7a: DUP2
00000b7b: DUP2
00000b7c: MSTORE
00000b7d: PUSH1 0x02
00000b7f: PUSH1 0x20
00000b81: MSTORE
00000b82: PUSH1 0x40
00000b84: DUP2
00000b85: KECCAK256
00000b86: SLOAD
00000b87: PUSH1 0x01
00000b89: PUSH1 0x01
00000b8b: PUSH1 0xa0
00000b8d: SHL
00000b8e: SUB
00000b8f: AND
00000b90: DUP1
00000b91: PUSH2 0x0806
00000b94: JUMPI
00000b95: PUSH1 0x40
00000b97: MLOAD
00000b98: PUSH3 0x461bcd
00000b9c: PUSH1 0xe5
00000b9e: SHL
00000b9f: DUP2
00000ba0: MSTORE
00000ba1: PUSH1 0x20
00000ba3: PUSH1 0x04
00000ba5: DUP3
00000ba6: ADD
00000ba7: MSTORE
00000ba8: PUSH1 0x18
00000baa: PUSH1 0x24
00000bac: DUP3
00000bad: ADD
00000bae: MSTORE
00000baf: PUSH32 0x4552433732313a20696e76616c696420746f6b656e2049440000000000000000
00000bd0: PUSH1 0x44
00000bd2: DUP3
00000bd3: ADD
00000bd4: MSTORE
00000bd5: PUSH1 0x64
00000bd7: ADD
00000bd8: PUSH2 0x0955
00000bdb: JUMP
00000bdc: JUMPDEST
00000bdd: PUSH1 0x00
00000bdf: PUSH1 0x01
00000be1: PUSH1 0x01
00000be3: PUSH1 0xa0
00000be5: SHL
00000be6: SUB
00000be7: DUP3
00000be8: AND
00000be9: PUSH2 0x0c5a
00000bec: JUMPI
00000bed: PUSH1 0x40
00000bef: MLOAD
00000bf0: PUSH3 0x461bcd
00000bf4: PUSH1 0xe5
00000bf6: SHL
00000bf7: DUP2
00000bf8: MSTORE
00000bf9: PUSH1 0x20
00000bfb: PUSH1 0x04
00000bfd: DUP3
00000bfe: ADD
00000bff: MSTORE
00000c00: PUSH1 0x29
00000c02: PUSH1 0x24
00000c04: DUP3
00000c05: ADD
00000c06: MSTORE
00000c07: PUSH32 0x4552433732313a2061646472657373207a65726f206973206e6f742061207661
00000c28: PUSH1 0x44
00000c2a: DUP3
00000c2b: ADD
00000c2c: MSTORE
00000c2d: PUSH32 0x6c6964206f776e65720000000000000000000000000000000000000000000000
00000c4e: PUSH1 0x64
00000c50: DUP3
00000c51: ADD
00000c52: MSTORE
00000c53: PUSH1 0x84
00000c55: ADD
00000c56: PUSH2 0x0955
00000c59: JUMP
00000c5a: JUMPDEST
00000c5b: POP
00000c5c: PUSH1 0x01
00000c5e: PUSH1 0x01
00000c60: PUSH1 0xa0
00000c62: SHL
00000c63: SUB
00000c64: AND
00000c65: PUSH1 0x00
00000c67: SWAP1
00000c68: DUP2
00000c69: MSTORE
00000c6a: PUSH1 0x03
00000c6c: PUSH1 0x20
00000c6e: MSTORE
00000c6f: PUSH1 0x40
00000c71: SWAP1
00000c72: KECCAK256
00000c73: SLOAD
00000c74: SWAP1
00000c75: JUMP
00000c76: JUMPDEST
00000c77: PUSH2 0x0c7e
00000c7a: PUSH2 0x186c
00000c7d: JUMP
00000c7e: JUMPDEST
00000c7f: PUSH2 0x0c88
00000c82: PUSH1 0x00
00000c84: PUSH2 0x18c6
00000c87: JUMP
00000c88: JUMPDEST
00000c89: JUMP
00000c8a: JUMPDEST
00000c8b: PUSH2 0x0c92
00000c8e: PUSH2 0x186c
00000c91: JUMP
00000c92: JUMPDEST
00000c93: PUSH1 0x08
00000c95: DUP1
00000c96: SLOAD
00000c97: PUSH32 0xffffff00ffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000cb8: AND
00000cb9: PUSH1 0x01
00000cbb: PUSH1 0xe0
00000cbd: SHL
00000cbe: OR
00000cbf: SWAP1
00000cc0: SSTORE
00000cc1: JUMP
00000cc2: JUMPDEST
00000cc3: PUSH1 0x08
00000cc5: DUP1
00000cc6: SLOAD
00000cc7: PUSH1 0x18
00000cc9: SWAP1
00000cca: PUSH2 0x0cdf
00000ccd: SWAP1
00000cce: PUSH1 0x01
00000cd0: PUSH1 0xc0
00000cd2: SHL
00000cd3: SWAP1
00000cd4: DIV
00000cd5: PUSH4 0xffffffff
00000cda: AND
00000cdb: PUSH2 0x2607
00000cde: JUMP
00000cdf: JUMPDEST
00000ce0: DUP3
00000ce1: SLOAD
00000ce2: PUSH4 0xffffffff
00000ce7: SWAP2
00000ce8: DUP3
00000ce9: AND
00000cea: PUSH2 0x0100
00000ced: SWAP4
00000cee: SWAP1
00000cef: SWAP4
00000cf0: EXP
00000cf1: SWAP3
00000cf2: DUP4
00000cf3: MUL
00000cf4: SWAP2
00000cf5: SWAP1
00000cf6: SWAP3
00000cf7: MUL
00000cf8: NOT
00000cf9: SWAP1
00000cfa: SWAP2
00000cfb: AND
00000cfc: OR
00000cfd: SWAP1
00000cfe: SSTORE
00000cff: PUSH1 0x00
00000d01: DUP2
00000d02: DUP2
00000d03: MSTORE
00000d04: PUSH1 0x09
00000d06: PUSH1 0x20
00000d08: MSTORE
00000d09: PUSH1 0x40
00000d0b: SWAP1
00000d0c: KECCAK256
00000d0d: SLOAD
00000d0e: CALLER
00000d0f: PUSH2 0x0d17
00000d12: DUP4
00000d13: PUSH2 0x0b77
00000d16: JUMP
00000d17: JUMPDEST
00000d18: PUSH1 0x01
00000d1a: PUSH1 0x01
00000d1c: PUSH1 0xa0
00000d1e: SHL
00000d1f: SUB
00000d20: AND
00000d21: EQ
00000d22: PUSH2 0x0d6d
00000d25: JUMPI
00000d26: PUSH1 0x40
00000d28: MLOAD
00000d29: PUSH3 0x461bcd
00000d2d: PUSH1 0xe5
00000d2f: SHL
00000d30: DUP2
00000d31: MSTORE
00000d32: PUSH1 0x20
00000d34: PUSH1 0x04
00000d36: DUP3
00000d37: ADD
00000d38: MSTORE
00000d39: PUSH1 0x1e
00000d3b: PUSH1 0x24
00000d3d: DUP3
00000d3e: ADD
00000d3f: MSTORE
00000d40: PUSH32 0x4d757374206f776e20426f6e6b6c657220746f2072656465656d2069742e0000
00000d61: PUSH1 0x44
00000d63: DUP3
00000d64: ADD
00000d65: MSTORE
00000d66: PUSH1 0x64
00000d68: ADD
00000d69: PUSH2 0x0955
00000d6c: JUMP
00000d6d: JUMPDEST
00000d6e: PUSH2 0x0d76
00000d71: DUP3
00000d72: PUSH2 0x1918
00000d75: JUMP
00000d76: JUMPDEST
00000d77: PUSH1 0x08
00000d79: SLOAD
00000d7a: PUSH1 0x40
00000d7c: MLOAD
00000d7d: PUSH32 0xf591e6f300000000000000000000000000000000000000000000000000000000
00000d9e: DUP2
00000d9f: MSTORE
00000da0: PUSH1 0x04
00000da2: DUP2
00000da3: ADD
00000da4: DUP5
00000da5: SWAP1
00000da6: MSTORE
00000da7: PUSH1 0x01
00000da9: PUSH1 0x01
00000dab: PUSH1 0xa0
00000dad: SHL
00000dae: SUB
00000daf: SWAP1
00000db0: SWAP2
00000db1: AND
00000db2: SWAP1
00000db3: PUSH4 0xf591e6f3
00000db8: SWAP1
00000db9: PUSH1 0x24
00000dbb: ADD
00000dbc: PUSH1 0x00
00000dbe: PUSH1 0x40
00000dc0: MLOAD
00000dc1: DUP1
00000dc2: DUP4
00000dc3: SUB
00000dc4: DUP2
00000dc5: PUSH1 0x00
00000dc7: DUP8
00000dc8: DUP1
00000dc9: EXTCODESIZE
00000dca: ISZERO
00000dcb: DUP1
00000dcc: ISZERO
00000dcd: PUSH2 0x0dd5
00000dd0: JUMPI
00000dd1: PUSH1 0x00
00000dd3: DUP1
00000dd4: REVERT
00000dd5: JUMPDEST
00000dd6: POP
00000dd7: GAS
00000dd8: CALL
00000dd9: ISZERO
00000dda: DUP1
00000ddb: ISZERO
00000ddc: PUSH2 0x0de9
00000ddf: JUMPI
00000de0: RETURNDATASIZE
00000de1: PUSH1 0x00
00000de3: DUP1
00000de4: RETURNDATACOPY
00000de5: RETURNDATASIZE
00000de6: PUSH1 0x00
00000de8: REVERT
00000de9: JUMPDEST
00000dea: POP
00000deb: POP
00000dec: POP
00000ded: POP
00000dee: PUSH2 0x0b73
00000df1: CALLER
00000df2: DUP3
00000df3: PUSH2 0x19bb
00000df6: JUMP
00000df7: JUMPDEST
00000df8: PUSH1 0x60
00000dfa: PUSH1 0x00
00000dfc: PUSH2 0x0e04
00000dff: DUP4
00000e00: PUSH2 0x0bdc
00000e03: JUMP
00000e04: JUMPDEST
00000e05: SWAP1
00000e06: POP
00000e07: DUP1
00000e08: PUSH8 0xffffffffffffffff
00000e11: DUP2
00000e12: GT
00000e13: ISZERO
00000e14: PUSH2 0x0e1f
00000e17: JUMPI
00000e18: PUSH2 0x0e1f
00000e1b: PUSH2 0x2161
00000e1e: JUMP
00000e1f: JUMPDEST
00000e20: PUSH1 0x40
00000e22: MLOAD
00000e23: SWAP1
00000e24: DUP1
00000e25: DUP3
00000e26: MSTORE
00000e27: DUP1
00000e28: PUSH1 0x20
00000e2a: MUL
00000e2b: PUSH1 0x20
00000e2d: ADD
00000e2e: DUP3
00000e2f: ADD
00000e30: PUSH1 0x40
00000e32: MSTORE
00000e33: DUP1
00000e34: ISZERO
00000e35: PUSH2 0x0e48
00000e38: JUMPI
00000e39: DUP2
00000e3a: PUSH1 0x20
00000e3c: ADD
00000e3d: PUSH1 0x20
00000e3f: DUP3
00000e40: MUL
00000e41: DUP1
00000e42: CALLDATASIZE
00000e43: DUP4
00000e44: CALLDATACOPY
00000e45: ADD
00000e46: SWAP1
00000e47: POP
00000e48: JUMPDEST
00000e49: POP
00000e4a: PUSH1 0x08
00000e4c: SLOAD
00000e4d: SWAP1
00000e4e: SWAP3
00000e4f: POP
00000e50: PUSH1 0x01
00000e52: PUSH1 0xa0
00000e54: SHL
00000e55: SWAP1
00000e56: DIV
00000e57: PUSH4 0xffffffff
00000e5c: AND
00000e5d: PUSH1 0x00
00000e5f: PUSH1 0x01
00000e61: JUMPDEST
00000e62: DUP3
00000e63: DUP2
00000e64: LT
00000e65: DUP1
00000e66: ISZERO
00000e67: PUSH2 0x0e6f
00000e6a: JUMPI
00000e6b: POP
00000e6c: DUP4
00000e6d: DUP3
00000e6e: LT
00000e6f: JUMPDEST
00000e70: ISZERO
00000e71: PUSH2 0x0ed0
00000e74: JUMPI
00000e75: PUSH1 0x00
00000e77: DUP2
00000e78: DUP2
00000e79: MSTORE
00000e7a: PUSH1 0x02
00000e7c: PUSH1 0x20
00000e7e: MSTORE
00000e7f: PUSH1 0x40
00000e81: SWAP1
00000e82: KECCAK256
00000e83: SLOAD
00000e84: PUSH1 0x01
00000e86: PUSH1 0x01
00000e88: PUSH1 0xa0
00000e8a: SHL
00000e8b: SUB
00000e8c: DUP8
00000e8d: DUP2
00000e8e: AND
00000e8f: SWAP2
00000e90: AND
00000e91: SUB
00000e92: PUSH2 0x0ec0
00000e95: JUMPI
00000e96: DUP1
00000e97: DUP6
00000e98: DUP4
00000e99: PUSH2 0x0ea1
00000e9c: DUP2
00000e9d: PUSH2 0x262a
00000ea0: JUMP
00000ea1: JUMPDEST
00000ea2: SWAP5
00000ea3: POP
00000ea4: DUP2
00000ea5: MLOAD
00000ea6: DUP2
00000ea7: LT
00000ea8: PUSH2 0x0eb3
00000eab: JUMPI
00000eac: PUSH2 0x0eb3
00000eaf: PUSH2 0x2643
00000eb2: JUMP
00000eb3: JUMPDEST
00000eb4: PUSH1 0x20
00000eb6: MUL
00000eb7: PUSH1 0x20
00000eb9: ADD
00000eba: ADD
00000ebb: DUP2
00000ebc: DUP2
00000ebd: MSTORE
00000ebe: POP
00000ebf: POP
00000ec0: JUMPDEST
00000ec1: PUSH2 0x0ec9
00000ec4: DUP2
00000ec5: PUSH2 0x262a
00000ec8: JUMP
00000ec9: JUMPDEST
00000eca: SWAP1
00000ecb: POP
00000ecc: PUSH2 0x0e61
00000ecf: JUMP
00000ed0: JUMPDEST
00000ed1: POP
00000ed2: POP
00000ed3: POP
00000ed4: POP
00000ed5: SWAP2
00000ed6: SWAP1
00000ed7: POP
00000ed8: JUMP
00000ed9: JUMPDEST
00000eda: PUSH1 0x08
00000edc: SLOAD
00000edd: PUSH1 0x01
00000edf: PUSH1 0x01
00000ee1: PUSH1 0xa0
00000ee3: SHL
00000ee4: SUB
00000ee5: AND
00000ee6: CALLER
00000ee7: EQ
00000ee8: PUSH2 0x0f33
00000eeb: JUMPI
00000eec: PUSH1 0x40
00000eee: MLOAD
00000eef: PUSH3 0x461bcd
00000ef3: PUSH1 0xe5
00000ef5: SHL
00000ef6: DUP2
00000ef7: MSTORE
00000ef8: PUSH1 0x20
00000efa: PUSH1 0x04
00000efc: DUP3
00000efd: ADD
00000efe: MSTORE
00000eff: PUSH1 0x14
00000f01: PUSH1 0x24
00000f03: DUP3
00000f04: ADD
00000f05: MSTORE
00000f06: PUSH32 0x556e617574686f72697a6564206d696e7465722e000000000000000000000000
00000f27: PUSH1 0x44
00000f29: DUP3
00000f2a: ADD
00000f2b: MSTORE
00000f2c: PUSH1 0x64
00000f2e: ADD
00000f2f: PUSH2 0x0955
00000f32: JUMP
00000f33: JUMPDEST
00000f34: PUSH1 0x00
00000f36: DUP3
00000f37: DUP2
00000f38: MSTORE
00000f39: PUSH1 0x09
00000f3b: PUSH1 0x20
00000f3d: MSTORE
00000f3e: PUSH1 0x40
00000f40: SWAP1
00000f41: KECCAK256
00000f42: CALLVALUE
00000f43: SWAP1
00000f44: SSTORE
00000f45: PUSH2 0x0b73
00000f48: CALLER
00000f49: DUP3
00000f4a: DUP5
00000f4b: PUSH2 0x1666
00000f4e: JUMP
00000f4f: JUMPDEST
00000f50: PUSH1 0x60
00000f52: PUSH1 0x01
00000f54: DUP1
00000f55: SLOAD
00000f56: PUSH2 0x081b
00000f59: SWAP1
00000f5a: PUSH2 0x2496
00000f5d: JUMP
00000f5e: JUMPDEST
00000f5f: PUSH1 0x08
00000f61: SLOAD
00000f62: PUSH1 0x00
00000f64: SWAP1
00000f65: PUSH1 0x01
00000f67: PUSH1 0x01
00000f69: PUSH1 0xa0
00000f6b: SHL
00000f6c: SUB
00000f6d: AND
00000f6e: CALLER
00000f6f: EQ
00000f70: PUSH2 0x0fbb
00000f73: JUMPI
00000f74: PUSH1 0x40
00000f76: MLOAD
00000f77: PUSH3 0x461bcd
00000f7b: PUSH1 0xe5
00000f7d: SHL
00000f7e: DUP2
00000f7f: MSTORE
00000f80: PUSH1 0x20
00000f82: PUSH1 0x04
00000f84: DUP3
00000f85: ADD
00000f86: MSTORE
00000f87: PUSH1 0x14
00000f89: PUSH1 0x24
00000f8b: DUP3
00000f8c: ADD
00000f8d: MSTORE
00000f8e: PUSH32 0x556e617574686f72697a6564206d696e7465722e000000000000000000000000
00000faf: PUSH1 0x44
00000fb1: DUP3
00000fb2: ADD
00000fb3: MSTORE
00000fb4: PUSH1 0x64
00000fb6: ADD
00000fb7: PUSH2 0x0955
00000fba: JUMP
00000fbb: JUMPDEST
00000fbc: PUSH1 0x08
00000fbe: SLOAD
00000fbf: PUSH1 0x01
00000fc1: PUSH1 0xe8
00000fc3: SHL
00000fc4: SWAP1
00000fc5: DIV
00000fc6: PUSH1 0xff
00000fc8: AND
00000fc9: ISZERO
00000fca: PUSH2 0x0fff
00000fcd: JUMPI
00000fce: PUSH1 0x40
00000fd0: MLOAD
00000fd1: PUSH3 0x461bcd
00000fd5: PUSH1 0xe5
00000fd7: SHL
00000fd8: DUP2
00000fd9: MSTORE
00000fda: PUSH1 0x20
00000fdc: PUSH1 0x04
00000fde: DUP3
00000fdf: ADD
00000fe0: MSTORE
00000fe1: PUSH1 0x07
00000fe3: PUSH1 0x24
00000fe5: DUP3
00000fe6: ADD
00000fe7: MSTORE
00000fe8: PUSH7 0x2637b1b5b2b217
00000ff0: PUSH1 0xc9
00000ff2: SHL
00000ff3: PUSH1 0x44
00000ff5: DUP3
00000ff6: ADD
00000ff7: MSTORE
00000ff8: PUSH1 0x64
00000ffa: ADD
00000ffb: PUSH2 0x0955
00000ffe: JUMP
00000fff: JUMPDEST
00001000: PUSH1 0x08
00001002: DUP1
00001003: SLOAD
00001004: PUSH1 0x01
00001006: PUSH1 0xa0
00001008: SHL
00001009: SWAP1
0000100a: DIV
0000100b: PUSH4 0xffffffff
00001010: AND
00001011: SWAP1
00001012: PUSH1 0x14
00001014: PUSH2 0x101c
00001017: DUP4
00001018: PUSH2 0x2607
0000101b: JUMP
0000101c: JUMPDEST
0000101d: SWAP2
0000101e: SWAP1
0000101f: PUSH2 0x0100
00001022: EXP
00001023: DUP2
00001024: SLOAD
00001025: DUP2
00001026: PUSH4 0xffffffff
0000102b: MUL
0000102c: NOT
0000102d: AND
0000102e: SWAP1
0000102f: DUP4
00001030: PUSH4 0xffffffff
00001035: AND
00001036: MUL
00001037: OR
00001038: SWAP1
00001039: SSTORE
0000103a: POP
0000103b: PUSH4 0xffffffff
00001040: AND
00001041: SWAP1
00001042: POP
00001043: PUSH2 0x104c
00001046: CALLER
00001047: DUP3
00001048: PUSH2 0x19ff
0000104b: JUMP
0000104c: JUMPDEST
0000104d: PUSH1 0x00
0000104f: DUP2
00001050: DUP2
00001051: MSTORE
00001052: PUSH1 0x0a
00001054: PUSH1 0x20
00001056: MSTORE
00001057: PUSH1 0x40
00001059: SWAP1
0000105a: KECCAK256
0000105b: SWAP2
0000105c: SWAP1
0000105d: SWAP2
0000105e: SSTORE
0000105f: SWAP1
00001060: JUMP
00001061: JUMPDEST
00001062: PUSH2 0x0b73
00001065: CALLER
00001066: DUP4
00001067: DUP4
00001068: PUSH2 0x1b98
0000106b: JUMP
0000106c: JUMPDEST
0000106d: PUSH1 0x08
0000106f: SLOAD
00001070: PUSH1 0x00
00001072: SWAP1
00001073: PUSH2 0x0a4c
00001076: SWAP1
00001077: PUSH1 0x01
00001079: SWAP1
0000107a: PUSH1 0x01
0000107c: PUSH1 0xa0
0000107e: SHL
0000107f: SWAP1
00001080: DIV
00001081: PUSH4 0xffffffff
00001086: AND
00001087: PUSH2 0x24e6
0000108a: JUMP
0000108b: JUMPDEST
0000108c: DUP1
0000108d: MLOAD
0000108e: PUSH1 0x60
00001090: SWAP1
00001091: DUP1
00001092: PUSH8 0xffffffffffffffff
0000109b: DUP2
0000109c: GT
0000109d: ISZERO
0000109e: PUSH2 0x10a9
000010a1: JUMPI
000010a2: PUSH2 0x10a9
000010a5: PUSH2 0x2161
000010a8: JUMP
000010a9: JUMPDEST
000010aa: PUSH1 0x40
000010ac: MLOAD
000010ad: SWAP1
000010ae: DUP1
000010af: DUP3
000010b0: MSTORE
000010b1: DUP1
000010b2: PUSH1 0x20
000010b4: MUL
000010b5: PUSH1 0x20
000010b7: ADD
000010b8: DUP3
000010b9: ADD
000010ba: PUSH1 0x40
000010bc: MSTORE
000010bd: DUP1
000010be: ISZERO
000010bf: PUSH2 0x10d2
000010c2: JUMPI
000010c3: DUP2
000010c4: PUSH1 0x20
000010c6: ADD
000010c7: PUSH1 0x20
000010c9: DUP3
000010ca: MUL
000010cb: DUP1
000010cc: CALLDATASIZE
000010cd: DUP4
000010ce: CALLDATACOPY
000010cf: ADD
000010d0: SWAP1
000010d1: POP
000010d2: JUMPDEST
000010d3: POP
000010d4: SWAP2
000010d5: POP
000010d6: PUSH1 0x00
000010d8: JUMPDEST
000010d9: DUP2
000010da: DUP2
000010db: LT
000010dc: ISZERO
000010dd: PUSH2 0x1160
000010e0: JUMPI
000010e1: PUSH1 0x00
000010e3: PUSH1 0x01
000010e5: PUSH1 0x01
000010e7: PUSH1 0xa0
000010e9: SHL
000010ea: SUB
000010eb: AND
000010ec: PUSH2 0x1123
000010ef: DUP6
000010f0: DUP4
000010f1: DUP2
000010f2: MLOAD
000010f3: DUP2
000010f4: LT
000010f5: PUSH2 0x1100
000010f8: JUMPI
000010f9: PUSH2 0x1100
000010fc: PUSH2 0x2643
000010ff: JUMP
00001100: JUMPDEST
00001101: PUSH1 0x20
00001103: MUL
00001104: PUSH1 0x20
00001106: ADD
00001107: ADD
00001108: MLOAD
00001109: PUSH1 0x00
0000110b: SWAP1
0000110c: DUP2
0000110d: MSTORE
0000110e: PUSH1 0x02
00001110: PUSH1 0x20
00001112: MSTORE
00001113: PUSH1 0x40
00001115: SWAP1
00001116: KECCAK256
00001117: SLOAD
00001118: PUSH1 0x01
0000111a: PUSH1 0x01
0000111c: PUSH1 0xa0
0000111e: SHL
0000111f: SUB
00001120: AND
00001121: SWAP1
00001122: JUMP
00001123: JUMPDEST
00001124: PUSH1 0x01
00001126: PUSH1 0x01
00001128: PUSH1 0xa0
0000112a: SHL
0000112b: SUB
0000112c: AND
0000112d: EQ
0000112e: ISZERO
0000112f: DUP4
00001130: DUP3
00001131: DUP2
00001132: MLOAD
00001133: DUP2
00001134: LT
00001135: PUSH2 0x1140
00001138: JUMPI
00001139: PUSH2 0x1140
0000113c: PUSH2 0x2643
0000113f: JUMP
00001140: JUMPDEST
00001141: SWAP2
00001142: ISZERO
00001143: ISZERO
00001144: PUSH1 0x20
00001146: SWAP3
00001147: DUP4
00001148: MUL
00001149: SWAP2
0000114a: SWAP1
0000114b: SWAP2
0000114c: ADD
0000114d: SWAP1
0000114e: SWAP2
0000114f: ADD
00001150: MSTORE
00001151: PUSH2 0x1159
00001154: DUP2
00001155: PUSH2 0x262a
00001158: JUMP
00001159: JUMPDEST
0000115a: SWAP1
0000115b: POP
0000115c: PUSH2 0x10d8
0000115f: JUMP
00001160: JUMPDEST
00001161: POP
00001162: POP
00001163: SWAP2
00001164: SWAP1
00001165: POP
00001166: JUMP
00001167: JUMPDEST
00001168: PUSH2 0x1171
0000116b: CALLER
0000116c: DUP4
0000116d: PUSH2 0x15e7
00001170: JUMP
00001171: JUMPDEST
00001172: PUSH2 0x11d3
00001175: JUMPI
00001176: PUSH1 0x40
00001178: MLOAD
00001179: PUSH3 0x461bcd
0000117d: PUSH1 0xe5
0000117f: SHL
00001180: DUP2
00001181: MSTORE
00001182: PUSH1 0x20
00001184: PUSH1 0x04
00001186: DUP3
00001187: ADD
00001188: MSTORE
00001189: PUSH1 0x2d
0000118b: PUSH1 0x24
0000118d: DUP3
0000118e: ADD
0000118f: MSTORE
00001190: PUSH32 0x4552433732313a2063616c6c6572206973206e6f7420746f6b656e206f776e65
000011b1: PUSH1 0x44
000011b3: DUP3
000011b4: ADD
000011b5: MSTORE
000011b6: PUSH13 0x1c881bdc88185c1c1c9bdd9959
000011c4: PUSH1 0x9a
000011c6: SHL
000011c7: PUSH1 0x64
000011c9: DUP3
000011ca: ADD
000011cb: MSTORE
000011cc: PUSH1 0x84
000011ce: ADD
000011cf: PUSH2 0x0955
000011d2: JUMP
000011d3: JUMPDEST
000011d4: PUSH2 0x11df
000011d7: DUP5
000011d8: DUP5
000011d9: DUP5
000011da: DUP5
000011db: PUSH2 0x1c66
000011de: JUMP
000011df: JUMPDEST
000011e0: POP
000011e1: POP
000011e2: POP
000011e3: POP
000011e4: JUMP
000011e5: JUMPDEST
000011e6: PUSH1 0x00
000011e8: DUP2
000011e9: DUP2
000011ea: MSTORE
000011eb: PUSH1 0x02
000011ed: PUSH1 0x20
000011ef: MSTORE
000011f0: PUSH1 0x40
000011f2: SWAP1
000011f3: KECCAK256
000011f4: SLOAD
000011f5: PUSH1 0x60
000011f7: SWAP1
000011f8: PUSH1 0x01
000011fa: PUSH1 0x01
000011fc: PUSH1 0xa0
000011fe: SHL
000011ff: SUB
00001200: AND
00001201: PUSH2 0x124c
00001204: JUMPI
00001205: PUSH1 0x40
00001207: MLOAD
00001208: PUSH3 0x461bcd
0000120c: PUSH1 0xe5
0000120e: SHL
0000120f: DUP2
00001210: MSTORE
00001211: PUSH1 0x20
00001213: PUSH1 0x04
00001215: DUP3
00001216: ADD
00001217: MSTORE
00001218: PUSH1 0x15
0000121a: PUSH1 0x24
0000121c: DUP3
0000121d: ADD
0000121e: MSTORE
0000121f: PUSH32 0x546f6b656e20646f6573206e6f742065786973742e0000000000000000000000
00001240: PUSH1 0x44
00001242: DUP3
00001243: ADD
00001244: MSTORE
00001245: PUSH1 0x64
00001247: ADD
00001248: PUSH2 0x0955
0000124b: JUMP
0000124c: JUMPDEST
0000124d: PUSH1 0x07
0000124f: DUP1
00001250: SLOAD
00001251: PUSH2 0x1259
00001254: SWAP1
00001255: PUSH2 0x2496
00001258: JUMP
00001259: JUMPDEST
0000125a: DUP1
0000125b: PUSH1 0x1f
0000125d: ADD
0000125e: PUSH1 0x20
00001260: DUP1
00001261: SWAP2
00001262: DIV
00001263: MUL
00001264: PUSH1 0x20
00001266: ADD
00001267: PUSH1 0x40
00001269: MLOAD
0000126a: SWAP1
0000126b: DUP2
0000126c: ADD
0000126d: PUSH1 0x40
0000126f: MSTORE
00001270: DUP1
00001271: SWAP3
00001272: SWAP2
00001273: SWAP1
00001274: DUP2
00001275: DUP2
00001276: MSTORE
00001277: PUSH1 0x20
00001279: ADD
0000127a: DUP3
0000127b: DUP1
0000127c: SLOAD
0000127d: PUSH2 0x1285
00001280: SWAP1
00001281: PUSH2 0x2496
00001284: JUMP
00001285: JUMPDEST
00001286: DUP1
00001287: ISZERO
00001288: PUSH2 0x12d2
0000128b: JUMPI
0000128c: DUP1
0000128d: PUSH1 0x1f
0000128f: LT
00001290: PUSH2 0x12a7
00001293: JUMPI
00001294: PUSH2 0x0100
00001297: DUP1
00001298: DUP4
00001299: SLOAD
0000129a: DIV
0000129b: MUL
0000129c: DUP4
0000129d: MSTORE
0000129e: SWAP2
0000129f: PUSH1 0x20
000012a1: ADD
000012a2: SWAP2
000012a3: PUSH2 0x12d2
000012a6: JUMP
000012a7: JUMPDEST
000012a8: DUP3
000012a9: ADD
000012aa: SWAP2
000012ab: SWAP1
000012ac: PUSH1 0x00
000012ae: MSTORE
000012af: PUSH1 0x20
000012b1: PUSH1 0x00
000012b3: KECCAK256
000012b4: SWAP1
000012b5: JUMPDEST
000012b6: DUP2
000012b7: SLOAD
000012b8: DUP2
000012b9: MSTORE
000012ba: SWAP1
000012bb: PUSH1 0x01
000012bd: ADD
000012be: SWAP1
000012bf: PUSH1 0x20
000012c1: ADD
000012c2: DUP1
000012c3: DUP4
000012c4: GT
000012c5: PUSH2 0x12b5
000012c8: JUMPI
000012c9: DUP3
000012ca: SWAP1
000012cb: SUB
000012cc: PUSH1 0x1f
000012ce: AND
000012cf: DUP3
000012d0: ADD
000012d1: SWAP2
000012d2: JUMPDEST
000012d3: POP
000012d4: POP
000012d5: POP
000012d6: POP
000012d7: POP
000012d8: SWAP1
000012d9: POP
000012da: DUP1
000012db: MLOAD
000012dc: PUSH1 0x00
000012de: EQ
000012df: PUSH2 0x13da
000012e2: JUMPI
000012e3: PUSH2 0x132c
000012e6: PUSH1 0x40
000012e8: MLOAD
000012e9: DUP1
000012ea: PUSH1 0x40
000012ec: ADD
000012ed: PUSH1 0x40
000012ef: MSTORE
000012f0: DUP1
000012f1: PUSH1 0x04
000012f3: DUP2
000012f4: MSTORE
000012f5: PUSH1 0x20
000012f7: ADD
000012f8: PUSH32 0x7b69647d00000000000000000000000000000000000000000000000000000000
00001319: DUP2
0000131a: MSTORE
0000131b: POP
0000131c: PUSH2 0x1324
0000131f: DUP5
00001320: PUSH2 0x1cef
00001323: JUMP
00001324: JUMPDEST
00001325: DUP4
00001326: SWAP2
00001327: SWAP1
00001328: PUSH2 0x1d33
0000132b: JUMP
0000132c: JUMPDEST
0000132d: SWAP1
0000132e: POP
0000132f: PUSH2 0x1383
00001332: PUSH1 0x40
00001334: MLOAD
00001335: DUP1
00001336: PUSH1 0x40
00001338: ADD
00001339: PUSH1 0x40
0000133b: MSTORE
0000133c: DUP1
0000133d: PUSH1 0x08
0000133f: DUP2
00001340: MSTORE
00001341: PUSH1 0x20
00001343: ADD
00001344: PUSH32 0x7b7368617265737d000000000000000000000000000000000000000000000000
00001365: DUP2
00001366: MSTORE
00001367: POP
00001368: PUSH2 0x1324
0000136b: PUSH1 0x09
0000136d: PUSH1 0x00
0000136f: DUP7
00001370: DUP2
00001371: MSTORE
00001372: PUSH1 0x20
00001374: ADD
00001375: SWAP1
00001376: DUP2
00001377: MSTORE
00001378: PUSH1 0x20
0000137a: ADD
0000137b: PUSH1 0x00
0000137d: KECCAK256
0000137e: SLOAD
0000137f: PUSH2 0x1cef
00001382: JUMP
00001383: JUMPDEST
00001384: SWAP1
00001385: POP
00001386: PUSH2 0x0806
00001389: PUSH1 0x40
0000138b: MLOAD
0000138c: DUP1
0000138d: PUSH1 0x40
0000138f: ADD
00001390: PUSH1 0x40
00001392: MSTORE
00001393: DUP1
00001394: PUSH1 0x06
00001396: DUP2
00001397: MSTORE
00001398: PUSH1 0x20
0000139a: ADD
0000139b: PUSH32 0x7b686173687d0000000000000000000000000000000000000000000000000000
000013bc: DUP2
000013bd: MSTORE
000013be: POP
000013bf: PUSH2 0x1324
000013c2: PUSH1 0x0a
000013c4: PUSH1 0x00
000013c6: DUP7
000013c7: DUP2
000013c8: MSTORE
000013c9: PUSH1 0x20
000013cb: ADD
000013cc: SWAP1
000013cd: DUP2
000013ce: MSTORE
000013cf: PUSH1 0x20
000013d1: ADD
000013d2: PUSH1 0x00
000013d4: KECCAK256
000013d5: SLOAD
000013d6: PUSH2 0x1cef
000013d9: JUMP
000013da: JUMPDEST
000013db: SWAP2
000013dc: SWAP1
000013dd: POP
000013de: JUMP
000013df: JUMPDEST
000013e0: PUSH2 0x13e7
000013e3: PUSH2 0x186c
000013e6: JUMP
000013e7: JUMPDEST
000013e8: PUSH1 0x08
000013ea: DUP1
000013eb: SLOAD
000013ec: PUSH32 0xffff00ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000140d: AND
0000140e: PUSH1 0x01
00001410: PUSH1 0xe8
00001412: SHL
00001413: OR
00001414: SWAP1
00001415: SSTORE
00001416: JUMP
00001417: JUMPDEST
00001418: PUSH2 0x141f
0000141b: PUSH2 0x186c
0000141e: JUMP
0000141f: JUMPDEST
00001420: PUSH1 0x01
00001422: PUSH1 0x01
00001424: PUSH1 0xa0
00001426: SHL
00001427: SUB
00001428: DUP2
00001429: AND
0000142a: PUSH2 0x149b
0000142d: JUMPI
0000142e: PUSH1 0x40
00001430: MLOAD
00001431: PUSH3 0x461bcd
00001435: PUSH1 0xe5
00001437: SHL
00001438: DUP2
00001439: MSTORE
0000143a: PUSH1 0x20
0000143c: PUSH1 0x04
0000143e: DUP3
0000143f: ADD
00001440: MSTORE
00001441: PUSH1 0x26
00001443: PUSH1 0x24
00001445: DUP3
00001446: ADD
00001447: MSTORE
00001448: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001469: PUSH1 0x44
0000146b: DUP3
0000146c: ADD
0000146d: MSTORE
0000146e: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
0000148f: PUSH1 0x64
00001491: DUP3
00001492: ADD
00001493: MSTORE
00001494: PUSH1 0x84
00001496: ADD
00001497: PUSH2 0x0955
0000149a: JUMP
0000149b: JUMPDEST
0000149c: PUSH2 0x14a4
0000149f: DUP2
000014a0: PUSH2 0x18c6
000014a3: JUMP
000014a4: JUMPDEST
000014a5: POP
000014a6: JUMP
000014a7: JUMPDEST
000014a8: PUSH2 0x14af
000014ab: PUSH2 0x186c
000014ae: JUMP
000014af: JUMPDEST
000014b0: PUSH1 0x08
000014b2: SLOAD
000014b3: PUSH1 0x01
000014b5: PUSH1 0xe0
000014b7: SHL
000014b8: SWAP1
000014b9: DIV
000014ba: PUSH1 0xff
000014bc: AND
000014bd: ISZERO
000014be: PUSH2 0x14f3
000014c1: JUMPI
000014c2: PUSH1 0x40
000014c4: MLOAD
000014c5: PUSH3 0x461bcd
000014c9: PUSH1 0xe5
000014cb: SHL
000014cc: DUP2
000014cd: MSTORE
000014ce: PUSH1 0x20
000014d0: PUSH1 0x04
000014d2: DUP3
000014d3: ADD
000014d4: MSTORE
000014d5: PUSH1 0x07
000014d7: PUSH1 0x24
000014d9: DUP3
000014da: ADD
000014db: MSTORE
000014dc: PUSH7 0x2637b1b5b2b217
000014e4: PUSH1 0xc9
000014e6: SHL
000014e7: PUSH1 0x44
000014e9: DUP3
000014ea: ADD
000014eb: MSTORE
000014ec: PUSH1 0x64
000014ee: ADD
000014ef: PUSH2 0x0955
000014f2: JUMP
000014f3: JUMPDEST
000014f4: PUSH1 0x08
000014f6: DUP1
000014f7: SLOAD
000014f8: PUSH1 0x01
000014fa: PUSH1 0x01
000014fc: PUSH1 0xa0
000014fe: SHL
000014ff: SUB
00001500: NOT
00001501: AND
00001502: PUSH1 0x01
00001504: PUSH1 0x01
00001506: PUSH1 0xa0
00001508: SHL
00001509: SUB
0000150a: SWAP3
0000150b: SWAP1
0000150c: SWAP3
0000150d: AND
0000150e: SWAP2
0000150f: SWAP1
00001510: SWAP2
00001511: OR
00001512: SWAP1
00001513: SSTORE
00001514: JUMP
00001515: JUMPDEST
00001516: PUSH1 0x00
00001518: DUP2
00001519: DUP2
0000151a: MSTORE
0000151b: PUSH1 0x02
0000151d: PUSH1 0x20
0000151f: MSTORE
00001520: PUSH1 0x40
00001522: SWAP1
00001523: KECCAK256
00001524: SLOAD
00001525: PUSH1 0x01
00001527: PUSH1 0x01
00001529: PUSH1 0xa0
0000152b: SHL
0000152c: SUB
0000152d: AND
0000152e: PUSH2 0x14a4
00001531: JUMPI
00001532: PUSH1 0x40
00001534: MLOAD
00001535: PUSH3 0x461bcd
00001539: PUSH1 0xe5
0000153b: SHL
0000153c: DUP2
0000153d: MSTORE
0000153e: PUSH1 0x20
00001540: PUSH1 0x04
00001542: DUP3
00001543: ADD
00001544: MSTORE
00001545: PUSH1 0x18
00001547: PUSH1 0x24
00001549: DUP3
0000154a: ADD
0000154b: MSTORE
0000154c: PUSH32 0x4552433732313a20696e76616c696420746f6b656e2049440000000000000000
0000156d: PUSH1 0x44
0000156f: DUP3
00001570: ADD
00001571: MSTORE
00001572: PUSH1 0x64
00001574: ADD
00001575: PUSH2 0x0955
00001578: JUMP
00001579: JUMPDEST
0000157a: PUSH1 0x00
0000157c: DUP2
0000157d: DUP2
0000157e: MSTORE
0000157f: PUSH1 0x04
00001581: PUSH1 0x20
00001583: MSTORE
00001584: PUSH1 0x40
00001586: SWAP1
00001587: KECCAK256
00001588: DUP1
00001589: SLOAD
0000158a: PUSH1 0x01
0000158c: PUSH1 0x01
0000158e: PUSH1 0xa0
00001590: SHL
00001591: SUB
00001592: NOT
00001593: AND
00001594: PUSH1 0x01
00001596: PUSH1 0x01
00001598: PUSH1 0xa0
0000159a: SHL
0000159b: SUB
0000159c: DUP5
0000159d: AND
0000159e: SWAP1
0000159f: DUP2
000015a0: OR
000015a1: SWAP1
000015a2: SWAP2
000015a3: SSTORE
000015a4: DUP2
000015a5: SWAP1
000015a6: PUSH2 0x15ae
000015a9: DUP3
000015aa: PUSH2 0x0b77
000015ad: JUMP
000015ae: JUMPDEST
000015af: PUSH1 0x01
000015b1: PUSH1 0x01
000015b3: PUSH1 0xa0
000015b5: SHL
000015b6: SUB
000015b7: AND
000015b8: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000015d9: PUSH1 0x40
000015db: MLOAD
000015dc: PUSH1 0x40
000015de: MLOAD
000015df: DUP1
000015e0: SWAP2
000015e1: SUB
000015e2: SWAP1
000015e3: LOG4
000015e4: POP
000015e5: POP
000015e6: JUMP
000015e7: JUMPDEST
000015e8: PUSH1 0x00
000015ea: DUP1
000015eb: PUSH2 0x15f3
000015ee: DUP4
000015ef: PUSH2 0x0b77
000015f2: JUMP
000015f3: JUMPDEST
000015f4: SWAP1
000015f5: POP
000015f6: DUP1
000015f7: PUSH1 0x01
000015f9: PUSH1 0x01
000015fb: PUSH1 0xa0
000015fd: SHL
000015fe: SUB
000015ff: AND
00001600: DUP5
00001601: PUSH1 0x01
00001603: PUSH1 0x01
00001605: PUSH1 0xa0
00001607: SHL
00001608: SUB
00001609: AND
0000160a: EQ
0000160b: DUP1
0000160c: PUSH2 0x163a
0000160f: JUMPI
00001610: POP
00001611: PUSH1 0x01
00001613: PUSH1 0x01
00001615: PUSH1 0xa0
00001617: SHL
00001618: SUB
00001619: DUP1
0000161a: DUP3
0000161b: AND
0000161c: PUSH1 0x00
0000161e: SWAP1
0000161f: DUP2
00001620: MSTORE
00001621: PUSH1 0x05
00001623: PUSH1 0x20
00001625: SWAP1
00001626: DUP2
00001627: MSTORE
00001628: PUSH1 0x40
0000162a: DUP1
0000162b: DUP4
0000162c: KECCAK256
0000162d: SWAP4
0000162e: DUP9
0000162f: AND
00001630: DUP4
00001631: MSTORE
00001632: SWAP3
00001633: SWAP1
00001634: MSTORE
00001635: KECCAK256
00001636: SLOAD
00001637: PUSH1 0xff
00001639: AND
0000163a: JUMPDEST
0000163b: DUP1
0000163c: PUSH2 0x165e
0000163f: JUMPI
00001640: POP
00001641: DUP4
00001642: PUSH1 0x01
00001644: PUSH1 0x01
00001646: PUSH1 0xa0
00001648: SHL
00001649: SUB
0000164a: AND
0000164b: PUSH2 0x1653
0000164e: DUP5
0000164f: PUSH2 0x089e
00001652: JUMP
00001653: JUMPDEST
00001654: PUSH1 0x01
00001656: PUSH1 0x01
00001658: PUSH1 0xa0
0000165a: SHL
0000165b: SUB
0000165c: AND
0000165d: EQ
0000165e: JUMPDEST
0000165f: SWAP5
00001660: SWAP4
00001661: POP
00001662: POP
00001663: POP
00001664: POP
00001665: JUMP
00001666: JUMPDEST
00001667: DUP3
00001668: PUSH1 0x01
0000166a: PUSH1 0x01
0000166c: PUSH1 0xa0
0000166e: SHL
0000166f: SUB
00001670: AND
00001671: PUSH2 0x1679
00001674: DUP3
00001675: PUSH2 0x0b77
00001678: JUMP
00001679: JUMPDEST
0000167a: PUSH1 0x01
0000167c: PUSH1 0x01
0000167e: PUSH1 0xa0
00001680: SHL
00001681: SUB
00001682: AND
00001683: EQ
00001684: PUSH2 0x16dd
00001687: JUMPI
00001688: PUSH1 0x40
0000168a: MLOAD
0000168b: PUSH3 0x461bcd
0000168f: PUSH1 0xe5
00001691: SHL
00001692: DUP2
00001693: MSTORE
00001694: PUSH1 0x20
00001696: PUSH1 0x04
00001698: DUP3
00001699: ADD
0000169a: MSTORE
0000169b: PUSH1 0x25
0000169d: PUSH1 0x24
0000169f: DUP3
000016a0: ADD
000016a1: MSTORE
000016a2: PUSH32 0x4552433732313a207472616e736665722066726f6d20696e636f727265637420
000016c3: PUSH1 0x44
000016c5: DUP3
000016c6: ADD
000016c7: MSTORE
000016c8: PUSH5 0x37bbb732b9
000016ce: PUSH1 0xd9
000016d0: SHL
000016d1: PUSH1 0x64
000016d3: DUP3
000016d4: ADD
000016d5: MSTORE
000016d6: PUSH1 0x84
000016d8: ADD
000016d9: PUSH2 0x0955
000016dc: JUMP
000016dd: JUMPDEST
000016de: PUSH1 0x01
000016e0: PUSH1 0x01
000016e2: PUSH1 0xa0
000016e4: SHL
000016e5: SUB
000016e6: DUP3
000016e7: AND
000016e8: PUSH2 0x1758
000016eb: JUMPI
000016ec: PUSH1 0x40
000016ee: MLOAD
000016ef: PUSH3 0x461bcd
000016f3: PUSH1 0xe5
000016f5: SHL
000016f6: DUP2
000016f7: MSTORE
000016f8: PUSH1 0x20
000016fa: PUSH1 0x04
000016fc: DUP3
000016fd: ADD
000016fe: MSTORE
000016ff: PUSH1 0x24
00001701: DUP1
00001702: DUP3
00001703: ADD
00001704: MSTORE
00001705: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464
00001726: PUSH1 0x44
00001728: DUP3
00001729: ADD
0000172a: MSTORE
0000172b: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
0000174c: PUSH1 0x64
0000174e: DUP3
0000174f: ADD
00001750: MSTORE
00001751: PUSH1 0x84
00001753: ADD
00001754: PUSH2 0x0955
00001757: JUMP
00001758: JUMPDEST
00001759: PUSH2 0x1765
0000175c: DUP4
0000175d: DUP4
0000175e: DUP4
0000175f: PUSH1 0x01
00001761: PUSH2 0x1e59
00001764: JUMP
00001765: JUMPDEST
00001766: DUP3
00001767: PUSH1 0x01
00001769: PUSH1 0x01
0000176b: PUSH1 0xa0
0000176d: SHL
0000176e: SUB
0000176f: AND
00001770: PUSH2 0x1778
00001773: DUP3
00001774: PUSH2 0x0b77
00001777: JUMP
00001778: JUMPDEST
00001779: PUSH1 0x01
0000177b: PUSH1 0x01
0000177d: PUSH1 0xa0
0000177f: SHL
00001780: SUB
00001781: AND
00001782: EQ
00001783: PUSH2 0x17dc
00001786: JUMPI
00001787: PUSH1 0x40
00001789: MLOAD
0000178a: PUSH3 0x461bcd
0000178e: PUSH1 0xe5
00001790: SHL
00001791: DUP2
00001792: MSTORE
00001793: PUSH1 0x20
00001795: PUSH1 0x04
00001797: DUP3
00001798: ADD
00001799: MSTORE
0000179a: PUSH1 0x25
0000179c: PUSH1 0x24
0000179e: DUP3
0000179f: ADD
000017a0: MSTORE
000017a1: PUSH32 0x4552433732313a207472616e736665722066726f6d20696e636f727265637420
000017c2: PUSH1 0x44
000017c4: DUP3
000017c5: ADD
000017c6: MSTORE
000017c7: PUSH5 0x37bbb732b9
000017cd: PUSH1 0xd9
000017cf: SHL
000017d0: PUSH1 0x64
000017d2: DUP3
000017d3: ADD
000017d4: MSTORE
000017d5: PUSH1 0x84
000017d7: ADD
000017d8: PUSH2 0x0955
000017db: JUMP
000017dc: JUMPDEST
000017dd: PUSH1 0x00
000017df: DUP2
000017e0: DUP2
000017e1: MSTORE
000017e2: PUSH1 0x04
000017e4: PUSH1 0x20
000017e6: SWAP1
000017e7: DUP2
000017e8: MSTORE
000017e9: PUSH1 0x40
000017eb: DUP1
000017ec: DUP4
000017ed: KECCAK256
000017ee: DUP1
000017ef: SLOAD
000017f0: PUSH1 0x01
000017f2: PUSH1 0x01
000017f4: PUSH1 0xa0
000017f6: SHL
000017f7: SUB
000017f8: NOT
000017f9: SWAP1
000017fa: DUP2
000017fb: AND
000017fc: SWAP1
000017fd: SWAP2
000017fe: SSTORE
000017ff: PUSH1 0x01
00001801: PUSH1 0x01
00001803: PUSH1 0xa0
00001805: SHL
00001806: SUB
00001807: DUP8
00001808: DUP2
00001809: AND
0000180a: DUP1
0000180b: DUP7
0000180c: MSTORE
0000180d: PUSH1 0x03
0000180f: DUP6
00001810: MSTORE
00001811: DUP4
00001812: DUP7
00001813: KECCAK256
00001814: DUP1
00001815: SLOAD
00001816: PUSH1 0x00
00001818: NOT
00001819: ADD
0000181a: SWAP1
0000181b: SSTORE
0000181c: SWAP1
0000181d: DUP8
0000181e: AND
0000181f: DUP1
00001820: DUP7
00001821: MSTORE
00001822: DUP4
00001823: DUP7
00001824: KECCAK256
00001825: DUP1
00001826: SLOAD
00001827: PUSH1 0x01
00001829: ADD
0000182a: SWAP1
0000182b: SSTORE
0000182c: DUP7
0000182d: DUP7
0000182e: MSTORE
0000182f: PUSH1 0x02
00001831: SWAP1
00001832: SWAP5
00001833: MSTORE
00001834: DUP3
00001835: DUP6
00001836: KECCAK256
00001837: DUP1
00001838: SLOAD
00001839: SWAP1
0000183a: SWAP3
0000183b: AND
0000183c: DUP5
0000183d: OR
0000183e: SWAP1
0000183f: SWAP2
00001840: SSTORE
00001841: SWAP1
00001842: MLOAD
00001843: DUP5
00001844: SWAP4
00001845: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001866: SWAP2
00001867: LOG4
00001868: POP
00001869: POP
0000186a: POP
0000186b: JUMP
0000186c: JUMPDEST
0000186d: PUSH1 0x06
0000186f: SLOAD
00001870: PUSH1 0x01
00001872: PUSH1 0x01
00001874: PUSH1 0xa0
00001876: SHL
00001877: SUB
00001878: AND
00001879: CALLER
0000187a: EQ
0000187b: PUSH2 0x0c88
0000187e: JUMPI
0000187f: PUSH1 0x40
00001881: MLOAD
00001882: PUSH3 0x461bcd
00001886: PUSH1 0xe5
00001888: SHL
00001889: DUP2
0000188a: MSTORE
0000188b: PUSH1 0x20
0000188d: PUSH1 0x04
0000188f: DUP3
00001890: ADD
00001891: DUP2
00001892: SWAP1
00001893: MSTORE
00001894: PUSH1 0x24
00001896: DUP3
00001897: ADD
00001898: MSTORE
00001899: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000018ba: PUSH1 0x44
000018bc: DUP3
000018bd: ADD
000018be: MSTORE
000018bf: PUSH1 0x64
000018c1: ADD
000018c2: PUSH2 0x0955
000018c5: JUMP
000018c6: JUMPDEST
000018c7: PUSH1 0x06
000018c9: DUP1
000018ca: SLOAD
000018cb: PUSH1 0x01
000018cd: PUSH1 0x01
000018cf: PUSH1 0xa0
000018d1: SHL
000018d2: SUB
000018d3: DUP4
000018d4: DUP2
000018d5: AND
000018d6: PUSH1 0x01
000018d8: PUSH1 0x01
000018da: PUSH1 0xa0
000018dc: SHL
000018dd: SUB
000018de: NOT
000018df: DUP4
000018e0: AND
000018e1: DUP2
000018e2: OR
000018e3: SWAP1
000018e4: SWAP4
000018e5: SSTORE
000018e6: PUSH1 0x40
000018e8: MLOAD
000018e9: SWAP2
000018ea: AND
000018eb: SWAP2
000018ec: SWAP1
000018ed: DUP3
000018ee: SWAP1
000018ef: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001910: SWAP1
00001911: PUSH1 0x00
00001913: SWAP1
00001914: LOG3
00001915: POP
00001916: POP
00001917: JUMP
00001918: JUMPDEST
00001919: PUSH1 0x00
0000191b: PUSH2 0x1923
0000191e: DUP3
0000191f: PUSH2 0x0b77
00001922: JUMP
00001923: JUMPDEST
00001924: SWAP1
00001925: POP
00001926: PUSH2 0x1933
00001929: DUP2
0000192a: PUSH1 0x00
0000192c: DUP5
0000192d: PUSH1 0x01
0000192f: PUSH2 0x1e59
00001932: JUMP
00001933: JUMPDEST
00001934: PUSH2 0x193c
00001937: DUP3
00001938: PUSH2 0x0b77
0000193b: JUMP
0000193c: JUMPDEST
0000193d: PUSH1 0x00
0000193f: DUP4
00001940: DUP2
00001941: MSTORE
00001942: PUSH1 0x04
00001944: PUSH1 0x20
00001946: SWAP1
00001947: DUP2
00001948: MSTORE
00001949: PUSH1 0x40
0000194b: DUP1
0000194c: DUP4
0000194d: KECCAK256
0000194e: DUP1
0000194f: SLOAD
00001950: PUSH1 0x01
00001952: PUSH1 0x01
00001954: PUSH1 0xa0
00001956: SHL
00001957: SUB
00001958: NOT
00001959: SWAP1
0000195a: DUP2
0000195b: AND
0000195c: SWAP1
0000195d: SWAP2
0000195e: SSTORE
0000195f: PUSH1 0x01
00001961: PUSH1 0x01
00001963: PUSH1 0xa0
00001965: SHL
00001966: SUB
00001967: DUP6
00001968: AND
00001969: DUP1
0000196a: DUP6
0000196b: MSTORE
0000196c: PUSH1 0x03
0000196e: DUP5
0000196f: MSTORE
00001970: DUP3
00001971: DUP6
00001972: KECCAK256
00001973: DUP1
00001974: SLOAD
00001975: PUSH1 0x00
00001977: NOT
00001978: ADD
00001979: SWAP1
0000197a: SSTORE
0000197b: DUP8
0000197c: DUP6
0000197d: MSTORE
0000197e: PUSH1 0x02
00001980: SWAP1
00001981: SWAP4
00001982: MSTORE
00001983: DUP2
00001984: DUP5
00001985: KECCAK256
00001986: DUP1
00001987: SLOAD
00001988: SWAP1
00001989: SWAP2
0000198a: AND
0000198b: SWAP1
0000198c: SSTORE
0000198d: MLOAD
0000198e: SWAP3
0000198f: SWAP4
00001990: POP
00001991: DUP5
00001992: SWAP3
00001993: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000019b4: SWAP1
000019b5: DUP4
000019b6: SWAP1
000019b7: LOG4
000019b8: POP
000019b9: POP
000019ba: JUMP
000019bb: JUMPDEST
000019bc: DUP1
000019bd: SELFBALANCE
000019be: LT
000019bf: ISZERO
000019c0: PUSH2 0x19d1
000019c3: JUMPI
000019c4: PUSH4 0xb12d13eb
000019c9: PUSH1 0x00
000019cb: MSTORE
000019cc: PUSH1 0x04
000019ce: PUSH1 0x1c
000019d0: REVERT
000019d1: JUMPDEST
000019d2: PUSH1 0x00
000019d4: DUP1
000019d5: PUSH1 0x00
000019d7: DUP1
000019d8: DUP5
000019d9: DUP7
000019da: PUSH3 0x0186a0
000019de: CALL
000019df: PUSH2 0x0b73
000019e2: JUMPI
000019e3: DUP2
000019e4: PUSH1 0x00
000019e6: MSTORE
000019e7: PUSH1 0x73
000019e9: PUSH1 0x0b
000019eb: MSTORE8
000019ec: PUSH1 0xff
000019ee: PUSH1 0x20
000019f0: MSTORE8
000019f1: PUSH1 0x16
000019f3: PUSH1 0x0b
000019f5: DUP3
000019f6: CREATE
000019f7: PUSH2 0x0b73
000019fa: JUMPI
000019fb: PUSH1 0x00
000019fd: DUP1
000019fe: REVERT
000019ff: JUMPDEST
00001a00: PUSH1 0x01
00001a02: PUSH1 0x01
00001a04: PUSH1 0xa0
00001a06: SHL
00001a07: SUB
00001a08: DUP3
00001a09: AND
00001a0a: PUSH2 0x1a55
00001a0d: JUMPI
00001a0e: PUSH1 0x40
00001a10: MLOAD
00001a11: PUSH3 0x461bcd
00001a15: PUSH1 0xe5
00001a17: SHL
00001a18: DUP2
00001a19: MSTORE
00001a1a: PUSH1 0x20
00001a1c: PUSH1 0x04
00001a1e: DUP3
00001a1f: ADD
00001a20: DUP2
00001a21: SWAP1
00001a22: MSTORE
00001a23: PUSH1 0x24
00001a25: DUP3
00001a26: ADD
00001a27: MSTORE
00001a28: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373
00001a49: PUSH1 0x44
00001a4b: DUP3
00001a4c: ADD
00001a4d: MSTORE
00001a4e: PUSH1 0x64
00001a50: ADD
00001a51: PUSH2 0x0955
00001a54: JUMP
00001a55: JUMPDEST
00001a56: PUSH1 0x00
00001a58: DUP2
00001a59: DUP2
00001a5a: MSTORE
00001a5b: PUSH1 0x02
00001a5d: PUSH1 0x20
00001a5f: MSTORE
00001a60: PUSH1 0x40
00001a62: SWAP1
00001a63: KECCAK256
00001a64: SLOAD
00001a65: PUSH1 0x01
00001a67: PUSH1 0x01
00001a69: PUSH1 0xa0
00001a6b: SHL
00001a6c: SUB
00001a6d: AND
00001a6e: ISZERO
00001a6f: PUSH2 0x1aba
00001a72: JUMPI
00001a73: PUSH1 0x40
00001a75: MLOAD
00001a76: PUSH3 0x461bcd
00001a7a: PUSH1 0xe5
00001a7c: SHL
00001a7d: DUP2
00001a7e: MSTORE
00001a7f: PUSH1 0x20
00001a81: PUSH1 0x04
00001a83: DUP3
00001a84: ADD
00001a85: MSTORE
00001a86: PUSH1 0x1c
00001a88: PUSH1 0x24
00001a8a: DUP3
00001a8b: ADD
00001a8c: MSTORE
00001a8d: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000
00001aae: PUSH1 0x44
00001ab0: DUP3
00001ab1: ADD
00001ab2: MSTORE
00001ab3: PUSH1 0x64
00001ab5: ADD
00001ab6: PUSH2 0x0955
00001ab9: JUMP
00001aba: JUMPDEST
00001abb: PUSH2 0x1ac8
00001abe: PUSH1 0x00
00001ac0: DUP4
00001ac1: DUP4
00001ac2: PUSH1 0x01
00001ac4: PUSH2 0x1e59
00001ac7: JUMP
00001ac8: JUMPDEST
00001ac9: PUSH1 0x00
00001acb: DUP2
00001acc: DUP2
00001acd: MSTORE
00001ace: PUSH1 0x02
00001ad0: PUSH1 0x20
00001ad2: MSTORE
00001ad3: PUSH1 0x40
00001ad5: SWAP1
00001ad6: KECCAK256
00001ad7: SLOAD
00001ad8: PUSH1 0x01
00001ada: PUSH1 0x01
00001adc: PUSH1 0xa0
00001ade: SHL
00001adf: SUB
00001ae0: AND
00001ae1: ISZERO
00001ae2: PUSH2 0x1b2d
00001ae5: JUMPI
00001ae6: PUSH1 0x40
00001ae8: MLOAD
00001ae9: PUSH3 0x461bcd
00001aed: PUSH1 0xe5
00001aef: SHL
00001af0: DUP2
00001af1: MSTORE
00001af2: PUSH1 0x20
00001af4: PUSH1 0x04
00001af6: DUP3
00001af7: ADD
00001af8: MSTORE
00001af9: PUSH1 0x1c
00001afb: PUSH1 0x24
00001afd: DUP3
00001afe: ADD
00001aff: MSTORE
00001b00: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000
00001b21: PUSH1 0x44
00001b23: DUP3
00001b24: ADD
00001b25: MSTORE
00001b26: PUSH1 0x64
00001b28: ADD
00001b29: PUSH2 0x0955
00001b2c: JUMP
00001b2d: JUMPDEST
00001b2e: PUSH1 0x01
00001b30: PUSH1 0x01
00001b32: PUSH1 0xa0
00001b34: SHL
00001b35: SUB
00001b36: DUP3
00001b37: AND
00001b38: PUSH1 0x00
00001b3a: DUP2
00001b3b: DUP2
00001b3c: MSTORE
00001b3d: PUSH1 0x03
00001b3f: PUSH1 0x20
00001b41: SWAP1
00001b42: DUP2
00001b43: MSTORE
00001b44: PUSH1 0x40
00001b46: DUP1
00001b47: DUP4
00001b48: KECCAK256
00001b49: DUP1
00001b4a: SLOAD
00001b4b: PUSH1 0x01
00001b4d: ADD
00001b4e: SWAP1
00001b4f: SSTORE
00001b50: DUP5
00001b51: DUP4
00001b52: MSTORE
00001b53: PUSH1 0x02
00001b55: SWAP1
00001b56: SWAP2
00001b57: MSTORE
00001b58: DUP1
00001b59: DUP3
00001b5a: KECCAK256
00001b5b: DUP1
00001b5c: SLOAD
00001b5d: PUSH1 0x01
00001b5f: PUSH1 0x01
00001b61: PUSH1 0xa0
00001b63: SHL
00001b64: SUB
00001b65: NOT
00001b66: AND
00001b67: DUP5
00001b68: OR
00001b69: SWAP1
00001b6a: SSTORE
00001b6b: MLOAD
00001b6c: DUP4
00001b6d: SWAP3
00001b6e: SWAP2
00001b6f: SWAP1
00001b70: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001b91: SWAP1
00001b92: DUP3
00001b93: SWAP1
00001b94: LOG4
00001b95: POP
00001b96: POP
00001b97: JUMP
00001b98: JUMPDEST
00001b99: DUP2
00001b9a: PUSH1 0x01
00001b9c: PUSH1 0x01
00001b9e: PUSH1 0xa0
00001ba0: SHL
00001ba1: SUB
00001ba2: AND
00001ba3: DUP4
00001ba4: PUSH1 0x01
00001ba6: PUSH1 0x01
00001ba8: PUSH1 0xa0
00001baa: SHL
00001bab: SUB
00001bac: AND
00001bad: SUB
00001bae: PUSH2 0x1bf9
00001bb1: JUMPI
00001bb2: PUSH1 0x40
00001bb4: MLOAD
00001bb5: PUSH3 0x461bcd
00001bb9: PUSH1 0xe5
00001bbb: SHL
00001bbc: DUP2
00001bbd: MSTORE
00001bbe: PUSH1 0x20
00001bc0: PUSH1 0x04
00001bc2: DUP3
00001bc3: ADD
00001bc4: MSTORE
00001bc5: PUSH1 0x19
00001bc7: PUSH1 0x24
00001bc9: DUP3
00001bca: ADD
00001bcb: MSTORE
00001bcc: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000
00001bed: PUSH1 0x44
00001bef: DUP3
00001bf0: ADD
00001bf1: MSTORE
00001bf2: PUSH1 0x64
00001bf4: ADD
00001bf5: PUSH2 0x0955
00001bf8: JUMP
00001bf9: JUMPDEST
00001bfa: PUSH1 0x01
00001bfc: PUSH1 0x01
00001bfe: PUSH1 0xa0
00001c00: SHL
00001c01: SUB
00001c02: DUP4
00001c03: DUP2
00001c04: AND
00001c05: PUSH1 0x00
00001c07: DUP2
00001c08: DUP2
00001c09: MSTORE
00001c0a: PUSH1 0x05
00001c0c: PUSH1 0x20
00001c0e: SWAP1
00001c0f: DUP2
00001c10: MSTORE
00001c11: PUSH1 0x40
00001c13: DUP1
00001c14: DUP4
00001c15: KECCAK256
00001c16: SWAP5
00001c17: DUP8
00001c18: AND
00001c19: DUP1
00001c1a: DUP5
00001c1b: MSTORE
00001c1c: SWAP5
00001c1d: DUP3
00001c1e: MSTORE
00001c1f: SWAP2
00001c20: DUP3
00001c21: SWAP1
00001c22: KECCAK256
00001c23: DUP1
00001c24: SLOAD
00001c25: PUSH1 0xff
00001c27: NOT
00001c28: AND
00001c29: DUP7
00001c2a: ISZERO
00001c2b: ISZERO
00001c2c: SWAP1
00001c2d: DUP2
00001c2e: OR
00001c2f: SWAP1
00001c30: SWAP2
00001c31: SSTORE
00001c32: SWAP2
00001c33: MLOAD
00001c34: SWAP2
00001c35: DUP3
00001c36: MSTORE
00001c37: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00001c58: SWAP2
00001c59: ADD
00001c5a: PUSH1 0x40
00001c5c: MLOAD
00001c5d: DUP1
00001c5e: SWAP2
00001c5f: SUB
00001c60: SWAP1
00001c61: LOG3
00001c62: POP
00001c63: POP
00001c64: POP
00001c65: JUMP
00001c66: JUMPDEST
00001c67: PUSH2 0x1c71
00001c6a: DUP5
00001c6b: DUP5
00001c6c: DUP5
00001c6d: PUSH2 0x1666
00001c70: JUMP
00001c71: JUMPDEST
00001c72: PUSH2 0x1c7d
00001c75: DUP5
00001c76: DUP5
00001c77: DUP5
00001c78: DUP5
00001c79: PUSH2 0x1ee1
00001c7c: JUMP
00001c7d: JUMPDEST
00001c7e: PUSH2 0x11df
00001c81: JUMPI
00001c82: PUSH1 0x40
00001c84: MLOAD
00001c85: PUSH3 0x461bcd
00001c89: PUSH1 0xe5
00001c8b: SHL
00001c8c: DUP2
00001c8d: MSTORE
00001c8e: PUSH1 0x20
00001c90: PUSH1 0x04
00001c92: DUP3
00001c93: ADD
00001c94: MSTORE
00001c95: PUSH1 0x32
00001c97: PUSH1 0x24
00001c99: DUP3
00001c9a: ADD
00001c9b: MSTORE
00001c9c: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
00001cbd: PUSH1 0x44
00001cbf: DUP3
00001cc0: ADD
00001cc1: MSTORE
00001cc2: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000
00001ce3: PUSH1 0x64
00001ce5: DUP3
00001ce6: ADD
00001ce7: MSTORE
00001ce8: PUSH1 0x84
00001cea: ADD
00001ceb: PUSH2 0x0955
00001cee: JUMP
00001cef: JUMPDEST
00001cf0: PUSH1 0x60
00001cf2: PUSH1 0x80
00001cf4: PUSH1 0x40
00001cf6: MLOAD
00001cf7: ADD
00001cf8: SWAP1
00001cf9: POP
00001cfa: PUSH1 0x20
00001cfc: DUP2
00001cfd: ADD
00001cfe: PUSH1 0x40
00001d00: MSTORE
00001d01: PUSH1 0x00
00001d03: DUP2
00001d04: MSTORE
00001d05: DUP1
00001d06: PUSH1 0x00
00001d08: NOT
00001d09: DUP4
00001d0a: JUMPDEST
00001d0b: SWAP3
00001d0c: DUP2
00001d0d: ADD
00001d0e: SWAP3
00001d0f: PUSH1 0x30
00001d11: PUSH1 0x0a
00001d13: DUP3
00001d14: MOD
00001d15: ADD
00001d16: DUP5
00001d17: MSTORE8
00001d18: PUSH1 0x0a
00001d1a: SWAP1
00001d1b: DIV
00001d1c: DUP1
00001d1d: PUSH2 0x1d0a
00001d20: JUMPI
00001d21: POP
00001d22: POP
00001d23: DUP2
00001d24: SWAP1
00001d25: SUB
00001d26: PUSH1 0x1f
00001d28: NOT
00001d29: SWAP1
00001d2a: SWAP2
00001d2b: ADD
00001d2c: SWAP1
00001d2d: DUP2
00001d2e: MSTORE
00001d2f: SWAP2
00001d30: SWAP1
00001d31: POP
00001d32: JUMP
00001d33: JUMPDEST
00001d34: PUSH1 0x60
00001d36: DUP4
00001d37: MLOAD
00001d38: DUP4
00001d39: MLOAD
00001d3a: DUP4
00001d3b: MLOAD
00001d3c: PUSH1 0x20
00001d3e: DUP8
00001d3f: ADD
00001d40: SWAP7
00001d41: POP
00001d42: PUSH1 0x20
00001d44: DUP7
00001d45: ADD
00001d46: SWAP6
00001d47: POP
00001d48: PUSH1 0x20
00001d4a: DUP6
00001d4b: ADD
00001d4c: SWAP5
00001d4d: POP
00001d4e: PUSH1 0x20
00001d50: PUSH1 0x40
00001d52: MLOAD
00001d53: ADD
00001d54: SWAP4
00001d55: POP
00001d56: DUP3
00001d57: DUP8
00001d58: ADD
00001d59: DUP4
00001d5a: DUP4
00001d5b: GT
00001d5c: PUSH2 0x1e05
00001d5f: JUMPI
00001d60: PUSH1 0x01
00001d62: DUP4
00001d63: DUP3
00001d64: SUB
00001d65: ADD
00001d66: PUSH1 0x00
00001d68: PUSH1 0x20
00001d6a: DUP6
00001d6b: LT
00001d6c: PUSH2 0x1d74
00001d6f: JUMPI
00001d70: POP
00001d71: DUP4
00001d72: DUP9
00001d73: KECCAK256
00001d74: JUMPDEST
00001d75: PUSH1 0x1f
00001d77: DUP6
00001d78: AND
00001d79: PUSH1 0x20
00001d7b: SUB
00001d7c: PUSH1 0x03
00001d7e: SHL
00001d7f: DUP10
00001d80: MLOAD
00001d81: JUMPDEST
00001d82: DUP12
00001d83: MLOAD
00001d84: DUP2
00001d85: DUP2
00001d86: XOR
00001d87: DUP4
00001d88: SHR
00001d89: PUSH2 0x1dec
00001d8c: JUMPI
00001d8d: DUP4
00001d8e: ISZERO
00001d8f: PUSH2 0x1dbb
00001d92: JUMPI
00001d93: DUP4
00001d94: DUP9
00001d95: DUP15
00001d96: KECCAK256
00001d97: EQ
00001d98: PUSH2 0x1dbb
00001d9b: JUMPI
00001d9c: DUP1
00001d9d: DUP11
00001d9e: MSTORE
00001d9f: PUSH1 0x01
00001da1: SWAP13
00001da2: DUP14
00001da3: ADD
00001da4: SWAP13
00001da5: SWAP1
00001da6: SWAP10
00001da7: ADD
00001da8: SWAP9
00001da9: DUP5
00001daa: DUP14
00001dab: LT
00001dac: PUSH2 0x1db5
00001daf: JUMPI
00001db0: POP
00001db1: PUSH2 0x1e00
00001db4: JUMP
00001db5: JUMPDEST
00001db6: POP
00001db7: PUSH2 0x1d81
00001dba: JUMP
00001dbb: JUMPDEST
00001dbc: PUSH1 0x00
00001dbe: JUMPDEST
00001dbf: DUP12
00001dc0: DUP2
00001dc1: ADD
00001dc2: MLOAD
00001dc3: DUP12
00001dc4: DUP3
00001dc5: ADD
00001dc6: MSTORE
00001dc7: PUSH1 0x20
00001dc9: ADD
00001dca: DUP8
00001dcb: DUP2
00001dcc: LT
00001dcd: PUSH2 0x1dbe
00001dd0: JUMPI
00001dd1: POP
00001dd2: SWAP12
00001dd3: DUP8
00001dd4: ADD
00001dd5: SWAP12
00001dd6: SWAP9
00001dd7: DUP7
00001dd8: ADD
00001dd9: SWAP9
00001dda: DUP8
00001ddb: ISZERO
00001ddc: PUSH2 0x1dec
00001ddf: JUMPI
00001de0: DUP5
00001de1: DUP14
00001de2: LT
00001de3: PUSH2 0x1db5
00001de6: JUMPI
00001de7: POP
00001de8: PUSH2 0x1e00
00001deb: JUMP
00001dec: JUMPDEST
00001ded: DUP10
00001dee: MSTORE
00001def: PUSH1 0x01
00001df1: SWAP12
00001df2: DUP13
00001df3: ADD
00001df4: SWAP12
00001df5: SWAP1
00001df6: SWAP9
00001df7: ADD
00001df8: SWAP8
00001df9: DUP4
00001dfa: DUP13
00001dfb: LT
00001dfc: PUSH2 0x1d81
00001dff: JUMPI
00001e00: JUMPDEST
00001e01: POP
00001e02: POP
00001e03: POP
00001e04: POP
00001e05: JUMPDEST
00001e06: DUP5
00001e07: SWAP4
00001e08: POP
00001e09: PUSH1 0x20
00001e0b: PUSH1 0x40
00001e0d: MLOAD
00001e0e: ADD
00001e0f: SWAP5
00001e10: POP
00001e11: DUP8
00001e12: DUP2
00001e13: SUB
00001e14: DUP6
00001e15: DUP6
00001e16: SUB
00001e17: ADD
00001e18: SWAP3
00001e19: POP
00001e1a: JUMPDEST
00001e1b: DUP1
00001e1c: DUP9
00001e1d: LT
00001e1e: ISZERO
00001e1f: PUSH2 0x1e35
00001e22: JUMPI
00001e23: DUP8
00001e24: MLOAD
00001e25: DUP5
00001e26: MSTORE
00001e27: PUSH1 0x20
00001e29: SWAP8
00001e2a: DUP9
00001e2b: ADD
00001e2c: SWAP8
00001e2d: SWAP1
00001e2e: SWAP4
00001e2f: ADD
00001e30: SWAP3
00001e31: PUSH2 0x1e1a
00001e34: JUMP
00001e35: JUMPDEST
00001e36: POP
00001e37: POP
00001e38: PUSH1 0x00
00001e3a: DUP2
00001e3b: DUP5
00001e3c: ADD
00001e3d: SWAP1
00001e3e: DUP2
00001e3f: MSTORE
00001e40: PUSH1 0x1f
00001e42: ADD
00001e43: PUSH1 0x1f
00001e45: NOT
00001e46: SWAP1
00001e47: DUP2
00001e48: AND
00001e49: PUSH1 0x40
00001e4b: MSTORE
00001e4c: SWAP1
00001e4d: SWAP3
00001e4e: ADD
00001e4f: SWAP2
00001e50: DUP3
00001e51: MSTORE
00001e52: POP
00001e53: SWAP4
00001e54: SWAP3
00001e55: POP
00001e56: POP
00001e57: POP
00001e58: JUMP
00001e59: JUMPDEST
00001e5a: PUSH1 0x01
00001e5c: DUP2
00001e5d: GT
00001e5e: ISZERO
00001e5f: PUSH2 0x11df
00001e62: JUMPI
00001e63: PUSH1 0x01
00001e65: PUSH1 0x01
00001e67: PUSH1 0xa0
00001e69: SHL
00001e6a: SUB
00001e6b: DUP5
00001e6c: AND
00001e6d: ISZERO
00001e6e: PUSH2 0x1e9f
00001e71: JUMPI
00001e72: PUSH1 0x01
00001e74: PUSH1 0x01
00001e76: PUSH1 0xa0
00001e78: SHL
00001e79: SUB
00001e7a: DUP5
00001e7b: AND
00001e7c: PUSH1 0x00
00001e7e: SWAP1
00001e7f: DUP2
00001e80: MSTORE
00001e81: PUSH1 0x03
00001e83: PUSH1 0x20
00001e85: MSTORE
00001e86: PUSH1 0x40
00001e88: DUP2
00001e89: KECCAK256
00001e8a: DUP1
00001e8b: SLOAD
00001e8c: DUP4
00001e8d: SWAP3
00001e8e: SWAP1
00001e8f: PUSH2 0x1e99
00001e92: SWAP1
00001e93: DUP5
00001e94: SWAP1
00001e95: PUSH2 0x24e6
00001e98: JUMP
00001e99: JUMPDEST
00001e9a: SWAP1
00001e9b: SWAP2
00001e9c: SSTORE
00001e9d: POP
00001e9e: POP
00001e9f: JUMPDEST
00001ea0: PUSH1 0x01
00001ea2: PUSH1 0x01
00001ea4: PUSH1 0xa0
00001ea6: SHL
00001ea7: SUB
00001ea8: DUP4
00001ea9: AND
00001eaa: ISZERO
00001eab: PUSH2 0x11df
00001eae: JUMPI
00001eaf: PUSH1 0x01
00001eb1: PUSH1 0x01
00001eb3: PUSH1 0xa0
00001eb5: SHL
00001eb6: SUB
00001eb7: DUP4
00001eb8: AND
00001eb9: PUSH1 0x00
00001ebb: SWAP1
00001ebc: DUP2
00001ebd: MSTORE
00001ebe: PUSH1 0x03
00001ec0: PUSH1 0x20
00001ec2: MSTORE
00001ec3: PUSH1 0x40
00001ec5: DUP2
00001ec6: KECCAK256
00001ec7: DUP1
00001ec8: SLOAD
00001ec9: DUP4
00001eca: SWAP3
00001ecb: SWAP1
00001ecc: PUSH2 0x1ed6
00001ecf: SWAP1
00001ed0: DUP5
00001ed1: SWAP1
00001ed2: PUSH2 0x2659
00001ed5: JUMP
00001ed6: JUMPDEST
00001ed7: SWAP1
00001ed8: SWAP2
00001ed9: SSTORE
00001eda: POP
00001edb: POP
00001edc: POP
00001edd: POP
00001ede: POP
00001edf: POP
00001ee0: JUMP
00001ee1: JUMPDEST
00001ee2: PUSH1 0x00
00001ee4: PUSH1 0x01
00001ee6: PUSH1 0x01
00001ee8: PUSH1 0xa0
00001eea: SHL
00001eeb: SUB
00001eec: DUP5
00001eed: AND
00001eee: EXTCODESIZE
00001eef: ISZERO
00001ef0: PUSH2 0x202d
00001ef3: JUMPI
00001ef4: PUSH1 0x40
00001ef6: MLOAD
00001ef7: PUSH4 0x0a85bd01
00001efc: PUSH1 0xe1
00001efe: SHL
00001eff: DUP2
00001f00: MSTORE
00001f01: PUSH1 0x01
00001f03: PUSH1 0x01
00001f05: PUSH1 0xa0
00001f07: SHL
00001f08: SUB
00001f09: DUP6
00001f0a: AND
00001f0b: SWAP1
00001f0c: PUSH4 0x150b7a02
00001f11: SWAP1
00001f12: PUSH2 0x1f25
00001f15: SWAP1
00001f16: CALLER
00001f17: SWAP1
00001f18: DUP10
00001f19: SWAP1
00001f1a: DUP9
00001f1b: SWAP1
00001f1c: DUP9
00001f1d: SWAP1
00001f1e: PUSH1 0x04
00001f20: ADD
00001f21: PUSH2 0x266c
00001f24: JUMP
00001f25: JUMPDEST
00001f26: PUSH1 0x20
00001f28: PUSH1 0x40
00001f2a: MLOAD
00001f2b: DUP1
00001f2c: DUP4
00001f2d: SUB
00001f2e: DUP2
00001f2f: PUSH1 0x00
00001f31: DUP8
00001f32: GAS
00001f33: CALL
00001f34: SWAP3
00001f35: POP
00001f36: POP
00001f37: POP
00001f38: DUP1
00001f39: ISZERO
00001f3a: PUSH2 0x1f60
00001f3d: JUMPI
00001f3e: POP
00001f3f: PUSH1 0x40
00001f41: DUP1
00001f42: MLOAD
00001f43: PUSH1 0x1f
00001f45: RETURNDATASIZE
00001f46: SWAP1
00001f47: DUP2
00001f48: ADD
00001f49: PUSH1 0x1f
00001f4b: NOT
00001f4c: AND
00001f4d: DUP3
00001f4e: ADD
00001f4f: SWAP1
00001f50: SWAP3
00001f51: MSTORE
00001f52: PUSH2 0x1f5d
00001f55: SWAP2
00001f56: DUP2
00001f57: ADD
00001f58: SWAP1
00001f59: PUSH2 0x26a8
00001f5c: JUMP
00001f5d: JUMPDEST
00001f5e: PUSH1 0x01
00001f60: JUMPDEST
00001f61: PUSH2 0x2013
00001f64: JUMPI
00001f65: RETURNDATASIZE
00001f66: DUP1
00001f67: DUP1
00001f68: ISZERO
00001f69: PUSH2 0x1f8e
00001f6c: JUMPI
00001f6d: PUSH1 0x40
00001f6f: MLOAD
00001f70: SWAP2
00001f71: POP
00001f72: PUSH1 0x1f
00001f74: NOT
00001f75: PUSH1 0x3f
00001f77: RETURNDATASIZE
00001f78: ADD
00001f79: AND
00001f7a: DUP3
00001f7b: ADD
00001f7c: PUSH1 0x40
00001f7e: MSTORE
00001f7f: RETURNDATASIZE
00001f80: DUP3
00001f81: MSTORE
00001f82: RETURNDATASIZE
00001f83: PUSH1 0x00
00001f85: PUSH1 0x20
00001f87: DUP5
00001f88: ADD
00001f89: RETURNDATACOPY
00001f8a: PUSH2 0x1f93
00001f8d: JUMP
00001f8e: JUMPDEST
00001f8f: PUSH1 0x60
00001f91: SWAP2
00001f92: POP
00001f93: JUMPDEST
00001f94: POP
00001f95: DUP1
00001f96: MLOAD
00001f97: PUSH1 0x00
00001f99: SUB
00001f9a: PUSH2 0x200b
00001f9d: JUMPI
00001f9e: PUSH1 0x40
00001fa0: MLOAD
00001fa1: PUSH3 0x461bcd
00001fa5: PUSH1 0xe5
00001fa7: SHL
00001fa8: DUP2
00001fa9: MSTORE
00001faa: PUSH1 0x20
00001fac: PUSH1 0x04
00001fae: DUP3
00001faf: ADD
00001fb0: MSTORE
00001fb1: PUSH1 0x32
00001fb3: PUSH1 0x24
00001fb5: DUP3
00001fb6: ADD
00001fb7: MSTORE
00001fb8: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
00001fd9: PUSH1 0x44
00001fdb: DUP3
00001fdc: ADD
00001fdd: MSTORE
00001fde: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000
00001fff: PUSH1 0x64
00002001: DUP3
00002002: ADD
00002003: MSTORE
00002004: PUSH1 0x84
00002006: ADD
00002007: PUSH2 0x0955
0000200a: JUMP
0000200b: JUMPDEST
0000200c: DUP1
0000200d: MLOAD
0000200e: DUP2
0000200f: PUSH1 0x20
00002011: ADD
00002012: REVERT
00002013: JUMPDEST
00002014: PUSH1 0x01
00002016: PUSH1 0x01
00002018: PUSH1 0xe0
0000201a: SHL
0000201b: SUB
0000201c: NOT
0000201d: AND
0000201e: PUSH4 0x0a85bd01
00002023: PUSH1 0xe1
00002025: SHL
00002026: EQ
00002027: SWAP1
00002028: POP
00002029: PUSH2 0x165e
0000202c: JUMP
0000202d: JUMPDEST
0000202e: POP
0000202f: PUSH1 0x01
00002031: SWAP5
00002032: SWAP4
00002033: POP
00002034: POP
00002035: POP
00002036: POP
00002037: JUMP
00002038: JUMPDEST
00002039: PUSH1 0x01
0000203b: PUSH1 0x01
0000203d: PUSH1 0xe0
0000203f: SHL
00002040: SUB
00002041: NOT
00002042: DUP2
00002043: AND
00002044: DUP2
00002045: EQ
00002046: PUSH2 0x14a4
00002049: JUMPI
0000204a: PUSH1 0x00
0000204c: DUP1
0000204d: REVERT
0000204e: JUMPDEST
0000204f: PUSH1 0x00
00002051: PUSH1 0x20
00002053: DUP3
00002054: DUP5
00002055: SUB
00002056: SLT
00002057: ISZERO
00002058: PUSH2 0x2060
0000205b: JUMPI
0000205c: PUSH1 0x00
0000205e: DUP1
0000205f: REVERT
00002060: JUMPDEST
00002061: DUP2
00002062: CALLDATALOAD
00002063: PUSH2 0x206b
00002066: DUP2
00002067: PUSH2 0x2038
0000206a: JUMP
0000206b: JUMPDEST
0000206c: SWAP4
0000206d: SWAP3
0000206e: POP
0000206f: POP
00002070: POP
00002071: JUMP
00002072: JUMPDEST
00002073: PUSH1 0x00
00002075: DUP2
00002076: MLOAD
00002077: DUP1
00002078: DUP5
00002079: MSTORE
0000207a: PUSH1 0x00
0000207c: JUMPDEST
0000207d: DUP2
0000207e: DUP2
0000207f: LT
00002080: ISZERO
00002081: PUSH2 0x2098
00002084: JUMPI
00002085: PUSH1 0x20
00002087: DUP2
00002088: DUP6
00002089: ADD
0000208a: DUP2
0000208b: ADD
0000208c: MLOAD
0000208d: DUP7
0000208e: DUP4
0000208f: ADD
00002090: DUP3
00002091: ADD
00002092: MSTORE
00002093: ADD
00002094: PUSH2 0x207c
00002097: JUMP
00002098: JUMPDEST
00002099: POP
0000209a: PUSH1 0x00
0000209c: PUSH1 0x20
0000209e: DUP3
0000209f: DUP7
000020a0: ADD
000020a1: ADD
000020a2: MSTORE
000020a3: PUSH1 0x20
000020a5: PUSH1 0x1f
000020a7: NOT
000020a8: PUSH1 0x1f
000020aa: DUP4
000020ab: ADD
000020ac: AND
000020ad: DUP6
000020ae: ADD
000020af: ADD
000020b0: SWAP2
000020b1: POP
000020b2: POP
000020b3: SWAP3
000020b4: SWAP2
000020b5: POP
000020b6: POP
000020b7: JUMP
000020b8: JUMPDEST
000020b9: PUSH1 0x20
000020bb: DUP2
000020bc: MSTORE
000020bd: PUSH1 0x00
000020bf: PUSH2 0x206b
000020c2: PUSH1 0x20
000020c4: DUP4
000020c5: ADD
000020c6: DUP5
000020c7: PUSH2 0x2072
000020ca: JUMP
000020cb: JUMPDEST
000020cc: PUSH1 0x00
000020ce: PUSH1 0x20
000020d0: DUP3
000020d1: DUP5
000020d2: SUB
000020d3: SLT
000020d4: ISZERO
000020d5: PUSH2 0x20dd
000020d8: JUMPI
000020d9: PUSH1 0x00
000020db: DUP1
000020dc: REVERT
000020dd: JUMPDEST
000020de: POP
000020df: CALLDATALOAD
000020e0: SWAP2
000020e1: SWAP1
000020e2: POP
000020e3: JUMP
000020e4: JUMPDEST
000020e5: DUP1
000020e6: CALLDATALOAD
000020e7: PUSH1 0x01
000020e9: PUSH1 0x01
000020eb: PUSH1 0xa0
000020ed: SHL
000020ee: SUB
000020ef: DUP2
000020f0: AND
000020f1: DUP2
000020f2: EQ
000020f3: PUSH2 0x13da
000020f6: JUMPI
000020f7: PUSH1 0x00
000020f9: DUP1
000020fa: REVERT
000020fb: JUMPDEST
000020fc: PUSH1 0x00
000020fe: DUP1
000020ff: PUSH1 0x40
00002101: DUP4
00002102: DUP6
00002103: SUB
00002104: SLT
00002105: ISZERO
00002106: PUSH2 0x210e
00002109: JUMPI
0000210a: PUSH1 0x00
0000210c: DUP1
0000210d: REVERT
0000210e: JUMPDEST
0000210f: PUSH2 0x2117
00002112: DUP4
00002113: PUSH2 0x20e4
00002116: JUMP
00002117: JUMPDEST
00002118: SWAP5
00002119: PUSH1 0x20
0000211b: SWAP4
0000211c: SWAP1
0000211d: SWAP4
0000211e: ADD
0000211f: CALLDATALOAD
00002120: SWAP4
00002121: POP
00002122: POP
00002123: POP
00002124: JUMP
00002125: JUMPDEST
00002126: PUSH1 0x00
00002128: DUP1
00002129: PUSH1 0x00
0000212b: PUSH1 0x60
0000212d: DUP5
0000212e: DUP7
0000212f: SUB
00002130: SLT
00002131: ISZERO
00002132: PUSH2 0x213a
00002135: JUMPI
00002136: PUSH1 0x00
00002138: DUP1
00002139: REVERT
0000213a: JUMPDEST
0000213b: PUSH2 0x2143
0000213e: DUP5
0000213f: PUSH2 0x20e4
00002142: JUMP
00002143: JUMPDEST
00002144: SWAP3
00002145: POP
00002146: PUSH2 0x2151
00002149: PUSH1 0x20
0000214b: DUP6
0000214c: ADD
0000214d: PUSH2 0x20e4
00002150: JUMP
00002151: JUMPDEST
00002152: SWAP2
00002153: POP
00002154: PUSH1 0x40
00002156: DUP5
00002157: ADD
00002158: CALLDATALOAD
00002159: SWAP1
0000215a: POP
0000215b: SWAP3
0000215c: POP
0000215d: SWAP3
0000215e: POP
0000215f: SWAP3
00002160: JUMP
00002161: JUMPDEST
00002162: PUSH4 0x4e487b71
00002167: PUSH1 0xe0
00002169: SHL
0000216a: PUSH1 0x00
0000216c: MSTORE
0000216d: PUSH1 0x41
0000216f: PUSH1 0x04
00002171: MSTORE
00002172: PUSH1 0x24
00002174: PUSH1 0x00
00002176: REVERT
00002177: JUMPDEST
00002178: PUSH1 0x40
0000217a: MLOAD
0000217b: PUSH1 0x1f
0000217d: DUP3
0000217e: ADD
0000217f: PUSH1 0x1f
00002181: NOT
00002182: AND
00002183: DUP2
00002184: ADD
00002185: PUSH8 0xffffffffffffffff
0000218e: DUP2
0000218f: GT
00002190: DUP3
00002191: DUP3
00002192: LT
00002193: OR
00002194: ISZERO
00002195: PUSH2 0x21a0
00002198: JUMPI
00002199: PUSH2 0x21a0
0000219c: PUSH2 0x2161
0000219f: JUMP
000021a0: JUMPDEST
000021a1: PUSH1 0x40
000021a3: MSTORE
000021a4: SWAP2
000021a5: SWAP1
000021a6: POP
000021a7: JUMP
000021a8: JUMPDEST
000021a9: PUSH1 0x00
000021ab: PUSH8 0xffffffffffffffff
000021b4: DUP4
000021b5: GT
000021b6: ISZERO
000021b7: PUSH2 0x21c2
000021ba: JUMPI
000021bb: PUSH2 0x21c2
000021be: PUSH2 0x2161
000021c1: JUMP
000021c2: JUMPDEST
000021c3: PUSH2 0x21d5
000021c6: PUSH1 0x1f
000021c8: DUP5
000021c9: ADD
000021ca: PUSH1 0x1f
000021cc: NOT
000021cd: AND
000021ce: PUSH1 0x20
000021d0: ADD
000021d1: PUSH2 0x2177
000021d4: JUMP
000021d5: JUMPDEST
000021d6: SWAP1
000021d7: POP
000021d8: DUP3
000021d9: DUP2
000021da: MSTORE
000021db: DUP4
000021dc: DUP4
000021dd: DUP4
000021de: ADD
000021df: GT
000021e0: ISZERO
000021e1: PUSH2 0x21e9
000021e4: JUMPI
000021e5: PUSH1 0x00
000021e7: DUP1
000021e8: REVERT
000021e9: JUMPDEST
000021ea: DUP3
000021eb: DUP3
000021ec: PUSH1 0x20
000021ee: DUP4
000021ef: ADD
000021f0: CALLDATACOPY
000021f1: PUSH1 0x00
000021f3: PUSH1 0x20
000021f5: DUP5
000021f6: DUP4
000021f7: ADD
000021f8: ADD
000021f9: MSTORE
000021fa: SWAP4
000021fb: SWAP3
000021fc: POP
000021fd: POP
000021fe: POP
000021ff: JUMP
00002200: JUMPDEST
00002201: PUSH1 0x00
00002203: PUSH1 0x20
00002205: DUP3
00002206: DUP5
00002207: SUB
00002208: SLT
00002209: ISZERO
0000220a: PUSH2 0x2212
0000220d: JUMPI
0000220e: PUSH1 0x00
00002210: DUP1
00002211: REVERT
00002212: JUMPDEST
00002213: DUP2
00002214: CALLDATALOAD
00002215: PUSH8 0xffffffffffffffff
0000221e: DUP2
0000221f: GT
00002220: ISZERO
00002221: PUSH2 0x2229
00002224: JUMPI
00002225: PUSH1 0x00
00002227: DUP1
00002228: REVERT
00002229: JUMPDEST
0000222a: DUP3
0000222b: ADD
0000222c: PUSH1 0x1f
0000222e: DUP2
0000222f: ADD
00002230: DUP5
00002231: SGT
00002232: PUSH2 0x223a
00002235: JUMPI
00002236: PUSH1 0x00
00002238: DUP1
00002239: REVERT
0000223a: JUMPDEST
0000223b: PUSH2 0x165e
0000223e: DUP5
0000223f: DUP3
00002240: CALLDATALOAD
00002241: PUSH1 0x20
00002243: DUP5
00002244: ADD
00002245: PUSH2 0x21a8
00002248: JUMP
00002249: JUMPDEST
0000224a: PUSH1 0x00
0000224c: PUSH1 0x20
0000224e: DUP3
0000224f: DUP5
00002250: SUB
00002251: SLT
00002252: ISZERO
00002253: PUSH2 0x225b
00002256: JUMPI
00002257: PUSH1 0x00
00002259: DUP1
0000225a: REVERT
0000225b: JUMPDEST
0000225c: PUSH2 0x206b
0000225f: DUP3
00002260: PUSH2 0x20e4
00002263: JUMP
00002264: JUMPDEST
00002265: PUSH1 0x20
00002267: DUP1
00002268: DUP3
00002269: MSTORE
0000226a: DUP3
0000226b: MLOAD
0000226c: DUP3
0000226d: DUP3
0000226e: ADD
0000226f: DUP2
00002270: SWAP1
00002271: MSTORE
00002272: PUSH1 0x00
00002274: SWAP2
00002275: SWAP1
00002276: DUP5
00002277: DUP3
00002278: ADD
00002279: SWAP1
0000227a: PUSH1 0x40
0000227c: DUP6
0000227d: ADD
0000227e: SWAP1
0000227f: DUP5
00002280: JUMPDEST
00002281: DUP2
00002282: DUP2
00002283: LT
00002284: ISZERO
00002285: PUSH2 0x229c
00002288: JUMPI
00002289: DUP4
0000228a: MLOAD
0000228b: DUP4
0000228c: MSTORE
0000228d: SWAP3
0000228e: DUP5
0000228f: ADD
00002290: SWAP3
00002291: SWAP2
00002292: DUP5
00002293: ADD
00002294: SWAP2
00002295: PUSH1 0x01
00002297: ADD
00002298: PUSH2 0x2280
0000229b: JUMP
0000229c: JUMPDEST
0000229d: POP
0000229e: SWAP1
0000229f: SWAP7
000022a0: SWAP6
000022a1: POP
000022a2: POP
000022a3: POP
000022a4: POP
000022a5: POP
000022a6: POP
000022a7: JUMP
000022a8: JUMPDEST
000022a9: PUSH1 0x00
000022ab: DUP1
000022ac: PUSH1 0x40
000022ae: DUP4
000022af: DUP6
000022b0: SUB
000022b1: SLT
000022b2: ISZERO
000022b3: PUSH2 0x22bb
000022b6: JUMPI
000022b7: PUSH1 0x00
000022b9: DUP1
000022ba: REVERT
000022bb: JUMPDEST
000022bc: DUP3
000022bd: CALLDATALOAD
000022be: SWAP2
000022bf: POP
000022c0: PUSH2 0x22cb
000022c3: PUSH1 0x20
000022c5: DUP5
000022c6: ADD
000022c7: PUSH2 0x20e4
000022ca: JUMP
000022cb: JUMPDEST
000022cc: SWAP1
000022cd: POP
000022ce: SWAP3
000022cf: POP
000022d0: SWAP3
000022d1: SWAP1
000022d2: POP
000022d3: JUMP
000022d4: JUMPDEST
000022d5: PUSH1 0x00
000022d7: DUP1
000022d8: PUSH1 0x40
000022da: DUP4
000022db: DUP6
000022dc: SUB
000022dd: SLT
000022de: ISZERO
000022df: PUSH2 0x22e7
000022e2: JUMPI
000022e3: PUSH1 0x00
000022e5: DUP1
000022e6: REVERT
000022e7: JUMPDEST
000022e8: PUSH2 0x22f0
000022eb: DUP4
000022ec: PUSH2 0x20e4
000022ef: JUMP
000022f0: JUMPDEST
000022f1: SWAP2
000022f2: POP
000022f3: PUSH1 0x20
000022f5: DUP4
000022f6: ADD
000022f7: CALLDATALOAD
000022f8: DUP1
000022f9: ISZERO
000022fa: ISZERO
000022fb: DUP2
000022fc: EQ
000022fd: PUSH2 0x2305
00002300: JUMPI
00002301: PUSH1 0x00
00002303: DUP1
00002304: REVERT
00002305: JUMPDEST
00002306: DUP1
00002307: SWAP2
00002308: POP
00002309: POP
0000230a: SWAP3
0000230b: POP
0000230c: SWAP3
0000230d: SWAP1
0000230e: POP
0000230f: JUMP
00002310: JUMPDEST
00002311: PUSH1 0x00
00002313: PUSH1 0x20
00002315: DUP1
00002316: DUP4
00002317: DUP6
00002318: SUB
00002319: SLT
0000231a: ISZERO
0000231b: PUSH2 0x2323
0000231e: JUMPI
0000231f: PUSH1 0x00
00002321: DUP1
00002322: REVERT
00002323: JUMPDEST
00002324: DUP3
00002325: CALLDATALOAD
00002326: PUSH8 0xffffffffffffffff
0000232f: DUP1
00002330: DUP3
00002331: GT
00002332: ISZERO
00002333: PUSH2 0x233b
00002336: JUMPI
00002337: PUSH1 0x00
00002339: DUP1
0000233a: REVERT
0000233b: JUMPDEST
0000233c: DUP2
0000233d: DUP6
0000233e: ADD
0000233f: SWAP2
00002340: POP
00002341: DUP6
00002342: PUSH1 0x1f
00002344: DUP4
00002345: ADD
00002346: SLT
00002347: PUSH2 0x234f
0000234a: JUMPI
0000234b: PUSH1 0x00
0000234d: DUP1
0000234e: REVERT
0000234f: JUMPDEST
00002350: DUP2
00002351: CALLDATALOAD
00002352: DUP2
00002353: DUP2
00002354: GT
00002355: ISZERO
00002356: PUSH2 0x2361
00002359: JUMPI
0000235a: PUSH2 0x2361
0000235d: PUSH2 0x2161
00002360: JUMP
00002361: JUMPDEST
00002362: DUP1
00002363: PUSH1 0x05
00002365: SHL
00002366: SWAP2
00002367: POP
00002368: PUSH2 0x2372
0000236b: DUP5
0000236c: DUP4
0000236d: ADD
0000236e: PUSH2 0x2177
00002371: JUMP
00002372: JUMPDEST
00002373: DUP2
00002374: DUP2
00002375: MSTORE
00002376: SWAP2
00002377: DUP4
00002378: ADD
00002379: DUP5
0000237a: ADD
0000237b: SWAP2
0000237c: DUP5
0000237d: DUP2
0000237e: ADD
0000237f: SWAP1
00002380: DUP9
00002381: DUP5
00002382: GT
00002383: ISZERO
00002384: PUSH2 0x238c
00002387: JUMPI
00002388: PUSH1 0x00
0000238a: DUP1
0000238b: REVERT
0000238c: JUMPDEST
0000238d: SWAP4
0000238e: DUP6
0000238f: ADD
00002390: SWAP4
00002391: JUMPDEST
00002392: DUP4
00002393: DUP6
00002394: LT
00002395: ISZERO
00002396: PUSH2 0x23aa
00002399: JUMPI
0000239a: DUP5
0000239b: CALLDATALOAD
0000239c: DUP3
0000239d: MSTORE
0000239e: SWAP4
0000239f: DUP6
000023a0: ADD
000023a1: SWAP4
000023a2: SWAP1
000023a3: DUP6
000023a4: ADD
000023a5: SWAP1
000023a6: PUSH2 0x2391
000023a9: JUMP
000023aa: JUMPDEST
000023ab: SWAP9
000023ac: SWAP8
000023ad: POP
000023ae: POP
000023af: POP
000023b0: POP
000023b1: POP
000023b2: POP
000023b3: POP
000023b4: POP
000023b5: JUMP
000023b6: JUMPDEST
000023b7: PUSH1 0x20
000023b9: DUP1
000023ba: DUP3
000023bb: MSTORE
000023bc: DUP3
000023bd: MLOAD
000023be: DUP3
000023bf: DUP3
000023c0: ADD
000023c1: DUP2
000023c2: SWAP1
000023c3: MSTORE
000023c4: PUSH1 0x00
000023c6: SWAP2
000023c7: SWAP1
000023c8: DUP5
000023c9: DUP3
000023ca: ADD
000023cb: SWAP1
000023cc: PUSH1 0x40
000023ce: DUP6
000023cf: ADD
000023d0: SWAP1
000023d1: DUP5
000023d2: JUMPDEST
000023d3: DUP2
000023d4: DUP2
000023d5: LT
000023d6: ISZERO
000023d7: PUSH2 0x229c
000023da: JUMPI
000023db: DUP4
000023dc: MLOAD
000023dd: ISZERO
000023de: ISZERO
000023df: DUP4
000023e0: MSTORE
000023e1: SWAP3
000023e2: DUP5
000023e3: ADD
000023e4: SWAP3
000023e5: SWAP2
000023e6: DUP5
000023e7: ADD
000023e8: SWAP2
000023e9: PUSH1 0x01
000023eb: ADD
000023ec: PUSH2 0x23d2
000023ef: JUMP
000023f0: JUMPDEST
000023f1: PUSH1 0x00
000023f3: DUP1
000023f4: PUSH1 0x00
000023f6: DUP1
000023f7: PUSH1 0x80
000023f9: DUP6
000023fa: DUP8
000023fb: SUB
000023fc: SLT
000023fd: ISZERO
000023fe: PUSH2 0x2406
00002401: JUMPI
00002402: PUSH1 0x00
00002404: DUP1
00002405: REVERT
00002406: JUMPDEST
00002407: PUSH2 0x240f
0000240a: DUP6
0000240b: PUSH2 0x20e4
0000240e: JUMP
0000240f: JUMPDEST
00002410: SWAP4
00002411: POP
00002412: PUSH2 0x241d
00002415: PUSH1 0x20
00002417: DUP7
00002418: ADD
00002419: PUSH2 0x20e4
0000241c: JUMP
0000241d: JUMPDEST
0000241e: SWAP3
0000241f: POP
00002420: PUSH1 0x40
00002422: DUP6
00002423: ADD
00002424: CALLDATALOAD
00002425: SWAP2
00002426: POP
00002427: PUSH1 0x60
00002429: DUP6
0000242a: ADD
0000242b: CALLDATALOAD
0000242c: PUSH8 0xffffffffffffffff
00002435: DUP2
00002436: GT
00002437: ISZERO
00002438: PUSH2 0x2440
0000243b: JUMPI
0000243c: PUSH1 0x00
0000243e: DUP1
0000243f: REVERT
00002440: JUMPDEST
00002441: DUP6
00002442: ADD
00002443: PUSH1 0x1f
00002445: DUP2
00002446: ADD
00002447: DUP8
00002448: SGT
00002449: PUSH2 0x2451
0000244c: JUMPI
0000244d: PUSH1 0x00
0000244f: DUP1
00002450: REVERT
00002451: JUMPDEST
00002452: PUSH2 0x2460
00002455: DUP8
00002456: DUP3
00002457: CALLDATALOAD
00002458: PUSH1 0x20
0000245a: DUP5
0000245b: ADD
0000245c: PUSH2 0x21a8
0000245f: JUMP
00002460: JUMPDEST
00002461: SWAP2
00002462: POP
00002463: POP
00002464: SWAP3
00002465: SWAP6
00002466: SWAP2
00002467: SWAP5
00002468: POP
00002469: SWAP3
0000246a: POP
0000246b: JUMP
0000246c: JUMPDEST
0000246d: PUSH1 0x00
0000246f: DUP1
00002470: PUSH1 0x40
00002472: DUP4
00002473: DUP6
00002474: SUB
00002475: SLT
00002476: ISZERO
00002477: PUSH2 0x247f
0000247a: JUMPI
0000247b: PUSH1 0x00
0000247d: DUP1
0000247e: REVERT
0000247f: JUMPDEST
00002480: PUSH2 0x2488
00002483: DUP4
00002484: PUSH2 0x20e4
00002487: JUMP
00002488: JUMPDEST
00002489: SWAP2
0000248a: POP
0000248b: PUSH2 0x22cb
0000248e: PUSH1 0x20
00002490: DUP5
00002491: ADD
00002492: PUSH2 0x20e4
00002495: JUMP
00002496: JUMPDEST
00002497: PUSH1 0x01
00002499: DUP2
0000249a: DUP2
0000249b: SHR
0000249c: SWAP1
0000249d: DUP3
0000249e: AND
0000249f: DUP1
000024a0: PUSH2 0x24aa
000024a3: JUMPI
000024a4: PUSH1 0x7f
000024a6: DUP3
000024a7: AND
000024a8: SWAP2
000024a9: POP
000024aa: JUMPDEST
000024ab: PUSH1 0x20
000024ad: DUP3
000024ae: LT
000024af: DUP2
000024b0: SUB
000024b1: PUSH2 0x24ca
000024b4: JUMPI
000024b5: PUSH4 0x4e487b71
000024ba: PUSH1 0xe0
000024bc: SHL
000024bd: PUSH1 0x00
000024bf: MSTORE
000024c0: PUSH1 0x22
000024c2: PUSH1 0x04
000024c4: MSTORE
000024c5: PUSH1 0x24
000024c7: PUSH1 0x00
000024c9: REVERT
000024ca: JUMPDEST
000024cb: POP
000024cc: SWAP2
000024cd: SWAP1
000024ce: POP
000024cf: JUMP
000024d0: JUMPDEST
000024d1: PUSH4 0x4e487b71
000024d6: PUSH1 0xe0
000024d8: SHL
000024d9: PUSH1 0x00
000024db: MSTORE
000024dc: PUSH1 0x11
000024de: PUSH1 0x04
000024e0: MSTORE
000024e1: PUSH1 0x24
000024e3: PUSH1 0x00
000024e5: REVERT
000024e6: JUMPDEST
000024e7: DUP2
000024e8: DUP2
000024e9: SUB
000024ea: DUP2
000024eb: DUP2
000024ec: GT
000024ed: ISZERO
000024ee: PUSH2 0x0806
000024f1: JUMPI
000024f2: PUSH2 0x0806
000024f5: PUSH2 0x24d0
000024f8: JUMP
000024f9: JUMPDEST
000024fa: PUSH1 0x1f
000024fc: DUP3
000024fd: GT
000024fe: ISZERO
000024ff: PUSH2 0x0a14
00002502: JUMPI
00002503: PUSH1 0x00
00002505: DUP2
00002506: DUP2
00002507: MSTORE
00002508: PUSH1 0x20
0000250a: DUP2
0000250b: KECCAK256
0000250c: PUSH1 0x1f
0000250e: DUP6
0000250f: ADD
00002510: PUSH1 0x05
00002512: SHR
00002513: DUP2
00002514: ADD
00002515: PUSH1 0x20
00002517: DUP7
00002518: LT
00002519: ISZERO
0000251a: PUSH2 0x2520
0000251d: JUMPI
0000251e: POP
0000251f: DUP1
00002520: JUMPDEST
00002521: PUSH1 0x1f
00002523: DUP6
00002524: ADD
00002525: PUSH1 0x05
00002527: SHR
00002528: DUP3
00002529: ADD
0000252a: SWAP2
0000252b: POP
0000252c: JUMPDEST
0000252d: DUP2
0000252e: DUP2
0000252f: LT
00002530: ISZERO
00002531: PUSH2 0x253f
00002534: JUMPI
00002535: DUP3
00002536: DUP2
00002537: SSTORE
00002538: PUSH1 0x01
0000253a: ADD
0000253b: PUSH2 0x252c
0000253e: JUMP
0000253f: JUMPDEST
00002540: POP
00002541: POP
00002542: POP
00002543: POP
00002544: POP
00002545: POP
00002546: JUMP
00002547: JUMPDEST
00002548: DUP2
00002549: MLOAD
0000254a: PUSH8 0xffffffffffffffff
00002553: DUP2
00002554: GT
00002555: ISZERO
00002556: PUSH2 0x2561
00002559: JUMPI
0000255a: PUSH2 0x2561
0000255d: PUSH2 0x2161
00002560: JUMP
00002561: JUMPDEST
00002562: PUSH2 0x2575
00002565: DUP2
00002566: PUSH2 0x256f
00002569: DUP5
0000256a: SLOAD
0000256b: PUSH2 0x2496
0000256e: JUMP
0000256f: JUMPDEST
00002570: DUP5
00002571: PUSH2 0x24f9
00002574: JUMP
00002575: JUMPDEST
00002576: PUSH1 0x20
00002578: DUP1
00002579: PUSH1 0x1f
0000257b: DUP4
0000257c: GT
0000257d: PUSH1 0x01
0000257f: DUP2
00002580: EQ
00002581: PUSH2 0x25aa
00002584: JUMPI
00002585: PUSH1 0x00
00002587: DUP5
00002588: ISZERO
00002589: PUSH2 0x2592
0000258c: JUMPI
0000258d: POP
0000258e: DUP6
0000258f: DUP4
00002590: ADD
00002591: MLOAD
00002592: JUMPDEST
00002593: PUSH1 0x00
00002595: NOT
00002596: PUSH1 0x03
00002598: DUP7
00002599: SWAP1
0000259a: SHL
0000259b: SHR
0000259c: NOT
0000259d: AND
0000259e: PUSH1 0x01
000025a0: DUP6
000025a1: SWAP1
000025a2: SHL
000025a3: OR
000025a4: DUP6
000025a5: SSTORE
000025a6: PUSH2 0x253f
000025a9: JUMP
000025aa: JUMPDEST
000025ab: PUSH1 0x00
000025ad: DUP6
000025ae: DUP2
000025af: MSTORE
000025b0: PUSH1 0x20
000025b2: DUP2
000025b3: KECCAK256
000025b4: PUSH1 0x1f
000025b6: NOT
000025b7: DUP7
000025b8: AND
000025b9: SWAP2
000025ba: JUMPDEST
000025bb: DUP3
000025bc: DUP2
000025bd: LT
000025be: ISZERO
000025bf: PUSH2 0x25d9
000025c2: JUMPI
000025c3: DUP9
000025c4: DUP7
000025c5: ADD
000025c6: MLOAD
000025c7: DUP3
000025c8: SSTORE
000025c9: SWAP5
000025ca: DUP5
000025cb: ADD
000025cc: SWAP5
000025cd: PUSH1 0x01
000025cf: SWAP1
000025d0: SWAP2
000025d1: ADD
000025d2: SWAP1
000025d3: DUP5
000025d4: ADD
000025d5: PUSH2 0x25ba
000025d8: JUMP
000025d9: JUMPDEST
000025da: POP
000025db: DUP6
000025dc: DUP3
000025dd: LT
000025de: ISZERO
000025df: PUSH2 0x25f7
000025e2: JUMPI
000025e3: DUP8
000025e4: DUP6
000025e5: ADD
000025e6: MLOAD
000025e7: PUSH1 0x00
000025e9: NOT
000025ea: PUSH1 0x03
000025ec: DUP9
000025ed: SWAP1
000025ee: SHL
000025ef: PUSH1 0xf8
000025f1: AND
000025f2: SHR
000025f3: NOT
000025f4: AND
000025f5: DUP2
000025f6: SSTORE
000025f7: JUMPDEST
000025f8: POP
000025f9: POP
000025fa: POP
000025fb: POP
000025fc: POP
000025fd: PUSH1 0x01
000025ff: SWAP1
00002600: DUP2
00002601: SHL
00002602: ADD
00002603: SWAP1
00002604: SSTORE
00002605: POP
00002606: JUMP
00002607: JUMPDEST
00002608: PUSH1 0x00
0000260a: PUSH4 0xffffffff
0000260f: DUP1
00002610: DUP4
00002611: AND
00002612: DUP2
00002613: DUP2
00002614: SUB
00002615: PUSH2 0x2620
00002618: JUMPI
00002619: PUSH2 0x2620
0000261c: PUSH2 0x24d0
0000261f: JUMP
00002620: JUMPDEST
00002621: PUSH1 0x01
00002623: ADD
00002624: SWAP4
00002625: SWAP3
00002626: POP
00002627: POP
00002628: POP
00002629: JUMP
0000262a: JUMPDEST
0000262b: PUSH1 0x00
0000262d: PUSH1 0x01
0000262f: DUP3
00002630: ADD
00002631: PUSH2 0x263c
00002634: JUMPI
00002635: PUSH2 0x263c
00002638: PUSH2 0x24d0
0000263b: JUMP
0000263c: JUMPDEST
0000263d: POP
0000263e: PUSH1 0x01
00002640: ADD
00002641: SWAP1
00002642: JUMP
00002643: JUMPDEST
00002644: PUSH4 0x4e487b71
00002649: PUSH1 0xe0
0000264b: SHL
0000264c: PUSH1 0x00
0000264e: MSTORE
0000264f: PUSH1 0x32
00002651: PUSH1 0x04
00002653: MSTORE
00002654: PUSH1 0x24
00002656: PUSH1 0x00
00002658: REVERT
00002659: JUMPDEST
0000265a: DUP1
0000265b: DUP3
0000265c: ADD
0000265d: DUP1
0000265e: DUP3
0000265f: GT
00002660: ISZERO
00002661: PUSH2 0x0806
00002664: JUMPI
00002665: PUSH2 0x0806
00002668: PUSH2 0x24d0
0000266b: JUMP
0000266c: JUMPDEST
0000266d: PUSH1 0x00
0000266f: PUSH1 0x01
00002671: PUSH1 0x01
00002673: PUSH1 0xa0
00002675: SHL
00002676: SUB
00002677: DUP1
00002678: DUP8
00002679: AND
0000267a: DUP4
0000267b: MSTORE
0000267c: DUP1
0000267d: DUP7
0000267e: AND
0000267f: PUSH1 0x20
00002681: DUP5
00002682: ADD
00002683: MSTORE
00002684: POP
00002685: DUP4
00002686: PUSH1 0x40
00002688: DUP4
00002689: ADD
0000268a: MSTORE
0000268b: PUSH1 0x80
0000268d: PUSH1 0x60
0000268f: DUP4
00002690: ADD
00002691: MSTORE
00002692: PUSH2 0x269e
00002695: PUSH1 0x80
00002697: DUP4
00002698: ADD
00002699: DUP5
0000269a: PUSH2 0x2072
0000269d: JUMP
0000269e: JUMPDEST
0000269f: SWAP7
000026a0: SWAP6
000026a1: POP
000026a2: POP
000026a3: POP
000026a4: POP
000026a5: POP
000026a6: POP
000026a7: JUMP
000026a8: JUMPDEST
000026a9: PUSH1 0x00
000026ab: PUSH1 0x20
000026ad: DUP3
000026ae: DUP5
000026af: SUB
000026b0: SLT
000026b1: ISZERO
000026b2: PUSH2 0x26ba
000026b5: JUMPI
000026b6: PUSH1 0x00
000026b8: DUP1
000026b9: REVERT
000026ba: JUMPDEST
000026bb: DUP2
000026bc: MLOAD
000026bd: PUSH2 0x206b
000026c0: DUP2
000026c1: PUSH2 0x2038
000026c4: JUMP
000026c5: INVALID
000026c6: LOG2
000026c7: PUSH5 0x6970667358
000026cd: UNKNOWN(0x22)
000026ce: SLT
000026cf: KECCAK256
000026d0: DIFFICULTY
000026d1: UNKNOWN(0xD2)
000026d2: AND
000026d3: RETURNDATACOPY
000026d4: UNKNOWN(0xEC)
000026d5: SELFBALANCE
000026d6: CODESIZE
000026d7: EXP
000026d8: UNKNOWN(0x2B)
000026d9: CODECOPY
000026da: UNKNOWN(0xC8)
000026db: UNKNOWN(0xCA)
000026dc: UNKNOWN(0x4C)
000026dd: DUP1
000026de: DUP3
000026df: PUSH32