Analysis Run

[codex:533962] OpenAI Codex v0.77.0 (research preview)
[codex:533962] --------
[codex:533962] workdir: /tmp/codex-multi-vudkv10c
[codex:533962] model: gpt-5.2-codex
[codex:533962] provider: openai
[codex:533962] approval: never
[codex:533962] sandbox: read-only
[codex:533962] reasoning effort: xhigh
[codex:533962] reasoning summaries: auto
[codex:533962] session id: 019b8079-f106-7631-a227-0102db25d628
[codex:533962] --------
[codex:533962] user
[codex:533962] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:533962] 
[codex:533962] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:533962] 
[codex:533962] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:533962] - Gas inefficiency, code quality, naming, or best practices
[codex:533962] - Theoretical vulnerabilities without a clear extraction path
[codex:533962] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:533962] - Front-running unless it enables theft beyond MEV
[codex:533962] - DoS, griefing, or issues that don't result in attacker profit
[codex:533962] - Missing events, view function issues, or informational findings
[codex:533962] 
[codex:533962] HIGH-VALUE PATTERNS TO HUNT:
[codex:533962] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:533962] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:533962] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:533962] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:533962] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:533962] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:533962] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:533962] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:533962] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:533962] 
[codex:533962] For each finding, you MUST provide:
[codex:533962] 1. Exact file and line numbers of vulnerable code
[codex:533962] 2. Step-by-step exploit transaction sequence
[codex:533962] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:533962] 
[codex:533962] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:533962] 
[codex:533962] Output MUST be valid JSON matching the provided schema.
[codex:533962] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:533962] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:533962] mcp startup: no servers
[codex:533962] 
[codex:533962] thinking
[codex:533962] **Reading instructions file**
[codex:533962] exec
[codex:533962] /bin/bash -lc ls in /tmp/codex-multi-vudkv10c succeeded in 7ms:
[codex:533962] AUDIT_BUNDLE.txt
[codex:533962] codex-output-schema.json
[codex:533962] contracts
[codex:533962] exec
[codex:533962] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-vudkv10c succeeded in 6ms:
[codex:533962] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:533962] 
[codex:533962] ================================================================================
[codex:533962] FILE: contracts/contracts/ERC1155.sol
[codex:533962] ================================================================================
[codex:533962] // SPDX-License-Identifier: MIT
[codex:533962] 
[codex:533962] pragma solidity >=0.6.0 <0.8.0;
[codex:533962] 
[codex:533962] import "@openzeppelin/contracts/token/ERC1155/IERC1155.sol";
[codex:533962] import "@openzeppelin/contracts/token/ERC1155/IERC1155MetadataURI.sol";
[codex:533962] import "@openzeppelin/contracts/token/ERC1155/IERC1155Receiver.sol";
[codex:533962] import "@openzeppelin/contracts/GSN/Context.sol";
[codex:533962] import "@openzeppelin/contracts/introspection/ERC165.sol";
[codex:533962] import "@openzeppelin/contracts/math/SafeMath.sol";
[codex:533962] import "@openzeppelin/contracts/utils/Address.sol";
[codex:533962] 
[codex:533962] /**
[codex:533962]  *
[codex:533962]  * @dev CLONE OF THE BASIC ERC1155 CONTRACT FROM OPEN ZEPPELIN
[codex:533962] 
[codex:533962] thinking
[codex:533962] **Searching for exploit opportunities**
[codex:533962] exec
[codex:533962] /bin/bash -lc 'nl -ba contracts/contracts/EulerBeats.sol' in /tmp/codex-multi-vudkv10c succeeded in 6ms:
[codex:533962]      1	// SPDX-License-Identifier: MIT
[codex:533962]      2	
[codex:533962]      3	pragma solidity >=0.6.0 <0.8.0;
[codex:533962]      4	
[codex:533962]      5	import "@openzeppelin/contracts/access/Ownable.sol";
[codex:533962]      6	import "./ERC1155.sol";
[codex:533962]      7	
[codex:533962]      8	
[codex:533962]      9	// EulerBeats are generative visual & audio art pieces. The recipe and instructions to re-create the visualization and music reside on Ethereum blockchain.
[codex:533962]     10	//
[codex:533962]     11	// To recreate your art, you will need to retrieve the script
[codex:533962]     12	//
[codex:533962]     13	//  STEPS TO RETRIEVE THE SCRIPTS:
[codex:533962]     14	// - The artwork re-generation script is written in JavaScript, split into pieces, and stored on chain.
[codex:533962]     15	// - Query the contract for the scriptCount - this is the number of pieces of the re-genereation script. You will need all of them.
[codex:533962]     16	// - Run the getScriptAtIndex method in the EulerBeats smart contract starting with parameter 0, this is will return a transaction hash
[codex:533962]     17	// - The "Input Data" field of this transaction contains the first segment of the script. Convert this into UTF-8 format
[codex:533962]     18	// - Repeat these last two steps, incrementing the parameter in the getScriptAtIndex method until the number of script segments matches the scrtipCount
[codex:533962]     19	
[codex:533962]     20	contract EulerBeats is Ownable, ERC1155 {
[codex:533962] 
[codex:533962] 
[codex:533962] 
[codex:533962] 
[codex:533962] thinking
[codex:533962] **Analyzing ERC1155 mint/burn reentrancy risks**
[codex:533962] 
[codex:533962] I’m carefully walking through the mintPrint and burnPrint functions to spot reentrancy vulnerabilities, examining the order of state updates and external calls. There’s a close look at how totalSupply, reserve, and royalties interact during reentrant calls, and whether attackers could profit from minting and burning prints within reentrancy. I’m also analyzing bitwise logic in ownership checks and considering if reserve accounting or seedToOwner mapping might be exploitable due to subtle bugs or operator precedence. This looks like an intricate exploration of contract logic and potential financial flows to identify realistic attack vectors.
[codex:533962] thinking
[codex:533962] **Verifying operator precedence and price calculations**
[codex:533962] 
[codex:533962] I’m sorting out how Solidity parses the expression involving bitwise AND and inequality to confirm no logic bugs in ownership checks. Then I’m analyzing the math behind print price and burn price computations, checking for overflow or zero-price edge cases that could affect minting costs or enable exploits. This deep dive combines language details with contract economics to ensure the contract behaves as expected.
[codex:533962] thinking
[codex:533962] **Analyzing token ID manipulation and reentrancy scenarios**
[codex:533962] 
[codex:533962] I'm exploring how the contract handles token IDs, especially with the prints flag bit and seed generation, alongside reentrancy during mint and burn calls. I’m checking if temporarily owning originals (e.g., via flash loans) could affect royalty payouts or create profit paths, and verifying that pricing and reserve updates prevent exploits despite these interactions.
[codex:533962] thinking
[codex:533962] **Examining economic bonding curve and operator precedence risks**
[codex:533962] 
[codex:533962] I'm analyzing if integer rounding or supply changes could yield profit by minting low and burning high on the bonding curve, concluding this aligns with expected economics rather than an exploit. I’m also double-checking operator precedence for bitwise AND versus equality to ensure no functional bugs impact seed ownership updates.
[codex:533962] exec
[codex:533962] /bin/bash -lc 'solc --version' in /tmp/codex-multi-vudkv10c exited 127 in 5ms:
[codex:533962] /bin/bash: line 1: solc: command not found
[codex:533962] 
[codex:533962] thinking
[codex:533962] **Analyzing Solidity operator precedence and implications**
[codex:533962] 
[codex:533962] I’m reasoning through Solidity’s operator precedence, especially how bitwise AND and equality compare, because it affects conditions like `ids[i] & PRINTS_FLAG_BIT != PRINTS_FLAG_BIT`. Given common Solidity patterns and knowledge from languages like C and JavaScript, it seems bitwise AND has higher precedence than equality, so the expression parses as intended `(ids[i] & PRINTS_FLAG_BIT) != PRINTS_FLAG_BIT`. This is crucial since misinterpretation would break critical contract logic like setting `seedToOwner`. I’m verifying this by recalling common usage patterns and considering potential bugs if precedence were otherwise.
[codex:533962] exec
[codex:533962] /bin/bash -lc 'nl -ba contracts/contracts/ERC1155.sol' in /tmp/codex-multi-vudkv10c succeeded in 5ms:
[codex:533962]      1	// SPDX-License-Identifier: MIT
[codex:533962]      2	
[codex:533962]      3	pragma solidity >=0.6.0 <0.8.0;
[codex:533962]      4	
[codex:533962]      5	import "@openzeppelin/contracts/token/ERC1155/IERC1155.sol";
[codex:533962]      6	import "@openzeppelin/contracts/token/ERC1155/IERC1155MetadataURI.sol";
[codex:533962]      7	import "@openzeppelin/contracts/token/ERC1155/IERC1155Receiver.sol";
[codex:533962]      8	import "@openzeppelin/contracts/GSN/Context.sol";
[codex:533962]      9	import "@openzeppelin/contracts/introspection/ERC165.sol";
[codex:533962]     10	import "@openzeppelin/contracts/math/SafeMath.sol";
[codex:533962]     11	import "@openzeppelin/contracts/utils/Address.sol";
[codex:533962]     12	
[codex:533962]     13	/**
[codex:533962]     14	 *
[codex:533962]     15	 * @dev CLONE OF THE BASIC ERC1155 CONTRACT FROM OPEN ZEPPELIN
[codex:533962]     16	 * Only changes made are changing the uri related variable and getter
[codex:533962]     17	 * to be internal and virtual.
[codex:533962]     18	 */
[codex:533962]     19	contract ERC1155 is Context, ERC165, IERC1155, IERC1155MetadataURI {
[codex:533962]     20	    using SafeMath for uint256;
[codex:533962] 
[codex:533962] thinking
[codex:533962] **Summarizing audit findings**
[codex:533962] codex
[codex:533962] {"no_findings":true,"summary":"No concrete, exploitable path to extract ETH/tokens/NFTs found in the provided contracts.","findings":[]}
[codex:533962] tokens used
[codex:533962] 44,870
[codex:533962] {"no_findings":true,"summary":"No concrete, exploitable path to extract ETH/tokens/NFTs found in the provided contracts.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-02T20:56:21.989177+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable path to extract ETH/tokens/NFTs found in the provided contracts.",
    "raw_final": {
        "summary": "No concrete, exploitable path to extract ETH/tokens/NFTs found in the provided contracts.",
        "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 0x0203
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x5c86f2c8
00000019: GT
0000001a: PUSH2 0x0118
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb81f7888
00000024: GT
00000025: PUSH2 0x00a0
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xeb9eb9fd
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xeb9eb9fd
0000003a: EQ
0000003b: PUSH2 0x0af5
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf242432a
00000045: EQ
00000046: PUSH2 0x0b1f
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x0bf5
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf908108e
0000005b: EQ
0000005c: PUSH2 0x0c28
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf9c894a8
00000066: EQ
00000067: PUSH2 0x0cd9
0000006a: JUMPI
0000006b: PUSH2 0x0203
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xb81f7888
00000076: EQ
00000077: PUSH2 0x0a66
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xbd85b039
00000081: EQ
00000082: PUSH2 0x0a7b
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xcd3293de
0000008c: EQ
0000008d: PUSH2 0x0aa5
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xe985e9c5
00000097: EQ
00000098: PUSH2 0x0aba
0000009b: JUMPI
0000009c: PUSH2 0x0203
0000009f: JUMP
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0x911d0004
000000a7: GT
000000a8: PUSH2 0x00e7
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x911d0004
000000b2: EQ
000000b3: PUSH2 0x0998
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x91b7f5ed
000000bd: EQ
000000be: PUSH2 0x09c2
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x95d89b41
000000c8: EQ
000000c9: PUSH2 0x09ec
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x9d76a171
000000d3: EQ
000000d4: PUSH2 0x0a01
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xa22cb465
000000de: EQ
000000df: PUSH2 0x0a2b
000000e2: JUMPI
000000e3: PUSH2 0x0203
000000e6: JUMP
000000e7: JUMPDEST
000000e8: DUP1
000000e9: PUSH4 0x5c86f2c8
000000ee: EQ
000000ef: PUSH2 0x093c
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x6817c76c
000000f9: EQ
000000fa: PUSH2 0x0959
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x715018a6
00000104: EQ
00000105: PUSH2 0x096e
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x8da5cb5b
0000010f: EQ
00000110: PUSH2 0x0983
00000113: JUMPI
00000114: PUSH2 0x0203
00000117: JUMP
00000118: JUMPDEST
00000119: DUP1
0000011a: PUSH4 0x2802a190
0000011f: GT
00000120: PUSH2 0x019b
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x3ccfd60b
0000012a: GT
0000012b: PUSH2 0x016a
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x3ccfd60b
00000135: EQ
00000136: PUSH2 0x0737
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x425af373
00000140: EQ
00000141: PUSH2 0x074c
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x49701d43
0000014b: EQ
0000014c: PUSH2 0x0792
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x4ba44fd2
00000156: EQ
00000157: PUSH2 0x07a7
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x4e1273f4
00000161: EQ
00000162: PUSH2 0x07bc
00000165: JUMPI
00000166: PUSH2 0x0203
00000169: JUMP
0000016a: JUMPDEST
0000016b: DUP1
0000016c: PUSH4 0x2802a190
00000171: EQ
00000172: PUSH2 0x0460
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0x2eb2c2d6
0000017c: EQ
0000017d: PUSH2 0x0513
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x328d8f72
00000187: EQ
00000188: PUSH2 0x06e1
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x346fd5dd
00000192: EQ
00000193: PUSH2 0x070d
00000196: JUMPI
00000197: PUSH2 0x0203
0000019a: JUMP
0000019b: JUMPDEST
0000019c: DUP1
0000019d: PUSH4 0x07a3681c
000001a2: GT
000001a3: PUSH2 0x01d7
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x07a3681c
000001ad: EQ
000001ae: PUSH2 0x03d8
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x0e89341c
000001b8: EQ
000001b9: PUSH2 0x0402
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x1249c58b
000001c3: EQ
000001c4: PUSH2 0x042c
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x211e28b6
000001ce: EQ
000001cf: PUSH2 0x0434
000001d2: JUMPI
000001d3: PUSH2 0x0203
000001d6: JUMP
000001d7: JUMPDEST
000001d8: DUP1
000001d9: PUSH3 0xfdd58e
000001dd: EQ
000001de: PUSH2 0x0208
000001e1: JUMPI
000001e2: DUP1
000001e3: PUSH4 0x01ffc9a7
000001e8: EQ
000001e9: PUSH2 0x0253
000001ec: JUMPI
000001ed: DUP1
000001ee: PUSH4 0x02fe5305
000001f3: EQ
000001f4: PUSH2 0x029b
000001f7: JUMPI
000001f8: DUP1
000001f9: PUSH4 0x06fdde03
000001fe: EQ
000001ff: PUSH2 0x034e
00000202: JUMPI
00000203: JUMPDEST
00000204: PUSH1 0x00
00000206: DUP1
00000207: REVERT
00000208: JUMPDEST
00000209: CALLVALUE
0000020a: DUP1
0000020b: ISZERO
0000020c: PUSH2 0x0214
0000020f: JUMPI
00000210: PUSH1 0x00
00000212: DUP1
00000213: REVERT
00000214: JUMPDEST
00000215: POP
00000216: PUSH2 0x0241
00000219: PUSH1 0x04
0000021b: DUP1
0000021c: CALLDATASIZE
0000021d: SUB
0000021e: PUSH1 0x40
00000220: DUP2
00000221: LT
00000222: ISZERO
00000223: PUSH2 0x022b
00000226: JUMPI
00000227: PUSH1 0x00
00000229: DUP1
0000022a: REVERT
0000022b: JUMPDEST
0000022c: POP
0000022d: PUSH1 0x01
0000022f: PUSH1 0x01
00000231: PUSH1 0xa0
00000233: SHL
00000234: SUB
00000235: DUP2
00000236: CALLDATALOAD
00000237: AND
00000238: SWAP1
00000239: PUSH1 0x20
0000023b: ADD
0000023c: CALLDATALOAD
0000023d: PUSH2 0x0d09
00000240: JUMP
00000241: JUMPDEST
00000242: PUSH1 0x40
00000244: DUP1
00000245: MLOAD
00000246: SWAP2
00000247: DUP3
00000248: MSTORE
00000249: MLOAD
0000024a: SWAP1
0000024b: DUP2
0000024c: SWAP1
0000024d: SUB
0000024e: PUSH1 0x20
00000250: ADD
00000251: SWAP1
00000252: RETURN
00000253: JUMPDEST
00000254: CALLVALUE
00000255: DUP1
00000256: ISZERO
00000257: PUSH2 0x025f
0000025a: JUMPI
0000025b: PUSH1 0x00
0000025d: DUP1
0000025e: REVERT
0000025f: JUMPDEST
00000260: POP
00000261: PUSH2 0x0287
00000264: PUSH1 0x04
00000266: DUP1
00000267: CALLDATASIZE
00000268: SUB
00000269: PUSH1 0x20
0000026b: DUP2
0000026c: LT
0000026d: ISZERO
0000026e: PUSH2 0x0276
00000271: JUMPI
00000272: PUSH1 0x00
00000274: DUP1
00000275: REVERT
00000276: JUMPDEST
00000277: POP
00000278: CALLDATALOAD
00000279: PUSH1 0x01
0000027b: PUSH1 0x01
0000027d: PUSH1 0xe0
0000027f: SHL
00000280: SUB
00000281: NOT
00000282: AND
00000283: PUSH2 0x0d7b
00000286: JUMP
00000287: JUMPDEST
00000288: PUSH1 0x40
0000028a: DUP1
0000028b: MLOAD
0000028c: SWAP2
0000028d: ISZERO
0000028e: ISZERO
0000028f: DUP3
00000290: MSTORE
00000291: MLOAD
00000292: SWAP1
00000293: DUP2
00000294: SWAP1
00000295: SUB
00000296: PUSH1 0x20
00000298: ADD
00000299: SWAP1
0000029a: RETURN
0000029b: JUMPDEST
0000029c: CALLVALUE
0000029d: DUP1
0000029e: ISZERO
0000029f: PUSH2 0x02a7
000002a2: JUMPI
000002a3: PUSH1 0x00
000002a5: DUP1
000002a6: REVERT
000002a7: JUMPDEST
000002a8: POP
000002a9: PUSH2 0x034c
000002ac: PUSH1 0x04
000002ae: DUP1
000002af: CALLDATASIZE
000002b0: SUB
000002b1: PUSH1 0x20
000002b3: DUP2
000002b4: LT
000002b5: ISZERO
000002b6: PUSH2 0x02be
000002b9: JUMPI
000002ba: PUSH1 0x00
000002bc: DUP1
000002bd: REVERT
000002be: JUMPDEST
000002bf: DUP2
000002c0: ADD
000002c1: SWAP1
000002c2: PUSH1 0x20
000002c4: DUP2
000002c5: ADD
000002c6: DUP2
000002c7: CALLDATALOAD
000002c8: PUSH1 0x01
000002ca: PUSH1 0x20
000002cc: SHL
000002cd: DUP2
000002ce: GT
000002cf: ISZERO
000002d0: PUSH2 0x02d8
000002d3: JUMPI
000002d4: PUSH1 0x00
000002d6: DUP1
000002d7: REVERT
000002d8: JUMPDEST
000002d9: DUP3
000002da: ADD
000002db: DUP4
000002dc: PUSH1 0x20
000002de: DUP3
000002df: ADD
000002e0: GT
000002e1: ISZERO
000002e2: PUSH2 0x02ea
000002e5: JUMPI
000002e6: PUSH1 0x00
000002e8: DUP1
000002e9: REVERT
000002ea: JUMPDEST
000002eb: DUP1
000002ec: CALLDATALOAD
000002ed: SWAP1
000002ee: PUSH1 0x20
000002f0: ADD
000002f1: SWAP2
000002f2: DUP5
000002f3: PUSH1 0x01
000002f5: DUP4
000002f6: MUL
000002f7: DUP5
000002f8: ADD
000002f9: GT
000002fa: PUSH1 0x01
000002fc: PUSH1 0x20
000002fe: SHL
000002ff: DUP4
00000300: GT
00000301: OR
00000302: ISZERO
00000303: PUSH2 0x030b
00000306: JUMPI
00000307: PUSH1 0x00
00000309: DUP1
0000030a: REVERT
0000030b: JUMPDEST
0000030c: SWAP2
0000030d: SWAP1
0000030e: DUP1
0000030f: DUP1
00000310: PUSH1 0x1f
00000312: ADD
00000313: PUSH1 0x20
00000315: DUP1
00000316: SWAP2
00000317: DIV
00000318: MUL
00000319: PUSH1 0x20
0000031b: ADD
0000031c: PUSH1 0x40
0000031e: MLOAD
0000031f: SWAP1
00000320: DUP2
00000321: ADD
00000322: PUSH1 0x40
00000324: MSTORE
00000325: DUP1
00000326: SWAP4
00000327: SWAP3
00000328: SWAP2
00000329: SWAP1
0000032a: DUP2
0000032b: DUP2
0000032c: MSTORE
0000032d: PUSH1 0x20
0000032f: ADD
00000330: DUP4
00000331: DUP4
00000332: DUP1
00000333: DUP3
00000334: DUP5
00000335: CALLDATACOPY
00000336: PUSH1 0x00
00000338: SWAP3
00000339: ADD
0000033a: SWAP2
0000033b: SWAP1
0000033c: SWAP2
0000033d: MSTORE
0000033e: POP
0000033f: SWAP3
00000340: SWAP6
00000341: POP
00000342: PUSH2 0x0d9e
00000345: SWAP5
00000346: POP
00000347: POP
00000348: POP
00000349: POP
0000034a: POP
0000034b: JUMP
0000034c: JUMPDEST
0000034d: STOP
0000034e: JUMPDEST
0000034f: CALLVALUE
00000350: DUP1
00000351: ISZERO
00000352: PUSH2 0x035a
00000355: JUMPI
00000356: PUSH1 0x00
00000358: DUP1
00000359: REVERT
0000035a: JUMPDEST
0000035b: POP
0000035c: PUSH2 0x0363
0000035f: PUSH2 0x0e0c
00000362: JUMP
00000363: JUMPDEST
00000364: PUSH1 0x40
00000366: DUP1
00000367: MLOAD
00000368: PUSH1 0x20
0000036a: DUP1
0000036b: DUP3
0000036c: MSTORE
0000036d: DUP4
0000036e: MLOAD
0000036f: DUP2
00000370: DUP4
00000371: ADD
00000372: MSTORE
00000373: DUP4
00000374: MLOAD
00000375: SWAP2
00000376: SWAP3
00000377: DUP4
00000378: SWAP3
00000379: SWAP1
0000037a: DUP4
0000037b: ADD
0000037c: SWAP2
0000037d: DUP6
0000037e: ADD
0000037f: SWAP1
00000380: DUP1
00000381: DUP4
00000382: DUP4
00000383: PUSH1 0x00
00000385: JUMPDEST
00000386: DUP4
00000387: DUP2
00000388: LT
00000389: ISZERO
0000038a: PUSH2 0x039d
0000038d: JUMPI
0000038e: DUP2
0000038f: DUP2
00000390: ADD
00000391: MLOAD
00000392: DUP4
00000393: DUP3
00000394: ADD
00000395: MSTORE
00000396: PUSH1 0x20
00000398: ADD
00000399: PUSH2 0x0385
0000039c: JUMP
0000039d: JUMPDEST
0000039e: POP
0000039f: POP
000003a0: POP
000003a1: POP
000003a2: SWAP1
000003a3: POP
000003a4: SWAP1
000003a5: DUP2
000003a6: ADD
000003a7: SWAP1
000003a8: PUSH1 0x1f
000003aa: AND
000003ab: DUP1
000003ac: ISZERO
000003ad: PUSH2 0x03ca
000003b0: JUMPI
000003b1: DUP1
000003b2: DUP3
000003b3: SUB
000003b4: DUP1
000003b5: MLOAD
000003b6: PUSH1 0x01
000003b8: DUP4
000003b9: PUSH1 0x20
000003bb: SUB
000003bc: PUSH2 0x0100
000003bf: EXP
000003c0: SUB
000003c1: NOT
000003c2: AND
000003c3: DUP2
000003c4: MSTORE
000003c5: PUSH1 0x20
000003c7: ADD
000003c8: SWAP2
000003c9: POP
000003ca: JUMPDEST
000003cb: POP
000003cc: SWAP3
000003cd: POP
000003ce: POP
000003cf: POP
000003d0: PUSH1 0x40
000003d2: MLOAD
000003d3: DUP1
000003d4: SWAP2
000003d5: SUB
000003d6: SWAP1
000003d7: RETURN
000003d8: JUMPDEST
000003d9: CALLVALUE
000003da: DUP1
000003db: ISZERO
000003dc: PUSH2 0x03e4
000003df: JUMPI
000003e0: PUSH1 0x00
000003e2: DUP1
000003e3: REVERT
000003e4: JUMPDEST
000003e5: POP
000003e6: PUSH2 0x0241
000003e9: PUSH1 0x04
000003eb: DUP1
000003ec: CALLDATASIZE
000003ed: SUB
000003ee: PUSH1 0x20
000003f0: DUP2
000003f1: LT
000003f2: ISZERO
000003f3: PUSH2 0x03fb
000003f6: JUMPI
000003f7: PUSH1 0x00
000003f9: DUP1
000003fa: REVERT
000003fb: JUMPDEST
000003fc: POP
000003fd: CALLDATALOAD
000003fe: PUSH2 0x0e9a
00000401: JUMP
00000402: JUMPDEST
00000403: CALLVALUE
00000404: DUP1
00000405: ISZERO
00000406: PUSH2 0x040e
00000409: JUMPI
0000040a: PUSH1 0x00
0000040c: DUP1
0000040d: REVERT
0000040e: JUMPDEST
0000040f: POP
00000410: PUSH2 0x0363
00000413: PUSH1 0x04
00000415: DUP1
00000416: CALLDATASIZE
00000417: SUB
00000418: PUSH1 0x20
0000041a: DUP2
0000041b: LT
0000041c: ISZERO
0000041d: PUSH2 0x0425
00000420: JUMPI
00000421: PUSH1 0x00
00000423: DUP1
00000424: REVERT
00000425: JUMPDEST
00000426: POP
00000427: CALLDATALOAD
00000428: PUSH2 0x0ebc
0000042b: JUMP
0000042c: JUMPDEST
0000042d: PUSH2 0x0241
00000430: PUSH2 0x0f9d
00000433: JUMP
00000434: JUMPDEST
00000435: CALLVALUE
00000436: DUP1
00000437: ISZERO
00000438: PUSH2 0x0440
0000043b: JUMPI
0000043c: PUSH1 0x00
0000043e: DUP1
0000043f: REVERT
00000440: JUMPDEST
00000441: POP
00000442: PUSH2 0x034c
00000445: PUSH1 0x04
00000447: DUP1
00000448: CALLDATASIZE
00000449: SUB
0000044a: PUSH1 0x20
0000044c: DUP2
0000044d: LT
0000044e: ISZERO
0000044f: PUSH2 0x0457
00000452: JUMPI
00000453: PUSH1 0x00
00000455: DUP1
00000456: REVERT
00000457: JUMPDEST
00000458: POP
00000459: CALLDATALOAD
0000045a: ISZERO
0000045b: ISZERO
0000045c: PUSH2 0x1128
0000045f: JUMP
00000460: JUMPDEST
00000461: CALLVALUE
00000462: DUP1
00000463: ISZERO
00000464: PUSH2 0x046c
00000467: JUMPI
00000468: PUSH1 0x00
0000046a: DUP1
0000046b: REVERT
0000046c: JUMPDEST
0000046d: POP
0000046e: PUSH2 0x034c
00000471: PUSH1 0x04
00000473: DUP1
00000474: CALLDATASIZE
00000475: SUB
00000476: PUSH1 0x40
00000478: DUP2
00000479: LT
0000047a: ISZERO
0000047b: PUSH2 0x0483
0000047e: JUMPI
0000047f: PUSH1 0x00
00000481: DUP1
00000482: REVERT
00000483: JUMPDEST
00000484: DUP2
00000485: ADD
00000486: SWAP1
00000487: PUSH1 0x20
00000489: DUP2
0000048a: ADD
0000048b: DUP2
0000048c: CALLDATALOAD
0000048d: PUSH1 0x01
0000048f: PUSH1 0x20
00000491: SHL
00000492: DUP2
00000493: GT
00000494: ISZERO
00000495: PUSH2 0x049d
00000498: JUMPI
00000499: PUSH1 0x00
0000049b: DUP1
0000049c: REVERT
0000049d: JUMPDEST
0000049e: DUP3
0000049f: ADD
000004a0: DUP4
000004a1: PUSH1 0x20
000004a3: DUP3
000004a4: ADD
000004a5: GT
000004a6: ISZERO
000004a7: PUSH2 0x04af
000004aa: JUMPI
000004ab: PUSH1 0x00
000004ad: DUP1
000004ae: REVERT
000004af: JUMPDEST
000004b0: DUP1
000004b1: CALLDATALOAD
000004b2: SWAP1
000004b3: PUSH1 0x20
000004b5: ADD
000004b6: SWAP2
000004b7: DUP5
000004b8: PUSH1 0x01
000004ba: DUP4
000004bb: MUL
000004bc: DUP5
000004bd: ADD
000004be: GT
000004bf: PUSH1 0x01
000004c1: PUSH1 0x20
000004c3: SHL
000004c4: DUP4
000004c5: GT
000004c6: OR
000004c7: ISZERO
000004c8: PUSH2 0x04d0
000004cb: JUMPI
000004cc: PUSH1 0x00
000004ce: DUP1
000004cf: REVERT
000004d0: JUMPDEST
000004d1: SWAP2
000004d2: SWAP1
000004d3: DUP1
000004d4: DUP1
000004d5: PUSH1 0x1f
000004d7: ADD
000004d8: PUSH1 0x20
000004da: DUP1
000004db: SWAP2
000004dc: DIV
000004dd: MUL
000004de: PUSH1 0x20
000004e0: ADD
000004e1: PUSH1 0x40
000004e3: MLOAD
000004e4: SWAP1
000004e5: DUP2
000004e6: ADD
000004e7: PUSH1 0x40
000004e9: MSTORE
000004ea: DUP1
000004eb: SWAP4
000004ec: SWAP3
000004ed: SWAP2
000004ee: SWAP1
000004ef: DUP2
000004f0: DUP2
000004f1: MSTORE
000004f2: PUSH1 0x20
000004f4: ADD
000004f5: DUP4
000004f6: DUP4
000004f7: DUP1
000004f8: DUP3
000004f9: DUP5
000004fa: CALLDATACOPY
000004fb: PUSH1 0x00
000004fd: SWAP3
000004fe: ADD
000004ff: SWAP2
00000500: SWAP1
00000501: SWAP2
00000502: MSTORE
00000503: POP
00000504: SWAP3
00000505: SWAP6
00000506: POP
00000507: POP
00000508: SWAP2
00000509: CALLDATALOAD
0000050a: SWAP3
0000050b: POP
0000050c: PUSH2 0x11f6
0000050f: SWAP2
00000510: POP
00000511: POP
00000512: JUMP
00000513: JUMPDEST
00000514: CALLVALUE
00000515: DUP1
00000516: ISZERO
00000517: PUSH2 0x051f
0000051a: JUMPI
0000051b: PUSH1 0x00
0000051d: DUP1
0000051e: REVERT
0000051f: JUMPDEST
00000520: POP
00000521: PUSH2 0x034c
00000524: PUSH1 0x04
00000526: DUP1
00000527: CALLDATASIZE
00000528: SUB
00000529: PUSH1 0xa0
0000052b: DUP2
0000052c: LT
0000052d: ISZERO
0000052e: PUSH2 0x0536
00000531: JUMPI
00000532: PUSH1 0x00
00000534: DUP1
00000535: REVERT
00000536: JUMPDEST
00000537: PUSH1 0x01
00000539: PUSH1 0x01
0000053b: PUSH1 0xa0
0000053d: SHL
0000053e: SUB
0000053f: DUP3
00000540: CALLDATALOAD
00000541: DUP2
00000542: AND
00000543: SWAP3
00000544: PUSH1 0x20
00000546: DUP2
00000547: ADD
00000548: CALLDATALOAD
00000549: SWAP1
0000054a: SWAP2
0000054b: AND
0000054c: SWAP2
0000054d: DUP2
0000054e: ADD
0000054f: SWAP1
00000550: PUSH1 0x60
00000552: DUP2
00000553: ADD
00000554: PUSH1 0x40
00000556: DUP3
00000557: ADD
00000558: CALLDATALOAD
00000559: PUSH1 0x01
0000055b: PUSH1 0x20
0000055d: SHL
0000055e: DUP2
0000055f: GT
00000560: ISZERO
00000561: PUSH2 0x0569
00000564: JUMPI
00000565: PUSH1 0x00
00000567: DUP1
00000568: REVERT
00000569: JUMPDEST
0000056a: DUP3
0000056b: ADD
0000056c: DUP4
0000056d: PUSH1 0x20
0000056f: DUP3
00000570: ADD
00000571: GT
00000572: ISZERO
00000573: PUSH2 0x057b
00000576: JUMPI
00000577: PUSH1 0x00
00000579: DUP1
0000057a: REVERT
0000057b: JUMPDEST
0000057c: DUP1
0000057d: CALLDATALOAD
0000057e: SWAP1
0000057f: PUSH1 0x20
00000581: ADD
00000582: SWAP2
00000583: DUP5
00000584: PUSH1 0x20
00000586: DUP4
00000587: MUL
00000588: DUP5
00000589: ADD
0000058a: GT
0000058b: PUSH1 0x01
0000058d: PUSH1 0x20
0000058f: SHL
00000590: DUP4
00000591: GT
00000592: OR
00000593: ISZERO
00000594: PUSH2 0x059c
00000597: JUMPI
00000598: PUSH1 0x00
0000059a: DUP1
0000059b: REVERT
0000059c: JUMPDEST
0000059d: SWAP2
0000059e: SWAP1
0000059f: DUP1
000005a0: DUP1
000005a1: PUSH1 0x20
000005a3: MUL
000005a4: PUSH1 0x20
000005a6: ADD
000005a7: PUSH1 0x40
000005a9: MLOAD
000005aa: SWAP1
000005ab: DUP2
000005ac: ADD
000005ad: PUSH1 0x40
000005af: MSTORE
000005b0: DUP1
000005b1: SWAP4
000005b2: SWAP3
000005b3: SWAP2
000005b4: SWAP1
000005b5: DUP2
000005b6: DUP2
000005b7: MSTORE
000005b8: PUSH1 0x20
000005ba: ADD
000005bb: DUP4
000005bc: DUP4
000005bd: PUSH1 0x20
000005bf: MUL
000005c0: DUP1
000005c1: DUP3
000005c2: DUP5
000005c3: CALLDATACOPY
000005c4: PUSH1 0x00
000005c6: SWAP3
000005c7: ADD
000005c8: SWAP2
000005c9: SWAP1
000005ca: SWAP2
000005cb: MSTORE
000005cc: POP
000005cd: SWAP3
000005ce: SWAP6
000005cf: SWAP5
000005d0: SWAP4
000005d1: PUSH1 0x20
000005d3: DUP2
000005d4: ADD
000005d5: SWAP4
000005d6: POP
000005d7: CALLDATALOAD
000005d8: SWAP2
000005d9: POP
000005da: POP
000005db: PUSH1 0x01
000005dd: PUSH1 0x20
000005df: SHL
000005e0: DUP2
000005e1: GT
000005e2: ISZERO
000005e3: PUSH2 0x05eb
000005e6: JUMPI
000005e7: PUSH1 0x00
000005e9: DUP1
000005ea: REVERT
000005eb: JUMPDEST
000005ec: DUP3
000005ed: ADD
000005ee: DUP4
000005ef: PUSH1 0x20
000005f1: DUP3
000005f2: ADD
000005f3: GT
000005f4: ISZERO
000005f5: PUSH2 0x05fd
000005f8: JUMPI
000005f9: PUSH1 0x00
000005fb: DUP1
000005fc: REVERT
000005fd: JUMPDEST
000005fe: DUP1
000005ff: CALLDATALOAD
00000600: SWAP1
00000601: PUSH1 0x20
00000603: ADD
00000604: SWAP2
00000605: DUP5
00000606: PUSH1 0x20
00000608: DUP4
00000609: MUL
0000060a: DUP5
0000060b: ADD
0000060c: GT
0000060d: PUSH1 0x01
0000060f: PUSH1 0x20
00000611: SHL
00000612: DUP4
00000613: GT
00000614: OR
00000615: ISZERO
00000616: PUSH2 0x061e
00000619: JUMPI
0000061a: PUSH1 0x00
0000061c: DUP1
0000061d: REVERT
0000061e: JUMPDEST
0000061f: SWAP2
00000620: SWAP1
00000621: DUP1
00000622: DUP1
00000623: PUSH1 0x20
00000625: MUL
00000626: PUSH1 0x20
00000628: ADD
00000629: PUSH1 0x40
0000062b: MLOAD
0000062c: SWAP1
0000062d: DUP2
0000062e: ADD
0000062f: PUSH1 0x40
00000631: MSTORE
00000632: DUP1
00000633: SWAP4
00000634: SWAP3
00000635: SWAP2
00000636: SWAP1
00000637: DUP2
00000638: DUP2
00000639: MSTORE
0000063a: PUSH1 0x20
0000063c: ADD
0000063d: DUP4
0000063e: DUP4
0000063f: PUSH1 0x20
00000641: MUL
00000642: DUP1
00000643: DUP3
00000644: DUP5
00000645: CALLDATACOPY
00000646: PUSH1 0x00
00000648: SWAP3
00000649: ADD
0000064a: SWAP2
0000064b: SWAP1
0000064c: SWAP2
0000064d: MSTORE
0000064e: POP
0000064f: SWAP3
00000650: SWAP6
00000651: SWAP5
00000652: SWAP4
00000653: PUSH1 0x20
00000655: DUP2
00000656: ADD
00000657: SWAP4
00000658: POP
00000659: CALLDATALOAD
0000065a: SWAP2
0000065b: POP
0000065c: POP
0000065d: PUSH1 0x01
0000065f: PUSH1 0x20
00000661: SHL
00000662: DUP2
00000663: GT
00000664: ISZERO
00000665: PUSH2 0x066d
00000668: JUMPI
00000669: PUSH1 0x00
0000066b: DUP1
0000066c: REVERT
0000066d: JUMPDEST
0000066e: DUP3
0000066f: ADD
00000670: DUP4
00000671: PUSH1 0x20
00000673: DUP3
00000674: ADD
00000675: GT
00000676: ISZERO
00000677: PUSH2 0x067f
0000067a: JUMPI
0000067b: PUSH1 0x00
0000067d: DUP1
0000067e: REVERT
0000067f: JUMPDEST
00000680: DUP1
00000681: CALLDATALOAD
00000682: SWAP1
00000683: PUSH1 0x20
00000685: ADD
00000686: SWAP2
00000687: DUP5
00000688: PUSH1 0x01
0000068a: DUP4
0000068b: MUL
0000068c: DUP5
0000068d: ADD
0000068e: GT
0000068f: PUSH1 0x01
00000691: PUSH1 0x20
00000693: SHL
00000694: DUP4
00000695: GT
00000696: OR
00000697: ISZERO
00000698: PUSH2 0x06a0
0000069b: JUMPI
0000069c: PUSH1 0x00
0000069e: DUP1
0000069f: REVERT
000006a0: JUMPDEST
000006a1: SWAP2
000006a2: SWAP1
000006a3: DUP1
000006a4: DUP1
000006a5: PUSH1 0x1f
000006a7: ADD
000006a8: PUSH1 0x20
000006aa: DUP1
000006ab: SWAP2
000006ac: DIV
000006ad: MUL
000006ae: PUSH1 0x20
000006b0: ADD
000006b1: PUSH1 0x40
000006b3: MLOAD
000006b4: SWAP1
000006b5: DUP2
000006b6: ADD
000006b7: PUSH1 0x40
000006b9: MSTORE
000006ba: DUP1
000006bb: SWAP4
000006bc: SWAP3
000006bd: SWAP2
000006be: SWAP1
000006bf: DUP2
000006c0: DUP2
000006c1: MSTORE
000006c2: PUSH1 0x20
000006c4: ADD
000006c5: DUP4
000006c6: DUP4
000006c7: DUP1
000006c8: DUP3
000006c9: DUP5
000006ca: CALLDATACOPY
000006cb: PUSH1 0x00
000006cd: SWAP3
000006ce: ADD
000006cf: SWAP2
000006d0: SWAP1
000006d1: SWAP2
000006d2: MSTORE
000006d3: POP
000006d4: SWAP3
000006d5: SWAP6
000006d6: POP
000006d7: PUSH2 0x131a
000006da: SWAP5
000006db: POP
000006dc: POP
000006dd: POP
000006de: POP
000006df: POP
000006e0: JUMP
000006e1: JUMPDEST
000006e2: CALLVALUE
000006e3: DUP1
000006e4: ISZERO
000006e5: PUSH2 0x06ed
000006e8: JUMPI
000006e9: PUSH1 0x00
000006eb: DUP1
000006ec: REVERT
000006ed: JUMPDEST
000006ee: POP
000006ef: PUSH2 0x034c
000006f2: PUSH1 0x04
000006f4: DUP1
000006f5: CALLDATASIZE
000006f6: SUB
000006f7: PUSH1 0x20
000006f9: DUP2
000006fa: LT
000006fb: ISZERO
000006fc: PUSH2 0x0704
000006ff: JUMPI
00000700: PUSH1 0x00
00000702: DUP1
00000703: REVERT
00000704: JUMPDEST
00000705: POP
00000706: CALLDATALOAD
00000707: ISZERO
00000708: ISZERO
00000709: PUSH2 0x161d
0000070c: JUMP
0000070d: JUMPDEST
0000070e: CALLVALUE
0000070f: DUP1
00000710: ISZERO
00000711: PUSH2 0x0719
00000714: JUMPI
00000715: PUSH1 0x00
00000717: DUP1
00000718: REVERT
00000719: JUMPDEST
0000071a: POP
0000071b: PUSH2 0x0241
0000071e: PUSH1 0x04
00000720: DUP1
00000721: CALLDATASIZE
00000722: SUB
00000723: PUSH1 0x20
00000725: DUP2
00000726: LT
00000727: ISZERO
00000728: PUSH2 0x0730
0000072b: JUMPI
0000072c: PUSH1 0x00
0000072e: DUP1
0000072f: REVERT
00000730: JUMPDEST
00000731: POP
00000732: CALLDATALOAD
00000733: PUSH2 0x1692
00000736: JUMP
00000737: JUMPDEST
00000738: CALLVALUE
00000739: DUP1
0000073a: ISZERO
0000073b: PUSH2 0x0743
0000073e: JUMPI
0000073f: PUSH1 0x00
00000741: DUP1
00000742: REVERT
00000743: JUMPDEST
00000744: POP
00000745: PUSH2 0x034c
00000748: PUSH2 0x16ad
0000074b: JUMP
0000074c: JUMPDEST
0000074d: CALLVALUE
0000074e: DUP1
0000074f: ISZERO
00000750: PUSH2 0x0758
00000753: JUMPI
00000754: PUSH1 0x00
00000756: DUP1
00000757: REVERT
00000758: JUMPDEST
00000759: POP
0000075a: PUSH2 0x0776
0000075d: PUSH1 0x04
0000075f: DUP1
00000760: CALLDATASIZE
00000761: SUB
00000762: PUSH1 0x20
00000764: DUP2
00000765: LT
00000766: ISZERO
00000767: PUSH2 0x076f
0000076a: JUMPI
0000076b: PUSH1 0x00
0000076d: DUP1
0000076e: REVERT
0000076f: JUMPDEST
00000770: POP
00000771: CALLDATALOAD
00000772: PUSH2 0x175a
00000775: JUMP
00000776: JUMPDEST
00000777: PUSH1 0x40
00000779: DUP1
0000077a: MLOAD
0000077b: PUSH1 0x01
0000077d: PUSH1 0x01
0000077f: PUSH1 0xa0
00000781: SHL
00000782: SUB
00000783: SWAP1
00000784: SWAP3
00000785: AND
00000786: DUP3
00000787: MSTORE
00000788: MLOAD
00000789: SWAP1
0000078a: DUP2
0000078b: SWAP1
0000078c: SUB
0000078d: PUSH1 0x20
0000078f: ADD
00000790: SWAP1
00000791: RETURN
00000792: JUMPDEST
00000793: CALLVALUE
00000794: DUP1
00000795: ISZERO
00000796: PUSH2 0x079e
00000799: JUMPI
0000079a: PUSH1 0x00
0000079c: DUP1
0000079d: REVERT
0000079e: JUMPDEST
0000079f: POP
000007a0: PUSH2 0x0241
000007a3: PUSH2 0x1775
000007a6: JUMP
000007a7: JUMPDEST
000007a8: CALLVALUE
000007a9: DUP1
000007aa: ISZERO
000007ab: PUSH2 0x07b3
000007ae: JUMPI
000007af: PUSH1 0x00
000007b1: DUP1
000007b2: REVERT
000007b3: JUMPDEST
000007b4: POP
000007b5: PUSH2 0x0241
000007b8: PUSH2 0x177b
000007bb: JUMP
000007bc: JUMPDEST
000007bd: CALLVALUE
000007be: DUP1
000007bf: ISZERO
000007c0: PUSH2 0x07c8
000007c3: JUMPI
000007c4: PUSH1 0x00
000007c6: DUP1
000007c7: REVERT
000007c8: JUMPDEST
000007c9: POP
000007ca: PUSH2 0x08ec
000007cd: PUSH1 0x04
000007cf: DUP1
000007d0: CALLDATASIZE
000007d1: SUB
000007d2: PUSH1 0x40
000007d4: DUP2
000007d5: LT
000007d6: ISZERO
000007d7: PUSH2 0x07df
000007da: JUMPI
000007db: PUSH1 0x00
000007dd: DUP1
000007de: REVERT
000007df: JUMPDEST
000007e0: DUP2
000007e1: ADD
000007e2: SWAP1
000007e3: PUSH1 0x20
000007e5: DUP2
000007e6: ADD
000007e7: DUP2
000007e8: CALLDATALOAD
000007e9: PUSH1 0x01
000007eb: PUSH1 0x20
000007ed: SHL
000007ee: DUP2
000007ef: GT
000007f0: ISZERO
000007f1: PUSH2 0x07f9
000007f4: JUMPI
000007f5: PUSH1 0x00
000007f7: DUP1
000007f8: REVERT
000007f9: JUMPDEST
000007fa: DUP3
000007fb: ADD
000007fc: DUP4
000007fd: PUSH1 0x20
000007ff: DUP3
00000800: ADD
00000801: GT
00000802: ISZERO
00000803: PUSH2 0x080b
00000806: JUMPI
00000807: PUSH1 0x00
00000809: DUP1
0000080a: REVERT
0000080b: JUMPDEST
0000080c: DUP1
0000080d: CALLDATALOAD
0000080e: SWAP1
0000080f: PUSH1 0x20
00000811: ADD
00000812: SWAP2
00000813: DUP5
00000814: PUSH1 0x20
00000816: DUP4
00000817: MUL
00000818: DUP5
00000819: ADD
0000081a: GT
0000081b: PUSH1 0x01
0000081d: PUSH1 0x20
0000081f: SHL
00000820: DUP4
00000821: GT
00000822: OR
00000823: ISZERO
00000824: PUSH2 0x082c
00000827: JUMPI
00000828: PUSH1 0x00
0000082a: DUP1
0000082b: REVERT
0000082c: JUMPDEST
0000082d: SWAP2
0000082e: SWAP1
0000082f: DUP1
00000830: DUP1
00000831: PUSH1 0x20
00000833: MUL
00000834: PUSH1 0x20
00000836: ADD
00000837: PUSH1 0x40
00000839: MLOAD
0000083a: SWAP1
0000083b: DUP2
0000083c: ADD
0000083d: PUSH1 0x40
0000083f: MSTORE
00000840: DUP1
00000841: SWAP4
00000842: SWAP3
00000843: SWAP2
00000844: SWAP1
00000845: DUP2
00000846: DUP2
00000847: MSTORE
00000848: PUSH1 0x20
0000084a: ADD
0000084b: DUP4
0000084c: DUP4
0000084d: PUSH1 0x20
0000084f: MUL
00000850: DUP1
00000851: DUP3
00000852: DUP5
00000853: CALLDATACOPY
00000854: PUSH1 0x00
00000856: SWAP3
00000857: ADD
00000858: SWAP2
00000859: SWAP1
0000085a: SWAP2
0000085b: MSTORE
0000085c: POP
0000085d: SWAP3
0000085e: SWAP6
0000085f: SWAP5
00000860: SWAP4
00000861: PUSH1 0x20
00000863: DUP2
00000864: ADD
00000865: SWAP4
00000866: POP
00000867: CALLDATALOAD
00000868: SWAP2
00000869: POP
0000086a: POP
0000086b: PUSH1 0x01
0000086d: PUSH1 0x20
0000086f: SHL
00000870: DUP2
00000871: GT
00000872: ISZERO
00000873: PUSH2 0x087b
00000876: JUMPI
00000877: PUSH1 0x00
00000879: DUP1
0000087a: REVERT
0000087b: JUMPDEST
0000087c: DUP3
0000087d: ADD
0000087e: DUP4
0000087f: PUSH1 0x20
00000881: DUP3
00000882: ADD
00000883: GT
00000884: ISZERO
00000885: PUSH2 0x088d
00000888: JUMPI
00000889: PUSH1 0x00
0000088b: DUP1
0000088c: REVERT
0000088d: JUMPDEST
0000088e: DUP1
0000088f: CALLDATALOAD
00000890: SWAP1
00000891: PUSH1 0x20
00000893: ADD
00000894: SWAP2
00000895: DUP5
00000896: PUSH1 0x20
00000898: DUP4
00000899: MUL
0000089a: DUP5
0000089b: ADD
0000089c: GT
0000089d: PUSH1 0x01
0000089f: PUSH1 0x20
000008a1: SHL
000008a2: DUP4
000008a3: GT
000008a4: OR
000008a5: ISZERO
000008a6: PUSH2 0x08ae
000008a9: JUMPI
000008aa: PUSH1 0x00
000008ac: DUP1
000008ad: REVERT
000008ae: JUMPDEST
000008af: SWAP2
000008b0: SWAP1
000008b1: DUP1
000008b2: DUP1
000008b3: PUSH1 0x20
000008b5: MUL
000008b6: PUSH1 0x20
000008b8: ADD
000008b9: PUSH1 0x40
000008bb: MLOAD
000008bc: SWAP1
000008bd: DUP2
000008be: ADD
000008bf: PUSH1 0x40
000008c1: MSTORE
000008c2: DUP1
000008c3: SWAP4
000008c4: SWAP3
000008c5: SWAP2
000008c6: SWAP1
000008c7: DUP2
000008c8: DUP2
000008c9: MSTORE
000008ca: PUSH1 0x20
000008cc: ADD
000008cd: DUP4
000008ce: DUP4
000008cf: PUSH1 0x20
000008d1: MUL
000008d2: DUP1
000008d3: DUP3
000008d4: DUP5
000008d5: CALLDATACOPY
000008d6: PUSH1 0x00
000008d8: SWAP3
000008d9: ADD
000008da: SWAP2
000008db: SWAP1
000008dc: SWAP2
000008dd: MSTORE
000008de: POP
000008df: SWAP3
000008e0: SWAP6
000008e1: POP
000008e2: PUSH2 0x1781
000008e5: SWAP5
000008e6: POP
000008e7: POP
000008e8: POP
000008e9: POP
000008ea: POP
000008eb: JUMP
000008ec: JUMPDEST
000008ed: PUSH1 0x40
000008ef: DUP1
000008f0: MLOAD
000008f1: PUSH1 0x20
000008f3: DUP1
000008f4: DUP3
000008f5: MSTORE
000008f6: DUP4
000008f7: MLOAD
000008f8: DUP2
000008f9: DUP4
000008fa: ADD
000008fb: MSTORE
000008fc: DUP4
000008fd: MLOAD
000008fe: SWAP2
000008ff: SWAP3
00000900: DUP4
00000901: SWAP3
00000902: SWAP1
00000903: DUP4
00000904: ADD
00000905: SWAP2
00000906: DUP6
00000907: DUP2
00000908: ADD
00000909: SWAP2
0000090a: MUL
0000090b: DUP1
0000090c: DUP4
0000090d: DUP4
0000090e: PUSH1 0x00
00000910: JUMPDEST
00000911: DUP4
00000912: DUP2
00000913: LT
00000914: ISZERO
00000915: PUSH2 0x0928
00000918: JUMPI
00000919: DUP2
0000091a: DUP2
0000091b: ADD
0000091c: MLOAD
0000091d: DUP4
0000091e: DUP3
0000091f: ADD
00000920: MSTORE
00000921: PUSH1 0x20
00000923: ADD
00000924: PUSH2 0x0910
00000927: JUMP
00000928: JUMPDEST
00000929: POP
0000092a: POP
0000092b: POP
0000092c: POP
0000092d: SWAP1
0000092e: POP
0000092f: ADD
00000930: SWAP3
00000931: POP
00000932: POP
00000933: POP
00000934: PUSH1 0x40
00000936: MLOAD
00000937: DUP1
00000938: SWAP2
00000939: SUB
0000093a: SWAP1
0000093b: RETURN
0000093c: JUMPDEST
0000093d: PUSH2 0x0241
00000940: PUSH1 0x04
00000942: DUP1
00000943: CALLDATASIZE
00000944: SUB
00000945: PUSH1 0x20
00000947: DUP2
00000948: LT
00000949: ISZERO
0000094a: PUSH2 0x0952
0000094d: JUMPI
0000094e: PUSH1 0x00
00000950: DUP1
00000951: REVERT
00000952: JUMPDEST
00000953: POP
00000954: CALLDATALOAD
00000955: PUSH2 0x18ff
00000958: JUMP
00000959: JUMPDEST
0000095a: CALLVALUE
0000095b: DUP1
0000095c: ISZERO
0000095d: PUSH2 0x0965
00000960: JUMPI
00000961: PUSH1 0x00
00000963: DUP1
00000964: REVERT
00000965: JUMPDEST
00000966: POP
00000967: PUSH2 0x0241
0000096a: PUSH2 0x1bdd
0000096d: JUMP
0000096e: JUMPDEST
0000096f: CALLVALUE
00000970: DUP1
00000971: ISZERO
00000972: PUSH2 0x097a
00000975: JUMPI
00000976: PUSH1 0x00
00000978: DUP1
00000979: REVERT
0000097a: JUMPDEST
0000097b: POP
0000097c: PUSH2 0x034c
0000097f: PUSH2 0x1be3
00000982: JUMP
00000983: JUMPDEST
00000984: CALLVALUE
00000985: DUP1
00000986: ISZERO
00000987: PUSH2 0x098f
0000098a: JUMPI
0000098b: PUSH1 0x00
0000098d: DUP1
0000098e: REVERT
0000098f: JUMPDEST
00000990: POP
00000991: PUSH2 0x0776
00000994: PUSH2 0x1c8f
00000997: JUMP
00000998: JUMPDEST
00000999: CALLVALUE
0000099a: DUP1
0000099b: ISZERO
0000099c: PUSH2 0x09a4
0000099f: JUMPI
000009a0: PUSH1 0x00
000009a2: DUP1
000009a3: REVERT
000009a4: JUMPDEST
000009a5: POP
000009a6: PUSH2 0x0363
000009a9: PUSH1 0x04
000009ab: DUP1
000009ac: CALLDATASIZE
000009ad: SUB
000009ae: PUSH1 0x20
000009b0: DUP2
000009b1: LT
000009b2: ISZERO
000009b3: PUSH2 0x09bb
000009b6: JUMPI
000009b7: PUSH1 0x00
000009b9: DUP1
000009ba: REVERT
000009bb: JUMPDEST
000009bc: POP
000009bd: CALLDATALOAD
000009be: PUSH2 0x1c9e
000009c1: JUMP
000009c2: JUMPDEST
000009c3: CALLVALUE
000009c4: DUP1
000009c5: ISZERO
000009c6: PUSH2 0x09ce
000009c9: JUMPI
000009ca: PUSH1 0x00
000009cc: DUP1
000009cd: REVERT
000009ce: JUMPDEST
000009cf: POP
000009d0: PUSH2 0x034c
000009d3: PUSH1 0x04
000009d5: DUP1
000009d6: CALLDATASIZE
000009d7: SUB
000009d8: PUSH1 0x20
000009da: DUP2
000009db: LT
000009dc: ISZERO
000009dd: PUSH2 0x09e5
000009e0: JUMPI
000009e1: PUSH1 0x00
000009e3: DUP1
000009e4: REVERT
000009e5: JUMPDEST
000009e6: POP
000009e7: CALLDATALOAD
000009e8: PUSH2 0x1d8b
000009eb: JUMP
000009ec: JUMPDEST
000009ed: CALLVALUE
000009ee: DUP1
000009ef: ISZERO
000009f0: PUSH2 0x09f8
000009f3: JUMPI
000009f4: PUSH1 0x00
000009f6: DUP1
000009f7: REVERT
000009f8: JUMPDEST
000009f9: POP
000009fa: PUSH2 0x0363
000009fd: PUSH2 0x1e40
00000a00: JUMP
00000a01: JUMPDEST
00000a02: CALLVALUE
00000a03: DUP1
00000a04: ISZERO
00000a05: PUSH2 0x0a0d
00000a08: JUMPI
00000a09: PUSH1 0x00
00000a0b: DUP1
00000a0c: REVERT
00000a0d: JUMPDEST
00000a0e: POP
00000a0f: PUSH2 0x0241
00000a12: PUSH1 0x04
00000a14: DUP1
00000a15: CALLDATASIZE
00000a16: SUB
00000a17: PUSH1 0x20
00000a19: DUP2
00000a1a: LT
00000a1b: ISZERO
00000a1c: PUSH2 0x0a24
00000a1f: JUMPI
00000a20: PUSH1 0x00
00000a22: DUP1
00000a23: REVERT
00000a24: JUMPDEST
00000a25: POP
00000a26: CALLDATALOAD
00000a27: PUSH2 0x1e9b
00000a2a: JUMP
00000a2b: JUMPDEST
00000a2c: CALLVALUE
00000a2d: DUP1
00000a2e: ISZERO
00000a2f: PUSH2 0x0a37
00000a32: JUMPI
00000a33: PUSH1 0x00
00000a35: DUP1
00000a36: REVERT
00000a37: JUMPDEST
00000a38: POP
00000a39: PUSH2 0x034c
00000a3c: PUSH1 0x04
00000a3e: DUP1
00000a3f: CALLDATASIZE
00000a40: SUB
00000a41: PUSH1 0x40
00000a43: DUP2
00000a44: LT
00000a45: ISZERO
00000a46: PUSH2 0x0a4e
00000a49: JUMPI
00000a4a: PUSH1 0x00
00000a4c: DUP1
00000a4d: REVERT
00000a4e: JUMPDEST
00000a4f: POP
00000a50: PUSH1 0x01
00000a52: PUSH1 0x01
00000a54: PUSH1 0xa0
00000a56: SHL
00000a57: SUB
00000a58: DUP2
00000a59: CALLDATALOAD
00000a5a: AND
00000a5b: SWAP1
00000a5c: PUSH1 0x20
00000a5e: ADD
00000a5f: CALLDATALOAD
00000a60: ISZERO
00000a61: ISZERO
00000a62: PUSH2 0x1fb3
00000a65: JUMP
00000a66: JUMPDEST
00000a67: CALLVALUE
00000a68: DUP1
00000a69: ISZERO
00000a6a: PUSH2 0x0a72
00000a6d: JUMPI
00000a6e: PUSH1 0x00
00000a70: DUP1
00000a71: REVERT
00000a72: JUMPDEST
00000a73: POP
00000a74: PUSH2 0x034c
00000a77: PUSH2 0x20a2
00000a7a: JUMP
00000a7b: JUMPDEST
00000a7c: CALLVALUE
00000a7d: DUP1
00000a7e: ISZERO
00000a7f: PUSH2 0x0a87
00000a82: JUMPI
00000a83: PUSH1 0x00
00000a85: DUP1
00000a86: REVERT
00000a87: JUMPDEST
00000a88: POP
00000a89: PUSH2 0x0241
00000a8c: PUSH1 0x04
00000a8e: DUP1
00000a8f: CALLDATASIZE
00000a90: SUB
00000a91: PUSH1 0x20
00000a93: DUP2
00000a94: LT
00000a95: ISZERO
00000a96: PUSH2 0x0a9e
00000a99: JUMPI
00000a9a: PUSH1 0x00
00000a9c: DUP1
00000a9d: REVERT
00000a9e: JUMPDEST
00000a9f: POP
00000aa0: CALLDATALOAD
00000aa1: PUSH2 0x215d
00000aa4: JUMP
00000aa5: JUMPDEST
00000aa6: CALLVALUE
00000aa7: DUP1
00000aa8: ISZERO
00000aa9: PUSH2 0x0ab1
00000aac: JUMPI
00000aad: PUSH1 0x00
00000aaf: DUP1
00000ab0: REVERT
00000ab1: JUMPDEST
00000ab2: POP
00000ab3: PUSH2 0x0241
00000ab6: PUSH2 0x216f
00000ab9: JUMP
00000aba: JUMPDEST
00000abb: CALLVALUE
00000abc: DUP1
00000abd: ISZERO
00000abe: PUSH2 0x0ac6
00000ac1: JUMPI
00000ac2: PUSH1 0x00
00000ac4: DUP1
00000ac5: REVERT
00000ac6: JUMPDEST
00000ac7: POP
00000ac8: PUSH2 0x0287
00000acb: PUSH1 0x04
00000acd: DUP1
00000ace: CALLDATASIZE
00000acf: SUB
00000ad0: PUSH1 0x40
00000ad2: DUP2
00000ad3: LT
00000ad4: ISZERO
00000ad5: PUSH2 0x0add
00000ad8: JUMPI
00000ad9: PUSH1 0x00
00000adb: DUP1
00000adc: REVERT
00000add: JUMPDEST
00000ade: POP
00000adf: PUSH1 0x01
00000ae1: PUSH1 0x01
00000ae3: PUSH1 0xa0
00000ae5: SHL
00000ae6: SUB
00000ae7: DUP2
00000ae8: CALLDATALOAD
00000ae9: DUP2
00000aea: AND
00000aeb: SWAP2
00000aec: PUSH1 0x20
00000aee: ADD
00000aef: CALLDATALOAD
00000af0: AND
00000af1: PUSH2 0x2175
00000af4: JUMP
00000af5: JUMPDEST
00000af6: CALLVALUE
00000af7: DUP1
00000af8: ISZERO
00000af9: PUSH2 0x0b01
00000afc: JUMPI
00000afd: PUSH1 0x00
00000aff: DUP1
00000b00: REVERT
00000b01: JUMPDEST
00000b02: POP
00000b03: PUSH2 0x0241
00000b06: PUSH1 0x04
00000b08: DUP1
00000b09: CALLDATASIZE
00000b0a: SUB
00000b0b: PUSH1 0x20
00000b0d: DUP2
00000b0e: LT
00000b0f: ISZERO
00000b10: PUSH2 0x0b18
00000b13: JUMPI
00000b14: PUSH1 0x00
00000b16: DUP1
00000b17: REVERT
00000b18: JUMPDEST
00000b19: POP
00000b1a: CALLDATALOAD
00000b1b: PUSH2 0x21a3
00000b1e: JUMP
00000b1f: JUMPDEST
00000b20: CALLVALUE
00000b21: DUP1
00000b22: ISZERO
00000b23: PUSH2 0x0b2b
00000b26: JUMPI
00000b27: PUSH1 0x00
00000b29: DUP1
00000b2a: REVERT
00000b2b: JUMPDEST
00000b2c: POP
00000b2d: PUSH2 0x034c
00000b30: PUSH1 0x04
00000b32: DUP1
00000b33: CALLDATASIZE
00000b34: SUB
00000b35: PUSH1 0xa0
00000b37: DUP2
00000b38: LT
00000b39: ISZERO
00000b3a: PUSH2 0x0b42
00000b3d: JUMPI
00000b3e: PUSH1 0x00
00000b40: DUP1
00000b41: REVERT
00000b42: JUMPDEST
00000b43: PUSH1 0x01
00000b45: PUSH1 0x01
00000b47: PUSH1 0xa0
00000b49: SHL
00000b4a: SUB
00000b4b: DUP3
00000b4c: CALLDATALOAD
00000b4d: DUP2
00000b4e: AND
00000b4f: SWAP3
00000b50: PUSH1 0x20
00000b52: DUP2
00000b53: ADD
00000b54: CALLDATALOAD
00000b55: SWAP1
00000b56: SWAP2
00000b57: AND
00000b58: SWAP2
00000b59: PUSH1 0x40
00000b5b: DUP3
00000b5c: ADD
00000b5d: CALLDATALOAD
00000b5e: SWAP2
00000b5f: PUSH1 0x60
00000b61: DUP2
00000b62: ADD
00000b63: CALLDATALOAD
00000b64: SWAP2
00000b65: DUP2
00000b66: ADD
00000b67: SWAP1
00000b68: PUSH1 0xa0
00000b6a: DUP2
00000b6b: ADD
00000b6c: PUSH1 0x80
00000b6e: DUP3
00000b6f: ADD
00000b70: CALLDATALOAD
00000b71: PUSH1 0x01
00000b73: PUSH1 0x20
00000b75: SHL
00000b76: DUP2
00000b77: GT
00000b78: ISZERO
00000b79: PUSH2 0x0b81
00000b7c: JUMPI
00000b7d: PUSH1 0x00
00000b7f: DUP1
00000b80: REVERT
00000b81: JUMPDEST
00000b82: DUP3
00000b83: ADD
00000b84: DUP4
00000b85: PUSH1 0x20
00000b87: DUP3
00000b88: ADD
00000b89: GT
00000b8a: ISZERO
00000b8b: PUSH2 0x0b93
00000b8e: JUMPI
00000b8f: PUSH1 0x00
00000b91: DUP1
00000b92: REVERT
00000b93: JUMPDEST
00000b94: DUP1
00000b95: CALLDATALOAD
00000b96: SWAP1
00000b97: PUSH1 0x20
00000b99: ADD
00000b9a: SWAP2
00000b9b: DUP5
00000b9c: PUSH1 0x01
00000b9e: DUP4
00000b9f: MUL
00000ba0: DUP5
00000ba1: ADD
00000ba2: GT
00000ba3: PUSH1 0x01
00000ba5: PUSH1 0x20
00000ba7: SHL
00000ba8: DUP4
00000ba9: GT
00000baa: OR
00000bab: ISZERO
00000bac: PUSH2 0x0bb4
00000baf: JUMPI
00000bb0: PUSH1 0x00
00000bb2: DUP1
00000bb3: REVERT
00000bb4: JUMPDEST
00000bb5: SWAP2
00000bb6: SWAP1
00000bb7: DUP1
00000bb8: DUP1
00000bb9: PUSH1 0x1f
00000bbb: ADD
00000bbc: PUSH1 0x20
00000bbe: DUP1
00000bbf: SWAP2
00000bc0: DIV
00000bc1: MUL
00000bc2: PUSH1 0x20
00000bc4: ADD
00000bc5: PUSH1 0x40
00000bc7: MLOAD
00000bc8: SWAP1
00000bc9: DUP2
00000bca: ADD
00000bcb: PUSH1 0x40
00000bcd: MSTORE
00000bce: DUP1
00000bcf: SWAP4
00000bd0: SWAP3
00000bd1: SWAP2
00000bd2: SWAP1
00000bd3: DUP2
00000bd4: DUP2
00000bd5: MSTORE
00000bd6: PUSH1 0x20
00000bd8: ADD
00000bd9: DUP4
00000bda: DUP4
00000bdb: DUP1
00000bdc: DUP3
00000bdd: DUP5
00000bde: CALLDATACOPY
00000bdf: PUSH1 0x00
00000be1: SWAP3
00000be2: ADD
00000be3: SWAP2
00000be4: SWAP1
00000be5: SWAP2
00000be6: MSTORE
00000be7: POP
00000be8: SWAP3
00000be9: SWAP6
00000bea: POP
00000beb: PUSH2 0x21ad
00000bee: SWAP5
00000bef: POP
00000bf0: POP
00000bf1: POP
00000bf2: POP
00000bf3: POP
00000bf4: JUMP
00000bf5: JUMPDEST
00000bf6: CALLVALUE
00000bf7: DUP1
00000bf8: ISZERO
00000bf9: PUSH2 0x0c01
00000bfc: JUMPI
00000bfd: PUSH1 0x00
00000bff: DUP1
00000c00: REVERT
00000c01: JUMPDEST
00000c02: POP
00000c03: PUSH2 0x034c
00000c06: PUSH1 0x04
00000c08: DUP1
00000c09: CALLDATASIZE
00000c0a: SUB
00000c0b: PUSH1 0x20
00000c0d: DUP2
00000c0e: LT
00000c0f: ISZERO
00000c10: PUSH2 0x0c18
00000c13: JUMPI
00000c14: PUSH1 0x00
00000c16: DUP1
00000c17: REVERT
00000c18: JUMPDEST
00000c19: POP
00000c1a: CALLDATALOAD
00000c1b: PUSH1 0x01
00000c1d: PUSH1 0x01
00000c1f: PUSH1 0xa0
00000c21: SHL
00000c22: SUB
00000c23: AND
00000c24: PUSH2 0x2378
00000c27: JUMP
00000c28: JUMPDEST
00000c29: CALLVALUE
00000c2a: DUP1
00000c2b: ISZERO
00000c2c: PUSH2 0x0c34
00000c2f: JUMPI
00000c30: PUSH1 0x00
00000c32: DUP1
00000c33: REVERT
00000c34: JUMPDEST
00000c35: POP
00000c36: PUSH2 0x034c
00000c39: PUSH1 0x04
00000c3b: DUP1
00000c3c: CALLDATASIZE
00000c3d: SUB
00000c3e: PUSH1 0x20
00000c40: DUP2
00000c41: LT
00000c42: ISZERO
00000c43: PUSH2 0x0c4b
00000c46: JUMPI
00000c47: PUSH1 0x00
00000c49: DUP1
00000c4a: REVERT
00000c4b: JUMPDEST
00000c4c: DUP2
00000c4d: ADD
00000c4e: SWAP1
00000c4f: PUSH1 0x20
00000c51: DUP2
00000c52: ADD
00000c53: DUP2
00000c54: CALLDATALOAD
00000c55: PUSH1 0x01
00000c57: PUSH1 0x20
00000c59: SHL
00000c5a: DUP2
00000c5b: GT
00000c5c: ISZERO
00000c5d: PUSH2 0x0c65
00000c60: JUMPI
00000c61: PUSH1 0x00
00000c63: DUP1
00000c64: REVERT
00000c65: JUMPDEST
00000c66: DUP3
00000c67: ADD
00000c68: DUP4
00000c69: PUSH1 0x20
00000c6b: DUP3
00000c6c: ADD
00000c6d: GT
00000c6e: ISZERO
00000c6f: PUSH2 0x0c77
00000c72: JUMPI
00000c73: PUSH1 0x00
00000c75: DUP1
00000c76: REVERT
00000c77: JUMPDEST
00000c78: DUP1
00000c79: CALLDATALOAD
00000c7a: SWAP1
00000c7b: PUSH1 0x20
00000c7d: ADD
00000c7e: SWAP2
00000c7f: DUP5
00000c80: PUSH1 0x01
00000c82: DUP4
00000c83: MUL
00000c84: DUP5
00000c85: ADD
00000c86: GT
00000c87: PUSH1 0x01
00000c89: PUSH1 0x20
00000c8b: SHL
00000c8c: DUP4
00000c8d: GT
00000c8e: OR
00000c8f: ISZERO
00000c90: PUSH2 0x0c98
00000c93: JUMPI
00000c94: PUSH1 0x00
00000c96: DUP1
00000c97: REVERT
00000c98: JUMPDEST
00000c99: SWAP2
00000c9a: SWAP1
00000c9b: DUP1
00000c9c: DUP1
00000c9d: PUSH1 0x1f
00000c9f: ADD
00000ca0: PUSH1 0x20
00000ca2: DUP1
00000ca3: SWAP2
00000ca4: DIV
00000ca5: MUL
00000ca6: PUSH1 0x20
00000ca8: ADD
00000ca9: PUSH1 0x40
00000cab: MLOAD
00000cac: SWAP1
00000cad: DUP2
00000cae: ADD
00000caf: PUSH1 0x40
00000cb1: MSTORE
00000cb2: DUP1
00000cb3: SWAP4
00000cb4: SWAP3
00000cb5: SWAP2
00000cb6: SWAP1
00000cb7: DUP2
00000cb8: DUP2
00000cb9: MSTORE
00000cba: PUSH1 0x20
00000cbc: ADD
00000cbd: DUP4
00000cbe: DUP4
00000cbf: DUP1
00000cc0: DUP3
00000cc1: DUP5
00000cc2: CALLDATACOPY
00000cc3: PUSH1 0x00
00000cc5: SWAP3
00000cc6: ADD
00000cc7: SWAP2
00000cc8: SWAP1
00000cc9: SWAP2
00000cca: MSTORE
00000ccb: POP
00000ccc: SWAP3
00000ccd: SWAP6
00000cce: POP
00000ccf: PUSH2 0x247a
00000cd2: SWAP5
00000cd3: POP
00000cd4: POP
00000cd5: POP
00000cd6: POP
00000cd7: POP
00000cd8: JUMP
00000cd9: JUMPDEST
00000cda: CALLVALUE
00000cdb: DUP1
00000cdc: ISZERO
00000cdd: PUSH2 0x0ce5
00000ce0: JUMPI
00000ce1: PUSH1 0x00
00000ce3: DUP1
00000ce4: REVERT
00000ce5: JUMPDEST
00000ce6: POP
00000ce7: PUSH2 0x034c
00000cea: PUSH1 0x04
00000cec: DUP1
00000ced: CALLDATASIZE
00000cee: SUB
00000cef: PUSH1 0x40
00000cf1: DUP2
00000cf2: LT
00000cf3: ISZERO
00000cf4: PUSH2 0x0cfc
00000cf7: JUMPI
00000cf8: PUSH1 0x00
00000cfa: DUP1
00000cfb: REVERT
00000cfc: JUMPDEST
00000cfd: POP
00000cfe: DUP1
00000cff: CALLDATALOAD
00000d00: SWAP1
00000d01: PUSH1 0x20
00000d03: ADD
00000d04: CALLDATALOAD
00000d05: PUSH2 0x2565
00000d08: JUMP
00000d09: JUMPDEST
00000d0a: PUSH1 0x00
00000d0c: PUSH1 0x01
00000d0e: PUSH1 0x01
00000d10: PUSH1 0xa0
00000d12: SHL
00000d13: SUB
00000d14: DUP4
00000d15: AND
00000d16: PUSH2 0x0d50
00000d19: JUMPI
00000d1a: PUSH1 0x40
00000d1c: MLOAD
00000d1d: PUSH3 0x461bcd
00000d21: PUSH1 0xe5
00000d23: SHL
00000d24: DUP2
00000d25: MSTORE
00000d26: PUSH1 0x04
00000d28: ADD
00000d29: DUP1
00000d2a: DUP1
00000d2b: PUSH1 0x20
00000d2d: ADD
00000d2e: DUP3
00000d2f: DUP2
00000d30: SUB
00000d31: DUP3
00000d32: MSTORE
00000d33: PUSH1 0x2b
00000d35: DUP2
00000d36: MSTORE
00000d37: PUSH1 0x20
00000d39: ADD
00000d3a: DUP1
00000d3b: PUSH2 0x351f
00000d3e: PUSH1 0x2b
00000d40: SWAP2
00000d41: CODECOPY
00000d42: PUSH1 0x40
00000d44: ADD
00000d45: SWAP2
00000d46: POP
00000d47: POP
00000d48: PUSH1 0x40
00000d4a: MLOAD
00000d4b: DUP1
00000d4c: SWAP2
00000d4d: SUB
00000d4e: SWAP1
00000d4f: REVERT
00000d50: JUMPDEST
00000d51: POP
00000d52: PUSH1 0x00
00000d54: DUP2
00000d55: DUP2
00000d56: MSTORE
00000d57: PUSH1 0x02
00000d59: PUSH1 0x20
00000d5b: SWAP1
00000d5c: DUP2
00000d5d: MSTORE
00000d5e: PUSH1 0x40
00000d60: DUP1
00000d61: DUP4
00000d62: KECCAK256
00000d63: PUSH1 0x01
00000d65: PUSH1 0x01
00000d67: PUSH1 0xa0
00000d69: SHL
00000d6a: SUB
00000d6b: DUP7
00000d6c: AND
00000d6d: DUP5
00000d6e: MSTORE
00000d6f: SWAP1
00000d70: SWAP2
00000d71: MSTORE
00000d72: SWAP1
00000d73: KECCAK256
00000d74: SLOAD
00000d75: JUMPDEST
00000d76: SWAP3
00000d77: SWAP2
00000d78: POP
00000d79: POP
00000d7a: JUMP
00000d7b: JUMPDEST
00000d7c: PUSH1 0x01
00000d7e: PUSH1 0x01
00000d80: PUSH1 0xe0
00000d82: SHL
00000d83: SUB
00000d84: NOT
00000d85: DUP2
00000d86: AND
00000d87: PUSH1 0x00
00000d89: SWAP1
00000d8a: DUP2
00000d8b: MSTORE
00000d8c: PUSH1 0x01
00000d8e: PUSH1 0x20
00000d90: MSTORE
00000d91: PUSH1 0x40
00000d93: SWAP1
00000d94: KECCAK256
00000d95: SLOAD
00000d96: PUSH1 0xff
00000d98: AND
00000d99: JUMPDEST
00000d9a: SWAP2
00000d9b: SWAP1
00000d9c: POP
00000d9d: JUMP
00000d9e: JUMPDEST
00000d9f: PUSH2 0x0da6
00000da2: PUSH2 0x27d9
00000da5: JUMP
00000da6: JUMPDEST
00000da7: PUSH1 0x01
00000da9: PUSH1 0x01
00000dab: PUSH1 0xa0
00000dad: SHL
00000dae: SUB
00000daf: AND
00000db0: PUSH2 0x0db7
00000db3: PUSH2 0x1c8f
00000db6: JUMP
00000db7: JUMPDEST
00000db8: PUSH1 0x01
00000dba: PUSH1 0x01
00000dbc: PUSH1 0xa0
00000dbe: SHL
00000dbf: SUB
00000dc0: AND
00000dc1: EQ
00000dc2: PUSH2 0x0e00
00000dc5: JUMPI
00000dc6: PUSH1 0x40
00000dc8: DUP1
00000dc9: MLOAD
00000dca: PUSH3 0x461bcd
00000dce: PUSH1 0xe5
00000dd0: SHL
00000dd1: DUP2
00000dd2: MSTORE
00000dd3: PUSH1 0x20
00000dd5: PUSH1 0x04
00000dd7: DUP3
00000dd8: ADD
00000dd9: DUP2
00000dda: SWAP1
00000ddb: MSTORE
00000ddc: PUSH1 0x24
00000dde: DUP3
00000ddf: ADD
00000de0: MSTORE
00000de1: PUSH1 0x00
00000de3: DUP1
00000de4: MLOAD
00000de5: PUSH1 0x20
00000de7: PUSH2 0x36b3
00000dea: DUP4
00000deb: CODECOPY
00000dec: DUP2
00000ded: MLOAD
00000dee: SWAP2
00000def: MSTORE
00000df0: PUSH1 0x44
00000df2: DUP3
00000df3: ADD
00000df4: MSTORE
00000df5: SWAP1
00000df6: MLOAD
00000df7: SWAP1
00000df8: DUP2
00000df9: SWAP1
00000dfa: SUB
00000dfb: PUSH1 0x64
00000dfd: ADD
00000dfe: SWAP1
00000dff: REVERT
00000e00: JUMPDEST
00000e01: PUSH2 0x0e09
00000e04: DUP2
00000e05: PUSH2 0x27dd
00000e08: JUMP
00000e09: JUMPDEST
00000e0a: POP
00000e0b: JUMP
00000e0c: JUMPDEST
00000e0d: PUSH1 0x04
00000e0f: DUP1
00000e10: SLOAD
00000e11: PUSH1 0x40
00000e13: DUP1
00000e14: MLOAD
00000e15: PUSH1 0x20
00000e17: PUSH1 0x02
00000e19: PUSH1 0x01
00000e1b: DUP6
00000e1c: AND
00000e1d: ISZERO
00000e1e: PUSH2 0x0100
00000e21: MUL
00000e22: PUSH1 0x00
00000e24: NOT
00000e25: ADD
00000e26: SWAP1
00000e27: SWAP5
00000e28: AND
00000e29: SWAP4
00000e2a: SWAP1
00000e2b: SWAP4
00000e2c: DIV
00000e2d: PUSH1 0x1f
00000e2f: DUP2
00000e30: ADD
00000e31: DUP5
00000e32: SWAP1
00000e33: DIV
00000e34: DUP5
00000e35: MUL
00000e36: DUP3
00000e37: ADD
00000e38: DUP5
00000e39: ADD
00000e3a: SWAP1
00000e3b: SWAP3
00000e3c: MSTORE
00000e3d: DUP2
00000e3e: DUP2
00000e3f: MSTORE
00000e40: SWAP3
00000e41: SWAP2
00000e42: DUP4
00000e43: ADD
00000e44: DUP3
00000e45: DUP3
00000e46: DUP1
00000e47: ISZERO
00000e48: PUSH2 0x0e92
00000e4b: JUMPI
00000e4c: DUP1
00000e4d: PUSH1 0x1f
00000e4f: LT
00000e50: PUSH2 0x0e67
00000e53: JUMPI
00000e54: PUSH2 0x0100
00000e57: DUP1
00000e58: DUP4
00000e59: SLOAD
00000e5a: DIV
00000e5b: MUL
00000e5c: DUP4
00000e5d: MSTORE
00000e5e: SWAP2
00000e5f: PUSH1 0x20
00000e61: ADD
00000e62: SWAP2
00000e63: PUSH2 0x0e92
00000e66: JUMP
00000e67: JUMPDEST
00000e68: DUP3
00000e69: ADD
00000e6a: SWAP2
00000e6b: SWAP1
00000e6c: PUSH1 0x00
00000e6e: MSTORE
00000e6f: PUSH1 0x20
00000e71: PUSH1 0x00
00000e73: KECCAK256
00000e74: SWAP1
00000e75: JUMPDEST
00000e76: DUP2
00000e77: SLOAD
00000e78: DUP2
00000e79: MSTORE
00000e7a: SWAP1
00000e7b: PUSH1 0x01
00000e7d: ADD
00000e7e: SWAP1
00000e7f: PUSH1 0x20
00000e81: ADD
00000e82: DUP1
00000e83: DUP4
00000e84: GT
00000e85: PUSH2 0x0e75
00000e88: JUMPI
00000e89: DUP3
00000e8a: SWAP1
00000e8b: SUB
00000e8c: PUSH1 0x1f
00000e8e: AND
00000e8f: DUP3
00000e90: ADD
00000e91: SWAP2
00000e92: JUMPDEST
00000e93: POP
00000e94: POP
00000e95: POP
00000e96: POP
00000e97: POP
00000e98: DUP2
00000e99: JUMP
00000e9a: JUMPDEST
00000e9b: PUSH1 0x00
00000e9d: DUP1
00000e9e: PUSH2 0x0ea6
00000ea1: DUP4
00000ea2: PUSH2 0x21a3
00000ea5: JUMP
00000ea6: JUMPDEST
00000ea7: PUSH1 0x00
00000ea9: SWAP1
00000eaa: DUP2
00000eab: MSTORE
00000eac: PUSH1 0x0a
00000eae: PUSH1 0x20
00000eb0: MSTORE
00000eb1: PUSH1 0x40
00000eb3: SWAP1
00000eb4: KECCAK256
00000eb5: SLOAD
00000eb6: SWAP4
00000eb7: SWAP3
00000eb8: POP
00000eb9: POP
00000eba: POP
00000ebb: JUMP
00000ebc: JUMPDEST
00000ebd: PUSH1 0x60
00000ebf: PUSH1 0x06
00000ec1: PUSH2 0x0ec9
00000ec4: DUP4
00000ec5: PUSH2 0x27f0
00000ec8: JUMP
00000ec9: JUMPDEST
00000eca: PUSH1 0x40
00000ecc: MLOAD
00000ecd: PUSH1 0x20
00000ecf: ADD
00000ed0: DUP1
00000ed1: DUP4
00000ed2: DUP1
00000ed3: SLOAD
00000ed4: PUSH1 0x01
00000ed6: DUP2
00000ed7: PUSH1 0x01
00000ed9: AND
00000eda: ISZERO
00000edb: PUSH2 0x0100
00000ede: MUL
00000edf: SUB
00000ee0: AND
00000ee1: PUSH1 0x02
00000ee3: SWAP1
00000ee4: DIV
00000ee5: DUP1
00000ee6: ISZERO
00000ee7: PUSH2 0x0f27
00000eea: JUMPI
00000eeb: DUP1
00000eec: PUSH1 0x1f
00000eee: LT
00000eef: PUSH2 0x0f05
00000ef2: JUMPI
00000ef3: PUSH2 0x0100
00000ef6: DUP1
00000ef7: DUP4
00000ef8: SLOAD
00000ef9: DIV
00000efa: MUL
00000efb: DUP4
00000efc: MSTORE
00000efd: SWAP2
00000efe: DUP3
00000eff: ADD
00000f00: SWAP2
00000f01: PUSH2 0x0f27
00000f04: JUMP
00000f05: JUMPDEST
00000f06: DUP3
00000f07: ADD
00000f08: SWAP2
00000f09: SWAP1
00000f0a: PUSH1 0x00
00000f0c: MSTORE
00000f0d: PUSH1 0x20
00000f0f: PUSH1 0x00
00000f11: KECCAK256
00000f12: SWAP1
00000f13: JUMPDEST
00000f14: DUP2
00000f15: SLOAD
00000f16: DUP2
00000f17: MSTORE
00000f18: SWAP1
00000f19: PUSH1 0x01
00000f1b: ADD
00000f1c: SWAP1
00000f1d: PUSH1 0x20
00000f1f: ADD
00000f20: DUP1
00000f21: DUP4
00000f22: GT
00000f23: PUSH2 0x0f13
00000f26: JUMPI
00000f27: JUMPDEST
00000f28: POP
00000f29: POP
00000f2a: DUP3
00000f2b: MLOAD
00000f2c: PUSH1 0x20
00000f2e: DUP5
00000f2f: ADD
00000f30: SWAP1
00000f31: DUP1
00000f32: DUP4
00000f33: DUP4
00000f34: JUMPDEST
00000f35: PUSH1 0x20
00000f37: DUP4
00000f38: LT
00000f39: PUSH2 0x0f53
00000f3c: JUMPI
00000f3d: DUP1
00000f3e: MLOAD
00000f3f: DUP3
00000f40: MSTORE
00000f41: PUSH1 0x1f
00000f43: NOT
00000f44: SWAP1
00000f45: SWAP3
00000f46: ADD
00000f47: SWAP2
00000f48: PUSH1 0x20
00000f4a: SWAP2
00000f4b: DUP3
00000f4c: ADD
00000f4d: SWAP2
00000f4e: ADD
00000f4f: PUSH2 0x0f34
00000f52: JUMP
00000f53: JUMPDEST
00000f54: MLOAD
00000f55: DUP2
00000f56: MLOAD
00000f57: PUSH1 0x20
00000f59: SWAP4
00000f5a: SWAP1
00000f5b: SWAP4
00000f5c: SUB
00000f5d: PUSH2 0x0100
00000f60: EXP
00000f61: PUSH1 0x00
00000f63: NOT
00000f64: ADD
00000f65: DUP1
00000f66: NOT
00000f67: SWAP1
00000f68: SWAP2
00000f69: AND
00000f6a: SWAP3
00000f6b: AND
00000f6c: SWAP2
00000f6d: SWAP1
00000f6e: SWAP2
00000f6f: OR
00000f70: SWAP1
00000f71: MSTORE
00000f72: PUSH5 0x173539b7b7
00000f78: PUSH1 0xd9
00000f7a: SHL
00000f7b: SWAP3
00000f7c: ADD
00000f7d: SWAP2
00000f7e: DUP3
00000f7f: MSTORE
00000f80: POP
00000f81: PUSH1 0x40
00000f83: DUP1
00000f84: MLOAD
00000f85: DUP1
00000f86: DUP4
00000f87: SUB
00000f88: PUSH1 0x1a
00000f8a: NOT
00000f8b: ADD
00000f8c: DUP2
00000f8d: MSTORE
00000f8e: PUSH1 0x05
00000f90: SWAP1
00000f91: SWAP3
00000f92: ADD
00000f93: SWAP1
00000f94: MSTORE
00000f95: SWAP6
00000f96: SWAP5
00000f97: POP
00000f98: POP
00000f99: POP
00000f9a: POP
00000f9b: POP
00000f9c: JUMP
00000f9d: JUMPDEST
00000f9e: PUSH1 0x07
00000fa0: SLOAD
00000fa1: PUSH1 0x00
00000fa3: SWAP1
00000fa4: PUSH1 0xff
00000fa6: AND
00000fa7: PUSH2 0x0fee
00000faa: JUMPI
00000fab: PUSH1 0x40
00000fad: DUP1
00000fae: MLOAD
00000faf: PUSH3 0x461bcd
00000fb3: PUSH1 0xe5
00000fb5: SHL
00000fb6: DUP2
00000fb7: MSTORE
00000fb8: PUSH1 0x20
00000fba: PUSH1 0x04
00000fbc: DUP3
00000fbd: ADD
00000fbe: MSTORE
00000fbf: PUSH1 0x14
00000fc1: PUSH1 0x24
00000fc3: DUP3
00000fc4: ADD
00000fc5: MSTORE
00000fc6: PUSH20 0x10dbdb9d1c9858dd081a5cc8191a5cd8589b1959
00000fdb: PUSH1 0x62
00000fdd: SHL
00000fde: PUSH1 0x44
00000fe0: DUP3
00000fe1: ADD
00000fe2: MSTORE
00000fe3: SWAP1
00000fe4: MLOAD
00000fe5: SWAP1
00000fe6: DUP2
00000fe7: SWAP1
00000fe8: SUB
00000fe9: PUSH1 0x64
00000feb: ADD
00000fec: SWAP1
00000fed: REVERT
00000fee: JUMPDEST
00000fef: PUSH1 0x0b
00000ff1: SLOAD
00000ff2: PUSH1 0x00
00000ff4: SWAP1
00000ff5: PUSH2 0x0fff
00000ff8: SWAP1
00000ff9: PUSH1 0x01
00000ffb: PUSH2 0x28ca
00000ffe: JUMP
00000fff: JUMPDEST
00001000: SWAP1
00001001: POP
00001002: PUSH1 0x1b
00001004: DUP2
00001005: GT
00001006: ISZERO
00001007: PUSH2 0x104c
0000100a: JUMPI
0000100b: PUSH1 0x40
0000100d: DUP1
0000100e: MLOAD
0000100f: PUSH3 0x461bcd
00001013: PUSH1 0xe5
00001015: SHL
00001016: DUP2
00001017: MSTORE
00001018: PUSH1 0x20
0000101a: PUSH1 0x04
0000101c: DUP3
0000101d: ADD
0000101e: MSTORE
0000101f: PUSH1 0x12
00001021: PUSH1 0x24
00001023: DUP3
00001024: ADD
00001025: MSTORE
00001026: PUSH18 0x13585e081cdd5c1c1b1e481c995858da1959
00001039: PUSH1 0x72
0000103b: SHL
0000103c: PUSH1 0x44
0000103e: DUP3
0000103f: ADD
00001040: MSTORE
00001041: SWAP1
00001042: MLOAD
00001043: SWAP1
00001044: DUP2
00001045: SWAP1
00001046: SUB
00001047: PUSH1 0x64
00001049: ADD
0000104a: SWAP1
0000104b: REVERT
0000104c: JUMPDEST
0000104d: PUSH1 0x0d
0000104f: SLOAD
00001050: CALLVALUE
00001051: EQ
00001052: PUSH2 0x1099
00001055: JUMPI
00001056: PUSH1 0x40
00001058: DUP1
00001059: MLOAD
0000105a: PUSH3 0x461bcd
0000105e: PUSH1 0xe5
00001060: SHL
00001061: DUP2
00001062: MSTORE
00001063: PUSH1 0x20
00001065: PUSH1 0x04
00001067: DUP3
00001068: ADD
00001069: MSTORE
0000106a: PUSH1 0x14
0000106c: PUSH1 0x24
0000106e: DUP3
0000106f: ADD
00001070: MSTORE
00001071: PUSH20 0x125b9cdd59999a58da595b9d081c185e5b595b9d
00001086: PUSH1 0x62
00001088: SHL
00001089: PUSH1 0x44
0000108b: DUP3
0000108c: ADD
0000108d: MSTORE
0000108e: SWAP1
0000108f: MLOAD
00001090: SWAP1
00001091: DUP2
00001092: SWAP1
00001093: SUB
00001094: PUSH1 0x64
00001096: ADD
00001097: SWAP1
00001098: REVERT
00001099: JUMPDEST
0000109a: PUSH1 0x00
0000109c: PUSH2 0x10a4
0000109f: DUP3
000010a0: PUSH2 0x2924
000010a3: JUMP
000010a4: JUMPDEST
000010a5: PUSH1 0x00
000010a7: DUP2
000010a8: DUP2
000010a9: MSTORE
000010aa: PUSH1 0x0a
000010ac: PUSH1 0x20
000010ae: MSTORE
000010af: PUSH1 0x40
000010b1: SWAP1
000010b2: KECCAK256
000010b3: DUP1
000010b4: SLOAD
000010b5: PUSH1 0x01
000010b7: SWAP1
000010b8: DUP2
000010b9: ADD
000010ba: SWAP2
000010bb: DUP3
000010bc: SWAP1
000010bd: SSTORE
000010be: SWAP2
000010bf: SWAP3
000010c0: POP
000010c1: EQ
000010c2: PUSH2 0x10c7
000010c5: JUMPI
000010c6: INVALID
000010c7: JUMPDEST
000010c8: DUP2
000010c9: PUSH1 0x0b
000010cb: DUP2
000010cc: SWAP1
000010cd: SSTORE
000010ce: POP
000010cf: PUSH2 0x10ea
000010d2: CALLER
000010d3: DUP3
000010d4: PUSH1 0x01
000010d6: PUSH1 0x40
000010d8: MLOAD
000010d9: DUP1
000010da: PUSH1 0x20
000010dc: ADD
000010dd: PUSH1 0x40
000010df: MSTORE
000010e0: DUP1
000010e1: PUSH1 0x00
000010e3: DUP2
000010e4: MSTORE
000010e5: POP
000010e6: PUSH2 0x29f1
000010e9: JUMP
000010ea: JUMPDEST
000010eb: PUSH1 0x40
000010ed: DUP1
000010ee: MLOAD
000010ef: DUP3
000010f0: DUP2
000010f1: MSTORE
000010f2: SWAP1
000010f3: MLOAD
000010f4: DUP4
000010f5: SWAP2
000010f6: CALLER
000010f7: SWAP2
000010f8: PUSH32 0xe4f0f5c21ed48cb2fc51c9d879699cdb5bc1c00eb8804ee42d80f4c396a706b5
00001119: SWAP2
0000111a: DUP2
0000111b: SWAP1
0000111c: SUB
0000111d: PUSH1 0x20
0000111f: ADD
00001120: SWAP1
00001121: LOG3
00001122: SWAP2
00001123: POP
00001124: POP
00001125: JUMPDEST
00001126: SWAP1
00001127: JUMP
00001128: JUMPDEST
00001129: PUSH2 0x1130
0000112c: PUSH2 0x27d9
0000112f: JUMP
00001130: JUMPDEST
00001131: PUSH1 0x01
00001133: PUSH1 0x01
00001135: PUSH1 0xa0
00001137: SHL
00001138: SUB
00001139: AND
0000113a: PUSH2 0x1141
0000113d: PUSH2 0x1c8f
00001140: JUMP
00001141: JUMPDEST
00001142: PUSH1 0x01
00001144: PUSH1 0x01
00001146: PUSH1 0xa0
00001148: SHL
00001149: SUB
0000114a: AND
0000114b: EQ
0000114c: PUSH2 0x118a
0000114f: JUMPI
00001150: PUSH1 0x40
00001152: DUP1
00001153: MLOAD
00001154: PUSH3 0x461bcd
00001158: PUSH1 0xe5
0000115a: SHL
0000115b: DUP2
0000115c: MSTORE
0000115d: PUSH1 0x20
0000115f: PUSH1 0x04
00001161: DUP3
00001162: ADD
00001163: DUP2
00001164: SWAP1
00001165: MSTORE
00001166: PUSH1 0x24
00001168: DUP3
00001169: ADD
0000116a: MSTORE
0000116b: PUSH1 0x00
0000116d: DUP1
0000116e: MLOAD
0000116f: PUSH1 0x20
00001171: PUSH2 0x36b3
00001174: DUP4
00001175: CODECOPY
00001176: DUP2
00001177: MLOAD
00001178: SWAP2
00001179: MSTORE
0000117a: PUSH1 0x44
0000117c: DUP3
0000117d: ADD
0000117e: MSTORE
0000117f: SWAP1
00001180: MLOAD
00001181: SWAP1
00001182: DUP2
00001183: SWAP1
00001184: SUB
00001185: PUSH1 0x64
00001187: ADD
00001188: SWAP1
00001189: REVERT
0000118a: JUMPDEST
0000118b: PUSH1 0x07
0000118d: SLOAD
0000118e: PUSH2 0x0100
00001191: SWAP1
00001192: DIV
00001193: PUSH1 0xff
00001195: AND
00001196: ISZERO
00001197: PUSH2 0x11dc
0000119a: JUMPI
0000119b: PUSH1 0x40
0000119d: DUP1
0000119e: MLOAD
0000119f: PUSH3 0x461bcd
000011a3: PUSH1 0xe5
000011a5: SHL
000011a6: DUP2
000011a7: MSTORE
000011a8: PUSH1 0x20
000011aa: PUSH1 0x04
000011ac: DUP3
000011ad: ADD
000011ae: MSTORE
000011af: PUSH1 0x12
000011b1: PUSH1 0x24
000011b3: DUP3
000011b4: ADD
000011b5: MSTORE
000011b6: PUSH18 0x10dbdb9d1c9858dd081a5cc81b1bd8dad959
000011c9: PUSH1 0x72
000011cb: SHL
000011cc: PUSH1 0x44
000011ce: DUP3
000011cf: ADD
000011d0: MSTORE
000011d1: SWAP1
000011d2: MLOAD
000011d3: SWAP1
000011d4: DUP2
000011d5: SWAP1
000011d6: SUB
000011d7: PUSH1 0x64
000011d9: ADD
000011da: SWAP1
000011db: REVERT
000011dc: JUMPDEST
000011dd: PUSH1 0x07
000011df: DUP1
000011e0: SLOAD
000011e1: SWAP2
000011e2: ISZERO
000011e3: ISZERO
000011e4: PUSH2 0x0100
000011e7: MUL
000011e8: PUSH2 0xff00
000011eb: NOT
000011ec: SWAP1
000011ed: SWAP3
000011ee: AND
000011ef: SWAP2
000011f0: SWAP1
000011f1: SWAP2
000011f2: OR
000011f3: SWAP1
000011f4: SSTORE
000011f5: JUMP
000011f6: JUMPDEST
000011f7: PUSH2 0x11fe
000011fa: PUSH2 0x27d9
000011fd: JUMP
000011fe: JUMPDEST
000011ff: PUSH1 0x01
00001201: PUSH1 0x01
00001203: PUSH1 0xa0
00001205: SHL
00001206: SUB
00001207: AND
00001208: PUSH2 0x120f
0000120b: PUSH2 0x1c8f
0000120e: JUMP
0000120f: JUMPDEST
00001210: PUSH1 0x01
00001212: PUSH1 0x01
00001214: PUSH1 0xa0
00001216: SHL
00001217: SUB
00001218: AND
00001219: EQ
0000121a: PUSH2 0x1258
0000121d: JUMPI
0000121e: PUSH1 0x40
00001220: DUP1
00001221: MLOAD
00001222: PUSH3 0x461bcd
00001226: PUSH1 0xe5
00001228: SHL
00001229: DUP2
0000122a: MSTORE
0000122b: PUSH1 0x20
0000122d: PUSH1 0x04
0000122f: DUP3
00001230: ADD
00001231: DUP2
00001232: SWAP1
00001233: MSTORE
00001234: PUSH1 0x24
00001236: DUP3
00001237: ADD
00001238: MSTORE
00001239: PUSH1 0x00
0000123b: DUP1
0000123c: MLOAD
0000123d: PUSH1 0x20
0000123f: PUSH2 0x36b3
00001242: DUP4
00001243: CODECOPY
00001244: DUP2
00001245: MLOAD
00001246: SWAP2
00001247: MSTORE
00001248: PUSH1 0x44
0000124a: DUP3
0000124b: ADD
0000124c: MSTORE
0000124d: SWAP1
0000124e: MLOAD
0000124f: SWAP1
00001250: DUP2
00001251: SWAP1
00001252: SUB
00001253: PUSH1 0x64
00001255: ADD
00001256: SWAP1
00001257: REVERT
00001258: JUMPDEST
00001259: PUSH1 0x07
0000125b: SLOAD
0000125c: PUSH2 0x0100
0000125f: SWAP1
00001260: DIV
00001261: PUSH1 0xff
00001263: AND
00001264: ISZERO
00001265: PUSH2 0x12aa
00001268: JUMPI
00001269: PUSH1 0x40
0000126b: DUP1
0000126c: MLOAD
0000126d: PUSH3 0x461bcd
00001271: PUSH1 0xe5
00001273: SHL
00001274: DUP2
00001275: MSTORE
00001276: PUSH1 0x20
00001278: PUSH1 0x04
0000127a: DUP3
0000127b: ADD
0000127c: MSTORE
0000127d: PUSH1 0x12
0000127f: PUSH1 0x24
00001281: DUP3
00001282: ADD
00001283: MSTORE
00001284: PUSH18 0x10dbdb9d1c9858dd081a5cc81b1bd8dad959
00001297: PUSH1 0x72
00001299: SHL
0000129a: PUSH1 0x44
0000129c: DUP3
0000129d: ADD
0000129e: MSTORE
0000129f: SWAP1
000012a0: MLOAD
000012a1: SWAP1
000012a2: DUP2
000012a3: SWAP1
000012a4: SUB
000012a5: PUSH1 0x64
000012a7: ADD
000012a8: SWAP1
000012a9: REVERT
000012aa: JUMPDEST
000012ab: PUSH1 0x08
000012ad: SLOAD
000012ae: DUP2
000012af: LT
000012b0: PUSH2 0x12f6
000012b3: JUMPI
000012b4: PUSH1 0x40
000012b6: DUP1
000012b7: MLOAD
000012b8: PUSH3 0x461bcd
000012bc: PUSH1 0xe5
000012be: SHL
000012bf: DUP2
000012c0: MSTORE
000012c1: PUSH1 0x20
000012c3: PUSH1 0x04
000012c5: DUP3
000012c6: ADD
000012c7: MSTORE
000012c8: PUSH1 0x13
000012ca: PUSH1 0x24
000012cc: DUP3
000012cd: ADD
000012ce: MSTORE
000012cf: PUSH19 0x496e646578206f7574206f6620626f756e6473
000012e3: PUSH1 0x68
000012e5: SHL
000012e6: PUSH1 0x44
000012e8: DUP3
000012e9: ADD
000012ea: MSTORE
000012eb: SWAP1
000012ec: MLOAD
000012ed: SWAP1
000012ee: DUP2
000012ef: SWAP1
000012f0: SUB
000012f1: PUSH1 0x64
000012f3: ADD
000012f4: SWAP1
000012f5: REVERT
000012f6: JUMPDEST
000012f7: PUSH1 0x00
000012f9: DUP2
000012fa: DUP2
000012fb: MSTORE
000012fc: PUSH1 0x09
000012fe: PUSH1 0x20
00001300: SWAP1
00001301: DUP2
00001302: MSTORE
00001303: PUSH1 0x40
00001305: SWAP1
00001306: SWAP2
00001307: KECCAK256
00001308: DUP4
00001309: MLOAD
0000130a: PUSH2 0x1315
0000130d: SWAP3
0000130e: DUP6
0000130f: ADD
00001310: SWAP1
00001311: PUSH2 0x3376
00001314: JUMP
00001315: JUMPDEST
00001316: POP
00001317: POP
00001318: POP
00001319: JUMP
0000131a: JUMPDEST
0000131b: DUP2
0000131c: MLOAD
0000131d: DUP4
0000131e: MLOAD
0000131f: EQ
00001320: PUSH2 0x135a
00001323: JUMPI
00001324: PUSH1 0x40
00001326: MLOAD
00001327: PUSH3 0x461bcd
0000132b: PUSH1 0xe5
0000132d: SHL
0000132e: DUP2
0000132f: MSTORE
00001330: PUSH1 0x04
00001332: ADD
00001333: DUP1
00001334: DUP1
00001335: PUSH1 0x20
00001337: ADD
00001338: DUP3
00001339: DUP2
0000133a: SUB
0000133b: DUP3
0000133c: MSTORE
0000133d: PUSH1 0x28
0000133f: DUP2
00001340: MSTORE
00001341: PUSH1 0x20
00001343: ADD
00001344: DUP1
00001345: PUSH2 0x3725
00001348: PUSH1 0x28
0000134a: SWAP2
0000134b: CODECOPY
0000134c: PUSH1 0x40
0000134e: ADD
0000134f: SWAP2
00001350: POP
00001351: POP
00001352: PUSH1 0x40
00001354: MLOAD
00001355: DUP1
00001356: SWAP2
00001357: SUB
00001358: SWAP1
00001359: REVERT
0000135a: JUMPDEST
0000135b: PUSH1 0x01
0000135d: PUSH1 0x01
0000135f: PUSH1 0xa0
00001361: SHL
00001362: SUB
00001363: DUP5
00001364: AND
00001365: PUSH2 0x139f
00001368: JUMPI
00001369: PUSH1 0x40
0000136b: MLOAD
0000136c: PUSH3 0x461bcd
00001370: PUSH1 0xe5
00001372: SHL
00001373: DUP2
00001374: MSTORE
00001375: PUSH1 0x04
00001377: ADD
00001378: DUP1
00001379: DUP1
0000137a: PUSH1 0x20
0000137c: ADD
0000137d: DUP3
0000137e: DUP2
0000137f: SUB
00001380: DUP3
00001381: MSTORE
00001382: PUSH1 0x25
00001384: DUP2
00001385: MSTORE
00001386: PUSH1 0x20
00001388: ADD
00001389: DUP1
0000138a: PUSH2 0x35ee
0000138d: PUSH1 0x25
0000138f: SWAP2
00001390: CODECOPY
00001391: PUSH1 0x40
00001393: ADD
00001394: SWAP2
00001395: POP
00001396: POP
00001397: PUSH1 0x40
00001399: MLOAD
0000139a: DUP1
0000139b: SWAP2
0000139c: SUB
0000139d: SWAP1
0000139e: REVERT
0000139f: JUMPDEST
000013a0: PUSH2 0x13a7
000013a3: PUSH2 0x27d9
000013a6: JUMP
000013a7: JUMPDEST
000013a8: PUSH1 0x01
000013aa: PUSH1 0x01
000013ac: PUSH1 0xa0
000013ae: SHL
000013af: SUB
000013b0: AND
000013b1: DUP6
000013b2: PUSH1 0x01
000013b4: PUSH1 0x01
000013b6: PUSH1 0xa0
000013b8: SHL
000013b9: SUB
000013ba: AND
000013bb: EQ
000013bc: DUP1
000013bd: PUSH2 0x13d2
000013c0: JUMPI
000013c1: POP
000013c2: PUSH2 0x13d2
000013c5: DUP6
000013c6: PUSH2 0x13cd
000013c9: PUSH2 0x27d9
000013cc: JUMP
000013cd: JUMPDEST
000013ce: PUSH2 0x2175
000013d1: JUMP
000013d2: JUMPDEST
000013d3: PUSH2 0x140d
000013d6: JUMPI
000013d7: PUSH1 0x40
000013d9: MLOAD
000013da: PUSH3 0x461bcd
000013de: PUSH1 0xe5
000013e0: SHL
000013e1: DUP2
000013e2: MSTORE
000013e3: PUSH1 0x04
000013e5: ADD
000013e6: DUP1
000013e7: DUP1
000013e8: PUSH1 0x20
000013ea: ADD
000013eb: DUP3
000013ec: DUP2
000013ed: SUB
000013ee: DUP3
000013ef: MSTORE
000013f0: PUSH1 0x32
000013f2: DUP2
000013f3: MSTORE
000013f4: PUSH1 0x20
000013f6: ADD
000013f7: DUP1
000013f8: PUSH2 0x3613
000013fb: PUSH1 0x32
000013fd: SWAP2
000013fe: CODECOPY
000013ff: PUSH1 0x40
00001401: ADD
00001402: SWAP2
00001403: POP
00001404: POP
00001405: PUSH1 0x40
00001407: MLOAD
00001408: DUP1
00001409: SWAP2
0000140a: SUB
0000140b: SWAP1
0000140c: REVERT
0000140d: JUMPDEST
0000140e: PUSH1 0x00
00001410: PUSH2 0x1417
00001413: PUSH2 0x27d9
00001416: JUMP
00001417: JUMPDEST
00001418: SWAP1
00001419: POP
0000141a: PUSH2 0x1427
0000141d: DUP2
0000141e: DUP8
0000141f: DUP8
00001420: DUP8
00001421: DUP8
00001422: DUP8
00001423: PUSH2 0x2af9
00001426: JUMP
00001427: JUMPDEST
00001428: PUSH1 0x00
0000142a: JUMPDEST
0000142b: DUP5
0000142c: MLOAD
0000142d: DUP2
0000142e: LT
0000142f: ISZERO
00001430: PUSH2 0x152d
00001433: JUMPI
00001434: PUSH1 0x00
00001436: DUP6
00001437: DUP3
00001438: DUP2
00001439: MLOAD
0000143a: DUP2
0000143b: LT
0000143c: PUSH2 0x1441
0000143f: JUMPI
00001440: INVALID
00001441: JUMPDEST
00001442: PUSH1 0x20
00001444: MUL
00001445: PUSH1 0x20
00001447: ADD
00001448: ADD
00001449: MLOAD
0000144a: SWAP1
0000144b: POP
0000144c: PUSH1 0x00
0000144e: DUP6
0000144f: DUP4
00001450: DUP2
00001451: MLOAD
00001452: DUP2
00001453: LT
00001454: PUSH2 0x1459
00001457: JUMPI
00001458: INVALID
00001459: JUMPDEST
0000145a: PUSH1 0x20
0000145c: MUL
0000145d: PUSH1 0x20
0000145f: ADD
00001460: ADD
00001461: MLOAD
00001462: SWAP1
00001463: POP
00001464: PUSH2 0x14c6
00001467: DUP2
00001468: PUSH1 0x40
0000146a: MLOAD
0000146b: DUP1
0000146c: PUSH1 0x60
0000146e: ADD
0000146f: PUSH1 0x40
00001471: MSTORE
00001472: DUP1
00001473: PUSH1 0x2a
00001475: DUP2
00001476: MSTORE
00001477: PUSH1 0x20
00001479: ADD
0000147a: PUSH2 0x3668
0000147d: PUSH1 0x2a
0000147f: SWAP2
00001480: CODECOPY
00001481: PUSH1 0x02
00001483: PUSH1 0x00
00001485: DUP7
00001486: DUP2
00001487: MSTORE
00001488: PUSH1 0x20
0000148a: ADD
0000148b: SWAP1
0000148c: DUP2
0000148d: MSTORE
0000148e: PUSH1 0x20
00001490: ADD
00001491: PUSH1 0x00
00001493: KECCAK256
00001494: PUSH1 0x00
00001496: DUP14
00001497: PUSH1 0x01
00001499: PUSH1 0x01
0000149b: PUSH1 0xa0
0000149d: SHL
0000149e: SUB
0000149f: AND
000014a0: PUSH1 0x01
000014a2: PUSH1 0x01
000014a4: PUSH1 0xa0
000014a6: SHL
000014a7: SUB
000014a8: AND
000014a9: DUP2
000014aa: MSTORE
000014ab: PUSH1 0x20
000014ad: ADD
000014ae: SWAP1
000014af: DUP2
000014b0: MSTORE
000014b1: PUSH1 0x20
000014b3: ADD
000014b4: PUSH1 0x00
000014b6: KECCAK256
000014b7: SLOAD
000014b8: PUSH2 0x2b88
000014bb: SWAP1
000014bc: SWAP3
000014bd: SWAP2
000014be: SWAP1
000014bf: PUSH4 0xffffffff
000014c4: AND
000014c5: JUMP
000014c6: JUMPDEST
000014c7: PUSH1 0x00
000014c9: DUP4
000014ca: DUP2
000014cb: MSTORE
000014cc: PUSH1 0x02
000014ce: PUSH1 0x20
000014d0: SWAP1
000014d1: DUP2
000014d2: MSTORE
000014d3: PUSH1 0x40
000014d5: DUP1
000014d6: DUP4
000014d7: KECCAK256
000014d8: PUSH1 0x01
000014da: PUSH1 0x01
000014dc: PUSH1 0xa0
000014de: SHL
000014df: SUB
000014e0: DUP15
000014e1: DUP2
000014e2: AND
000014e3: DUP6
000014e4: MSTORE
000014e5: SWAP3
000014e6: MSTORE
000014e7: DUP1
000014e8: DUP4
000014e9: KECCAK256
000014ea: SWAP4
000014eb: SWAP1
000014ec: SWAP4
000014ed: SSTORE
000014ee: DUP11
000014ef: AND
000014f0: DUP2
000014f1: MSTORE
000014f2: KECCAK256
000014f3: SLOAD
000014f4: PUSH2 0x14fd
000014f7: SWAP1
000014f8: DUP3
000014f9: PUSH2 0x28ca
000014fc: JUMP
000014fd: JUMPDEST
000014fe: PUSH1 0x00
00001500: SWAP3
00001501: DUP4
00001502: MSTORE
00001503: PUSH1 0x02
00001505: PUSH1 0x20
00001507: SWAP1
00001508: DUP2
00001509: MSTORE
0000150a: PUSH1 0x40
0000150c: DUP1
0000150d: DUP6
0000150e: KECCAK256
0000150f: PUSH1 0x01
00001511: PUSH1 0x01
00001513: PUSH1 0xa0
00001515: SHL
00001516: SUB
00001517: DUP13
00001518: AND
00001519: DUP7
0000151a: MSTORE
0000151b: SWAP1
0000151c: SWAP2
0000151d: MSTORE
0000151e: SWAP1
0000151f: SWAP3
00001520: KECCAK256
00001521: SWAP2
00001522: SWAP1
00001523: SWAP2
00001524: SSTORE
00001525: POP
00001526: PUSH1 0x01
00001528: ADD
00001529: PUSH2 0x142a
0000152c: JUMP
0000152d: JUMPDEST
0000152e: POP
0000152f: DUP5
00001530: PUSH1 0x01
00001532: PUSH1 0x01
00001534: PUSH1 0xa0
00001536: SHL
00001537: SUB
00001538: AND
00001539: DUP7
0000153a: PUSH1 0x01
0000153c: PUSH1 0x01
0000153e: PUSH1 0xa0
00001540: SHL
00001541: SUB
00001542: AND
00001543: DUP3
00001544: PUSH1 0x01
00001546: PUSH1 0x01
00001548: PUSH1 0xa0
0000154a: SHL
0000154b: SUB
0000154c: AND
0000154d: PUSH32 0x4a39dc06d4c0dbc64b70af90fd698a233a518aa5d07e595d983b8c0526c8f7fb
0000156e: DUP8
0000156f: DUP8
00001570: PUSH1 0x40
00001572: MLOAD
00001573: DUP1
00001574: DUP1
00001575: PUSH1 0x20
00001577: ADD
00001578: DUP1
00001579: PUSH1 0x20
0000157b: ADD
0000157c: DUP4
0000157d: DUP2
0000157e: SUB
0000157f: DUP4
00001580: MSTORE
00001581: DUP6
00001582: DUP2
00001583: DUP2
00001584: MLOAD
00001585: DUP2
00001586: MSTORE
00001587: PUSH1 0x20
00001589: ADD
0000158a: SWAP2
0000158b: POP
0000158c: DUP1
0000158d: MLOAD
0000158e: SWAP1
0000158f: PUSH1 0x20
00001591: ADD
00001592: SWAP1
00001593: PUSH1 0x20
00001595: MUL
00001596: DUP1
00001597: DUP4
00001598: DUP4
00001599: PUSH1 0x00
0000159b: JUMPDEST
0000159c: DUP4
0000159d: DUP2
0000159e: LT
0000159f: ISZERO
000015a0: PUSH2 0x15b3
000015a3: JUMPI
000015a4: DUP2
000015a5: DUP2
000015a6: ADD
000015a7: MLOAD
000015a8: DUP4
000015a9: DUP3
000015aa: ADD
000015ab: MSTORE
000015ac: PUSH1 0x20
000015ae: ADD
000015af: PUSH2 0x159b
000015b2: JUMP
000015b3: JUMPDEST
000015b4: POP
000015b5: POP
000015b6: POP
000015b7: POP
000015b8: SWAP1
000015b9: POP
000015ba: ADD
000015bb: DUP4
000015bc: DUP2
000015bd: SUB
000015be: DUP3
000015bf: MSTORE
000015c0: DUP5
000015c1: DUP2
000015c2: DUP2
000015c3: MLOAD
000015c4: DUP2
000015c5: MSTORE
000015c6: PUSH1 0x20
000015c8: ADD
000015c9: SWAP2
000015ca: POP
000015cb: DUP1
000015cc: MLOAD
000015cd: SWAP1
000015ce: PUSH1 0x20
000015d0: ADD
000015d1: SWAP1
000015d2: PUSH1 0x20
000015d4: MUL
000015d5: DUP1
000015d6: DUP4
000015d7: DUP4
000015d8: PUSH1 0x00
000015da: JUMPDEST
000015db: DUP4
000015dc: DUP2
000015dd: LT
000015de: ISZERO
000015df: PUSH2 0x15f2
000015e2: JUMPI
000015e3: DUP2
000015e4: DUP2
000015e5: ADD
000015e6: MLOAD
000015e7: DUP4
000015e8: DUP3
000015e9: ADD
000015ea: MSTORE
000015eb: PUSH1 0x20
000015ed: ADD
000015ee: PUSH2 0x15da
000015f1: JUMP
000015f2: JUMPDEST
000015f3: POP
000015f4: POP
000015f5: POP
000015f6: POP
000015f7: SWAP1
000015f8: POP
000015f9: ADD
000015fa: SWAP5
000015fb: POP
000015fc: POP
000015fd: POP
000015fe: POP
000015ff: POP
00001600: PUSH1 0x40
00001602: MLOAD
00001603: DUP1
00001604: SWAP2
00001605: SUB
00001606: SWAP1
00001607: LOG4
00001608: PUSH2 0x1615
0000160b: DUP2
0000160c: DUP8
0000160d: DUP8
0000160e: DUP8
0000160f: DUP8
00001610: DUP8
00001611: PUSH2 0x2c1f
00001614: JUMP
00001615: JUMPDEST
00001616: POP
00001617: POP
00001618: POP
00001619: POP
0000161a: POP
0000161b: POP
0000161c: JUMP
0000161d: JUMPDEST
0000161e: PUSH2 0x1625
00001621: PUSH2 0x27d9
00001624: JUMP
00001625: JUMPDEST
00001626: PUSH1 0x01
00001628: PUSH1 0x01
0000162a: PUSH1 0xa0
0000162c: SHL
0000162d: SUB
0000162e: AND
0000162f: PUSH2 0x1636
00001632: PUSH2 0x1c8f
00001635: JUMP
00001636: JUMPDEST
00001637: PUSH1 0x01
00001639: PUSH1 0x01
0000163b: PUSH1 0xa0
0000163d: SHL
0000163e: SUB
0000163f: AND
00001640: EQ
00001641: PUSH2 0x167f
00001644: JUMPI
00001645: PUSH1 0x40
00001647: DUP1
00001648: MLOAD
00001649: PUSH3 0x461bcd
0000164d: PUSH1 0xe5
0000164f: SHL
00001650: DUP2
00001651: MSTORE
00001652: PUSH1 0x20
00001654: PUSH1 0x04
00001656: DUP3
00001657: ADD
00001658: DUP2
00001659: SWAP1
0000165a: MSTORE
0000165b: PUSH1 0x24
0000165d: DUP3
0000165e: ADD
0000165f: MSTORE
00001660: PUSH1 0x00
00001662: DUP1
00001663: MLOAD
00001664: PUSH1 0x20
00001666: PUSH2 0x36b3
00001669: DUP4
0000166a: CODECOPY
0000166b: DUP2
0000166c: MLOAD
0000166d: SWAP2
0000166e: MSTORE
0000166f: PUSH1 0x44
00001671: DUP3
00001672: ADD
00001673: MSTORE
00001674: SWAP1
00001675: MLOAD
00001676: SWAP1
00001677: DUP2
00001678: SWAP1
00001679: SUB
0000167a: PUSH1 0x64
0000167c: ADD
0000167d: SWAP1
0000167e: REVERT
0000167f: JUMPDEST
00001680: PUSH1 0x07
00001682: DUP1
00001683: SLOAD
00001684: PUSH1 0xff
00001686: NOT
00001687: AND
00001688: SWAP2
00001689: ISZERO
0000168a: ISZERO
0000168b: SWAP2
0000168c: SWAP1
0000168d: SWAP2
0000168e: OR
0000168f: SWAP1
00001690: SSTORE
00001691: JUMP
00001692: JUMPDEST
00001693: PUSH1 0x00
00001695: DUP1
00001696: PUSH2 0x169e
00001699: DUP4
0000169a: PUSH2 0x1e9b
0000169d: JUMP
0000169e: JUMPDEST
0000169f: PUSH1 0x64
000016a1: PUSH1 0x5a
000016a3: SWAP1
000016a4: SWAP2
000016a5: MUL
000016a6: DIV
000016a7: SWAP4
000016a8: SWAP3
000016a9: POP
000016aa: POP
000016ab: POP
000016ac: JUMP
000016ad: JUMPDEST
000016ae: PUSH2 0x16b5
000016b1: PUSH2 0x27d9
000016b4: JUMP
000016b5: JUMPDEST
000016b6: PUSH1 0x01
000016b8: PUSH1 0x01
000016ba: PUSH1 0xa0
000016bc: SHL
000016bd: SUB
000016be: AND
000016bf: PUSH2 0x16c6
000016c2: PUSH2 0x1c8f
000016c5: JUMP
000016c6: JUMPDEST
000016c7: PUSH1 0x01
000016c9: PUSH1 0x01
000016cb: PUSH1 0xa0
000016cd: SHL
000016ce: SUB
000016cf: AND
000016d0: EQ
000016d1: PUSH2 0x170f
000016d4: JUMPI
000016d5: PUSH1 0x40
000016d7: DUP1
000016d8: MLOAD
000016d9: PUSH3 0x461bcd
000016dd: PUSH1 0xe5
000016df: SHL
000016e0: DUP2
000016e1: MSTORE
000016e2: PUSH1 0x20
000016e4: PUSH1 0x04
000016e6: DUP3
000016e7: ADD
000016e8: DUP2
000016e9: SWAP1
000016ea: MSTORE
000016eb: PUSH1 0x24
000016ed: DUP3
000016ee: ADD
000016ef: MSTORE
000016f0: PUSH1 0x00
000016f2: DUP1
000016f3: MLOAD
000016f4: PUSH1 0x20
000016f6: PUSH2 0x36b3
000016f9: DUP4
000016fa: CODECOPY
000016fb: DUP2
000016fc: MLOAD
000016fd: SWAP2
000016fe: MSTORE
000016ff: PUSH1 0x44
00001701: DUP3
00001702: ADD
00001703: MSTORE
00001704: SWAP1
00001705: MLOAD
00001706: SWAP1
00001707: DUP2
00001708: SWAP1
00001709: SUB
0000170a: PUSH1 0x64
0000170c: ADD
0000170d: SWAP1
0000170e: REVERT
0000170f: JUMPDEST
00001710: PUSH1 0x00
00001712: PUSH2 0x1726
00001715: PUSH1 0x0e
00001717: SLOAD
00001718: SELFBALANCE
00001719: PUSH2 0x2e95
0000171c: SWAP1
0000171d: SWAP2
0000171e: SWAP1
0000171f: PUSH4 0xffffffff
00001724: AND
00001725: JUMP
00001726: JUMPDEST
00001727: PUSH1 0x40
00001729: MLOAD
0000172a: SWAP1
0000172b: SWAP2
0000172c: POP
0000172d: CALLER
0000172e: SWAP1
0000172f: DUP3
00001730: ISZERO
00001731: PUSH2 0x08fc
00001734: MUL
00001735: SWAP1
00001736: DUP4
00001737: SWAP1
00001738: PUSH1 0x00
0000173a: DUP2
0000173b: DUP2
0000173c: DUP2
0000173d: DUP6
0000173e: DUP9
0000173f: DUP9
00001740: CALL
00001741: SWAP4
00001742: POP
00001743: POP
00001744: POP
00001745: POP
00001746: ISZERO
00001747: DUP1
00001748: ISZERO
00001749: PUSH2 0x1756
0000174c: JUMPI
0000174d: RETURNDATASIZE
0000174e: PUSH1 0x00
00001750: DUP1
00001751: RETURNDATACOPY
00001752: RETURNDATASIZE
00001753: PUSH1 0x00
00001755: REVERT
00001756: JUMPDEST
00001757: POP
00001758: POP
00001759: JUMP
0000175a: JUMPDEST
0000175b: PUSH1 0x0c
0000175d: PUSH1 0x20
0000175f: MSTORE
00001760: PUSH1 0x00
00001762: SWAP1
00001763: DUP2
00001764: MSTORE
00001765: PUSH1 0x40
00001767: SWAP1
00001768: KECCAK256
00001769: SLOAD
0000176a: PUSH1 0x01
0000176c: PUSH1 0x01
0000176e: PUSH1 0xa0
00001770: SHL
00001771: SUB
00001772: AND
00001773: DUP2
00001774: JUMP
00001775: JUMPDEST
00001776: PUSH1 0x0b
00001778: SLOAD
00001779: DUP2
0000177a: JUMP
0000177b: JUMPDEST
0000177c: PUSH1 0x08
0000177e: SLOAD
0000177f: DUP2
00001780: JUMP
00001781: JUMPDEST
00001782: PUSH1 0x60
00001784: DUP2
00001785: MLOAD
00001786: DUP4
00001787: MLOAD
00001788: EQ
00001789: PUSH2 0x17c3
0000178c: JUMPI
0000178d: PUSH1 0x40
0000178f: MLOAD
00001790: PUSH3 0x461bcd
00001794: PUSH1 0xe5
00001796: SHL
00001797: DUP2
00001798: MSTORE
00001799: PUSH1 0x04
0000179b: ADD
0000179c: DUP1
0000179d: DUP1
0000179e: PUSH1 0x20
000017a0: ADD
000017a1: DUP3
000017a2: DUP2
000017a3: SUB
000017a4: DUP3
000017a5: MSTORE
000017a6: PUSH1 0x29
000017a8: DUP2
000017a9: MSTORE
000017aa: PUSH1 0x20
000017ac: ADD
000017ad: DUP1
000017ae: PUSH2 0x36fc
000017b1: PUSH1 0x29
000017b3: SWAP2
000017b4: CODECOPY
000017b5: PUSH1 0x40
000017b7: ADD
000017b8: SWAP2
000017b9: POP
000017ba: POP
000017bb: PUSH1 0x40
000017bd: MLOAD
000017be: DUP1
000017bf: SWAP2
000017c0: SUB
000017c1: SWAP1
000017c2: REVERT
000017c3: JUMPDEST
000017c4: PUSH1 0x00
000017c6: DUP4
000017c7: MLOAD
000017c8: PUSH8 0xffffffffffffffff
000017d1: DUP2
000017d2: GT
000017d3: DUP1
000017d4: ISZERO
000017d5: PUSH2 0x17dd
000017d8: JUMPI
000017d9: PUSH1 0x00
000017db: DUP1
000017dc: REVERT
000017dd: JUMPDEST
000017de: POP
000017df: PUSH1 0x40
000017e1: MLOAD
000017e2: SWAP1
000017e3: DUP1
000017e4: DUP3
000017e5: MSTORE
000017e6: DUP1
000017e7: PUSH1 0x20
000017e9: MUL
000017ea: PUSH1 0x20
000017ec: ADD
000017ed: DUP3
000017ee: ADD
000017ef: PUSH1 0x40
000017f1: MSTORE
000017f2: DUP1
000017f3: ISZERO
000017f4: PUSH2 0x1807
000017f7: JUMPI
000017f8: DUP2
000017f9: PUSH1 0x20
000017fb: ADD
000017fc: PUSH1 0x20
000017fe: DUP3
000017ff: MUL
00001800: DUP1
00001801: CALLDATASIZE
00001802: DUP4
00001803: CALLDATACOPY
00001804: ADD
00001805: SWAP1
00001806: POP
00001807: JUMPDEST
00001808: POP
00001809: SWAP1
0000180a: POP
0000180b: PUSH1 0x00
0000180d: JUMPDEST
0000180e: DUP5
0000180f: MLOAD
00001810: DUP2
00001811: LT
00001812: ISZERO
00001813: PUSH2 0x18f7
00001816: JUMPI
00001817: PUSH1 0x00
00001819: PUSH1 0x01
0000181b: PUSH1 0x01
0000181d: PUSH1 0xa0
0000181f: SHL
00001820: SUB
00001821: AND
00001822: DUP6
00001823: DUP3
00001824: DUP2
00001825: MLOAD
00001826: DUP2
00001827: LT
00001828: PUSH2 0x182d
0000182b: JUMPI
0000182c: INVALID
0000182d: JUMPDEST
0000182e: PUSH1 0x20
00001830: MUL
00001831: PUSH1 0x20
00001833: ADD
00001834: ADD
00001835: MLOAD
00001836: PUSH1 0x01
00001838: PUSH1 0x01
0000183a: PUSH1 0xa0
0000183c: SHL
0000183d: SUB
0000183e: AND
0000183f: EQ
00001840: ISZERO
00001841: PUSH2 0x187b
00001844: JUMPI
00001845: PUSH1 0x40
00001847: MLOAD
00001848: PUSH3 0x461bcd
0000184c: PUSH1 0xe5
0000184e: SHL
0000184f: DUP2
00001850: MSTORE
00001851: PUSH1 0x04
00001853: ADD
00001854: DUP1
00001855: DUP1
00001856: PUSH1 0x20
00001858: ADD
00001859: DUP3
0000185a: DUP2
0000185b: SUB
0000185c: DUP3
0000185d: MSTORE
0000185e: PUSH1 0x31
00001860: DUP2
00001861: MSTORE
00001862: PUSH1 0x20
00001864: ADD
00001865: DUP1
00001866: PUSH2 0x354a
00001869: PUSH1 0x31
0000186b: SWAP2
0000186c: CODECOPY
0000186d: PUSH1 0x40
0000186f: ADD
00001870: SWAP2
00001871: POP
00001872: POP
00001873: PUSH1 0x40
00001875: MLOAD
00001876: DUP1
00001877: SWAP2
00001878: SUB
00001879: SWAP1
0000187a: REVERT
0000187b: JUMPDEST
0000187c: PUSH1 0x02
0000187e: PUSH1 0x00
00001880: DUP6
00001881: DUP4
00001882: DUP2
00001883: MLOAD
00001884: DUP2
00001885: LT
00001886: PUSH2 0x188b
00001889: JUMPI
0000188a: INVALID
0000188b: JUMPDEST
0000188c: PUSH1 0x20
0000188e: MUL
0000188f: PUSH1 0x20
00001891: ADD
00001892: ADD
00001893: MLOAD
00001894: DUP2
00001895: MSTORE
00001896: PUSH1 0x20
00001898: ADD
00001899: SWAP1
0000189a: DUP2
0000189b: MSTORE
0000189c: PUSH1 0x20
0000189e: ADD
0000189f: PUSH1 0x00
000018a1: KECCAK256
000018a2: PUSH1 0x00
000018a4: DUP7
000018a5: DUP4
000018a6: DUP2
000018a7: MLOAD
000018a8: DUP2
000018a9: LT
000018aa: PUSH2 0x18af
000018ad: JUMPI
000018ae: INVALID
000018af: JUMPDEST
000018b0: PUSH1 0x20
000018b2: MUL
000018b3: PUSH1 0x20
000018b5: ADD
000018b6: ADD
000018b7: MLOAD
000018b8: PUSH1 0x01
000018ba: PUSH1 0x01
000018bc: PUSH1 0xa0
000018be: SHL
000018bf: SUB
000018c0: AND
000018c1: PUSH1 0x01
000018c3: PUSH1 0x01
000018c5: PUSH1 0xa0
000018c7: SHL
000018c8: SUB
000018c9: AND
000018ca: DUP2
000018cb: MSTORE
000018cc: PUSH1 0x20
000018ce: ADD
000018cf: SWAP1
000018d0: DUP2
000018d1: MSTORE
000018d2: PUSH1 0x20
000018d4: ADD
000018d5: PUSH1 0x00
000018d7: KECCAK256
000018d8: SLOAD
000018d9: DUP3
000018da: DUP3
000018db: DUP2
000018dc: MLOAD
000018dd: DUP2
000018de: LT
000018df: PUSH2 0x18e4
000018e2: JUMPI
000018e3: INVALID
000018e4: JUMPDEST
000018e5: PUSH1 0x20
000018e7: SWAP1
000018e8: DUP2
000018e9: MUL
000018ea: SWAP2
000018eb: SWAP1
000018ec: SWAP2
000018ed: ADD
000018ee: ADD
000018ef: MSTORE
000018f0: PUSH1 0x01
000018f2: ADD
000018f3: PUSH2 0x180d
000018f6: JUMP
000018f7: JUMPDEST
000018f8: POP
000018f9: SWAP4
000018fa: SWAP3
000018fb: POP
000018fc: POP
000018fd: POP
000018fe: JUMP
000018ff: JUMPDEST
00001900: PUSH1 0x07
00001902: SLOAD
00001903: PUSH1 0x00
00001905: SWAP1
00001906: PUSH1 0xff
00001908: AND
00001909: PUSH2 0x1950
0000190c: JUMPI
0000190d: PUSH1 0x40
0000190f: DUP1
00001910: MLOAD
00001911: PUSH3 0x461bcd
00001915: PUSH1 0xe5
00001917: SHL
00001918: DUP2
00001919: MSTORE
0000191a: PUSH1 0x20
0000191c: PUSH1 0x04
0000191e: DUP3
0000191f: ADD
00001920: MSTORE
00001921: PUSH1 0x14
00001923: PUSH1 0x24
00001925: DUP3
00001926: ADD
00001927: MSTORE
00001928: PUSH20 0x10dbdb9d1c9858dd081a5cc8191a5cd8589b1959
0000193d: PUSH1 0x62
0000193f: SHL
00001940: PUSH1 0x44
00001942: DUP3
00001943: ADD
00001944: MSTORE
00001945: SWAP1
00001946: MLOAD
00001947: SWAP1
00001948: DUP2
00001949: SWAP1
0000194a: SUB
0000194b: PUSH1 0x64
0000194d: ADD
0000194e: SWAP1
0000194f: REVERT
00001950: JUMPDEST
00001951: PUSH1 0x00
00001953: DUP3
00001954: DUP2
00001955: MSTORE
00001956: PUSH1 0x0c
00001958: PUSH1 0x20
0000195a: MSTORE
0000195b: PUSH1 0x40
0000195d: SWAP1
0000195e: KECCAK256
0000195f: SLOAD
00001960: PUSH1 0x01
00001962: PUSH1 0x01
00001964: PUSH1 0xa0
00001966: SHL
00001967: SUB
00001968: AND
00001969: PUSH2 0x19af
0000196c: JUMPI
0000196d: PUSH1 0x40
0000196f: DUP1
00001970: MLOAD
00001971: PUSH3 0x461bcd
00001975: PUSH1 0xe5
00001977: SHL
00001978: DUP2
00001979: MSTORE
0000197a: PUSH1 0x20
0000197c: PUSH1 0x04
0000197e: DUP3
0000197f: ADD
00001980: MSTORE
00001981: PUSH1 0x13
00001983: PUSH1 0x24
00001985: DUP3
00001986: ADD
00001987: MSTORE
00001988: PUSH19 0x14d9595908191bd95cc81b9bdd08195e1a5cdd
0000199c: PUSH1 0x6a
0000199e: SHL
0000199f: PUSH1 0x44
000019a1: DUP3
000019a2: ADD
000019a3: MSTORE
000019a4: SWAP1
000019a5: MLOAD
000019a6: SWAP1
000019a7: DUP2
000019a8: SWAP1
000019a9: SUB
000019aa: PUSH1 0x64
000019ac: ADD
000019ad: SWAP1
000019ae: REVERT
000019af: JUMPDEST
000019b0: PUSH1 0x00
000019b2: PUSH2 0x19ba
000019b5: DUP4
000019b6: PUSH2 0x21a3
000019b9: JUMP
000019ba: JUMPDEST
000019bb: PUSH1 0x00
000019bd: DUP2
000019be: DUP2
000019bf: MSTORE
000019c0: PUSH1 0x0a
000019c2: PUSH1 0x20
000019c4: MSTORE
000019c5: PUSH1 0x40
000019c7: DUP2
000019c8: KECCAK256
000019c9: SLOAD
000019ca: SWAP2
000019cb: SWAP3
000019cc: POP
000019cd: PUSH2 0x19d8
000019d0: PUSH1 0x01
000019d2: DUP4
000019d3: ADD
000019d4: PUSH2 0x1e9b
000019d7: JUMP
000019d8: JUMPDEST
000019d9: SWAP1
000019da: POP
000019db: DUP1
000019dc: CALLVALUE
000019dd: LT
000019de: ISZERO
000019df: PUSH2 0x1a24
000019e2: JUMPI
000019e3: PUSH1 0x40
000019e5: DUP1
000019e6: MLOAD
000019e7: PUSH3 0x461bcd
000019eb: PUSH1 0xe5
000019ed: SHL
000019ee: DUP2
000019ef: MSTORE
000019f0: PUSH1 0x20
000019f2: PUSH1 0x04
000019f4: DUP3
000019f5: ADD
000019f6: MSTORE
000019f7: PUSH1 0x12
000019f9: PUSH1 0x24
000019fb: DUP3
000019fc: ADD
000019fd: MSTORE
000019fe: PUSH18 0x496e73756666696369656e742066756e6473
00001a11: PUSH1 0x70
00001a13: SHL
00001a14: PUSH1 0x44
00001a16: DUP3
00001a17: ADD
00001a18: MSTORE
00001a19: SWAP1
00001a1a: MLOAD
00001a1b: SWAP1
00001a1c: DUP2
00001a1d: SWAP1
00001a1e: SUB
00001a1f: PUSH1 0x64
00001a21: ADD
00001a22: SWAP1
00001a23: REVERT
00001a24: JUMPDEST
00001a25: PUSH1 0x00
00001a27: DUP4
00001a28: DUP2
00001a29: MSTORE
00001a2a: PUSH1 0x0a
00001a2c: PUSH1 0x20
00001a2e: MSTORE
00001a2f: PUSH1 0x40
00001a31: DUP2
00001a32: KECCAK256
00001a33: SLOAD
00001a34: PUSH2 0x1a3e
00001a37: SWAP1
00001a38: PUSH1 0x01
00001a3a: PUSH2 0x28ca
00001a3d: JUMP
00001a3e: JUMPDEST
00001a3f: PUSH1 0x00
00001a41: DUP6
00001a42: DUP2
00001a43: MSTORE
00001a44: PUSH1 0x0a
00001a46: PUSH1 0x20
00001a48: MSTORE
00001a49: PUSH1 0x40
00001a4b: DUP2
00001a4c: KECCAK256
00001a4d: DUP3
00001a4e: SWAP1
00001a4f: SSTORE
00001a50: SWAP1
00001a51: SWAP2
00001a52: POP
00001a53: PUSH2 0x1a5b
00001a56: DUP3
00001a57: PUSH2 0x1692
00001a5a: JUMP
00001a5b: JUMPDEST
00001a5c: PUSH1 0x0e
00001a5e: SLOAD
00001a5f: SWAP1
00001a60: SWAP2
00001a61: POP
00001a62: PUSH2 0x1a6b
00001a65: SWAP1
00001a66: DUP3
00001a67: PUSH2 0x28ca
00001a6a: JUMP
00001a6b: JUMPDEST
00001a6c: PUSH1 0x0e
00001a6e: SSTORE
00001a6f: PUSH1 0x00
00001a71: PUSH2 0x1a82
00001a74: PUSH2 0x1a7d
00001a77: DUP6
00001a78: DUP5
00001a79: PUSH2 0x2e95
00001a7c: JUMP
00001a7d: JUMPDEST
00001a7e: PUSH2 0x2ef2
00001a81: JUMP
00001a82: JUMPDEST
00001a83: SWAP1
00001a84: POP
00001a85: PUSH2 0x1aa0
00001a88: CALLER
00001a89: DUP8
00001a8a: PUSH1 0x01
00001a8c: PUSH1 0x40
00001a8e: MLOAD
00001a8f: DUP1
00001a90: PUSH1 0x20
00001a92: ADD
00001a93: PUSH1 0x40
00001a95: MSTORE
00001a96: DUP1
00001a97: PUSH1 0x00
00001a99: DUP2
00001a9a: MSTORE
00001a9b: POP
00001a9c: PUSH2 0x29f1
00001a9f: JUMP
00001aa0: JUMPDEST
00001aa1: PUSH1 0x00
00001aa3: DUP9
00001aa4: DUP2
00001aa5: MSTORE
00001aa6: PUSH1 0x0c
00001aa8: PUSH1 0x20
00001aaa: MSTORE
00001aab: PUSH1 0x40
00001aad: DUP1
00001aae: DUP3
00001aaf: KECCAK256
00001ab0: SLOAD
00001ab1: SWAP1
00001ab2: MLOAD
00001ab3: PUSH1 0x01
00001ab5: PUSH1 0x01
00001ab7: PUSH1 0xa0
00001ab9: SHL
00001aba: SUB
00001abb: SWAP1
00001abc: SWAP2
00001abd: AND
00001abe: SWAP2
00001abf: SWAP1
00001ac0: DUP3
00001ac1: SWAP1
00001ac2: DUP5
00001ac3: SWAP1
00001ac4: DUP4
00001ac5: DUP2
00001ac6: DUP2
00001ac7: DUP2
00001ac8: DUP6
00001ac9: DUP8
00001aca: GAS
00001acb: CALL
00001acc: SWAP3
00001acd: POP
00001ace: POP
00001acf: POP
00001ad0: RETURNDATASIZE
00001ad1: DUP1
00001ad2: PUSH1 0x00
00001ad4: DUP2
00001ad5: EQ
00001ad6: PUSH2 0x1afb
00001ad9: JUMPI
00001ada: PUSH1 0x40
00001adc: MLOAD
00001add: SWAP2
00001ade: POP
00001adf: PUSH1 0x1f
00001ae1: NOT
00001ae2: PUSH1 0x3f
00001ae4: RETURNDATASIZE
00001ae5: ADD
00001ae6: AND
00001ae7: DUP3
00001ae8: ADD
00001ae9: PUSH1 0x40
00001aeb: MSTORE
00001aec: RETURNDATASIZE
00001aed: DUP3
00001aee: MSTORE
00001aef: RETURNDATASIZE
00001af0: PUSH1 0x00
00001af2: PUSH1 0x20
00001af4: DUP5
00001af5: ADD
00001af6: RETURNDATACOPY
00001af7: PUSH2 0x1b00
00001afa: JUMP
00001afb: JUMPDEST
00001afc: PUSH1 0x60
00001afe: SWAP2
00001aff: POP
00001b00: JUMPDEST
00001b01: POP
00001b02: POP
00001b03: SWAP1
00001b04: POP
00001b05: DUP1
00001b06: PUSH2 0x1b47
00001b09: JUMPI
00001b0a: PUSH1 0x40
00001b0c: DUP1
00001b0d: MLOAD
00001b0e: PUSH3 0x461bcd
00001b12: PUSH1 0xe5
00001b14: SHL
00001b15: DUP2
00001b16: MSTORE
00001b17: PUSH1 0x20
00001b19: PUSH1 0x04
00001b1b: DUP3
00001b1c: ADD
00001b1d: MSTORE
00001b1e: PUSH1 0x0e
00001b20: PUSH1 0x24
00001b22: DUP3
00001b23: ADD
00001b24: MSTORE
00001b25: PUSH14 0x14185e5b595b9d0819985a5b1959
00001b34: PUSH1 0x92
00001b36: SHL
00001b37: PUSH1 0x44
00001b39: DUP3
00001b3a: ADD
00001b3b: MSTORE
00001b3c: SWAP1
00001b3d: MLOAD
00001b3e: SWAP1
00001b3f: DUP2
00001b40: SWAP1
00001b41: SUB
00001b42: PUSH1 0x64
00001b44: ADD
00001b45: SWAP1
00001b46: REVERT
00001b47: JUMPDEST
00001b48: PUSH2 0x1b50
00001b4b: DUP7
00001b4c: PUSH2 0x2f04
00001b4f: JUMP
00001b50: JUMPDEST
00001b51: PUSH1 0x01
00001b53: PUSH1 0x01
00001b55: PUSH1 0xa0
00001b57: SHL
00001b58: SUB
00001b59: DUP3
00001b5a: AND
00001b5b: DUP11
00001b5c: CALLER
00001b5d: PUSH32 0x4251d75749ad140eadaa466a69c53451f36b41cc82640aa2a74327b0039b8e6c
00001b7e: DUP12
00001b7f: DUP11
00001b80: PUSH2 0x1b92
00001b83: PUSH2 0x1b8d
00001b86: DUP13
00001b87: PUSH1 0x01
00001b89: PUSH2 0x28ca
00001b8c: JUMP
00001b8d: JUMPDEST
00001b8e: PUSH2 0x1e9b
00001b91: JUMP
00001b92: JUMPDEST
00001b93: PUSH1 0x0e
00001b95: SLOAD
00001b96: PUSH1 0x40
00001b98: DUP1
00001b99: MLOAD
00001b9a: SWAP5
00001b9b: DUP6
00001b9c: MSTORE
00001b9d: PUSH1 0x20
00001b9f: DUP6
00001ba0: ADD
00001ba1: SWAP4
00001ba2: SWAP1
00001ba3: SWAP4
00001ba4: MSTORE
00001ba5: DUP4
00001ba6: DUP4
00001ba7: ADD
00001ba8: SWAP2
00001ba9: SWAP1
00001baa: SWAP2
00001bab: MSTORE
00001bac: PUSH1 0x60
00001bae: DUP4
00001baf: ADD
00001bb0: DUP12
00001bb1: SWAP1
00001bb2: MSTORE
00001bb3: PUSH1 0x80
00001bb5: DUP4
00001bb6: ADD
00001bb7: DUP13
00001bb8: SWAP1
00001bb9: MSTORE
00001bba: PUSH1 0xa0
00001bbc: DUP4
00001bbd: ADD
00001bbe: DUP11
00001bbf: SWAP1
00001bc0: MSTORE
00001bc1: PUSH1 0xc0
00001bc3: DUP4
00001bc4: ADD
00001bc5: MSTORE
00001bc6: MLOAD
00001bc7: SWAP1
00001bc8: DUP2
00001bc9: SWAP1
00001bca: SUB
00001bcb: PUSH1 0xe0
00001bcd: ADD
00001bce: SWAP1
00001bcf: LOG4
00001bd0: POP
00001bd1: SWAP6
00001bd2: SWAP9
00001bd3: SWAP8
00001bd4: POP
00001bd5: POP
00001bd6: POP
00001bd7: POP
00001bd8: POP
00001bd9: POP
00001bda: POP
00001bdb: POP
00001bdc: JUMP
00001bdd: JUMPDEST
00001bde: PUSH1 0x0d
00001be0: SLOAD
00001be1: DUP2
00001be2: JUMP
00001be3: JUMPDEST
00001be4: PUSH2 0x1beb
00001be7: PUSH2 0x27d9
00001bea: JUMP
00001beb: JUMPDEST
00001bec: PUSH1 0x01
00001bee: PUSH1 0x01
00001bf0: PUSH1 0xa0
00001bf2: SHL
00001bf3: SUB
00001bf4: AND
00001bf5: PUSH2 0x1bfc
00001bf8: PUSH2 0x1c8f
00001bfb: JUMP
00001bfc: JUMPDEST
00001bfd: PUSH1 0x01
00001bff: PUSH1 0x01
00001c01: PUSH1 0xa0
00001c03: SHL
00001c04: SUB
00001c05: AND
00001c06: EQ
00001c07: PUSH2 0x1c45
00001c0a: JUMPI
00001c0b: PUSH1 0x40
00001c0d: DUP1
00001c0e: MLOAD
00001c0f: PUSH3 0x461bcd
00001c13: PUSH1 0xe5
00001c15: SHL
00001c16: DUP2
00001c17: MSTORE
00001c18: PUSH1 0x20
00001c1a: PUSH1 0x04
00001c1c: DUP3
00001c1d: ADD
00001c1e: DUP2
00001c1f: SWAP1
00001c20: MSTORE
00001c21: PUSH1 0x24
00001c23: DUP3
00001c24: ADD
00001c25: MSTORE
00001c26: PUSH1 0x00
00001c28: DUP1
00001c29: MLOAD
00001c2a: PUSH1 0x20
00001c2c: PUSH2 0x36b3
00001c2f: DUP4
00001c30: CODECOPY
00001c31: DUP2
00001c32: MLOAD
00001c33: SWAP2
00001c34: MSTORE
00001c35: PUSH1 0x44
00001c37: DUP3
00001c38: ADD
00001c39: MSTORE
00001c3a: SWAP1
00001c3b: MLOAD
00001c3c: SWAP1
00001c3d: DUP2
00001c3e: SWAP1
00001c3f: SUB
00001c40: PUSH1 0x64
00001c42: ADD
00001c43: SWAP1
00001c44: REVERT
00001c45: JUMPDEST
00001c46: PUSH1 0x00
00001c48: DUP1
00001c49: SLOAD
00001c4a: PUSH1 0x40
00001c4c: MLOAD
00001c4d: PUSH1 0x01
00001c4f: PUSH1 0x01
00001c51: PUSH1 0xa0
00001c53: SHL
00001c54: SUB
00001c55: SWAP1
00001c56: SWAP2
00001c57: AND
00001c58: SWAP1
00001c59: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001c7a: SWAP1
00001c7b: DUP4
00001c7c: SWAP1
00001c7d: LOG3
00001c7e: PUSH1 0x00
00001c80: DUP1
00001c81: SLOAD
00001c82: PUSH1 0x01
00001c84: PUSH1 0x01
00001c86: PUSH1 0xa0
00001c88: SHL
00001c89: SUB
00001c8a: NOT
00001c8b: AND
00001c8c: SWAP1
00001c8d: SSTORE
00001c8e: JUMP
00001c8f: JUMPDEST
00001c90: PUSH1 0x00
00001c92: SLOAD
00001c93: PUSH1 0x01
00001c95: PUSH1 0x01
00001c97: PUSH1 0xa0
00001c99: SHL
00001c9a: SUB
00001c9b: AND
00001c9c: SWAP1
00001c9d: JUMP
00001c9e: JUMPDEST
00001c9f: PUSH1 0x60
00001ca1: PUSH1 0x08
00001ca3: SLOAD
00001ca4: DUP3
00001ca5: LT
00001ca6: PUSH2 0x1cec
00001ca9: JUMPI
00001caa: PUSH1 0x40
00001cac: DUP1
00001cad: MLOAD
00001cae: PUSH3 0x461bcd
00001cb2: PUSH1 0xe5
00001cb4: SHL
00001cb5: DUP2
00001cb6: MSTORE
00001cb7: PUSH1 0x20
00001cb9: PUSH1 0x04
00001cbb: DUP3
00001cbc: ADD
00001cbd: MSTORE
00001cbe: PUSH1 0x13
00001cc0: PUSH1 0x24
00001cc2: DUP3
00001cc3: ADD
00001cc4: MSTORE
00001cc5: PUSH19 0x496e646578206f7574206f6620626f756e6473
00001cd9: PUSH1 0x68
00001cdb: SHL
00001cdc: PUSH1 0x44
00001cde: DUP3
00001cdf: ADD
00001ce0: MSTORE
00001ce1: SWAP1
00001ce2: MLOAD
00001ce3: SWAP1
00001ce4: DUP2
00001ce5: SWAP1
00001ce6: SUB
00001ce7: PUSH1 0x64
00001ce9: ADD
00001cea: SWAP1
00001ceb: REVERT
00001cec: JUMPDEST
00001ced: PUSH1 0x00
00001cef: DUP3
00001cf0: DUP2
00001cf1: MSTORE
00001cf2: PUSH1 0x09
00001cf4: PUSH1 0x20
00001cf6: SWAP1
00001cf7: DUP2
00001cf8: MSTORE
00001cf9: PUSH1 0x40
00001cfb: SWAP2
00001cfc: DUP3
00001cfd: SWAP1
00001cfe: KECCAK256
00001cff: DUP1
00001d00: SLOAD
00001d01: DUP4
00001d02: MLOAD
00001d03: PUSH1 0x1f
00001d05: PUSH1 0x02
00001d07: PUSH1 0x00
00001d09: NOT
00001d0a: PUSH2 0x0100
00001d0d: PUSH1 0x01
00001d0f: DUP7
00001d10: AND
00001d11: ISZERO
00001d12: MUL
00001d13: ADD
00001d14: SWAP1
00001d15: SWAP4
00001d16: AND
00001d17: SWAP3
00001d18: SWAP1
00001d19: SWAP3
00001d1a: DIV
00001d1b: SWAP2
00001d1c: DUP3
00001d1d: ADD
00001d1e: DUP5
00001d1f: SWAP1
00001d20: DIV
00001d21: DUP5
00001d22: MUL
00001d23: DUP2
00001d24: ADD
00001d25: DUP5
00001d26: ADD
00001d27: SWAP1
00001d28: SWAP5
00001d29: MSTORE
00001d2a: DUP1
00001d2b: DUP5
00001d2c: MSTORE
00001d2d: SWAP1
00001d2e: SWAP2
00001d2f: DUP4
00001d30: ADD
00001d31: DUP3
00001d32: DUP3
00001d33: DUP1
00001d34: ISZERO
00001d35: PUSH2 0x1d7f
00001d38: JUMPI
00001d39: DUP1
00001d3a: PUSH1 0x1f
00001d3c: LT
00001d3d: PUSH2 0x1d54
00001d40: JUMPI
00001d41: PUSH2 0x0100
00001d44: DUP1
00001d45: DUP4
00001d46: SLOAD
00001d47: DIV
00001d48: MUL
00001d49: DUP4
00001d4a: MSTORE
00001d4b: SWAP2
00001d4c: PUSH1 0x20
00001d4e: ADD
00001d4f: SWAP2
00001d50: PUSH2 0x1d7f
00001d53: JUMP
00001d54: JUMPDEST
00001d55: DUP3
00001d56: ADD
00001d57: SWAP2
00001d58: SWAP1
00001d59: PUSH1 0x00
00001d5b: MSTORE
00001d5c: PUSH1 0x20
00001d5e: PUSH1 0x00
00001d60: KECCAK256
00001d61: SWAP1
00001d62: JUMPDEST
00001d63: DUP2
00001d64: SLOAD
00001d65: DUP2
00001d66: MSTORE
00001d67: SWAP1
00001d68: PUSH1 0x01
00001d6a: ADD
00001d6b: SWAP1
00001d6c: PUSH1 0x20
00001d6e: ADD
00001d6f: DUP1
00001d70: DUP4
00001d71: GT
00001d72: PUSH2 0x1d62
00001d75: JUMPI
00001d76: DUP3
00001d77: SWAP1
00001d78: SUB
00001d79: PUSH1 0x1f
00001d7b: AND
00001d7c: DUP3
00001d7d: ADD
00001d7e: SWAP2
00001d7f: JUMPDEST
00001d80: POP
00001d81: POP
00001d82: POP
00001d83: POP
00001d84: POP
00001d85: SWAP1
00001d86: POP
00001d87: SWAP2
00001d88: SWAP1
00001d89: POP
00001d8a: JUMP
00001d8b: JUMPDEST
00001d8c: PUSH2 0x1d93
00001d8f: PUSH2 0x27d9
00001d92: JUMP
00001d93: JUMPDEST
00001d94: PUSH1 0x01
00001d96: PUSH1 0x01
00001d98: PUSH1 0xa0
00001d9a: SHL
00001d9b: SUB
00001d9c: AND
00001d9d: PUSH2 0x1da4
00001da0: PUSH2 0x1c8f
00001da3: JUMP
00001da4: JUMPDEST
00001da5: PUSH1 0x01
00001da7: PUSH1 0x01
00001da9: PUSH1 0xa0
00001dab: SHL
00001dac: SUB
00001dad: AND
00001dae: EQ
00001daf: PUSH2 0x1ded
00001db2: JUMPI
00001db3: PUSH1 0x40
00001db5: DUP1
00001db6: MLOAD
00001db7: PUSH3 0x461bcd
00001dbb: PUSH1 0xe5
00001dbd: SHL
00001dbe: DUP2
00001dbf: MSTORE
00001dc0: PUSH1 0x20
00001dc2: PUSH1 0x04
00001dc4: DUP3
00001dc5: ADD
00001dc6: DUP2
00001dc7: SWAP1
00001dc8: MSTORE
00001dc9: PUSH1 0x24
00001dcb: DUP3
00001dcc: ADD
00001dcd: MSTORE
00001dce: PUSH1 0x00
00001dd0: DUP1
00001dd1: MLOAD
00001dd2: PUSH1 0x20
00001dd4: PUSH2 0x36b3
00001dd7: DUP4
00001dd8: CODECOPY
00001dd9: DUP2
00001dda: MLOAD
00001ddb: SWAP2
00001ddc: MSTORE
00001ddd: PUSH1 0x44
00001ddf: DUP3
00001de0: ADD
00001de1: MSTORE
00001de2: SWAP1
00001de3: MLOAD
00001de4: SWAP1
00001de5: DUP2
00001de6: SWAP1
00001de7: SUB
00001de8: PUSH1 0x64
00001dea: ADD
00001deb: SWAP1
00001dec: REVERT
00001ded: JUMPDEST
00001dee: PUSH1 0x07
00001df0: SLOAD
00001df1: PUSH1 0xff
00001df3: AND
00001df4: ISZERO
00001df5: PUSH2 0x1e3b
00001df8: JUMPI
00001df9: PUSH1 0x40
00001dfb: DUP1
00001dfc: MLOAD
00001dfd: PUSH3 0x461bcd
00001e01: PUSH1 0xe5
00001e03: SHL
00001e04: DUP2
00001e05: MSTORE
00001e06: PUSH1 0x20
00001e08: PUSH1 0x04
00001e0a: DUP3
00001e0b: ADD
00001e0c: MSTORE
00001e0d: PUSH1 0x13
00001e0f: PUSH1 0x24
00001e11: DUP3
00001e12: ADD
00001e13: MSTORE
00001e14: PUSH19 0x10dbdb9d1c9858dd081a5cc8195b98589b1959
00001e28: PUSH1 0x6a
00001e2a: SHL
00001e2b: PUSH1 0x44
00001e2d: DUP3
00001e2e: ADD
00001e2f: MSTORE
00001e30: SWAP1
00001e31: MLOAD
00001e32: SWAP1
00001e33: DUP2
00001e34: SWAP1
00001e35: SUB
00001e36: PUSH1 0x64
00001e38: ADD
00001e39: SWAP1
00001e3a: REVERT
00001e3b: JUMPDEST
00001e3c: PUSH1 0x0d
00001e3e: SSTORE
00001e3f: JUMP
00001e40: JUMPDEST
00001e41: PUSH1 0x05
00001e43: DUP1
00001e44: SLOAD
00001e45: PUSH1 0x40
00001e47: DUP1
00001e48: MLOAD
00001e49: PUSH1 0x20
00001e4b: PUSH1 0x02
00001e4d: PUSH1 0x01
00001e4f: DUP6
00001e50: AND
00001e51: ISZERO
00001e52: PUSH2 0x0100
00001e55: MUL
00001e56: PUSH1 0x00
00001e58: NOT
00001e59: ADD
00001e5a: SWAP1
00001e5b: SWAP5
00001e5c: AND
00001e5d: SWAP4
00001e5e: SWAP1
00001e5f: SWAP4
00001e60: DIV
00001e61: PUSH1 0x1f
00001e63: DUP2
00001e64: ADD
00001e65: DUP5
00001e66: SWAP1
00001e67: DIV
00001e68: DUP5
00001e69: MUL
00001e6a: DUP3
00001e6b: ADD
00001e6c: DUP5
00001e6d: ADD
00001e6e: SWAP1
00001e6f: SWAP3
00001e70: MSTORE
00001e71: DUP2
00001e72: DUP2
00001e73: MSTORE
00001e74: SWAP3
00001e75: SWAP2
00001e76: DUP4
00001e77: ADD
00001e78: DUP3
00001e79: DUP3
00001e7a: DUP1
00001e7b: ISZERO
00001e7c: PUSH2 0x0e92
00001e7f: JUMPI
00001e80: DUP1
00001e81: PUSH1 0x1f
00001e83: LT
00001e84: PUSH2 0x0e67
00001e87: JUMPI
00001e88: PUSH2 0x0100
00001e8b: DUP1
00001e8c: DUP4
00001e8d: SLOAD
00001e8e: DIV
00001e8f: MUL
00001e90: DUP4
00001e91: MSTORE
00001e92: SWAP2
00001e93: PUSH1 0x20
00001e95: ADD
00001e96: SWAP2
00001e97: PUSH2 0x0e92
00001e9a: JUMP
00001e9b: JUMPDEST
00001e9c: PUSH1 0x00
00001e9e: PUSH1 0x78
00001ea0: DUP3
00001ea1: GT
00001ea2: ISZERO
00001ea3: PUSH2 0x1ef3
00001ea6: JUMPI
00001ea7: PUSH1 0x40
00001ea9: DUP1
00001eaa: MLOAD
00001eab: PUSH3 0x461bcd
00001eaf: PUSH1 0xe5
00001eb1: SHL
00001eb2: DUP2
00001eb3: MSTORE
00001eb4: PUSH1 0x20
00001eb6: PUSH1 0x04
00001eb8: DUP3
00001eb9: ADD
00001eba: MSTORE
00001ebb: PUSH1 0x17
00001ebd: PUSH1 0x24
00001ebf: DUP3
00001ec0: ADD
00001ec1: MSTORE
00001ec2: PUSH32 0x4d6178696d756d20737570706c79206578636565646564000000000000000000
00001ee3: PUSH1 0x44
00001ee5: DUP3
00001ee6: ADD
00001ee7: MSTORE
00001ee8: SWAP1
00001ee9: MLOAD
00001eea: SWAP1
00001eeb: DUP2
00001eec: SWAP1
00001eed: SUB
00001eee: PUSH1 0x64
00001ef0: ADD
00001ef1: SWAP1
00001ef2: REVERT
00001ef3: JUMPDEST
00001ef4: PUSH2 0x03e8
00001ef7: PUSH1 0x32
00001ef9: DUP4
00001efa: LT
00001efb: ISZERO
00001efc: PUSH2 0x1f35
00001eff: JUMPI
00001f00: PUSH2 0x1f2e
00001f03: PUSH2 0x1f0d
00001f06: PUSH1 0x32
00001f08: DUP6
00001f09: PUSH2 0x2e95
00001f0c: JUMP
00001f0d: JUMPDEST
00001f0e: PUSH1 0x0b
00001f10: EXP
00001f11: PUSH2 0x1f28
00001f14: DUP4
00001f15: PUSH2 0x1f1f
00001f18: PUSH1 0x32
00001f1a: DUP9
00001f1b: PUSH2 0x2e95
00001f1e: JUMP
00001f1f: JUMPDEST
00001f20: PUSH1 0x0a
00001f22: EXP
00001f23: SWAP1
00001f24: PUSH2 0x2faa
00001f27: JUMP
00001f28: JUMPDEST
00001f29: SWAP1
00001f2a: PUSH2 0x3003
00001f2d: JUMP
00001f2e: JUMPDEST
00001f2f: SWAP2
00001f30: POP
00001f31: PUSH2 0x1f72
00001f34: JUMP
00001f35: JUMPDEST
00001f36: PUSH1 0x32
00001f38: DUP4
00001f39: EQ
00001f3a: ISZERO
00001f3b: PUSH2 0x1f46
00001f3e: JUMPI
00001f3f: DUP1
00001f40: SWAP2
00001f41: POP
00001f42: PUSH2 0x1f72
00001f45: JUMP
00001f46: JUMPDEST
00001f47: PUSH2 0x1f6f
00001f4a: PUSH2 0x1f54
00001f4d: DUP5
00001f4e: PUSH1 0x32
00001f50: PUSH2 0x2e95
00001f53: JUMP
00001f54: JUMPDEST
00001f55: PUSH1 0x0a
00001f57: EXP
00001f58: PUSH2 0x1f28
00001f5b: DUP4
00001f5c: PUSH2 0x1f66
00001f5f: DUP8
00001f60: PUSH1 0x32
00001f62: PUSH2 0x2e95
00001f65: JUMP
00001f66: JUMPDEST
00001f67: PUSH1 0x0b
00001f69: EXP
00001f6a: SWAP1
00001f6b: PUSH2 0x2faa
00001f6e: JUMP
00001f6f: JUMPDEST
00001f70: SWAP2
00001f71: POP
00001f72: JUMPDEST
00001f73: PUSH2 0x1f87
00001f76: PUSH2 0x1f80
00001f79: PUSH1 0x1a
00001f7b: DUP6
00001f7c: PUSH2 0x2faa
00001f7f: JUMP
00001f80: JUMPDEST
00001f81: DUP4
00001f82: SWAP1
00001f83: PUSH2 0x28ca
00001f86: JUMP
00001f87: JUMPDEST
00001f88: SWAP2
00001f89: POP
00001f8a: PUSH2 0x1f94
00001f8d: DUP3
00001f8e: PUSH1 0x08
00001f90: PUSH2 0x2e95
00001f93: JUMP
00001f94: JUMPDEST
00001f95: SWAP2
00001f96: POP
00001f97: PUSH2 0x1fac
00001f9a: DUP2
00001f9b: PUSH2 0x1f28
00001f9e: DUP5
00001f9f: PUSH8 0x0de0b6b3a7640000
00001fa8: PUSH2 0x2faa
00001fab: JUMP
00001fac: JUMPDEST
00001fad: SWAP4
00001fae: SWAP3
00001faf: POP
00001fb0: POP
00001fb1: POP
00001fb2: JUMP
00001fb3: JUMPDEST
00001fb4: DUP2
00001fb5: PUSH1 0x01
00001fb7: PUSH1 0x01
00001fb9: PUSH1 0xa0
00001fbb: SHL
00001fbc: SUB
00001fbd: AND
00001fbe: PUSH2 0x1fc5
00001fc1: PUSH2 0x27d9
00001fc4: JUMP
00001fc5: JUMPDEST
00001fc6: PUSH1 0x01
00001fc8: PUSH1 0x01
00001fca: PUSH1 0xa0
00001fcc: SHL
00001fcd: SUB
00001fce: AND
00001fcf: EQ
00001fd0: ISZERO
00001fd1: PUSH2 0x200b
00001fd4: JUMPI
00001fd5: PUSH1 0x40
00001fd7: MLOAD
00001fd8: PUSH3 0x461bcd
00001fdc: PUSH1 0xe5
00001fde: SHL
00001fdf: DUP2
00001fe0: MSTORE
00001fe1: PUSH1 0x04
00001fe3: ADD
00001fe4: DUP1
00001fe5: DUP1
00001fe6: PUSH1 0x20
00001fe8: ADD
00001fe9: DUP3
00001fea: DUP2
00001feb: SUB
00001fec: DUP3
00001fed: MSTORE
00001fee: PUSH1 0x29
00001ff0: DUP2
00001ff1: MSTORE
00001ff2: PUSH1 0x20
00001ff4: ADD
00001ff5: DUP1
00001ff6: PUSH2 0x36d3
00001ff9: PUSH1 0x29
00001ffb: SWAP2
00001ffc: CODECOPY
00001ffd: PUSH1 0x40
00001fff: ADD
00002000: SWAP2
00002001: POP
00002002: POP
00002003: PUSH1 0x40
00002005: MLOAD
00002006: DUP1
00002007: SWAP2
00002008: SUB
00002009: SWAP1
0000200a: REVERT
0000200b: JUMPDEST
0000200c: DUP1
0000200d: PUSH1 0x03
0000200f: PUSH1 0x00
00002011: PUSH2 0x2018
00002014: PUSH2 0x27d9
00002017: JUMP
00002018: JUMPDEST
00002019: PUSH1 0x01
0000201b: PUSH1 0x01
0000201d: PUSH1 0xa0
0000201f: SHL
00002020: SUB
00002021: SWAP1
00002022: DUP2
00002023: AND
00002024: DUP3
00002025: MSTORE
00002026: PUSH1 0x20
00002028: DUP1
00002029: DUP4
0000202a: ADD
0000202b: SWAP4
0000202c: SWAP1
0000202d: SWAP4
0000202e: MSTORE
0000202f: PUSH1 0x40
00002031: SWAP2
00002032: DUP3
00002033: ADD
00002034: PUSH1 0x00
00002036: SWAP1
00002037: DUP2
00002038: KECCAK256
00002039: SWAP2
0000203a: DUP8
0000203b: AND
0000203c: DUP1
0000203d: DUP3
0000203e: MSTORE
0000203f: SWAP2
00002040: SWAP1
00002041: SWAP4
00002042: MSTORE
00002043: SWAP2
00002044: KECCAK256
00002045: DUP1
00002046: SLOAD
00002047: PUSH1 0xff
00002049: NOT
0000204a: AND
0000204b: SWAP3
0000204c: ISZERO
0000204d: ISZERO
0000204e: SWAP3
0000204f: SWAP1
00002050: SWAP3
00002051: OR
00002052: SWAP1
00002053: SWAP2
00002054: SSTORE
00002055: PUSH2 0x205c
00002058: PUSH2 0x27d9
0000205b: JUMP
0000205c: JUMPDEST
0000205d: PUSH1 0x01
0000205f: PUSH1 0x01
00002061: PUSH1 0xa0
00002063: SHL
00002064: SUB
00002065: AND
00002066: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00002087: DUP4
00002088: PUSH1 0x40
0000208a: MLOAD
0000208b: DUP1
0000208c: DUP3
0000208d: ISZERO
0000208e: ISZERO
0000208f: DUP2
00002090: MSTORE
00002091: PUSH1 0x20
00002093: ADD
00002094: SWAP2
00002095: POP
00002096: POP
00002097: PUSH1 0x40
00002099: MLOAD
0000209a: DUP1
0000209b: SWAP2
0000209c: SUB
0000209d: SWAP1
0000209e: LOG3
0000209f: POP
000020a0: POP
000020a1: JUMP
000020a2: JUMPDEST
000020a3: PUSH2 0x20aa
000020a6: PUSH2 0x27d9
000020a9: JUMP
000020aa: JUMPDEST
000020ab: PUSH1 0x01
000020ad: PUSH1 0x01
000020af: PUSH1 0xa0
000020b1: SHL
000020b2: SUB
000020b3: AND
000020b4: PUSH2 0x20bb
000020b7: PUSH2 0x1c8f
000020ba: JUMP
000020bb: JUMPDEST
000020bc: PUSH1 0x01
000020be: PUSH1 0x01
000020c0: PUSH1 0xa0
000020c2: SHL
000020c3: SUB
000020c4: AND
000020c5: EQ
000020c6: PUSH2 0x2104
000020c9: JUMPI
000020ca: PUSH1 0x40
000020cc: DUP1
000020cd: MLOAD
000020ce: PUSH3 0x461bcd
000020d2: PUSH1 0xe5
000020d4: SHL
000020d5: DUP2
000020d6: MSTORE
000020d7: PUSH1 0x20
000020d9: PUSH1 0x04
000020db: DUP3
000020dc: ADD
000020dd: DUP2
000020de: SWAP1
000020df: MSTORE
000020e0: PUSH1 0x24
000020e2: DUP3
000020e3: ADD
000020e4: MSTORE
000020e5: PUSH1 0x00
000020e7: DUP1
000020e8: MLOAD
000020e9: PUSH1 0x20
000020eb: PUSH2 0x36b3
000020ee: DUP4
000020ef: CODECOPY
000020f0: DUP2
000020f1: MLOAD
000020f2: SWAP2
000020f3: MSTORE
000020f4: PUSH1 0x44
000020f6: DUP3
000020f7: ADD
000020f8: MSTORE
000020f9: SWAP1
000020fa: MLOAD
000020fb: SWAP1
000020fc: DUP2
000020fd: SWAP1
000020fe: SUB
000020ff: PUSH1 0x64
00002101: ADD
00002102: SWAP1
00002103: REVERT
00002104: JUMPDEST
00002105: PUSH1 0x07
00002107: SLOAD
00002108: PUSH2 0x0100
0000210b: SWAP1
0000210c: DIV
0000210d: PUSH1 0xff
0000210f: AND
00002110: ISZERO
00002111: PUSH2 0x2156
00002114: JUMPI
00002115: PUSH1 0x40
00002117: DUP1
00002118: MLOAD
00002119: PUSH3 0x461bcd
0000211d: PUSH1 0xe5
0000211f: SHL
00002120: DUP2
00002121: MSTORE
00002122: PUSH1 0x20
00002124: PUSH1 0x04
00002126: DUP3
00002127: ADD
00002128: MSTORE
00002129: PUSH1 0x12
0000212b: PUSH1 0x24
0000212d: DUP3
0000212e: ADD
0000212f: MSTORE
00002130: PUSH18 0x10dbdb9d1c9858dd081a5cc81b1bd8dad959
00002143: PUSH1 0x72
00002145: SHL
00002146: PUSH1 0x44
00002148: DUP3
00002149: ADD
0000214a: MSTORE
0000214b: SWAP1
0000214c: MLOAD
0000214d: SWAP1
0000214e: DUP2
0000214f: SWAP1
00002150: SUB
00002151: PUSH1 0x64
00002153: ADD
00002154: SWAP1
00002155: REVERT
00002156: JUMPDEST
00002157: PUSH1 0x00
00002159: PUSH1 0x08
0000215b: SSTORE
0000215c: JUMP
0000215d: JUMPDEST
0000215e: PUSH1 0x0a
00002160: PUSH1 0x20
00002162: MSTORE
00002163: PUSH1 0x00
00002165: SWAP1
00002166: DUP2
00002167: MSTORE
00002168: PUSH1 0x40
0000216a: SWAP1
0000216b: KECCAK256
0000216c: SLOAD
0000216d: DUP2
0000216e: JUMP
0000216f: JUMPDEST
00002170: PUSH1 0x0e
00002172: SLOAD
00002173: DUP2
00002174: JUMP
00002175: JUMPDEST
00002176: PUSH1 0x01
00002178: PUSH1 0x01
0000217a: PUSH1 0xa0
0000217c: SHL
0000217d: SUB
0000217e: SWAP2
0000217f: DUP3
00002180: AND
00002181: PUSH1 0x00
00002183: SWAP1
00002184: DUP2
00002185: MSTORE
00002186: PUSH1 0x03
00002188: PUSH1 0x20
0000218a: SWAP1
0000218b: DUP2
0000218c: MSTORE
0000218d: PUSH1 0x40
0000218f: DUP1
00002190: DUP4
00002191: KECCAK256
00002192: SWAP4
00002193: SWAP1
00002194: SWAP5
00002195: AND
00002196: DUP3
00002197: MSTORE
00002198: SWAP2
00002199: SWAP1
0000219a: SWAP2
0000219b: MSTORE
0000219c: KECCAK256
0000219d: SLOAD
0000219e: PUSH1 0xff
000021a0: AND
000021a1: SWAP1
000021a2: JUMP
000021a3: JUMPDEST
000021a4: PUSH5 0x8000000000
000021aa: OR
000021ab: SWAP1
000021ac: JUMP
000021ad: JUMPDEST
000021ae: PUSH1 0x01
000021b0: PUSH1 0x01
000021b2: PUSH1 0xa0
000021b4: SHL
000021b5: SUB
000021b6: DUP5
000021b7: AND
000021b8: PUSH2 0x21f2
000021bb: JUMPI
000021bc: PUSH1 0x40
000021be: MLOAD
000021bf: PUSH3 0x461bcd
000021c3: PUSH1 0xe5
000021c5: SHL
000021c6: DUP2
000021c7: MSTORE
000021c8: PUSH1 0x04
000021ca: ADD
000021cb: DUP1
000021cc: DUP1
000021cd: PUSH1 0x20
000021cf: ADD
000021d0: DUP3
000021d1: DUP2
000021d2: SUB
000021d3: DUP3
000021d4: MSTORE
000021d5: PUSH1 0x25
000021d7: DUP2
000021d8: MSTORE
000021d9: PUSH1 0x20
000021db: ADD
000021dc: DUP1
000021dd: PUSH2 0x35ee
000021e0: PUSH1 0x25
000021e2: SWAP2
000021e3: CODECOPY
000021e4: PUSH1 0x40
000021e6: ADD
000021e7: SWAP2
000021e8: POP
000021e9: POP
000021ea: PUSH1 0x40
000021ec: MLOAD
000021ed: DUP1
000021ee: SWAP2
000021ef: SUB
000021f0: SWAP1
000021f1: REVERT
000021f2: JUMPDEST
000021f3: PUSH2 0x21fa
000021f6: PUSH2 0x27d9
000021f9: JUMP
000021fa: JUMPDEST
000021fb: PUSH1 0x01
000021fd: PUSH1 0x01
000021ff: PUSH1 0xa0
00002201: SHL
00002202: SUB
00002203: AND
00002204: DUP6
00002205: PUSH1 0x01
00002207: PUSH1 0x01
00002209: PUSH1 0xa0
0000220b: SHL
0000220c: SUB
0000220d: AND
0000220e: EQ
0000220f: DUP1
00002210: PUSH2 0x2220
00002213: JUMPI
00002214: POP
00002215: PUSH2 0x2220
00002218: DUP6
00002219: PUSH2 0x13cd
0000221c: PUSH2 0x27d9
0000221f: JUMP
00002220: JUMPDEST
00002221: PUSH2 0x225b
00002224: JUMPI
00002225: PUSH1 0x40
00002227: MLOAD
00002228: PUSH3 0x461bcd
0000222c: PUSH1 0xe5
0000222e: SHL
0000222f: DUP2
00002230: MSTORE
00002231: PUSH1 0x04
00002233: ADD
00002234: DUP1
00002235: DUP1
00002236: PUSH1 0x20
00002238: ADD
00002239: DUP3
0000223a: DUP2
0000223b: SUB
0000223c: DUP3
0000223d: MSTORE
0000223e: PUSH1 0x29
00002240: DUP2
00002241: MSTORE
00002242: PUSH1 0x20
00002244: ADD
00002245: DUP1
00002246: PUSH2 0x35c5
00002249: PUSH1 0x29
0000224b: SWAP2
0000224c: CODECOPY
0000224d: PUSH1 0x40
0000224f: ADD
00002250: SWAP2
00002251: POP
00002252: POP
00002253: PUSH1 0x40
00002255: MLOAD
00002256: DUP1
00002257: SWAP2
00002258: SUB
00002259: SWAP1
0000225a: REVERT
0000225b: JUMPDEST
0000225c: PUSH1 0x00
0000225e: PUSH2 0x2265
00002261: PUSH2 0x27d9
00002264: JUMP
00002265: JUMPDEST
00002266: SWAP1
00002267: POP
00002268: PUSH2 0x2285
0000226b: DUP2
0000226c: DUP8
0000226d: DUP8
0000226e: PUSH2 0x2276
00002271: DUP9
00002272: PUSH2 0x306a
00002275: JUMP
00002276: JUMPDEST
00002277: PUSH2 0x227f
0000227a: DUP9
0000227b: PUSH2 0x306a
0000227e: JUMP
0000227f: JUMPDEST
00002280: DUP8
00002281: PUSH2 0x2af9
00002284: JUMP
00002285: JUMPDEST
00002286: PUSH2 0x22cc
00002289: DUP4
0000228a: PUSH1 0x40
0000228c: MLOAD
0000228d: DUP1
0000228e: PUSH1 0x60
00002290: ADD
00002291: PUSH1 0x40
00002293: MSTORE
00002294: DUP1
00002295: PUSH1 0x2a
00002297: DUP2
00002298: MSTORE
00002299: PUSH1 0x20
0000229b: ADD
0000229c: PUSH2 0x3668
0000229f: PUSH1 0x2a
000022a1: SWAP2
000022a2: CODECOPY
000022a3: PUSH1 0x00
000022a5: DUP8
000022a6: DUP2
000022a7: MSTORE
000022a8: PUSH1 0x02
000022aa: PUSH1 0x20
000022ac: SWAP1
000022ad: DUP2
000022ae: MSTORE
000022af: PUSH1 0x40
000022b1: DUP1
000022b2: DUP4
000022b3: KECCAK256
000022b4: PUSH1 0x01
000022b6: PUSH1 0x01
000022b8: PUSH1 0xa0
000022ba: SHL
000022bb: SUB
000022bc: DUP14
000022bd: AND
000022be: DUP5
000022bf: MSTORE
000022c0: SWAP1
000022c1: SWAP2
000022c2: MSTORE
000022c3: SWAP1
000022c4: KECCAK256
000022c5: SLOAD
000022c6: SWAP2
000022c7: SWAP1
000022c8: PUSH2 0x2b88
000022cb: JUMP
000022cc: JUMPDEST
000022cd: PUSH1 0x00
000022cf: DUP6
000022d0: DUP2
000022d1: MSTORE
000022d2: PUSH1 0x02
000022d4: PUSH1 0x20
000022d6: SWAP1
000022d7: DUP2
000022d8: MSTORE
000022d9: PUSH1 0x40
000022db: DUP1
000022dc: DUP4
000022dd: KECCAK256
000022de: PUSH1 0x01
000022e0: PUSH1 0x01
000022e2: PUSH1 0xa0
000022e4: SHL
000022e5: SUB
000022e6: DUP12
000022e7: DUP2
000022e8: AND
000022e9: DUP6
000022ea: MSTORE
000022eb: SWAP3
000022ec: MSTORE
000022ed: DUP1
000022ee: DUP4
000022ef: KECCAK256
000022f0: SWAP4
000022f1: SWAP1
000022f2: SWAP4
000022f3: SSTORE
000022f4: DUP8
000022f5: AND
000022f6: DUP2
000022f7: MSTORE
000022f8: KECCAK256
000022f9: SLOAD
000022fa: PUSH2 0x2303
000022fd: SWAP1
000022fe: DUP5
000022ff: PUSH2 0x28ca
00002302: JUMP
00002303: JUMPDEST
00002304: PUSH1 0x00
00002306: DUP6
00002307: DUP2
00002308: MSTORE
00002309: PUSH1 0x02
0000230b: PUSH1 0x20
0000230d: SWAP1
0000230e: DUP2
0000230f: MSTORE
00002310: PUSH1 0x40
00002312: DUP1
00002313: DUP4
00002314: KECCAK256
00002315: PUSH1 0x01
00002317: PUSH1 0x01
00002319: PUSH1 0xa0
0000231b: SHL
0000231c: SUB
0000231d: DUP1
0000231e: DUP12
0000231f: AND
00002320: DUP1
00002321: DUP7
00002322: MSTORE
00002323: SWAP2
00002324: DUP5
00002325: MSTORE
00002326: SWAP4
00002327: DUP3
00002328: SWAP1
00002329: KECCAK256
0000232a: SWAP5
0000232b: SWAP1
0000232c: SWAP5
0000232d: SSTORE
0000232e: DUP1
0000232f: MLOAD
00002330: DUP9
00002331: DUP2
00002332: MSTORE
00002333: SWAP2
00002334: DUP3
00002335: ADD
00002336: DUP8
00002337: SWAP1
00002338: MSTORE
00002339: DUP1
0000233a: MLOAD
0000233b: DUP11
0000233c: DUP5
0000233d: AND
0000233e: SWAP4
0000233f: DUP7
00002340: AND
00002341: SWAP3
00002342: PUSH32 0xc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62
00002363: SWAP3
00002364: SWAP1
00002365: DUP3
00002366: SWAP1
00002367: SUB
00002368: ADD
00002369: SWAP1
0000236a: LOG4
0000236b: PUSH2 0x1615
0000236e: DUP2
0000236f: DUP8
00002370: DUP8
00002371: DUP8
00002372: DUP8
00002373: DUP8
00002374: PUSH2 0x30af
00002377: JUMP
00002378: JUMPDEST
00002379: PUSH2 0x2380
0000237c: PUSH2 0x27d9
0000237f: JUMP
00002380: JUMPDEST
00002381: PUSH1 0x01
00002383: PUSH1 0x01
00002385: PUSH1 0xa0
00002387: SHL
00002388: SUB
00002389: AND
0000238a: PUSH2 0x2391
0000238d: PUSH2 0x1c8f
00002390: JUMP
00002391: JUMPDEST
00002392: PUSH1 0x01
00002394: PUSH1 0x01
00002396: PUSH1 0xa0
00002398: SHL
00002399: SUB
0000239a: AND
0000239b: EQ
0000239c: PUSH2 0x23da
0000239f: JUMPI
000023a0: PUSH1 0x40
000023a2: DUP1
000023a3: MLOAD
000023a4: PUSH3 0x461bcd
000023a8: PUSH1 0xe5
000023aa: SHL
000023ab: DUP2
000023ac: MSTORE
000023ad: PUSH1 0x20
000023af: PUSH1 0x04
000023b1: DUP3
000023b2: ADD
000023b3: DUP2
000023b4: SWAP1
000023b5: MSTORE
000023b6: PUSH1 0x24
000023b8: DUP3
000023b9: ADD
000023ba: MSTORE
000023bb: PUSH1 0x00
000023bd: DUP1
000023be: MLOAD
000023bf: PUSH1 0x20
000023c1: PUSH2 0x36b3
000023c4: DUP4
000023c5: CODECOPY
000023c6: DUP2
000023c7: MLOAD
000023c8: SWAP2
000023c9: MSTORE
000023ca: PUSH1 0x44
000023cc: DUP3
000023cd: ADD
000023ce: MSTORE
000023cf: SWAP1
000023d0: MLOAD
000023d1: SWAP1
000023d2: DUP2
000023d3: SWAP1
000023d4: SUB
000023d5: PUSH1 0x64
000023d7: ADD
000023d8: SWAP1
000023d9: REVERT
000023da: JUMPDEST
000023db: PUSH1 0x01
000023dd: PUSH1 0x01
000023df: PUSH1 0xa0
000023e1: SHL
000023e2: SUB
000023e3: DUP2
000023e4: AND
000023e5: PUSH2 0x241f
000023e8: JUMPI
000023e9: PUSH1 0x40
000023eb: MLOAD
000023ec: PUSH3 0x461bcd
000023f0: PUSH1 0xe5
000023f2: SHL
000023f3: DUP2
000023f4: MSTORE
000023f5: PUSH1 0x04
000023f7: ADD
000023f8: DUP1
000023f9: DUP1
000023fa: PUSH1 0x20
000023fc: ADD
000023fd: DUP3
000023fe: DUP2
000023ff: SUB
00002400: DUP3
00002401: MSTORE
00002402: PUSH1 0x26
00002404: DUP2
00002405: MSTORE
00002406: PUSH1 0x20
00002408: ADD
00002409: DUP1
0000240a: PUSH2 0x357b
0000240d: PUSH1 0x26
0000240f: SWAP2
00002410: CODECOPY
00002411: PUSH1 0x40
00002413: ADD
00002414: SWAP2
00002415: POP
00002416: POP
00002417: PUSH1 0x40
00002419: MLOAD
0000241a: DUP1
0000241b: SWAP2
0000241c: SUB
0000241d: SWAP1
0000241e: REVERT
0000241f: JUMPDEST
00002420: PUSH1 0x00
00002422: DUP1
00002423: SLOAD
00002424: PUSH1 0x40
00002426: MLOAD
00002427: PUSH1 0x01
00002429: PUSH1 0x01
0000242b: PUSH1 0xa0
0000242d: SHL
0000242e: SUB
0000242f: DUP1
00002430: DUP6
00002431: AND
00002432: SWAP4
00002433: SWAP3
00002434: AND
00002435: SWAP2
00002436: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002457: SWAP2
00002458: LOG3
00002459: PUSH1 0x00
0000245b: DUP1
0000245c: SLOAD
0000245d: PUSH1 0x01
0000245f: PUSH1 0x01
00002461: PUSH1 0xa0
00002463: SHL
00002464: SUB
00002465: NOT
00002466: AND
00002467: PUSH1 0x01
00002469: PUSH1 0x01
0000246b: PUSH1 0xa0
0000246d: SHL
0000246e: SUB
0000246f: SWAP3
00002470: SWAP1
00002471: SWAP3
00002472: AND
00002473: SWAP2
00002474: SWAP1
00002475: SWAP2
00002476: OR
00002477: SWAP1
00002478: SSTORE
00002479: JUMP
0000247a: JUMPDEST
0000247b: PUSH2 0x2482
0000247e: PUSH2 0x27d9
00002481: JUMP
00002482: JUMPDEST
00002483: PUSH1 0x01
00002485: PUSH1 0x01
00002487: PUSH1 0xa0
00002489: SHL
0000248a: SUB
0000248b: AND
0000248c: PUSH2 0x2493
0000248f: PUSH2 0x1c8f
00002492: JUMP
00002493: JUMPDEST
00002494: PUSH1 0x01
00002496: PUSH1 0x01
00002498: PUSH1 0xa0
0000249a: SHL
0000249b: SUB
0000249c: AND
0000249d: EQ
0000249e: PUSH2 0x24dc
000024a1: JUMPI
000024a2: PUSH1 0x40
000024a4: DUP1
000024a5: MLOAD
000024a6: PUSH3 0x461bcd
000024aa: PUSH1 0xe5
000024ac: SHL
000024ad: DUP2
000024ae: MSTORE
000024af: PUSH1 0x20
000024b1: PUSH1 0x04
000024b3: DUP3
000024b4: ADD
000024b5: DUP2
000024b6: SWAP1
000024b7: MSTORE
000024b8: PUSH1 0x24
000024ba: DUP3
000024bb: ADD
000024bc: MSTORE
000024bd: PUSH1 0x00
000024bf: DUP1
000024c0: MLOAD
000024c1: PUSH1 0x20
000024c3: PUSH2 0x36b3
000024c6: DUP4
000024c7: CODECOPY
000024c8: DUP2
000024c9: MLOAD
000024ca: SWAP2
000024cb: MSTORE
000024cc: PUSH1 0x44
000024ce: DUP3
000024cf: ADD
000024d0: MSTORE
000024d1: SWAP1
000024d2: MLOAD
000024d3: SWAP1
000024d4: DUP2
000024d5: SWAP1
000024d6: SUB
000024d7: PUSH1 0x64
000024d9: ADD
000024da: SWAP1
000024db: REVERT
000024dc: JUMPDEST
000024dd: PUSH1 0x07
000024df: SLOAD
000024e0: PUSH2 0x0100
000024e3: SWAP1
000024e4: DIV
000024e5: PUSH1 0xff
000024e7: AND
000024e8: ISZERO
000024e9: PUSH2 0x252e
000024ec: JUMPI
000024ed: PUSH1 0x40
000024ef: DUP1
000024f0: MLOAD
000024f1: PUSH3 0x461bcd
000024f5: PUSH1 0xe5
000024f7: SHL
000024f8: DUP2
000024f9: MSTORE
000024fa: PUSH1 0x20
000024fc: PUSH1 0x04
000024fe: DUP3
000024ff: ADD
00002500: MSTORE
00002501: PUSH1 0x12
00002503: PUSH1 0x24
00002505: DUP3
00002506: ADD
00002507: MSTORE
00002508: PUSH18 0x10dbdb9d1c9858dd081a5cc81b1bd8dad959
0000251b: PUSH1 0x72
0000251d: SHL
0000251e: PUSH1 0x44
00002520: DUP3
00002521: ADD
00002522: MSTORE
00002523: SWAP1
00002524: MLOAD
00002525: SWAP1
00002526: DUP2
00002527: SWAP1
00002528: SUB
00002529: PUSH1 0x64
0000252b: ADD
0000252c: SWAP1
0000252d: REVERT
0000252e: JUMPDEST
0000252f: PUSH1 0x08
00002531: SLOAD
00002532: PUSH1 0x00
00002534: SWAP1
00002535: DUP2
00002536: MSTORE
00002537: PUSH1 0x09
00002539: PUSH1 0x20
0000253b: SWAP1
0000253c: DUP2
0000253d: MSTORE
0000253e: PUSH1 0x40
00002540: SWAP1
00002541: SWAP2
00002542: KECCAK256
00002543: DUP3
00002544: MLOAD
00002545: PUSH2 0x2550
00002548: SWAP3
00002549: DUP5
0000254a: ADD
0000254b: SWAP1
0000254c: PUSH2 0x3376
0000254f: JUMP
00002550: JUMPDEST
00002551: POP
00002552: PUSH1 0x08
00002554: SLOAD
00002555: PUSH2 0x255f
00002558: SWAP1
00002559: PUSH1 0x01
0000255b: PUSH2 0x28ca
0000255e: JUMP
0000255f: JUMPDEST
00002560: PUSH1 0x08
00002562: SSTORE
00002563: POP
00002564: JUMP
00002565: JUMPDEST
00002566: PUSH1 0x07
00002568: SLOAD
00002569: PUSH1 0xff
0000256b: AND
0000256c: PUSH2 0x25b3
0000256f: JUMPI
00002570: PUSH1 0x40
00002572: DUP1
00002573: MLOAD
00002574: PUSH3 0x461bcd
00002578: PUSH1 0xe5
0000257a: SHL
0000257b: DUP2
0000257c: MSTORE
0000257d: PUSH1 0x20
0000257f: PUSH1 0x04
00002581: DUP3
00002582: ADD
00002583: MSTORE
00002584: PUSH1 0x14
00002586: PUSH1 0x24
00002588: DUP3
00002589: ADD
0000258a: MSTORE
0000258b: PUSH20 0x10dbdb9d1c9858dd081a5cc8191a5cd8589b1959
000025a0: PUSH1 0x62
000025a2: SHL
000025a3: PUSH1 0x44
000025a5: DUP3
000025a6: ADD
000025a7: MSTORE
000025a8: SWAP1
000025a9: MLOAD
000025aa: SWAP1
000025ab: DUP2
000025ac: SWAP1
000025ad: SUB
000025ae: PUSH1 0x64
000025b0: ADD
000025b1: SWAP1
000025b2: REVERT
000025b3: JUMPDEST
000025b4: PUSH1 0x00
000025b6: DUP3
000025b7: DUP2
000025b8: MSTORE
000025b9: PUSH1 0x0c
000025bb: PUSH1 0x20
000025bd: MSTORE
000025be: PUSH1 0x40
000025c0: SWAP1
000025c1: KECCAK256
000025c2: SLOAD
000025c3: PUSH1 0x01
000025c5: PUSH1 0x01
000025c7: PUSH1 0xa0
000025c9: SHL
000025ca: SUB
000025cb: AND
000025cc: PUSH2 0x2612
000025cf: JUMPI
000025d0: PUSH1 0x40
000025d2: DUP1
000025d3: MLOAD
000025d4: PUSH3 0x461bcd
000025d8: PUSH1 0xe5
000025da: SHL
000025db: DUP2
000025dc: MSTORE
000025dd: PUSH1 0x20
000025df: PUSH1 0x04
000025e1: DUP3
000025e2: ADD
000025e3: MSTORE
000025e4: PUSH1 0x13
000025e6: PUSH1 0x24
000025e8: DUP3
000025e9: ADD
000025ea: MSTORE
000025eb: PUSH19 0x14d9595908191bd95cc81b9bdd08195e1a5cdd
000025ff: PUSH1 0x6a
00002601: SHL
00002602: PUSH1 0x44
00002604: DUP3
00002605: ADD
00002606: MSTORE
00002607: SWAP1
00002608: MLOAD
00002609: SWAP1
0000260a: DUP2
0000260b: SWAP1
0000260c: SUB
0000260d: PUSH1 0x64
0000260f: ADD
00002610: SWAP1
00002611: REVERT
00002612: JUMPDEST
00002613: PUSH1 0x00
00002615: PUSH2 0x261d
00002618: DUP4
00002619: PUSH2 0x21a3
0000261c: JUMP
0000261d: JUMPDEST
0000261e: PUSH1 0x00
00002620: DUP2
00002621: DUP2
00002622: MSTORE
00002623: PUSH1 0x0a
00002625: PUSH1 0x20
00002627: MSTORE
00002628: PUSH1 0x40
0000262a: SWAP1
0000262b: KECCAK256
0000262c: SLOAD
0000262d: SWAP1
0000262e: SWAP2
0000262f: POP
00002630: DUP3
00002631: DUP2
00002632: LT
00002633: ISZERO
00002634: PUSH2 0x2679
00002637: JUMPI
00002638: PUSH1 0x40
0000263a: DUP1
0000263b: MLOAD
0000263c: PUSH3 0x461bcd
00002640: PUSH1 0xe5
00002642: SHL
00002643: DUP2
00002644: MSTORE
00002645: PUSH1 0x20
00002647: PUSH1 0x04
00002649: DUP3
0000264a: ADD
0000264b: MSTORE
0000264c: PUSH1 0x12
0000264e: PUSH1 0x24
00002650: DUP3
00002651: ADD
00002652: MSTORE
00002653: PUSH18 0x135a5b881cdd5c1c1b1e481b9bdd081b595d
00002666: PUSH1 0x72
00002668: SHL
00002669: PUSH1 0x44
0000266b: DUP3
0000266c: ADD
0000266d: MSTORE
0000266e: SWAP1
0000266f: MLOAD
00002670: SWAP1
00002671: DUP2
00002672: SWAP1
00002673: SUB
00002674: PUSH1 0x64
00002676: ADD
00002677: SWAP1
00002678: REVERT
00002679: JUMPDEST
0000267a: PUSH1 0x00
0000267c: PUSH2 0x2684
0000267f: DUP3
00002680: PUSH2 0x1692
00002683: JUMP
00002684: JUMPDEST
00002685: PUSH1 0x00
00002687: DUP5
00002688: DUP2
00002689: MSTORE
0000268a: PUSH1 0x0a
0000268c: PUSH1 0x20
0000268e: MSTORE
0000268f: PUSH1 0x40
00002691: DUP2
00002692: KECCAK256
00002693: SLOAD
00002694: SWAP2
00002695: SWAP3
00002696: POP
00002697: SWAP1
00002698: PUSH2 0x26a2
0000269b: SWAP1
0000269c: PUSH1 0x01
0000269e: PUSH2 0x2e95
000026a1: JUMP
000026a2: JUMPDEST
000026a3: PUSH1 0x00
000026a5: DUP6
000026a6: DUP2
000026a7: MSTORE
000026a8: PUSH1 0x0a
000026aa: PUSH1 0x20
000026ac: MSTORE
000026ad: PUSH1 0x40
000026af: SWAP1
000026b0: KECCAK256
000026b1: DUP2
000026b2: SWAP1
000026b3: SSTORE
000026b4: PUSH1 0x0e
000026b6: SLOAD
000026b7: SWAP1
000026b8: SWAP2
000026b9: POP
000026ba: PUSH2 0x26c3
000026bd: SWAP1
000026be: DUP4
000026bf: PUSH2 0x2e95
000026c2: JUMP
000026c3: JUMPDEST
000026c4: PUSH1 0x0e
000026c6: SSTORE
000026c7: PUSH2 0x26d2
000026ca: CALLER
000026cb: DUP6
000026cc: PUSH1 0x01
000026ce: PUSH2 0x3220
000026d1: JUMP
000026d2: JUMPDEST
000026d3: PUSH1 0x40
000026d5: MLOAD
000026d6: PUSH1 0x00
000026d8: SWAP1
000026d9: CALLER
000026da: SWAP1
000026db: DUP5
000026dc: SWAP1
000026dd: DUP4
000026de: DUP2
000026df: DUP2
000026e0: DUP2
000026e1: DUP6
000026e2: DUP8
000026e3: GAS
000026e4: CALL
000026e5: SWAP3
000026e6: POP
000026e7: POP
000026e8: POP
000026e9: RETURNDATASIZE
000026ea: DUP1
000026eb: PUSH1 0x00
000026ed: DUP2
000026ee: EQ
000026ef: PUSH2 0x2714
000026f2: JUMPI
000026f3: PUSH1 0x40
000026f5: MLOAD
000026f6: SWAP2
000026f7: POP
000026f8: PUSH1 0x1f
000026fa: NOT
000026fb: PUSH1 0x3f
000026fd: RETURNDATASIZE
000026fe: ADD
000026ff: AND
00002700: DUP3
00002701: ADD
00002702: PUSH1 0x40
00002704: MSTORE
00002705: RETURNDATASIZE
00002706: DUP3
00002707: MSTORE
00002708: RETURNDATASIZE
00002709: PUSH1 0x00
0000270b: PUSH1 0x20
0000270d: DUP5
0000270e: ADD
0000270f: RETURNDATACOPY
00002710: PUSH2 0x2719
00002713: JUMP
00002714: JUMPDEST
00002715: PUSH1 0x60
00002717: SWAP2
00002718: POP
00002719: JUMPDEST
0000271a: POP
0000271b: POP
0000271c: SWAP1
0000271d: POP
0000271e: DUP1
0000271f: PUSH2 0x2765
00002722: JUMPI
00002723: PUSH1 0x40
00002725: DUP1
00002726: MLOAD
00002727: PUSH3 0x461bcd
0000272b: PUSH1 0xe5
0000272d: SHL
0000272e: DUP2
0000272f: MSTORE
00002730: PUSH1 0x20
00002732: PUSH1 0x04
00002734: DUP3
00002735: ADD
00002736: MSTORE
00002737: PUSH1 0x13
00002739: PUSH1 0x24
0000273b: DUP3
0000273c: ADD
0000273d: MSTORE
0000273e: PUSH19 0x109d5c9b881c185e5b595b9d0819985a5b1959
00002752: PUSH1 0x6a
00002754: SHL
00002755: PUSH1 0x44
00002757: DUP3
00002758: ADD
00002759: MSTORE
0000275a: SWAP1
0000275b: MLOAD
0000275c: SWAP1
0000275d: DUP2
0000275e: SWAP1
0000275f: SUB
00002760: PUSH1 0x64
00002762: ADD
00002763: SWAP1
00002764: REVERT
00002765: JUMPDEST
00002766: DUP7
00002767: CALLER
00002768: PUSH32 0x28c10a3ed4dd25f5f55dfd6c310c0e429c49e5e360db37f0cb3dbef72343e80f
00002789: DUP8
0000278a: DUP7
0000278b: PUSH2 0x2793
0000278e: DUP10
0000278f: PUSH2 0x1e9b
00002792: JUMP
00002793: JUMPDEST
00002794: PUSH2 0x279c
00002797: DUP9
00002798: PUSH2 0x1692
0000279b: JUMP
0000279c: JUMPDEST
0000279d: PUSH1 0x0e
0000279f: SLOAD
000027a0: PUSH1 0x40
000027a2: DUP1
000027a3: MLOAD
000027a4: SWAP6
000027a5: DUP7
000027a6: MSTORE
000027a7: PUSH1 0x20
000027a9: DUP7
000027aa: ADD
000027ab: SWAP5
000027ac: SWAP1
000027ad: SWAP5
000027ae: MSTORE
000027af: DUP5
000027b0: DUP5
000027b1: ADD
000027b2: SWAP3
000027b3: SWAP1
000027b4: SWAP3
000027b5: MSTORE
000027b6: PUSH1 0x60
000027b8: DUP5
000027b9: ADD
000027ba: MSTORE
000027bb: PUSH1 0x80
000027bd: DUP4
000027be: ADD
000027bf: DUP9
000027c0: SWAP1
000027c1: MSTORE
000027c2: PUSH1 0xa0
000027c4: DUP4
000027c5: ADD
000027c6: MSTORE
000027c7: MLOAD
000027c8: SWAP1
000027c9: DUP2
000027ca: SWAP1
000027cb: SUB
000027cc: PUSH1 0xc0
000027ce: ADD
000027cf: SWAP1
000027d0: LOG3
000027d1: POP
000027d2: POP
000027d3: POP
000027d4: POP
000027d5: POP
000027d6: POP
000027d7: POP
000027d8: JUMP
000027d9: JUMPDEST
000027da: CALLER
000027db: SWAP1
000027dc: JUMP
000027dd: JUMPDEST
000027de: DUP1
000027df: MLOAD
000027e0: PUSH2 0x1756
000027e3: SWAP1
000027e4: PUSH1 0x06
000027e6: SWAP1
000027e7: PUSH1 0x20
000027e9: DUP5
000027ea: ADD
000027eb: SWAP1
000027ec: PUSH2 0x3376
000027ef: JUMP
000027f0: JUMPDEST
000027f1: PUSH1 0x60
000027f3: DUP2
000027f4: PUSH2 0x2815
000027f7: JUMPI
000027f8: POP
000027f9: PUSH1 0x40
000027fb: DUP1
000027fc: MLOAD
000027fd: DUP1
000027fe: DUP3
000027ff: ADD
00002800: SWAP1
00002801: SWAP2
00002802: MSTORE
00002803: PUSH1 0x01
00002805: DUP2
00002806: MSTORE
00002807: PUSH1 0x03
00002809: PUSH1 0xfc
0000280b: SHL
0000280c: PUSH1 0x20
0000280e: DUP3
0000280f: ADD
00002810: MSTORE
00002811: PUSH2 0x0d99
00002814: JUMP
00002815: JUMPDEST
00002816: DUP2
00002817: DUP1
00002818: PUSH1 0x00
0000281a: JUMPDEST
0000281b: DUP3
0000281c: ISZERO
0000281d: PUSH2 0x282e
00002820: JUMPI
00002821: PUSH1 0x01
00002823: ADD
00002824: PUSH1 0x0a
00002826: DUP4
00002827: DIV
00002828: SWAP3
00002829: POP
0000282a: PUSH2 0x281a
0000282d: JUMP
0000282e: JUMPDEST
0000282f: PUSH1 0x00
00002831: DUP2
00002832: PUSH8 0xffffffffffffffff
0000283b: DUP2
0000283c: GT
0000283d: DUP1
0000283e: ISZERO
0000283f: PUSH2 0x2847
00002842: JUMPI
00002843: PUSH1 0x00
00002845: DUP1
00002846: REVERT
00002847: JUMPDEST
00002848: POP
00002849: PUSH1 0x40
0000284b: MLOAD
0000284c: SWAP1
0000284d: DUP1
0000284e: DUP3
0000284f: MSTORE
00002850: DUP1
00002851: PUSH1 0x1f
00002853: ADD
00002854: PUSH1 0x1f
00002856: NOT
00002857: AND
00002858: PUSH1 0x20
0000285a: ADD
0000285b: DUP3
0000285c: ADD
0000285d: PUSH1 0x40
0000285f: MSTORE
00002860: DUP1
00002861: ISZERO
00002862: PUSH2 0x2872
00002865: JUMPI
00002866: PUSH1 0x20
00002868: DUP3
00002869: ADD
0000286a: DUP2
0000286b: DUP1
0000286c: CALLDATASIZE
0000286d: DUP4
0000286e: CALLDATACOPY
0000286f: ADD
00002870: SWAP1
00002871: POP
00002872: JUMPDEST
00002873: POP
00002874: SWAP1
00002875: POP
00002876: PUSH1 0x00
00002878: NOT
00002879: DUP3
0000287a: ADD
0000287b: JUMPDEST
0000287c: DUP4
0000287d: ISZERO
0000287e: PUSH2 0x28c0
00002881: JUMPI
00002882: PUSH1 0x0a
00002884: DUP5
00002885: MOD
00002886: PUSH1 0x30
00002888: ADD
00002889: PUSH1 0xf8
0000288b: SHL
0000288c: DUP3
0000288d: DUP3
0000288e: DUP1
0000288f: PUSH1 0x01
00002891: SWAP1
00002892: SUB
00002893: SWAP4
00002894: POP
00002895: DUP2
00002896: MLOAD
00002897: DUP2
00002898: LT
00002899: PUSH2 0x289e
0000289c: JUMPI
0000289d: INVALID
0000289e: JUMPDEST
0000289f: PUSH1 0x20
000028a1: ADD
000028a2: ADD
000028a3: SWAP1
000028a4: PUSH1 0x01
000028a6: PUSH1 0x01
000028a8: PUSH1 0xf8
000028aa: SHL
000028ab: SUB
000028ac: NOT
000028ad: AND
000028ae: SWAP1
000028af: DUP2
000028b0: PUSH1 0x00
000028b2: BYTE
000028b3: SWAP1
000028b4: MSTORE8
000028b5: POP
000028b6: PUSH1 0x0a
000028b8: DUP5
000028b9: DIV
000028ba: SWAP4
000028bb: POP
000028bc: PUSH2 0x287b
000028bf: JUMP
000028c0: JUMPDEST
000028c1: POP
000028c2: SWAP6
000028c3: SWAP5
000028c4: POP
000028c5: POP
000028c6: POP
000028c7: POP
000028c8: POP
000028c9: JUMP
000028ca: JUMPDEST
000028cb: PUSH1 0x00
000028cd: DUP3
000028ce: DUP3
000028cf: ADD
000028d0: DUP4
000028d1: DUP2
000028d2: LT
000028d3: ISZERO
000028d4: PUSH2 0x1fac
000028d7: JUMPI
000028d8: PUSH1 0x40
000028da: DUP1
000028db: MLOAD
000028dc: PUSH3 0x461bcd
000028e0: PUSH1 0xe5
000028e2: SHL
000028e3: DUP2
000028e4: MSTORE
000028e5: PUSH1 0x20
000028e7: PUSH1 0x04
000028e9: DUP3
000028ea: ADD
000028eb: MSTORE
000028ec: PUSH1 0x1b
000028ee: PUSH1 0x24
000028f0: DUP3
000028f1: ADD
000028f2: MSTORE
000028f3: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00002914: PUSH1 0x44
00002916: DUP3
00002917: ADD
00002918: MSTORE
00002919: SWAP1
0000291a: MLOAD
0000291b: SWAP1
0000291c: DUP2
0000291d: SWAP1
0000291e: SUB
0000291f: PUSH1 0x64
00002921: ADD
00002922: SWAP1
00002923: REVERT
00002924: JUMPDEST
00002925: PUSH1 0x40
00002927: DUP1
00002928: MLOAD
00002929: NUMBER
0000292a: PUSH1 0x20
0000292c: DUP1
0000292d: DUP4
0000292e: ADD
0000292f: DUP3
00002930: SWAP1
00002931: MSTORE
00002932: PUSH1 0x00
00002934: NOT
00002935: SWAP1
00002936: SWAP2
00002937: ADD
00002938: BLOCKHASH
00002939: DUP3
0000293a: DUP5
0000293b: ADD
0000293c: MSTORE
0000293d: CALLER
0000293e: PUSH1 0x60
00002940: SWAP1
00002941: DUP2
00002942: SHL
00002943: SWAP1
00002944: DUP4
00002945: ADD
00002946: MSTORE
00002947: PUSH1 0x74
00002949: DUP1
0000294a: DUP4
0000294b: ADD
0000294c: DUP6
0000294d: SWAP1
0000294e: MSTORE
0000294f: DUP4
00002950: MLOAD
00002951: DUP1
00002952: DUP5
00002953: SUB
00002954: SWAP1
00002955: SWAP2
00002956: ADD
00002957: DUP2
00002958: MSTORE
00002959: PUSH1 0x94
0000295b: SWAP1
0000295c: SWAP3
0000295d: ADD
0000295e: SWAP1
0000295f: SWAP3
00002960: MSTORE
00002961: DUP1
00002962: MLOAD
00002963: SWAP2
00002964: ADD
00002965: KECCAK256
00002966: PUSH1 0x00
00002968: SWAP1
00002969: PUSH1 0x06
0000296b: DUP2
0000296c: DUP4
0000296d: BYTE
0000296e: MOD
0000296f: PUSH1 0x3b
00002971: PUSH1 0x01
00002973: DUP4
00002974: SWAP1
00002975: BYTE
00002976: MOD
00002977: PUSH1 0x0b
00002979: PUSH1 0x02
0000297b: DUP5
0000297c: SWAP1
0000297d: BYTE
0000297e: MOD
0000297f: PUSH1 0x0c
00002981: PUSH1 0x03
00002983: DUP6
00002984: SWAP1
00002985: BYTE
00002986: MOD
00002987: DUP6
00002988: PUSH2 0x2997
0000298b: PUSH1 0x09
0000298d: PUSH1 0x04
0000298f: DUP9
00002990: SWAP1
00002991: BYTE
00002992: MOD
00002993: PUSH2 0x3353
00002996: JUMP
00002997: JUMPDEST
00002998: SWAP1
00002999: POP
0000299a: DUP1
0000299b: PUSH1 0xff
0000299d: AND
0000299e: PUSH1 0x08
000029a0: DUP4
000029a1: PUSH1 0xff
000029a3: AND
000029a4: PUSH5 0xffffffffff
000029aa: AND
000029ab: SWAP1
000029ac: SHL
000029ad: PUSH1 0x10
000029af: DUP6
000029b0: PUSH1 0xff
000029b2: AND
000029b3: PUSH5 0xffffffffff
000029b9: AND
000029ba: SWAP1
000029bb: SHL
000029bc: PUSH1 0x18
000029be: DUP8
000029bf: PUSH1 0xff
000029c1: AND
000029c2: PUSH5 0xffffffffff
000029c8: AND
000029c9: SWAP1
000029ca: SHL
000029cb: PUSH1 0x20
000029cd: DUP10
000029ce: PUSH1 0xff
000029d0: AND
000029d1: PUSH5 0xffffffffff
000029d7: AND
000029d8: SWAP1
000029d9: SHL
000029da: OR
000029db: OR
000029dc: OR
000029dd: OR
000029de: PUSH5 0xffffffffff
000029e4: AND
000029e5: SWAP7
000029e6: POP
000029e7: POP
000029e8: POP
000029e9: POP
000029ea: POP
000029eb: POP
000029ec: POP
000029ed: SWAP2
000029ee: SWAP1
000029ef: POP
000029f0: JUMP
000029f1: JUMPDEST
000029f2: PUSH1 0x01
000029f4: PUSH1 0x01
000029f6: PUSH1 0xa0
000029f8: SHL
000029f9: SUB
000029fa: DUP5
000029fb: AND
000029fc: PUSH2 0x2a36
000029ff: JUMPI
00002a00: PUSH1 0x40
00002a02: MLOAD
00002a03: PUSH3 0x461bcd
00002a07: PUSH1 0xe5
00002a09: SHL
00002a0a: DUP2
00002a0b: MSTORE
00002a0c: PUSH1 0x04
00002a0e: ADD
00002a0f: DUP1
00002a10: DUP1
00002a11: PUSH1 0x20
00002a13: ADD
00002a14: DUP3
00002a15: DUP2
00002a16: SUB
00002a17: DUP3
00002a18: MSTORE
00002a19: PUSH1 0x21
00002a1b: DUP2
00002a1c: MSTORE
00002a1d: PUSH1 0x20
00002a1f: ADD
00002a20: DUP1
00002a21: PUSH2 0x374d
00002a24: PUSH1 0x21
00002a26: SWAP2
00002a27: CODECOPY
00002a28: PUSH1 0x40
00002a2a: ADD
00002a2b: SWAP2
00002a2c: POP
00002a2d: POP
00002a2e: PUSH1 0x40
00002a30: MLOAD
00002a31: DUP1
00002a32: SWAP2
00002a33: SUB
00002a34: SWAP1
00002a35: REVERT
00002a36: JUMPDEST
00002a37: PUSH1 0x00
00002a39: PUSH2 0x2a40
00002a3c: PUSH2 0x27d9
00002a3f: JUMP
00002a40: JUMPDEST
00002a41: SWAP1
00002a42: POP
00002a43: PUSH2 0x2a52
00002a46: DUP2
00002a47: PUSH1 0x00
00002a49: DUP8
00002a4a: PUSH2 0x2276
00002a4d: DUP9
00002a4e: PUSH2 0x306a
00002a51: JUMP
00002a52: JUMPDEST
00002a53: PUSH1 0x00
00002a55: DUP5
00002a56: DUP2
00002a57: MSTORE
00002a58: PUSH1 0x02
00002a5a: PUSH1 0x20
00002a5c: SWAP1
00002a5d: DUP2
00002a5e: MSTORE
00002a5f: PUSH1 0x40
00002a61: DUP1
00002a62: DUP4
00002a63: KECCAK256
00002a64: PUSH1 0x01
00002a66: PUSH1 0x01
00002a68: PUSH1 0xa0
00002a6a: SHL
00002a6b: SUB
00002a6c: DUP10
00002a6d: AND
00002a6e: DUP5
00002a6f: MSTORE
00002a70: SWAP1
00002a71: SWAP2
00002a72: MSTORE
00002a73: SWAP1
00002a74: KECCAK256
00002a75: SLOAD
00002a76: PUSH2 0x2a7f
00002a79: SWAP1
00002a7a: DUP5
00002a7b: PUSH2 0x28ca
00002a7e: JUMP
00002a7f: JUMPDEST
00002a80: PUSH1 0x00
00002a82: DUP6
00002a83: DUP2
00002a84: MSTORE
00002a85: PUSH1 0x02
00002a87: PUSH1 0x20
00002a89: SWAP1
00002a8a: DUP2
00002a8b: MSTORE
00002a8c: PUSH1 0x40
00002a8e: DUP1
00002a8f: DUP4
00002a90: KECCAK256
00002a91: PUSH1 0x01
00002a93: PUSH1 0x01
00002a95: PUSH1 0xa0
00002a97: SHL
00002a98: SUB
00002a99: DUP1
00002a9a: DUP12
00002a9b: AND
00002a9c: DUP1
00002a9d: DUP7
00002a9e: MSTORE
00002a9f: SWAP2
00002aa0: DUP5
00002aa1: MSTORE
00002aa2: DUP3
00002aa3: DUP6
00002aa4: KECCAK256
00002aa5: SWAP6
00002aa6: SWAP1
00002aa7: SWAP6
00002aa8: SSTORE
00002aa9: DUP2
00002aaa: MLOAD
00002aab: DUP10
00002aac: DUP2
00002aad: MSTORE
00002aae: SWAP3
00002aaf: DUP4
00002ab0: ADD
00002ab1: DUP9
00002ab2: SWAP1
00002ab3: MSTORE
00002ab4: DUP2
00002ab5: MLOAD
00002ab6: SWAP1
00002ab7: SWAP5
00002ab8: DUP7
00002ab9: AND
00002aba: SWAP3
00002abb: PUSH32 0xc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62
00002adc: SWAP3
00002add: SWAP1
00002ade: DUP3
00002adf: SWAP1
00002ae0: SUB
00002ae1: ADD
00002ae2: SWAP1
00002ae3: LOG4
00002ae4: PUSH2 0x2af2
00002ae7: DUP2
00002ae8: PUSH1 0x00
00002aea: DUP8
00002aeb: DUP8
00002aec: DUP8
00002aed: DUP8
00002aee: PUSH2 0x30af
00002af1: JUMP
00002af2: JUMPDEST
00002af3: POP
00002af4: POP
00002af5: POP
00002af6: POP
00002af7: POP
00002af8: JUMP
00002af9: JUMPDEST
00002afa: PUSH2 0x2b07
00002afd: DUP7
00002afe: DUP7
00002aff: DUP7
00002b00: DUP7
00002b01: DUP7
00002b02: DUP7
00002b03: PUSH2 0x1615
00002b06: JUMP
00002b07: JUMPDEST
00002b08: PUSH1 0x00
00002b0a: JUMPDEST
00002b0b: DUP4
00002b0c: MLOAD
00002b0d: DUP2
00002b0e: LT
00002b0f: ISZERO
00002b10: PUSH2 0x2b7f
00002b13: JUMPI
00002b14: PUSH5 0x8000000000
00002b1a: DUP1
00002b1b: DUP6
00002b1c: DUP4
00002b1d: DUP2
00002b1e: MLOAD
00002b1f: DUP2
00002b20: LT
00002b21: PUSH2 0x2b26
00002b24: JUMPI
00002b25: INVALID
00002b26: JUMPDEST
00002b27: PUSH1 0x20
00002b29: MUL
00002b2a: PUSH1 0x20
00002b2c: ADD
00002b2d: ADD
00002b2e: MLOAD
00002b2f: AND
00002b30: EQ
00002b31: PUSH2 0x2b77
00002b34: JUMPI
00002b35: PUSH1 0x00
00002b37: DUP5
00002b38: DUP3
00002b39: DUP2
00002b3a: MLOAD
00002b3b: DUP2
00002b3c: LT
00002b3d: PUSH2 0x2b42
00002b40: JUMPI
00002b41: INVALID
00002b42: JUMPDEST
00002b43: PUSH1 0x20
00002b45: SWAP1
00002b46: DUP2
00002b47: MUL
00002b48: SWAP2
00002b49: SWAP1
00002b4a: SWAP2
00002b4b: ADD
00002b4c: DUP2
00002b4d: ADD
00002b4e: MLOAD
00002b4f: PUSH1 0x00
00002b51: SWAP1
00002b52: DUP2
00002b53: MSTORE
00002b54: PUSH1 0x0c
00002b56: SWAP1
00002b57: SWAP2
00002b58: MSTORE
00002b59: PUSH1 0x40
00002b5b: SWAP1
00002b5c: KECCAK256
00002b5d: DUP1
00002b5e: SLOAD
00002b5f: PUSH1 0x01
00002b61: PUSH1 0x01
00002b63: PUSH1 0xa0
00002b65: SHL
00002b66: SUB
00002b67: NOT
00002b68: AND
00002b69: PUSH1 0x01
00002b6b: PUSH1 0x01
00002b6d: PUSH1 0xa0
00002b6f: SHL
00002b70: SUB
00002b71: DUP9
00002b72: AND
00002b73: OR
00002b74: SWAP1
00002b75: SSTORE
00002b76: POP
00002b77: JUMPDEST
00002b78: PUSH1 0x01
00002b7a: ADD
00002b7b: PUSH2 0x2b0a
00002b7e: JUMP
00002b7f: JUMPDEST
00002b80: POP
00002b81: POP
00002b82: POP
00002b83: POP
00002b84: POP
00002b85: POP
00002b86: POP
00002b87: JUMP
00002b88: JUMPDEST
00002b89: PUSH1 0x00
00002b8b: DUP2
00002b8c: DUP5
00002b8d: DUP5
00002b8e: GT
00002b8f: ISZERO
00002b90: PUSH2 0x2c17
00002b93: JUMPI
00002b94: PUSH1 0x40
00002b96: MLOAD
00002b97: PUSH3 0x461bcd
00002b9b: PUSH1 0xe5
00002b9d: SHL
00002b9e: DUP2
00002b9f: MSTORE
00002ba0: PUSH1 0x04
00002ba2: ADD
00002ba3: DUP1
00002ba4: DUP1
00002ba5: PUSH1 0x20
00002ba7: ADD
00002ba8: DUP3
00002ba9: DUP2
00002baa: SUB
00002bab: DUP3
00002bac: MSTORE
00002bad: DUP4
00002bae: DUP2
00002baf: DUP2
00002bb0: MLOAD
00002bb1: DUP2
00002bb2: MSTORE
00002bb3: PUSH1 0x20
00002bb5: ADD
00002bb6: SWAP2
00002bb7: POP
00002bb8: DUP1
00002bb9: MLOAD
00002bba: SWAP1
00002bbb: PUSH1 0x20
00002bbd: ADD
00002bbe: SWAP1
00002bbf: DUP1
00002bc0: DUP4
00002bc1: DUP4
00002bc2: PUSH1 0x00
00002bc4: JUMPDEST
00002bc5: DUP4
00002bc6: DUP2
00002bc7: LT
00002bc8: ISZERO
00002bc9: PUSH2 0x2bdc
00002bcc: JUMPI
00002bcd: DUP2
00002bce: DUP2
00002bcf: ADD
00002bd0: MLOAD
00002bd1: DUP4
00002bd2: DUP3
00002bd3: ADD
00002bd4: MSTORE
00002bd5: PUSH1 0x20
00002bd7: ADD
00002bd8: PUSH2 0x2bc4
00002bdb: JUMP
00002bdc: JUMPDEST
00002bdd: POP
00002bde: POP
00002bdf: POP
00002be0: POP
00002be1: SWAP1
00002be2: POP
00002be3: SWAP1
00002be4: DUP2
00002be5: ADD
00002be6: SWAP1
00002be7: PUSH1 0x1f
00002be9: AND
00002bea: DUP1
00002beb: ISZERO
00002bec: PUSH2 0x2c09
00002bef: JUMPI
00002bf0: DUP1
00002bf1: DUP3
00002bf2: SUB
00002bf3: DUP1
00002bf4: MLOAD
00002bf5: PUSH1 0x01
00002bf7: DUP4
00002bf8: PUSH1 0x20
00002bfa: SUB
00002bfb: PUSH2 0x0100
00002bfe: EXP
00002bff: SUB
00002c00: NOT
00002c01: AND
00002c02: DUP2
00002c03: MSTORE
00002c04: PUSH1 0x20
00002c06: ADD
00002c07: SWAP2
00002c08: POP
00002c09: JUMPDEST
00002c0a: POP
00002c0b: SWAP3
00002c0c: POP
00002c0d: POP
00002c0e: POP
00002c0f: PUSH1 0x40
00002c11: MLOAD
00002c12: DUP1
00002c13: SWAP2
00002c14: SUB
00002c15: SWAP1
00002c16: REVERT
00002c17: JUMPDEST
00002c18: POP
00002c19: POP
00002c1a: POP
00002c1b: SWAP1
00002c1c: SUB
00002c1d: SWAP1
00002c1e: JUMP
00002c1f: JUMPDEST
00002c20: PUSH2 0x2c31
00002c23: DUP5
00002c24: PUSH1 0x01
00002c26: PUSH1 0x01
00002c28: PUSH1 0xa0
00002c2a: SHL
00002c2b: SUB
00002c2c: AND
00002c2d: PUSH2 0x3370
00002c30: JUMP
00002c31: JUMPDEST
00002c32: ISZERO
00002c33: PUSH2 0x1615
00002c36: JUMPI
00002c37: DUP4
00002c38: PUSH1 0x01
00002c3a: PUSH1 0x01
00002c3c: PUSH1 0xa0
00002c3e: SHL
00002c3f: SUB
00002c40: AND
00002c41: PUSH4 0xbc197c81
00002c46: DUP8
00002c47: DUP8
00002c48: DUP7
00002c49: DUP7
00002c4a: DUP7
00002c4b: PUSH1 0x40
00002c4d: MLOAD
00002c4e: DUP7
00002c4f: PUSH4 0xffffffff
00002c54: AND
00002c55: PUSH1 0xe0
00002c57: SHL
00002c58: DUP2
00002c59: MSTORE
00002c5a: PUSH1 0x04
00002c5c: ADD
00002c5d: DUP1
00002c5e: DUP7
00002c5f: PUSH1 0x01
00002c61: PUSH1 0x01
00002c63: PUSH1 0xa0
00002c65: SHL
00002c66: SUB
00002c67: AND
00002c68: DUP2
00002c69: MSTORE
00002c6a: PUSH1 0x20
00002c6c: ADD
00002c6d: DUP6
00002c6e: PUSH1 0x01
00002c70: PUSH1 0x01
00002c72: PUSH1 0xa0
00002c74: SHL
00002c75: SUB
00002c76: AND
00002c77: DUP2
00002c78: MSTORE
00002c79: PUSH1 0x20
00002c7b: ADD
00002c7c: DUP1
00002c7d: PUSH1 0x20
00002c7f: ADD
00002c80: DUP1
00002c81: PUSH1 0x20
00002c83: ADD
00002c84: DUP1
00002c85: PUSH1 0x20
00002c87: ADD
00002c88: DUP5
00002c89: DUP2
00002c8a: SUB
00002c8b: DUP5
00002c8c: MSTORE
00002c8d: DUP8
00002c8e: DUP2
00002c8f: DUP2
00002c90: MLOAD
00002c91: DUP2
00002c92: MSTORE
00002c93: PUSH1 0x20
00002c95: ADD
00002c96: SWAP2
00002c97: POP
00002c98: DUP1
00002c99: MLOAD
00002c9a: SWAP1
00002c9b: PUSH1 0x20
00002c9d: ADD
00002c9e: SWAP1
00002c9f: PUSH1 0x20
00002ca1: MUL
00002ca2: DUP1
00002ca3: DUP4
00002ca4: DUP4
00002ca5: PUSH1 0x00
00002ca7: JUMPDEST
00002ca8: DUP4
00002ca9: DUP2
00002caa: LT
00002cab: ISZERO
00002cac: PUSH2 0x2cbf
00002caf: JUMPI
00002cb0: DUP2
00002cb1: DUP2
00002cb2: ADD
00002cb3: MLOAD
00002cb4: DUP4
00002cb5: DUP3
00002cb6: ADD
00002cb7: MSTORE
00002cb8: PUSH1 0x20
00002cba: ADD
00002cbb: PUSH2 0x2ca7
00002cbe: JUMP
00002cbf: JUMPDEST
00002cc0: POP
00002cc1: POP
00002cc2: POP
00002cc3: POP
00002cc4: SWAP1
00002cc5: POP
00002cc6: ADD
00002cc7: DUP5
00002cc8: DUP2
00002cc9: SUB
00002cca: DUP4
00002ccb: MSTORE
00002ccc: DUP7
00002ccd: DUP2
00002cce: DUP2
00002ccf: MLOAD
00002cd0: DUP2
00002cd1: MSTORE
00002cd2: PUSH1 0x20
00002cd4: ADD
00002cd5: SWAP2
00002cd6: POP
00002cd7: DUP1
00002cd8: MLOAD
00002cd9: SWAP1
00002cda: PUSH1 0x20
00002cdc: ADD
00002cdd: SWAP1
00002cde: PUSH1 0x20
00002ce0: MUL
00002ce1: DUP1
00002ce2: DUP4
00002ce3: DUP4
00002ce4: PUSH1 0x00
00002ce6: JUMPDEST
00002ce7: DUP4
00002ce8: DUP2
00002ce9: LT
00002cea: ISZERO
00002ceb: PUSH2 0x2cfe
00002cee: JUMPI
00002cef: DUP2
00002cf0: DUP2
00002cf1: ADD
00002cf2: MLOAD
00002cf3: DUP4
00002cf4: DUP3
00002cf5: ADD
00002cf6: MSTORE
00002cf7: PUSH1 0x20
00002cf9: ADD
00002cfa: PUSH2 0x2ce6
00002cfd: JUMP
00002cfe: JUMPDEST
00002cff: POP
00002d00: POP
00002d01: POP
00002d02: POP
00002d03: SWAP1
00002d04: POP
00002d05: ADD
00002d06: DUP5
00002d07: DUP2
00002d08: SUB
00002d09: DUP3
00002d0a: MSTORE
00002d0b: DUP6
00002d0c: DUP2
00002d0d: DUP2
00002d0e: MLOAD
00002d0f: DUP2
00002d10: MSTORE
00002d11: PUSH1 0x20
00002d13: ADD
00002d14: SWAP2
00002d15: POP
00002d16: DUP1
00002d17: MLOAD
00002d18: SWAP1
00002d19: PUSH1 0x20
00002d1b: ADD
00002d1c: SWAP1
00002d1d: DUP1
00002d1e: DUP4
00002d1f: DUP4
00002d20: PUSH1 0x00
00002d22: JUMPDEST
00002d23: DUP4
00002d24: DUP2
00002d25: LT
00002d26: ISZERO
00002d27: PUSH2 0x2d3a
00002d2a: JUMPI
00002d2b: DUP2
00002d2c: DUP2
00002d2d: ADD
00002d2e: MLOAD
00002d2f: DUP4
00002d30: DUP3
00002d31: ADD
00002d32: MSTORE
00002d33: PUSH1 0x20
00002d35: ADD
00002d36: PUSH2 0x2d22
00002d39: JUMP
00002d3a: JUMPDEST
00002d3b: POP
00002d3c: POP
00002d3d: POP
00002d3e: POP
00002d3f: SWAP1
00002d40: POP
00002d41: SWAP1
00002d42: DUP2
00002d43: ADD
00002d44: SWAP1
00002d45: PUSH1 0x1f
00002d47: AND
00002d48: DUP1
00002d49: ISZERO
00002d4a: PUSH2 0x2d67
00002d4d: JUMPI
00002d4e: DUP1
00002d4f: DUP3
00002d50: SUB
00002d51: DUP1
00002d52: MLOAD
00002d53: PUSH1 0x01
00002d55: DUP4
00002d56: PUSH1 0x20
00002d58: SUB
00002d59: PUSH2 0x0100
00002d5c: EXP
00002d5d: SUB
00002d5e: NOT
00002d5f: AND
00002d60: DUP2
00002d61: MSTORE
00002d62: PUSH1 0x20
00002d64: ADD
00002d65: SWAP2
00002d66: POP
00002d67: JUMPDEST
00002d68: POP
00002d69: SWAP9
00002d6a: POP
00002d6b: POP
00002d6c: POP
00002d6d: POP
00002d6e: POP
00002d6f: POP
00002d70: POP
00002d71: POP
00002d72: POP
00002d73: PUSH1 0x20
00002d75: PUSH1 0x40
00002d77: MLOAD
00002d78: DUP1
00002d79: DUP4
00002d7a: SUB
00002d7b: DUP2
00002d7c: PUSH1 0x00
00002d7e: DUP8
00002d7f: DUP1
00002d80: EXTCODESIZE
00002d81: ISZERO
00002d82: DUP1
00002d83: ISZERO
00002d84: PUSH2 0x2d8c
00002d87: JUMPI
00002d88: PUSH1 0x00
00002d8a: DUP1
00002d8b: REVERT
00002d8c: JUMPDEST
00002d8d: POP
00002d8e: GAS
00002d8f: CALL
00002d90: SWAP3
00002d91: POP
00002d92: POP
00002d93: POP
00002d94: DUP1
00002d95: ISZERO
00002d96: PUSH2 0x2db1
00002d99: JUMPI
00002d9a: POP
00002d9b: PUSH1 0x40
00002d9d: MLOAD
00002d9e: RETURNDATASIZE
00002d9f: PUSH1 0x20
00002da1: DUP2
00002da2: LT
00002da3: ISZERO
00002da4: PUSH2 0x2dac
00002da7: JUMPI
00002da8: PUSH1 0x00
00002daa: DUP1
00002dab: REVERT
00002dac: JUMPDEST
00002dad: POP
00002dae: MLOAD
00002daf: PUSH1 0x01
00002db1: JUMPDEST
00002db2: PUSH2 0x2e46
00002db5: JUMPI
00002db6: PUSH2 0x2dbd
00002db9: PUSH2 0x341d
00002dbc: JUMP
00002dbd: JUMPDEST
00002dbe: DUP1
00002dbf: PUSH2 0x2dc8
00002dc2: JUMPI
00002dc3: POP
00002dc4: PUSH2 0x2e0f
00002dc7: JUMP
00002dc8: JUMPDEST
00002dc9: PUSH1 0x40
00002dcb: MLOAD
00002dcc: PUSH3 0x461bcd
00002dd0: PUSH1 0xe5
00002dd2: SHL
00002dd3: DUP2
00002dd4: MSTORE
00002dd5: PUSH1 0x20
00002dd7: PUSH1 0x04
00002dd9: DUP3
00002dda: ADD
00002ddb: DUP2
00002ddc: DUP2
00002ddd: MSTORE
00002dde: DUP4
00002ddf: MLOAD
00002de0: PUSH1 0x24
00002de2: DUP5
00002de3: ADD
00002de4: MSTORE
00002de5: DUP4
00002de6: MLOAD
00002de7: DUP5
00002de8: SWAP4
00002de9: SWAP2
00002dea: SWAP3
00002deb: DUP4
00002dec: SWAP3
00002ded: PUSH1 0x44
00002def: ADD
00002df0: SWAP2
00002df1: SWAP1
00002df2: DUP6
00002df3: ADD
00002df4: SWAP1
00002df5: DUP1
00002df6: DUP4
00002df7: DUP4
00002df8: PUSH1 0x00
00002dfa: DUP4
00002dfb: ISZERO
00002dfc: PUSH2 0x2bdc
00002dff: JUMPI
00002e00: DUP2
00002e01: DUP2
00002e02: ADD
00002e03: MLOAD
00002e04: DUP4
00002e05: DUP3
00002e06: ADD
00002e07: MSTORE
00002e08: PUSH1 0x20
00002e0a: ADD
00002e0b: PUSH2 0x2bc4
00002e0e: JUMP
00002e0f: JUMPDEST
00002e10: PUSH1 0x40
00002e12: MLOAD
00002e13: PUSH3 0x461bcd
00002e17: PUSH1 0xe5
00002e19: SHL
00002e1a: DUP2
00002e1b: MSTORE
00002e1c: PUSH1 0x04
00002e1e: ADD
00002e1f: DUP1
00002e20: DUP1
00002e21: PUSH1 0x20
00002e23: ADD
00002e24: DUP3
00002e25: DUP2
00002e26: SUB
00002e27: DUP3
00002e28: MSTORE
00002e29: PUSH1 0x34
00002e2b: DUP2
00002e2c: MSTORE
00002e2d: PUSH1 0x20
00002e2f: ADD
00002e30: DUP1
00002e31: PUSH2 0x34c3
00002e34: PUSH1 0x34
00002e36: SWAP2
00002e37: CODECOPY
00002e38: PUSH1 0x40
00002e3a: ADD
00002e3b: SWAP2
00002e3c: POP
00002e3d: POP
00002e3e: PUSH1 0x40
00002e40: MLOAD
00002e41: DUP1
00002e42: SWAP2
00002e43: SUB
00002e44: SWAP1
00002e45: REVERT
00002e46: JUMPDEST
00002e47: PUSH1 0x01
00002e49: PUSH1 0x01
00002e4b: PUSH1 0xe0
00002e4d: SHL
00002e4e: SUB
00002e4f: NOT
00002e50: DUP2
00002e51: AND
00002e52: PUSH4 0xbc197c81
00002e57: PUSH1 0xe0
00002e59: SHL
00002e5a: EQ
00002e5b: PUSH2 0x2b7f
00002e5e: JUMPI
00002e5f: PUSH1 0x40
00002e61: MLOAD
00002e62: PUSH3 0x461bcd
00002e66: PUSH1 0xe5
00002e68: SHL
00002e69: DUP2
00002e6a: MSTORE
00002e6b: PUSH1 0x04
00002e6d: ADD
00002e6e: DUP1
00002e6f: DUP1
00002e70: PUSH1 0x20
00002e72: ADD
00002e73: DUP3
00002e74: DUP2
00002e75: SUB
00002e76: DUP3
00002e77: MSTORE
00002e78: PUSH1 0x28
00002e7a: DUP2
00002e7b: MSTORE
00002e7c: PUSH1 0x20
00002e7e: ADD
00002e7f: DUP1
00002e80: PUSH2 0x34f7
00002e83: PUSH1 0x28
00002e85: SWAP2
00002e86: CODECOPY
00002e87: PUSH1 0x40
00002e89: ADD
00002e8a: SWAP2
00002e8b: POP
00002e8c: POP
00002e8d: PUSH1 0x40
00002e8f: MLOAD
00002e90: DUP1
00002e91: SWAP2
00002e92: SUB
00002e93: SWAP1
00002e94: REVERT
00002e95: JUMPDEST
00002e96: PUSH1 0x00
00002e98: DUP3
00002e99: DUP3
00002e9a: GT
00002e9b: ISZERO
00002e9c: PUSH2 0x2eec
00002e9f: JUMPI
00002ea0: PUSH1 0x40
00002ea2: DUP1
00002ea3: MLOAD
00002ea4: PUSH3 0x461bcd
00002ea8: PUSH1 0xe5
00002eaa: SHL
00002eab: DUP2
00002eac: MSTORE
00002ead: PUSH1 0x20
00002eaf: PUSH1 0x04
00002eb1: DUP3
00002eb2: ADD
00002eb3: MSTORE
00002eb4: PUSH1 0x1e
00002eb6: PUSH1 0x24
00002eb8: DUP3
00002eb9: ADD
00002eba: MSTORE
00002ebb: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00002edc: PUSH1 0x44
00002ede: DUP3
00002edf: ADD
00002ee0: MSTORE
00002ee1: SWAP1
00002ee2: MLOAD
00002ee3: SWAP1
00002ee4: DUP2
00002ee5: SWAP1
00002ee6: SUB
00002ee7: PUSH1 0x64
00002ee9: ADD
00002eea: SWAP1
00002eeb: REVERT
00002eec: JUMPDEST
00002eed: POP
00002eee: SWAP1
00002eef: SUB
00002ef0: SWAP1
00002ef1: JUMP
00002ef2: JUMPDEST
00002ef3: PUSH1 0x00
00002ef5: PUSH2 0x0d75
00002ef8: PUSH1 0x0a
00002efa: PUSH2 0x1f28
00002efd: DUP5
00002efe: PUSH1 0x08
00002f00: PUSH2 0x2faa
00002f03: JUMP
00002f04: JUMPDEST
00002f05: PUSH1 0x00
00002f07: PUSH2 0x2f10
00002f0a: CALLVALUE
00002f0b: DUP4
00002f0c: PUSH2 0x2e95
00002f0f: JUMP
00002f10: JUMPDEST
00002f11: GT
00002f12: ISZERO
00002f13: PUSH2 0x0e09
00002f16: JUMPI
00002f17: PUSH1 0x00
00002f19: CALLER
00002f1a: PUSH2 0x2f23
00002f1d: CALLVALUE
00002f1e: DUP5
00002f1f: PUSH2 0x2e95
00002f22: JUMP
00002f23: JUMPDEST
00002f24: PUSH1 0x40
00002f26: MLOAD
00002f27: PUSH1 0x00
00002f29: DUP2
00002f2a: DUP2
00002f2b: DUP2
00002f2c: DUP6
00002f2d: DUP8
00002f2e: GAS
00002f2f: CALL
00002f30: SWAP3
00002f31: POP
00002f32: POP
00002f33: POP
00002f34: RETURNDATASIZE
00002f35: DUP1
00002f36: PUSH1 0x00
00002f38: DUP2
00002f39: EQ
00002f3a: PUSH2 0x2f5f
00002f3d: JUMPI
00002f3e: PUSH1 0x40
00002f40: MLOAD
00002f41: SWAP2
00002f42: POP
00002f43: PUSH1 0x1f
00002f45: NOT
00002f46: PUSH1 0x3f
00002f48: RETURNDATASIZE
00002f49: ADD
00002f4a: AND
00002f4b: DUP3
00002f4c: ADD
00002f4d: PUSH1 0x40
00002f4f: MSTORE
00002f50: RETURNDATASIZE
00002f51: DUP3
00002f52: MSTORE
00002f53: RETURNDATASIZE
00002f54: PUSH1 0x00
00002f56: PUSH1 0x20
00002f58: DUP5
00002f59: ADD
00002f5a: RETURNDATACOPY
00002f5b: PUSH2 0x2f64
00002f5e: JUMP
00002f5f: JUMPDEST
00002f60: PUSH1 0x60
00002f62: SWAP2
00002f63: POP
00002f64: JUMPDEST
00002f65: POP
00002f66: POP
00002f67: SWAP1
00002f68: POP
00002f69: DUP1
00002f6a: PUSH2 0x1756
00002f6d: JUMPI
00002f6e: PUSH1 0x40
00002f70: DUP1
00002f71: MLOAD
00002f72: PUSH3 0x461bcd
00002f76: PUSH1 0xe5
00002f78: SHL
00002f79: DUP2
00002f7a: MSTORE
00002f7b: PUSH1 0x20
00002f7d: PUSH1 0x04
00002f7f: DUP3
00002f80: ADD
00002f81: MSTORE
00002f82: PUSH1 0x0d
00002f84: PUSH1 0x24
00002f86: DUP3
00002f87: ADD
00002f88: MSTORE
00002f89: PUSH13 0x1499599d5b990819985a5b1959
00002f97: PUSH1 0x9a
00002f99: SHL
00002f9a: PUSH1 0x44
00002f9c: DUP3
00002f9d: ADD
00002f9e: MSTORE
00002f9f: SWAP1
00002fa0: MLOAD
00002fa1: SWAP1
00002fa2: DUP2
00002fa3: SWAP1
00002fa4: SUB
00002fa5: PUSH1 0x64
00002fa7: ADD
00002fa8: SWAP1
00002fa9: REVERT
00002faa: JUMPDEST
00002fab: PUSH1 0x00
00002fad: DUP3
00002fae: PUSH2 0x2fb9
00002fb1: JUMPI
00002fb2: POP
00002fb3: PUSH1 0x00
00002fb5: PUSH2 0x0d75
00002fb8: JUMP
00002fb9: JUMPDEST
00002fba: DUP3
00002fbb: DUP3
00002fbc: MUL
00002fbd: DUP3
00002fbe: DUP5
00002fbf: DUP3
00002fc0: DUP2
00002fc1: PUSH2 0x2fc6
00002fc4: JUMPI
00002fc5: INVALID
00002fc6: JUMPDEST
00002fc7: DIV
00002fc8: EQ
00002fc9: PUSH2 0x1fac
00002fcc: JUMPI
00002fcd: PUSH1 0x40
00002fcf: MLOAD
00002fd0: PUSH3 0x461bcd
00002fd4: PUSH1 0xe5
00002fd6: SHL
00002fd7: DUP2
00002fd8: MSTORE
00002fd9: PUSH1 0x04
00002fdb: ADD
00002fdc: DUP1
00002fdd: DUP1
00002fde: PUSH1 0x20
00002fe0: ADD
00002fe1: DUP3
00002fe2: DUP2
00002fe3: SUB
00002fe4: DUP3
00002fe5: MSTORE
00002fe6: PUSH1 0x21
00002fe8: DUP2
00002fe9: MSTORE
00002fea: PUSH1 0x20
00002fec: ADD
00002fed: DUP1
00002fee: PUSH2 0x3692
00002ff1: PUSH1 0x21
00002ff3: SWAP2
00002ff4: CODECOPY
00002ff5: PUSH1 0x40
00002ff7: ADD
00002ff8: SWAP2
00002ff9: POP
00002ffa: POP
00002ffb: PUSH1 0x40
00002ffd: MLOAD
00002ffe: DUP1
00002fff: SWAP2
00003000: SUB
00003001: SWAP1
00003002: REVERT
00003003: JUMPDEST
00003004: PUSH1 0x00
00003006: DUP1
00003007: DUP3
00003008: GT
00003009: PUSH2 0x3059
0000300c: JUMPI
0000300d: PUSH1 0x40
0000300f: DUP1
00003010: MLOAD
00003011: PUSH3 0x461bcd
00003015: PUSH1 0xe5
00003017: SHL
00003018: DUP2
00003019: MSTORE
0000301a: PUSH1 0x20
0000301c: PUSH1 0x04
0000301e: DUP3
0000301f: ADD
00003020: MSTORE
00003021: PUSH1 0x1a
00003023: PUSH1 0x24
00003025: DUP3
00003026: ADD
00003027: MSTORE
00003028: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00003049: PUSH1 0x44
0000304b: DUP3
0000304c: ADD
0000304d: MSTORE
0000304e: SWAP1
0000304f: MLOAD
00003050: SWAP1
00003051: DUP2
00003052: SWAP1
00003053: SUB
00003054: PUSH1 0x64
00003056: ADD
00003057: SWAP1
00003058: REVERT
00003059: JUMPDEST
0000305a: DUP2
0000305b: DUP4
0000305c: DUP2
0000305d: PUSH2 0x3062
00003060: JUMPI
00003061: INVALID
00003062: JUMPDEST
00003063: DIV
00003064: SWAP4
00003065: SWAP3
00003066: POP
00003067: POP
00003068: POP
00003069: JUMP
0000306a: JUMPDEST
0000306b: PUSH1 0x40
0000306d: DUP1
0000306e: MLOAD
0000306f: PUSH1 0x01
00003071: DUP1
00003072: DUP3
00003073: MSTORE
00003074: DUP2
00003075: DUP4
00003076: ADD
00003077: SWAP1
00003078: SWAP3
00003079: MSTORE
0000307a: PUSH1 0x60
0000307c: SWAP2
0000307d: PUSH1 0x00
0000307f: SWAP2
00003080: SWAP1
00003081: PUSH1 0x20
00003083: DUP1
00003084: DUP4
00003085: ADD
00003086: SWAP1
00003087: DUP1
00003088: CALLDATASIZE
00003089: DUP4
0000308a: CALLDATACOPY
0000308b: ADD
0000308c: SWAP1
0000308d: POP
0000308e: POP
0000308f: SWAP1
00003090: POP
00003091: DUP3
00003092: DUP2
00003093: PUSH1 0x00
00003095: DUP2
00003096: MLOAD
00003097: DUP2
00003098: LT
00003099: PUSH2 0x309e
0000309c: JUMPI
0000309d: INVALID
0000309e: JUMPDEST
0000309f: PUSH1 0x20
000030a1: SWAP1
000030a2: DUP2
000030a3: MUL
000030a4: SWAP2
000030a5: SWAP1
000030a6: SWAP2
000030a7: ADD
000030a8: ADD
000030a9: MSTORE
000030aa: SWAP3
000030ab: SWAP2
000030ac: POP
000030ad: POP
000030ae: JUMP
000030af: JUMPDEST
000030b0: PUSH2 0x30c1
000030b3: DUP5
000030b4: PUSH1 0x01
000030b6: PUSH1 0x01
000030b8: PUSH1 0xa0
000030ba: SHL
000030bb: SUB
000030bc: AND
000030bd: PUSH2 0x3370
000030c0: JUMP
000030c1: JUMPDEST
000030c2: ISZERO
000030c3: PUSH2 0x1615
000030c6: JUMPI
000030c7: DUP4
000030c8: PUSH1 0x01
000030ca: PUSH1 0x01
000030cc: PUSH1 0xa0
000030ce: SHL
000030cf: SUB
000030d0: AND
000030d1: PUSH4 0xf23a6e61
000030d6: DUP8
000030d7: DUP8
000030d8: DUP7
000030d9: DUP7
000030da: DUP7
000030db: PUSH1 0x40
000030dd: MLOAD
000030de: DUP7
000030df: PUSH4 0xffffffff
000030e4: AND
000030e5: PUSH1 0xe0
000030e7: SHL
000030e8: DUP2
000030e9: MSTORE
000030ea: PUSH1 0x04
000030ec: ADD
000030ed: DUP1
000030ee: DUP7
000030ef: PUSH1 0x01
000030f1: PUSH1 0x01
000030f3: PUSH1 0xa0
000030f5: SHL
000030f6: SUB
000030f7: AND
000030f8: DUP2
000030f9: MSTORE
000030fa: PUSH1 0x20
000030fc: ADD
000030fd: DUP6
000030fe: PUSH1 0x01
00003100: PUSH1 0x01
00003102: PUSH1 0xa0
00003104: SHL
00003105: SUB
00003106: AND
00003107: DUP2
00003108: MSTORE
00003109: PUSH1 0x20
0000310b: ADD
0000310c: DUP5
0000310d: DUP2
0000310e: MSTORE
0000310f: PUSH1 0x20
00003111: ADD
00003112: DUP4
00003113: DUP2
00003114: MSTORE
00003115: PUSH1 0x20
00003117: ADD
00003118: DUP1
00003119: PUSH1 0x20
0000311b: ADD
0000311c: DUP3
0000311d: DUP2
0000311e: SUB
0000311f: DUP3
00003120: MSTORE
00003121: DUP4
00003122: DUP2
00003123: DUP2
00003124: MLOAD
00003125: DUP2
00003126: MSTORE
00003127: PUSH1 0x20
00003129: ADD
0000312a: SWAP2
0000312b: POP
0000312c: DUP1
0000312d: MLOAD
0000312e: SWAP1
0000312f: PUSH1 0x20
00003131: ADD
00003132: SWAP1
00003133: DUP1
00003134: DUP4
00003135: DUP4
00003136: PUSH1 0x00
00003138: JUMPDEST
00003139: DUP4
0000313a: DUP2
0000313b: LT
0000313c: ISZERO
0000313d: PUSH2 0x3150
00003140: JUMPI
00003141: DUP2
00003142: DUP2
00003143: ADD
00003144: MLOAD
00003145: DUP4
00003146: DUP3
00003147: ADD
00003148: MSTORE
00003149: PUSH1 0x20
0000314b: ADD
0000314c: PUSH2 0x3138
0000314f: JUMP
00003150: JUMPDEST
00003151: POP
00003152: POP
00003153: POP
00003154: POP
00003155: SWAP1
00003156: POP
00003157: SWAP1
00003158: DUP2
00003159: ADD
0000315a: SWAP1
0000315b: PUSH1 0x1f
0000315d: AND
0000315e: DUP1
0000315f: ISZERO
00003160: PUSH2 0x317d
00003163: JUMPI
00003164: DUP1
00003165: DUP3
00003166: SUB
00003167: DUP1
00003168: MLOAD
00003169: PUSH1 0x01
0000316b: DUP4
0000316c: PUSH1 0x20
0000316e: SUB
0000316f: PUSH2 0x0100
00003172: EXP
00003173: SUB
00003174: NOT
00003175: AND
00003176: DUP2
00003177: MSTORE
00003178: PUSH1 0x20
0000317a: ADD
0000317b: SWAP2
0000317c: POP
0000317d: JUMPDEST
0000317e: POP
0000317f: SWAP7
00003180: POP
00003181: POP
00003182: POP
00003183: POP
00003184: POP
00003185: POP
00003186: POP
00003187: PUSH1 0x20
00003189: PUSH1 0x40
0000318b: MLOAD
0000318c: DUP1
0000318d: DUP4
0000318e: SUB
0000318f: DUP2
00003190: PUSH1 0x00
00003192: DUP8
00003193: DUP1
00003194: EXTCODESIZE
00003195: ISZERO
00003196: DUP1
00003197: ISZERO
00003198: PUSH2 0x31a0
0000319b: JUMPI
0000319c: PUSH1 0x00
0000319e: DUP1
0000319f: REVERT
000031a0: JUMPDEST
000031a1: POP
000031a2: GAS
000031a3: CALL
000031a4: SWAP3
000031a5: POP
000031a6: POP
000031a7: POP
000031a8: DUP1
000031a9: ISZERO
000031aa: PUSH2 0x31c5
000031ad: JUMPI
000031ae: POP
000031af: PUSH1 0x40
000031b1: MLOAD
000031b2: RETURNDATASIZE
000031b3: PUSH1 0x20
000031b5: DUP2
000031b6: LT
000031b7: ISZERO
000031b8: PUSH2 0x31c0
000031bb: JUMPI
000031bc: PUSH1 0x00
000031be: DUP1
000031bf: REVERT
000031c0: JUMPDEST
000031c1: POP
000031c2: MLOAD
000031c3: PUSH1 0x01
000031c5: JUMPDEST
000031c6: PUSH2 0x31d1
000031c9: JUMPI
000031ca: PUSH2 0x2dbd
000031cd: PUSH2 0x341d
000031d0: JUMP
000031d1: JUMPDEST
000031d2: PUSH1 0x01
000031d4: PUSH1 0x01
000031d6: PUSH1 0xe0
000031d8: SHL
000031d9: SUB
000031da: NOT
000031db: DUP2
000031dc: AND
000031dd: PUSH4 0xf23a6e61
000031e2: PUSH1 0xe0
000031e4: SHL
000031e5: EQ
000031e6: PUSH2 0x2b7f
000031e9: JUMPI
000031ea: PUSH1 0x40
000031ec: MLOAD
000031ed: PUSH3 0x461bcd
000031f1: PUSH1 0xe5
000031f3: SHL
000031f4: DUP2
000031f5: MSTORE
000031f6: PUSH1 0x04
000031f8: ADD
000031f9: DUP1
000031fa: DUP1
000031fb: PUSH1 0x20
000031fd: ADD
000031fe: DUP3
000031ff: DUP2
00003200: SUB
00003201: DUP3
00003202: MSTORE
00003203: PUSH1 0x28
00003205: DUP2
00003206: MSTORE
00003207: PUSH1 0x20
00003209: ADD
0000320a: DUP1
0000320b: PUSH2 0x34f7
0000320e: PUSH1 0x28
00003210: SWAP2
00003211: CODECOPY
00003212: PUSH1 0x40
00003214: ADD
00003215: SWAP2
00003216: POP
00003217: POP
00003218: PUSH1 0x40
0000321a: MLOAD
0000321b: DUP1
0000321c: SWAP2
0000321d: SUB
0000321e: SWAP1
0000321f: REVERT
00003220: JUMPDEST
00003221: PUSH1 0x01
00003223: PUSH1 0x01
00003225: PUSH1 0xa0
00003227: SHL
00003228: SUB
00003229: DUP4
0000322a: AND
0000322b: PUSH2 0x3265
0000322e: JUMPI
0000322f: PUSH1 0x40
00003231: MLOAD
00003232: PUSH3 0x461bcd
00003236: PUSH1 0xe5
00003238: SHL
00003239: DUP2
0000323a: MSTORE
0000323b: PUSH1 0x04
0000323d: ADD
0000323e: DUP1
0000323f: DUP1
00003240: PUSH1 0x20
00003242: ADD
00003243: DUP3
00003244: DUP2
00003245: SUB
00003246: DUP3
00003247: MSTORE
00003248: PUSH1 0x23
0000324a: DUP2
0000324b: MSTORE
0000324c: PUSH1 0x20
0000324e: ADD
0000324f: DUP1
00003250: PUSH2 0x3645
00003253: PUSH1 0x23
00003255: SWAP2
00003256: CODECOPY
00003257: PUSH1 0x40
00003259: ADD
0000325a: SWAP2
0000325b: POP
0000325c: POP
0000325d: PUSH1 0x40
0000325f: MLOAD
00003260: DUP1
00003261: SWAP2
00003262: SUB
00003263: SWAP1
00003264: REVERT
00003265: JUMPDEST
00003266: PUSH1 0x00
00003268: PUSH2 0x326f
0000326b: PUSH2 0x27d9
0000326e: JUMP
0000326f: JUMPDEST
00003270: SWAP1
00003271: POP
00003272: PUSH2 0x329f
00003275: DUP2
00003276: DUP6
00003277: PUSH1 0x00
00003279: PUSH2 0x3281
0000327c: DUP8
0000327d: PUSH2 0x306a
00003280: JUMP
00003281: JUMPDEST
00003282: PUSH2 0x328a
00003285: DUP8
00003286: PUSH2 0x306a
00003289: JUMP
0000328a: JUMPDEST
0000328b: PUSH1 0x40
0000328d: MLOAD
0000328e: DUP1
0000328f: PUSH1 0x20
00003291: ADD
00003292: PUSH1 0x40
00003294: MSTORE
00003295: DUP1
00003296: PUSH1 0x00
00003298: DUP2
00003299: MSTORE
0000329a: POP
0000329b: PUSH2 0x2af9
0000329e: JUMP
0000329f: JUMPDEST
000032a0: PUSH2 0x32e6
000032a3: DUP3
000032a4: PUSH1 0x40
000032a6: MLOAD
000032a7: DUP1
000032a8: PUSH1 0x60
000032aa: ADD
000032ab: PUSH1 0x40
000032ad: MSTORE
000032ae: DUP1
000032af: PUSH1 0x24
000032b1: DUP2
000032b2: MSTORE
000032b3: PUSH1 0x20
000032b5: ADD
000032b6: PUSH2 0x35a1
000032b9: PUSH1 0x24
000032bb: SWAP2
000032bc: CODECOPY
000032bd: PUSH1 0x00
000032bf: DUP7
000032c0: DUP2
000032c1: MSTORE
000032c2: PUSH1 0x02
000032c4: PUSH1 0x20
000032c6: SWAP1
000032c7: DUP2
000032c8: MSTORE
000032c9: PUSH1 0x40
000032cb: DUP1
000032cc: DUP4
000032cd: KECCAK256
000032ce: PUSH1 0x01
000032d0: PUSH1 0x01
000032d2: PUSH1 0xa0
000032d4: SHL
000032d5: SUB
000032d6: DUP12
000032d7: AND
000032d8: DUP5
000032d9: MSTORE
000032da: SWAP1
000032db: SWAP2
000032dc: MSTORE
000032dd: SWAP1
000032de: KECCAK256
000032df: SLOAD
000032e0: SWAP2
000032e1: SWAP1
000032e2: PUSH2 0x2b88
000032e5: JUMP
000032e6: JUMPDEST
000032e7: PUSH1 0x00
000032e9: DUP5
000032ea: DUP2
000032eb: MSTORE
000032ec: PUSH1 0x02
000032ee: PUSH1 0x20
000032f0: SWAP1
000032f1: DUP2
000032f2: MSTORE
000032f3: PUSH1 0x40
000032f5: DUP1
000032f6: DUP4
000032f7: KECCAK256
000032f8: PUSH1 0x01
000032fa: PUSH1 0x01
000032fc: PUSH1 0xa0
000032fe: SHL
000032ff: SUB
00003300: DUP1
00003301: DUP11
00003302: AND
00003303: DUP1
00003304: DUP7
00003305: MSTORE
00003306: SWAP2
00003307: DUP5
00003308: MSTORE
00003309: DUP3
0000330a: DUP6
0000330b: KECCAK256
0000330c: SWAP6
0000330d: SWAP1
0000330e: SWAP6
0000330f: SSTORE
00003310: DUP2
00003311: MLOAD
00003312: DUP9
00003313: DUP2
00003314: MSTORE
00003315: SWAP3
00003316: DUP4
00003317: ADD
00003318: DUP8
00003319: SWAP1
0000331a: MSTORE
0000331b: DUP2
0000331c: MLOAD
0000331d: SWAP4
0000331e: SWAP5
0000331f: SWAP1
00003320: SWAP4
00003321: SWAP1
00003322: DUP7
00003323: AND
00003324: SWAP3
00003325: PUSH32 0xc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62
00003346: SWAP3
00003347: SWAP1
00003348: DUP3
00003349: SWAP1
0000334a: SUB
0000334b: ADD
0000334c: SWAP1
0000334d: LOG4
0000334e: POP
0000334f: POP
00003350: POP
00003351: POP
00003352: JUMP
00003353: JUMPDEST
00003354: PUSH1 0x00
00003356: PUSH1 0x02
00003358: DUP3
00003359: PUSH1 0xff
0000335b: AND
0000335c: GT
0000335d: ISZERO
0000335e: PUSH2 0x3369
00003361: JUMPI
00003362: POP
00003363: PUSH1 0x03
00003365: PUSH2 0x0d99
00003368: JUMP
00003369: JUMPDEST
0000336a: POP
0000336b: DUP1
0000336c: PUSH2 0x0d99
0000336f: JUMP
00003370: JUMPDEST
00003371: EXTCODESIZE
00003372: ISZERO
00003373: ISZERO
00003374: SWAP1
00003375: JUMP
00003376: JUMPDEST
00003377: DUP3
00003378: DUP1
00003379: SLOAD
0000337a: PUSH1 0x01
0000337c: DUP2
0000337d: PUSH1 0x01
0000337f: AND
00003380: ISZERO
00003381: PUSH2 0x0100
00003384: MUL
00003385: SUB
00003386: AND
00003387: PUSH1 0x02
00003389: SWAP1
0000338a: DIV
0000338b: SWAP1
0000338c: PUSH1 0x00
0000338e: MSTORE
0000338f: PUSH1 0x20
00003391: PUSH1 0x00
00003393: KECCAK256
00003394: SWAP1
00003395: PUSH1 0x1f
00003397: ADD
00003398: PUSH1 0x20
0000339a: SWAP1
0000339b: DIV
0000339c: DUP2
0000339d: ADD
0000339e: SWAP3
0000339f: DUP3
000033a0: PUSH2 0x33ac
000033a3: JUMPI
000033a4: PUSH1 0x00
000033a6: DUP6
000033a7: SSTORE
000033a8: PUSH2 0x33f2
000033ab: JUMP
000033ac: JUMPDEST
000033ad: DUP3
000033ae: PUSH1 0x1f
000033b0: LT
000033b1: PUSH2 0x33c5
000033b4: JUMPI
000033b5: DUP1
000033b6: MLOAD
000033b7: PUSH1 0xff
000033b9: NOT
000033ba: AND
000033bb: DUP4
000033bc: DUP1
000033bd: ADD
000033be: OR
000033bf: DUP6
000033c0: SSTORE
000033c1: PUSH2 0x33f2
000033c4: JUMP
000033c5: JUMPDEST
000033c6: DUP3
000033c7: DUP1
000033c8: ADD
000033c9: PUSH1 0x01
000033cb: ADD
000033cc: DUP6
000033cd: SSTORE
000033ce: DUP3
000033cf: ISZERO
000033d0: PUSH2 0x33f2
000033d3: JUMPI
000033d4: SWAP2
000033d5: DUP3
000033d6: ADD
000033d7: JUMPDEST
000033d8: DUP3
000033d9: DUP2
000033da: GT
000033db: ISZERO
000033dc: PUSH2 0x33f2
000033df: JUMPI
000033e0: DUP3
000033e1: MLOAD
000033e2: DUP3
000033e3: SSTORE
000033e4: SWAP2
000033e5: PUSH1 0x20
000033e7: ADD
000033e8: SWAP2
000033e9: SWAP1
000033ea: PUSH1 0x01
000033ec: ADD
000033ed: SWAP1
000033ee: PUSH2 0x33d7
000033f1: JUMP
000033f2: JUMPDEST
000033f3: POP
000033f4: PUSH2 0x33fe
000033f7: SWAP3
000033f8: SWAP2
000033f9: POP
000033fa: PUSH2 0x3402
000033fd: JUMP
000033fe: JUMPDEST
000033ff: POP
00003400: SWAP1
00003401: JUMP
00003402: JUMPDEST
00003403: JUMPDEST
00003404: DUP1
00003405: DUP3
00003406: GT
00003407: ISZERO
00003408: PUSH2 0x33fe
0000340b: JUMPI
0000340c: PUSH1 0x00
0000340e: DUP2
0000340f: SSTORE
00003410: PUSH1 0x01
00003412: ADD
00003413: PUSH2 0x3403
00003416: JUMP
00003417: JUMPDEST
00003418: PUSH1 0xe0
0000341a: SHR
0000341b: SWAP1
0000341c: JUMP
0000341d: JUMPDEST
0000341e: PUSH1 0x00
00003420: PUSH1 0x44
00003422: RETURNDATASIZE
00003423: LT
00003424: ISZERO
00003425: PUSH2 0x342d
00003428: JUMPI
00003429: PUSH2 0x1125
0000342c: JUMP
0000342d: JUMPDEST
0000342e: PUSH1 0x04
00003430: DUP2
00003431: DUP3
00003432: RETURNDATACOPY
00003433: PUSH4 0x08c379a0
00003438: PUSH2 0x3441
0000343b: DUP3
0000343c: MLOAD
0000343d: PUSH2 0x3417
00003440: JUMP
00003441: JUMPDEST
00003442: EQ
00003443: PUSH2 0x344b
00003446: JUMPI
00003447: PUSH2 0x1125
0000344a: JUMP
0000344b: JUMPDEST
0000344c: PUSH1 0x40
0000344e: MLOAD
0000344f: RETURNDATASIZE
00003450: PUSH1 0x03
00003452: NOT
00003453: ADD
00003454: PUSH1 0x04
00003456: DUP3
00003457: RETURNDATACOPY
00003458: DUP1
00003459: MLOAD
0000345a: RETURNDATASIZE
0000345b: PUSH8 0xffffffffffffffff
00003464: DUP2
00003465: PUSH1 0x24
00003467: DUP5
00003468: ADD
00003469: GT
0000346a: DUP2
0000346b: DUP5
0000346c: GT
0000346d: OR
0000346e: ISZERO
0000346f: PUSH2 0x347b
00003472: JUMPI
00003473: POP
00003474: POP
00003475: POP
00003476: POP
00003477: PUSH2 0x1125
0000347a: JUMP
0000347b: JUMPDEST
0000347c: DUP3
0000347d: DUP5
0000347e: ADD
0000347f: SWAP3
00003480: POP
00003481: DUP3
00003482: MLOAD
00003483: SWAP2
00003484: POP
00003485: DUP1
00003486: DUP3
00003487: GT
00003488: ISZERO
00003489: PUSH2 0x3495
0000348c: JUMPI
0000348d: POP
0000348e: POP
0000348f: POP
00003490: POP
00003491: PUSH2 0x1125
00003494: JUMP
00003495: JUMPDEST
00003496: POP
00003497: RETURNDATASIZE
00003498: DUP4
00003499: ADD
0000349a: PUSH1 0x20
0000349c: DUP3
0000349d: DUP5
0000349e: ADD
0000349f: ADD
000034a0: GT
000034a1: ISZERO
000034a2: PUSH2 0x34ad
000034a5: JUMPI
000034a6: POP
000034a7: POP
000034a8: POP
000034a9: PUSH2 0x1125
000034ac: JUMP
000034ad: JUMPDEST
000034ae: PUSH1 0x1f
000034b0: ADD
000034b1: PUSH1 0x1f
000034b3: NOT
000034b4: AND
000034b5: DUP2
000034b6: ADD
000034b7: PUSH1 0x20
000034b9: ADD
000034ba: PUSH1 0x40
000034bc: MSTORE
000034bd: SWAP2
000034be: POP
000034bf: POP
000034c0: SWAP1
000034c1: JUMP
000034c2: INVALID
000034c3: GASLIMIT
000034c4: MSTORE
000034c5: NUMBER
000034c6: BALANCE
000034c7: BALANCE
000034c8: CALLDATALOAD
000034c9: CALLDATALOAD
000034ca: GASPRICE
000034cb: KECCAK256
000034cc: PUSH21 0x72616e7366657220746f206e6f6e20455243313135
000034e2: CALLDATALOAD
000034e3: MSTORE
000034e4: PUSH6 0x636569766572
000034eb: KECCAK256
000034ec: PUSH10 0x6d706c656d656e746572
000034f7: GASLIMIT
000034f8: MSTORE
000034f9: NUMBER
000034fa: BALANCE
000034fb: BALANCE
000034fc: CALLDATALOAD
000034fd: CALLDATALOAD
000034fe: GASPRICE
000034ff: KECCAK256
00003500: GASLIMIT
00003501: MSTORE
00003502: NUMBER
00003503: BALANCE
00003504: BALANCE
00003505: CALLDATALOAD
00003506: CALLDATALOAD
00003507: MSTORE
00003508: PUSH6 0x636569766572
0000350f: KECCAK256
00003510: PUSH19 0x656a656374656420746f6b656e734552433131
00003524: CALLDATALOAD
00003525: CALLDATALOAD
00003526: GASPRICE
00003527: KECCAK256
00003528: PUSH3 0x616c61
0000352c: PUSH15 0x636520717565727920666f72207468
0000353c: PUSH6 0x207a65726f20
00003543: PUSH2 0x6464
00003546: PUSH19 0x657373455243313135353a2062617463682062
0000355a: PUSH2 0x6c61
0000355d: PUSH15 0x636520717565727920666f72207468
0000356d: PUSH6 0x207a65726f20
00003574: PUSH2 0x6464
00003577: PUSH19 0x6573734f776e61626c653a206e6577206f776e
0000358b: PUSH6 0x722069732074
00003592: PUSH9 0x65207a65726f206164
0000359c: PUSH5 0x7265737345
000035a2: MSTORE
000035a3: NUMBER
000035a4: BALANCE
000035a5: BALANCE
000035a6: CALLDATALOAD
000035a7: CALLDATALOAD
000035a8: GASPRICE
000035a9: KECCAK256
000035aa: PUSH3 0x75726e
000035ae: KECCAK256
000035af: PUSH2 0x6d6f
000035b2: PUSH22 0x6e7420657863656564732062616c616e636545524331
000035c9: BALANCE
000035ca: CALLDATALOAD
000035cb: CALLDATALOAD
000035cc: GASPRICE
000035cd: KECCAK256
000035ce: PUSH4 0x616c6c65
000035d3: PUSH19 0x206973206e6f74206f776e6572206e6f722061
000035e7: PUSH17 0x70726f766564455243313135353a207472
000035f9: PUSH2 0x6e73
000035fc: PUSH7 0x657220746f2074
00003604: PUSH9 0x65207a65726f206164
0000360e: PUSH5 0x7265737345
00003614: MSTORE
00003615: NUMBER
00003616: BALANCE
00003617: BALANCE
00003618: CALLDATALOAD
00003619: CALLDATALOAD
0000361a: GASPRICE
0000361b: KECCAK256
0000361c: PUSH21 0x72616e736665722063616c6c6572206973206e6f74
00003632: KECCAK256
00003633: PUSH16 0x776e6572206e6f7220617070726f7665
00003644: PUSH5 0x4552433131
0000364a: CALLDATALOAD
0000364b: CALLDATALOAD
0000364c: GASPRICE
0000364d: KECCAK256
0000364e: PUSH3 0x75726e
00003652: KECCAK256
00003653: PUSH7 0x726f6d20746865
0000365b: KECCAK256
0000365c: PUSH27 0x65726f2061646472657373455243313135353a20696e7375666669
00003678: PUSH4 0x69656e74
0000367d: KECCAK256
0000367e: PUSH3 0x616c61
00003682: PUSH15 0x636520666f72207472616e73666572
00003692: MSTORE8
00003693: PUSH2 0x6665
00003696: UNKNOWN(0x4D)
00003697: PUSH2 0x7468
0000369a: GASPRICE
0000369b: KECCAK256
0000369c: PUSH14 0x756c7469706c69636174696f6e20
000036ab: PUSH16 0x766572666c6f774f776e61626c653a20
000036bc: PUSH4 0x616c6c65
000036c1: PUSH19 0x206973206e6f7420746865206f776e65724552
000036d5: NUMBER
000036d6: BALANCE
000036d7: BALANCE
000036d8: CALLDATALOAD
000036d9: CALLDATALOAD
000036da: GASPRICE
000036db: KECCAK256
000036dc: PUSH20 0x657474696e6720617070726f76616c2073746174
000036f1: PUSH22 0x7320666f722073656c66455243313135353a20616363
00003708: PUSH16 0x756e747320616e6420696473206c656e
00003719: PUSH8 0x7468206d69736d61
00003722: PUSH21 0x6368455243313135353a2069647320616e6420616d
00003738: PUSH16 0x756e7473206c656e677468206d69736d
00003749: PUSH2 0x7463
0000374c: PUSH9 0x455243313135353a20
00003756: PUSH14 0x696e7420746f20746865207a6572
00003765: PUSH16 0x2061646472657373a264697066735822
00003776: SLT
00003777: KECCAK256
00003778: UNKNOWN(0xE6)
00003779: SELFDESTRUCT
0000377a: DUP10
0000377b: PUSH26 0xee3c9ab68c156483af0818cab926c99b3384789f57650c089ca3
00003796: UNKNOWN(0xEB)
00003797: DUP5
00003798: PUSH5 0x736f6c6343
0000379e: STOP
0000379f: SMOD
000037a0: MOD
000037a1: STOP
000037a2: CALLER