Analysis Run

[codex:294153] OpenAI Codex v0.77.0 (research preview)
[codex:294153] --------
[codex:294153] workdir: /tmp/codex-multi-5280nztj
[codex:294153] model: gpt-5.2-codex
[codex:294153] provider: openai
[codex:294153] approval: never
[codex:294153] sandbox: read-only
[codex:294153] reasoning effort: xhigh
[codex:294153] reasoning summaries: auto
[codex:294153] session id: 019b8cd3-e6d4-7812-9748-a8de74085f18
[codex:294153] --------
[codex:294153] user
[codex:294153] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:294153] 
[codex:294153] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:294153] 
[codex:294153] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:294153] - Gas inefficiency, code quality, naming, or best practices
[codex:294153] - Theoretical vulnerabilities without a clear extraction path
[codex:294153] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:294153] - Front-running unless it enables theft beyond MEV
[codex:294153] - DoS, griefing, or issues that don't result in attacker profit
[codex:294153] - Missing events, view function issues, or informational findings
[codex:294153] 
[codex:294153] HIGH-VALUE PATTERNS TO HUNT:
[codex:294153] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:294153] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:294153] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:294153] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:294153] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:294153] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:294153] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:294153] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:294153] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:294153] 
[codex:294153] For each finding, you MUST provide:
[codex:294153] 1. Exact file and line numbers of vulnerable code
[codex:294153] 2. Step-by-step exploit transaction sequence
[codex:294153] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:294153] 
[codex:294153] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:294153] 
[codex:294153] Output MUST be valid JSON matching the provided schema.
[codex:294153] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:294153] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:294153] mcp startup: no servers
[codex:294153] 
[codex:294153] thinking
[codex:294153] **Preparing to read audit instructions**
[codex:294153] exec
[codex:294153] /bin/bash -lc ls in /tmp/codex-multi-5280nztj succeeded in 6ms:
[codex:294153] AUDIT_BUNDLE.txt
[codex:294153] codex-output-schema.json
[codex:294153] contracts
[codex:294153] exec
[codex:294153] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-5280nztj succeeded in 6ms:
[codex:294153] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:294153] 
[codex:294153] ================================================================================
[codex:294153] FILE: contracts/Contract.sol
[codex:294153] ================================================================================
[codex:294153] pragma solidity 0.4.24;
[codex:294153] 
[codex:294153] contract ERC20 {
[codex:294153] 	function balanceOf(address who) public view returns (uint256);
[codex:294153] 
[codex:294153] 	function transfer(address to, uint256 value) public returns (bool);
[codex:294153] 
[codex:294153] 	function transferFrom(address _from, address _to, uint _value) external returns (bool);
[codex:294153] }
[codex:294153] 
[codex:294153] contract Ownable {
[codex:294153] 	address public owner = 0x345aCaFA4314Bc2479a3aA7cCf8eb47f223C1d0e;
[codex:294153] 
[codex:294153] 	modifier onlyOwner() {
[codex:294153] 		require(msg.sender == owner);
[codex:294153] 
[codex:294153] 
[codex:294153] thinking
[codex:294153] **Analyzing Solidity contract for exploits**
[codex:294153] 
[codex:294153] I'm carefully reviewing the contract's token transfer mechanics, ownership checks, and arithmetic to spot any profit-driven exploit paths. There’s a lot to consider—reentrancy risks, type overflows, approval logic, and token distribution formulas—all scoped to Solidity 0.4.24 quirks. I’m checking the implications of state changes around contributions, token minting, and box openings, especially the interactions with external ERC20 tokens and how owner-only controls limit attack surfaces. Let’s explore if any subtle logic or arithmetic vulnerabilities could allow unexpected gains.
[codex:294153] thinking
[codex:294153] **Validating exploit absence and preparing report**
[codex:294153] 
[codex:294153] I'm confirming no overflow or approval exploits exist that could yield profit, carefully reviewing token transfer and approval flows. Since no concrete vulnerabilities were found, I'll prepare a JSON report indicating no findings and a concise summary to fulfill the audit output requirements.
[codex:294153] codex
[codex:294153] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contract bundle.","findings":[]}
[codex:294153] tokens used
[codex:294153] 12,936
[codex:294153] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contract bundle.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-05T06:25:47.988681+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in the provided contract bundle.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths found in the provided contract bundle.",
        "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 0x0230
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH4 0x01ffc9a7
0000003c: EQ
0000003d: PUSH2 0x023b
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x0560ff44
00000047: EQ
00000048: PUSH2 0x029f
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x06fdde03
00000052: EQ
00000053: PUSH2 0x038b
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x095ea7b3
0000005d: EQ
0000005e: PUSH2 0x041b
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x0c9daf45
00000068: EQ
00000069: PUSH2 0x0468
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x17ffc320
00000073: EQ
00000074: PUSH2 0x04bf
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x18160ddd
0000007e: EQ
0000007f: PUSH2 0x0502
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x210e734c
00000089: EQ
0000008a: PUSH2 0x052d
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x23b872dd
00000094: EQ
00000095: PUSH2 0x0572
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x25402e6c
0000009f: EQ
000000a0: PUSH2 0x05df
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0x2ebb5056
000000aa: EQ
000000ab: PUSH2 0x060a
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0x3276249f
000000b5: EQ
000000b6: PUSH2 0x0665
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0x3cb5d100
000000c0: EQ
000000c1: PUSH2 0x06bc
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0x3e52d5c6
000000cb: EQ
000000cc: PUSH2 0x0729
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0x3f4ba83a
000000d6: EQ
000000d7: PUSH2 0x078f
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0x4042b66f
000000e1: EQ
000000e2: PUSH2 0x07a6
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0x4ab994ad
000000ec: EQ
000000ed: PUSH2 0x07d1
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0x56ddbe7a
000000f7: EQ
000000f8: PUSH2 0x0828
000000fb: JUMPI
000000fc: DUP1
000000fd: PUSH4 0x5c975abb
00000102: EQ
00000103: PUSH2 0x0895
00000106: JUMPI
00000107: DUP1
00000108: PUSH4 0x6352211e
0000010d: EQ
0000010e: PUSH2 0x08c4
00000111: JUMPI
00000112: DUP1
00000113: PUSH4 0x63fd9e38
00000118: EQ
00000119: PUSH2 0x0931
0000011c: JUMPI
0000011d: DUP1
0000011e: PUSH4 0x70a08231
00000123: EQ
00000124: PUSH2 0x095c
00000127: JUMPI
00000128: DUP1
00000129: PUSH4 0x7569b3d7
0000012e: EQ
0000012f: PUSH2 0x09b3
00000132: JUMPI
00000133: DUP1
00000134: PUSH4 0x835fc6ca
00000139: EQ
0000013a: PUSH2 0x09de
0000013d: JUMPI
0000013e: DUP1
0000013f: PUSH4 0x8456cb59
00000144: EQ
00000145: PUSH2 0x0a0b
00000148: JUMPI
00000149: DUP1
0000014a: PUSH4 0x8462151c
0000014f: EQ
00000150: PUSH2 0x0a22
00000153: JUMPI
00000154: DUP1
00000155: PUSH4 0x88072700
0000015a: EQ
0000015b: PUSH2 0x0aba
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0x8b157515
00000165: EQ
00000166: PUSH2 0x0b27
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0x8da5cb5b
00000170: EQ
00000171: PUSH2 0x0bbf
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0x95d89b41
0000017b: EQ
0000017c: PUSH2 0x0c16
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0xa64e920d
00000186: EQ
00000187: PUSH2 0x0ca6
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0xa731f31a
00000191: EQ
00000192: PUSH2 0x0cd1
00000195: JUMPI
00000196: DUP1
00000197: PUSH4 0xa9059cbb
0000019c: EQ
0000019d: PUSH2 0x0d69
000001a0: JUMPI
000001a1: DUP1
000001a2: PUSH4 0xb01454dd
000001a7: EQ
000001a8: PUSH2 0x0db6
000001ab: JUMPI
000001ac: DUP1
000001ad: PUSH4 0xbc4006f5
000001b2: EQ
000001b3: PUSH2 0x0e0d
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0xbfb231d2
000001bd: EQ
000001be: PUSH2 0x0e64
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0xcc33c875
000001c8: EQ
000001c9: PUSH2 0x0f00
000001cc: JUMPI
000001cd: DUP1
000001ce: PUSH4 0xcec21acb
000001d3: EQ
000001d4: PUSH2 0x0f82
000001d7: JUMPI
000001d8: DUP1
000001d9: PUSH4 0xdc45b93a
000001de: EQ
000001df: PUSH2 0x0fd9
000001e2: JUMPI
000001e3: DUP1
000001e4: PUSH4 0xe17b25af
000001e9: EQ
000001ea: PUSH2 0x1004
000001ed: JUMPI
000001ee: DUP1
000001ef: PUSH4 0xec39d6e6
000001f4: EQ
000001f5: PUSH2 0x1047
000001f8: JUMPI
000001f9: DUP1
000001fa: PUSH4 0xec8ac4d8
000001ff: EQ
00000200: PUSH2 0x109e
00000203: JUMPI
00000204: DUP1
00000205: PUSH4 0xf1317352
0000020a: EQ
0000020b: PUSH2 0x10d4
0000020e: JUMPI
0000020f: DUP1
00000210: PUSH4 0xfb7e54eb
00000215: EQ
00000216: PUSH2 0x1141
00000219: JUMPI
0000021a: DUP1
0000021b: PUSH4 0xfb86a404
00000220: EQ
00000221: PUSH2 0x1198
00000224: JUMPI
00000225: DUP1
00000226: PUSH4 0xfe9b1a89
0000022b: EQ
0000022c: PUSH2 0x11c3
0000022f: JUMPI
00000230: JUMPDEST
00000231: PUSH2 0x0239
00000234: CALLER
00000235: PUSH2 0x1230
00000238: JUMP
00000239: JUMPDEST
0000023a: STOP
0000023b: JUMPDEST
0000023c: CALLVALUE
0000023d: DUP1
0000023e: ISZERO
0000023f: PUSH2 0x0247
00000242: JUMPI
00000243: PUSH1 0x00
00000245: DUP1
00000246: REVERT
00000247: JUMPDEST
00000248: POP
00000249: PUSH2 0x0285
0000024c: PUSH1 0x04
0000024e: DUP1
0000024f: CALLDATASIZE
00000250: SUB
00000251: DUP2
00000252: ADD
00000253: SWAP1
00000254: DUP1
00000255: DUP1
00000256: CALLDATALOAD
00000257: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000274: NOT
00000275: AND
00000276: SWAP1
00000277: PUSH1 0x20
00000279: ADD
0000027a: SWAP1
0000027b: SWAP3
0000027c: SWAP2
0000027d: SWAP1
0000027e: POP
0000027f: POP
00000280: POP
00000281: PUSH2 0x165c
00000284: JUMP
00000285: JUMPDEST
00000286: PUSH1 0x40
00000288: MLOAD
00000289: DUP1
0000028a: DUP3
0000028b: ISZERO
0000028c: ISZERO
0000028d: ISZERO
0000028e: ISZERO
0000028f: DUP2
00000290: MSTORE
00000291: PUSH1 0x20
00000293: ADD
00000294: SWAP2
00000295: POP
00000296: POP
00000297: PUSH1 0x40
00000299: MLOAD
0000029a: DUP1
0000029b: SWAP2
0000029c: SUB
0000029d: SWAP1
0000029e: RETURN
0000029f: JUMPDEST
000002a0: CALLVALUE
000002a1: DUP1
000002a2: ISZERO
000002a3: PUSH2 0x02ab
000002a6: JUMPI
000002a7: PUSH1 0x00
000002a9: DUP1
000002aa: REVERT
000002ab: JUMPDEST
000002ac: POP
000002ad: PUSH2 0x0310
000002b0: PUSH1 0x04
000002b2: DUP1
000002b3: CALLDATASIZE
000002b4: SUB
000002b5: DUP2
000002b6: ADD
000002b7: SWAP1
000002b8: DUP1
000002b9: DUP1
000002ba: CALLDATALOAD
000002bb: SWAP1
000002bc: PUSH1 0x20
000002be: ADD
000002bf: SWAP1
000002c0: SWAP3
000002c1: SWAP2
000002c2: SWAP1
000002c3: DUP1
000002c4: CALLDATALOAD
000002c5: SWAP1
000002c6: PUSH1 0x20
000002c8: ADD
000002c9: SWAP1
000002ca: DUP3
000002cb: ADD
000002cc: DUP1
000002cd: CALLDATALOAD
000002ce: SWAP1
000002cf: PUSH1 0x20
000002d1: ADD
000002d2: SWAP1
000002d3: DUP1
000002d4: DUP1
000002d5: PUSH1 0x1f
000002d7: ADD
000002d8: PUSH1 0x20
000002da: DUP1
000002db: SWAP2
000002dc: DIV
000002dd: MUL
000002de: PUSH1 0x20
000002e0: ADD
000002e1: PUSH1 0x40
000002e3: MLOAD
000002e4: SWAP1
000002e5: DUP2
000002e6: ADD
000002e7: PUSH1 0x40
000002e9: MSTORE
000002ea: DUP1
000002eb: SWAP4
000002ec: SWAP3
000002ed: SWAP2
000002ee: SWAP1
000002ef: DUP2
000002f0: DUP2
000002f1: MSTORE
000002f2: PUSH1 0x20
000002f4: ADD
000002f5: DUP4
000002f6: DUP4
000002f7: DUP1
000002f8: DUP3
000002f9: DUP5
000002fa: CALLDATACOPY
000002fb: DUP3
000002fc: ADD
000002fd: SWAP2
000002fe: POP
000002ff: POP
00000300: POP
00000301: POP
00000302: POP
00000303: POP
00000304: SWAP2
00000305: SWAP3
00000306: SWAP2
00000307: SWAP3
00000308: SWAP1
00000309: POP
0000030a: POP
0000030b: POP
0000030c: PUSH2 0x196d
0000030f: JUMP
00000310: JUMPDEST
00000311: PUSH1 0x40
00000313: MLOAD
00000314: DUP1
00000315: DUP1
00000316: PUSH1 0x20
00000318: ADD
00000319: DUP3
0000031a: DUP2
0000031b: SUB
0000031c: DUP3
0000031d: MSTORE
0000031e: DUP4
0000031f: DUP2
00000320: DUP2
00000321: MLOAD
00000322: DUP2
00000323: MSTORE
00000324: PUSH1 0x20
00000326: ADD
00000327: SWAP2
00000328: POP
00000329: DUP1
0000032a: MLOAD
0000032b: SWAP1
0000032c: PUSH1 0x20
0000032e: ADD
0000032f: SWAP1
00000330: DUP1
00000331: DUP4
00000332: DUP4
00000333: PUSH1 0x00
00000335: JUMPDEST
00000336: DUP4
00000337: DUP2
00000338: LT
00000339: ISZERO
0000033a: PUSH2 0x0350
0000033d: JUMPI
0000033e: DUP1
0000033f: DUP3
00000340: ADD
00000341: MLOAD
00000342: DUP2
00000343: DUP5
00000344: ADD
00000345: MSTORE
00000346: PUSH1 0x20
00000348: DUP2
00000349: ADD
0000034a: SWAP1
0000034b: POP
0000034c: PUSH2 0x0335
0000034f: JUMP
00000350: JUMPDEST
00000351: POP
00000352: POP
00000353: POP
00000354: POP
00000355: SWAP1
00000356: POP
00000357: SWAP1
00000358: DUP2
00000359: ADD
0000035a: SWAP1
0000035b: PUSH1 0x1f
0000035d: AND
0000035e: DUP1
0000035f: ISZERO
00000360: PUSH2 0x037d
00000363: JUMPI
00000364: DUP1
00000365: DUP3
00000366: SUB
00000367: DUP1
00000368: MLOAD
00000369: PUSH1 0x01
0000036b: DUP4
0000036c: PUSH1 0x20
0000036e: SUB
0000036f: PUSH2 0x0100
00000372: EXP
00000373: SUB
00000374: NOT
00000375: AND
00000376: DUP2
00000377: MSTORE
00000378: PUSH1 0x20
0000037a: ADD
0000037b: SWAP2
0000037c: POP
0000037d: JUMPDEST
0000037e: POP
0000037f: SWAP3
00000380: POP
00000381: POP
00000382: POP
00000383: PUSH1 0x40
00000385: MLOAD
00000386: DUP1
00000387: SWAP2
00000388: SUB
00000389: SWAP1
0000038a: RETURN
0000038b: JUMPDEST
0000038c: CALLVALUE
0000038d: DUP1
0000038e: ISZERO
0000038f: PUSH2 0x0397
00000392: JUMPI
00000393: PUSH1 0x00
00000395: DUP1
00000396: REVERT
00000397: JUMPDEST
00000398: POP
00000399: PUSH2 0x03a0
0000039c: PUSH2 0x1b40
0000039f: JUMP
000003a0: JUMPDEST
000003a1: PUSH1 0x40
000003a3: MLOAD
000003a4: DUP1
000003a5: DUP1
000003a6: PUSH1 0x20
000003a8: ADD
000003a9: DUP3
000003aa: DUP2
000003ab: SUB
000003ac: DUP3
000003ad: MSTORE
000003ae: DUP4
000003af: DUP2
000003b0: DUP2
000003b1: MLOAD
000003b2: DUP2
000003b3: MSTORE
000003b4: PUSH1 0x20
000003b6: ADD
000003b7: SWAP2
000003b8: POP
000003b9: DUP1
000003ba: MLOAD
000003bb: SWAP1
000003bc: PUSH1 0x20
000003be: ADD
000003bf: SWAP1
000003c0: DUP1
000003c1: DUP4
000003c2: DUP4
000003c3: PUSH1 0x00
000003c5: JUMPDEST
000003c6: DUP4
000003c7: DUP2
000003c8: LT
000003c9: ISZERO
000003ca: PUSH2 0x03e0
000003cd: JUMPI
000003ce: DUP1
000003cf: DUP3
000003d0: ADD
000003d1: MLOAD
000003d2: DUP2
000003d3: DUP5
000003d4: ADD
000003d5: MSTORE
000003d6: PUSH1 0x20
000003d8: DUP2
000003d9: ADD
000003da: SWAP1
000003db: POP
000003dc: PUSH2 0x03c5
000003df: JUMP
000003e0: JUMPDEST
000003e1: POP
000003e2: POP
000003e3: POP
000003e4: POP
000003e5: SWAP1
000003e6: POP
000003e7: SWAP1
000003e8: DUP2
000003e9: ADD
000003ea: SWAP1
000003eb: PUSH1 0x1f
000003ed: AND
000003ee: DUP1
000003ef: ISZERO
000003f0: PUSH2 0x040d
000003f3: JUMPI
000003f4: DUP1
000003f5: DUP3
000003f6: SUB
000003f7: DUP1
000003f8: MLOAD
000003f9: PUSH1 0x01
000003fb: DUP4
000003fc: PUSH1 0x20
000003fe: SUB
000003ff: PUSH2 0x0100
00000402: EXP
00000403: SUB
00000404: NOT
00000405: AND
00000406: DUP2
00000407: MSTORE
00000408: PUSH1 0x20
0000040a: ADD
0000040b: SWAP2
0000040c: POP
0000040d: JUMPDEST
0000040e: POP
0000040f: SWAP3
00000410: POP
00000411: POP
00000412: POP
00000413: PUSH1 0x40
00000415: MLOAD
00000416: DUP1
00000417: SWAP2
00000418: SUB
00000419: SWAP1
0000041a: RETURN
0000041b: JUMPDEST
0000041c: CALLVALUE
0000041d: DUP1
0000041e: ISZERO
0000041f: PUSH2 0x0427
00000422: JUMPI
00000423: PUSH1 0x00
00000425: DUP1
00000426: REVERT
00000427: JUMPDEST
00000428: POP
00000429: PUSH2 0x0466
0000042c: PUSH1 0x04
0000042e: DUP1
0000042f: CALLDATASIZE
00000430: SUB
00000431: DUP2
00000432: ADD
00000433: SWAP1
00000434: DUP1
00000435: DUP1
00000436: CALLDATALOAD
00000437: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000044c: AND
0000044d: SWAP1
0000044e: PUSH1 0x20
00000450: ADD
00000451: SWAP1
00000452: SWAP3
00000453: SWAP2
00000454: SWAP1
00000455: DUP1
00000456: CALLDATALOAD
00000457: SWAP1
00000458: PUSH1 0x20
0000045a: ADD
0000045b: SWAP1
0000045c: SWAP3
0000045d: SWAP2
0000045e: SWAP1
0000045f: POP
00000460: POP
00000461: POP
00000462: PUSH2 0x1ba3
00000465: JUMP
00000466: JUMPDEST
00000467: STOP
00000468: JUMPDEST
00000469: CALLVALUE
0000046a: DUP1
0000046b: ISZERO
0000046c: PUSH2 0x0474
0000046f: JUMPI
00000470: PUSH1 0x00
00000472: DUP1
00000473: REVERT
00000474: JUMPDEST
00000475: POP
00000476: PUSH2 0x047d
00000479: PUSH2 0x1c2b
0000047c: JUMP
0000047d: JUMPDEST
0000047e: PUSH1 0x40
00000480: MLOAD
00000481: DUP1
00000482: DUP3
00000483: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000498: AND
00000499: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ae: AND
000004af: DUP2
000004b0: MSTORE
000004b1: PUSH1 0x20
000004b3: ADD
000004b4: SWAP2
000004b5: POP
000004b6: POP
000004b7: PUSH1 0x40
000004b9: MLOAD
000004ba: DUP1
000004bb: SWAP2
000004bc: SUB
000004bd: SWAP1
000004be: RETURN
000004bf: JUMPDEST
000004c0: CALLVALUE
000004c1: DUP1
000004c2: ISZERO
000004c3: PUSH2 0x04cb
000004c6: JUMPI
000004c7: PUSH1 0x00
000004c9: DUP1
000004ca: REVERT
000004cb: JUMPDEST
000004cc: POP
000004cd: PUSH2 0x0500
000004d0: PUSH1 0x04
000004d2: DUP1
000004d3: CALLDATASIZE
000004d4: SUB
000004d5: DUP2
000004d6: ADD
000004d7: SWAP1
000004d8: DUP1
000004d9: DUP1
000004da: CALLDATALOAD
000004db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004f0: AND
000004f1: SWAP1
000004f2: PUSH1 0x20
000004f4: ADD
000004f5: SWAP1
000004f6: SWAP3
000004f7: SWAP2
000004f8: SWAP1
000004f9: POP
000004fa: POP
000004fb: POP
000004fc: PUSH2 0x1c51
000004ff: JUMP
00000500: JUMPDEST
00000501: STOP
00000502: JUMPDEST
00000503: CALLVALUE
00000504: DUP1
00000505: ISZERO
00000506: PUSH2 0x050e
00000509: JUMPI
0000050a: PUSH1 0x00
0000050c: DUP1
0000050d: REVERT
0000050e: JUMPDEST
0000050f: POP
00000510: PUSH2 0x0517
00000513: PUSH2 0x1e8a
00000516: JUMP
00000517: JUMPDEST
00000518: PUSH1 0x40
0000051a: MLOAD
0000051b: DUP1
0000051c: DUP3
0000051d: DUP2
0000051e: MSTORE
0000051f: PUSH1 0x20
00000521: ADD
00000522: SWAP2
00000523: POP
00000524: POP
00000525: PUSH1 0x40
00000527: MLOAD
00000528: DUP1
00000529: SWAP2
0000052a: SUB
0000052b: SWAP1
0000052c: RETURN
0000052d: JUMPDEST
0000052e: CALLVALUE
0000052f: DUP1
00000530: ISZERO
00000531: PUSH2 0x0539
00000534: JUMPI
00000535: PUSH1 0x00
00000537: DUP1
00000538: REVERT
00000539: JUMPDEST
0000053a: POP
0000053b: PUSH2 0x0558
0000053e: PUSH1 0x04
00000540: DUP1
00000541: CALLDATASIZE
00000542: SUB
00000543: DUP2
00000544: ADD
00000545: SWAP1
00000546: DUP1
00000547: DUP1
00000548: CALLDATALOAD
00000549: SWAP1
0000054a: PUSH1 0x20
0000054c: ADD
0000054d: SWAP1
0000054e: SWAP3
0000054f: SWAP2
00000550: SWAP1
00000551: POP
00000552: POP
00000553: POP
00000554: PUSH2 0x1e97
00000557: JUMP
00000558: JUMPDEST
00000559: PUSH1 0x40
0000055b: MLOAD
0000055c: DUP1
0000055d: DUP3
0000055e: ISZERO
0000055f: ISZERO
00000560: ISZERO
00000561: ISZERO
00000562: DUP2
00000563: MSTORE
00000564: PUSH1 0x20
00000566: ADD
00000567: SWAP2
00000568: POP
00000569: POP
0000056a: PUSH1 0x40
0000056c: MLOAD
0000056d: DUP1
0000056e: SWAP2
0000056f: SUB
00000570: SWAP1
00000571: RETURN
00000572: JUMPDEST
00000573: CALLVALUE
00000574: DUP1
00000575: ISZERO
00000576: PUSH2 0x057e
00000579: JUMPI
0000057a: PUSH1 0x00
0000057c: DUP1
0000057d: REVERT
0000057e: JUMPDEST
0000057f: POP
00000580: PUSH2 0x05dd
00000583: PUSH1 0x04
00000585: DUP1
00000586: CALLDATASIZE
00000587: SUB
00000588: DUP2
00000589: ADD
0000058a: SWAP1
0000058b: DUP1
0000058c: DUP1
0000058d: CALLDATALOAD
0000058e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a3: AND
000005a4: SWAP1
000005a5: PUSH1 0x20
000005a7: ADD
000005a8: SWAP1
000005a9: SWAP3
000005aa: SWAP2
000005ab: SWAP1
000005ac: DUP1
000005ad: CALLDATALOAD
000005ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005c3: AND
000005c4: SWAP1
000005c5: PUSH1 0x20
000005c7: ADD
000005c8: SWAP1
000005c9: SWAP3
000005ca: SWAP2
000005cb: SWAP1
000005cc: DUP1
000005cd: CALLDATALOAD
000005ce: SWAP1
000005cf: PUSH1 0x20
000005d1: ADD
000005d2: SWAP1
000005d3: SWAP3
000005d4: SWAP2
000005d5: SWAP1
000005d6: POP
000005d7: POP
000005d8: POP
000005d9: PUSH2 0x1f99
000005dc: JUMP
000005dd: JUMPDEST
000005de: STOP
000005df: JUMPDEST
000005e0: CALLVALUE
000005e1: DUP1
000005e2: ISZERO
000005e3: PUSH2 0x05eb
000005e6: JUMPI
000005e7: PUSH1 0x00
000005e9: DUP1
000005ea: REVERT
000005eb: JUMPDEST
000005ec: POP
000005ed: PUSH2 0x05f4
000005f0: PUSH2 0x204a
000005f3: JUMP
000005f4: JUMPDEST
000005f5: PUSH1 0x40
000005f7: MLOAD
000005f8: DUP1
000005f9: DUP3
000005fa: DUP2
000005fb: MSTORE
000005fc: PUSH1 0x20
000005fe: ADD
000005ff: SWAP2
00000600: POP
00000601: POP
00000602: PUSH1 0x40
00000604: MLOAD
00000605: DUP1
00000606: SWAP2
00000607: SUB
00000608: SWAP1
00000609: RETURN
0000060a: JUMPDEST
0000060b: CALLVALUE
0000060c: DUP1
0000060d: ISZERO
0000060e: PUSH2 0x0616
00000611: JUMPI
00000612: PUSH1 0x00
00000614: DUP1
00000615: REVERT
00000616: JUMPDEST
00000617: POP
00000618: PUSH2 0x064b
0000061b: PUSH1 0x04
0000061d: DUP1
0000061e: CALLDATASIZE
0000061f: SUB
00000620: DUP2
00000621: ADD
00000622: SWAP1
00000623: DUP1
00000624: DUP1
00000625: CALLDATALOAD
00000626: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000063b: AND
0000063c: SWAP1
0000063d: PUSH1 0x20
0000063f: ADD
00000640: SWAP1
00000641: SWAP3
00000642: SWAP2
00000643: SWAP1
00000644: POP
00000645: POP
00000646: POP
00000647: PUSH2 0x2050
0000064a: JUMP
0000064b: JUMPDEST
0000064c: PUSH1 0x40
0000064e: MLOAD
0000064f: DUP1
00000650: DUP3
00000651: ISZERO
00000652: ISZERO
00000653: ISZERO
00000654: ISZERO
00000655: DUP2
00000656: MSTORE
00000657: PUSH1 0x20
00000659: ADD
0000065a: SWAP2
0000065b: POP
0000065c: POP
0000065d: PUSH1 0x40
0000065f: MLOAD
00000660: DUP1
00000661: SWAP2
00000662: SUB
00000663: SWAP1
00000664: RETURN
00000665: JUMPDEST
00000666: CALLVALUE
00000667: DUP1
00000668: ISZERO
00000669: PUSH2 0x0671
0000066c: JUMPI
0000066d: PUSH1 0x00
0000066f: DUP1
00000670: REVERT
00000671: JUMPDEST
00000672: POP
00000673: PUSH2 0x067a
00000676: PUSH2 0x2070
00000679: JUMP
0000067a: JUMPDEST
0000067b: PUSH1 0x40
0000067d: MLOAD
0000067e: DUP1
0000067f: DUP3
00000680: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000695: AND
00000696: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006ab: AND
000006ac: DUP2
000006ad: MSTORE
000006ae: PUSH1 0x20
000006b0: ADD
000006b1: SWAP2
000006b2: POP
000006b3: POP
000006b4: PUSH1 0x40
000006b6: MLOAD
000006b7: DUP1
000006b8: SWAP2
000006b9: SUB
000006ba: SWAP1
000006bb: RETURN
000006bc: JUMPDEST
000006bd: CALLVALUE
000006be: DUP1
000006bf: ISZERO
000006c0: PUSH2 0x06c8
000006c3: JUMPI
000006c4: PUSH1 0x00
000006c6: DUP1
000006c7: REVERT
000006c8: JUMPDEST
000006c9: POP
000006ca: PUSH2 0x06e7
000006cd: PUSH1 0x04
000006cf: DUP1
000006d0: CALLDATASIZE
000006d1: SUB
000006d2: DUP2
000006d3: ADD
000006d4: SWAP1
000006d5: DUP1
000006d6: DUP1
000006d7: CALLDATALOAD
000006d8: SWAP1
000006d9: PUSH1 0x20
000006db: ADD
000006dc: SWAP1
000006dd: SWAP3
000006de: SWAP2
000006df: SWAP1
000006e0: POP
000006e1: POP
000006e2: POP
000006e3: PUSH2 0x2096
000006e6: JUMP
000006e7: JUMPDEST
000006e8: PUSH1 0x40
000006ea: MLOAD
000006eb: DUP1
000006ec: DUP3
000006ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000702: AND
00000703: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000718: AND
00000719: DUP2
0000071a: MSTORE
0000071b: PUSH1 0x20
0000071d: ADD
0000071e: SWAP2
0000071f: POP
00000720: POP
00000721: PUSH1 0x40
00000723: MLOAD
00000724: DUP1
00000725: SWAP2
00000726: SUB
00000727: SWAP1
00000728: RETURN
00000729: JUMPDEST
0000072a: CALLVALUE
0000072b: DUP1
0000072c: ISZERO
0000072d: PUSH2 0x0735
00000730: JUMPI
00000731: PUSH1 0x00
00000733: DUP1
00000734: REVERT
00000735: JUMPDEST
00000736: POP
00000737: PUSH2 0x078d
0000073a: PUSH1 0x04
0000073c: DUP1
0000073d: CALLDATASIZE
0000073e: SUB
0000073f: DUP2
00000740: ADD
00000741: SWAP1
00000742: DUP1
00000743: DUP1
00000744: CALLDATALOAD
00000745: SWAP1
00000746: PUSH1 0x20
00000748: ADD
00000749: SWAP1
0000074a: DUP3
0000074b: ADD
0000074c: DUP1
0000074d: CALLDATALOAD
0000074e: SWAP1
0000074f: PUSH1 0x20
00000751: ADD
00000752: SWAP1
00000753: DUP1
00000754: DUP1
00000755: PUSH1 0x20
00000757: MUL
00000758: PUSH1 0x20
0000075a: ADD
0000075b: PUSH1 0x40
0000075d: MLOAD
0000075e: SWAP1
0000075f: DUP2
00000760: ADD
00000761: PUSH1 0x40
00000763: MSTORE
00000764: DUP1
00000765: SWAP4
00000766: SWAP3
00000767: SWAP2
00000768: SWAP1
00000769: DUP2
0000076a: DUP2
0000076b: MSTORE
0000076c: PUSH1 0x20
0000076e: ADD
0000076f: DUP4
00000770: DUP4
00000771: PUSH1 0x20
00000773: MUL
00000774: DUP1
00000775: DUP3
00000776: DUP5
00000777: CALLDATACOPY
00000778: DUP3
00000779: ADD
0000077a: SWAP2
0000077b: POP
0000077c: POP
0000077d: POP
0000077e: POP
0000077f: POP
00000780: POP
00000781: SWAP2
00000782: SWAP3
00000783: SWAP2
00000784: SWAP3
00000785: SWAP1
00000786: POP
00000787: POP
00000788: POP
00000789: PUSH2 0x20d4
0000078c: JUMP
0000078d: JUMPDEST
0000078e: STOP
0000078f: JUMPDEST
00000790: CALLVALUE
00000791: DUP1
00000792: ISZERO
00000793: PUSH2 0x079b
00000796: JUMPI
00000797: PUSH1 0x00
00000799: DUP1
0000079a: REVERT
0000079b: JUMPDEST
0000079c: POP
0000079d: PUSH2 0x07a4
000007a0: PUSH2 0x2532
000007a3: JUMP
000007a4: JUMPDEST
000007a5: STOP
000007a6: JUMPDEST
000007a7: CALLVALUE
000007a8: DUP1
000007a9: ISZERO
000007aa: PUSH2 0x07b2
000007ad: JUMPI
000007ae: PUSH1 0x00
000007b0: DUP1
000007b1: REVERT
000007b2: JUMPDEST
000007b3: POP
000007b4: PUSH2 0x07bb
000007b7: PUSH2 0x25f0
000007ba: JUMP
000007bb: JUMPDEST
000007bc: PUSH1 0x40
000007be: MLOAD
000007bf: DUP1
000007c0: DUP3
000007c1: DUP2
000007c2: MSTORE
000007c3: PUSH1 0x20
000007c5: ADD
000007c6: SWAP2
000007c7: POP
000007c8: POP
000007c9: PUSH1 0x40
000007cb: MLOAD
000007cc: DUP1
000007cd: SWAP2
000007ce: SUB
000007cf: SWAP1
000007d0: RETURN
000007d1: JUMPDEST
000007d2: CALLVALUE
000007d3: DUP1
000007d4: ISZERO
000007d5: PUSH2 0x07dd
000007d8: JUMPI
000007d9: PUSH1 0x00
000007db: DUP1
000007dc: REVERT
000007dd: JUMPDEST
000007de: POP
000007df: PUSH2 0x0812
000007e2: PUSH1 0x04
000007e4: DUP1
000007e5: CALLDATASIZE
000007e6: SUB
000007e7: DUP2
000007e8: ADD
000007e9: SWAP1
000007ea: DUP1
000007eb: DUP1
000007ec: CALLDATALOAD
000007ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000802: AND
00000803: SWAP1
00000804: PUSH1 0x20
00000806: ADD
00000807: SWAP1
00000808: SWAP3
00000809: SWAP2
0000080a: SWAP1
0000080b: POP
0000080c: POP
0000080d: POP
0000080e: PUSH2 0x25f6
00000811: JUMP
00000812: JUMPDEST
00000813: PUSH1 0x40
00000815: MLOAD
00000816: DUP1
00000817: DUP3
00000818: DUP2
00000819: MSTORE
0000081a: PUSH1 0x20
0000081c: ADD
0000081d: SWAP2
0000081e: POP
0000081f: POP
00000820: PUSH1 0x40
00000822: MLOAD
00000823: DUP1
00000824: SWAP2
00000825: SUB
00000826: SWAP1
00000827: RETURN
00000828: JUMPDEST
00000829: CALLVALUE
0000082a: DUP1
0000082b: ISZERO
0000082c: PUSH2 0x0834
0000082f: JUMPI
00000830: PUSH1 0x00
00000832: DUP1
00000833: REVERT
00000834: JUMPDEST
00000835: POP
00000836: PUSH2 0x0893
00000839: PUSH1 0x04
0000083b: DUP1
0000083c: CALLDATASIZE
0000083d: SUB
0000083e: DUP2
0000083f: ADD
00000840: SWAP1
00000841: DUP1
00000842: DUP1
00000843: CALLDATALOAD
00000844: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000859: AND
0000085a: SWAP1
0000085b: PUSH1 0x20
0000085d: ADD
0000085e: SWAP1
0000085f: SWAP3
00000860: SWAP2
00000861: SWAP1
00000862: DUP1
00000863: CALLDATALOAD
00000864: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000879: AND
0000087a: SWAP1
0000087b: PUSH1 0x20
0000087d: ADD
0000087e: SWAP1
0000087f: SWAP3
00000880: SWAP2
00000881: SWAP1
00000882: DUP1
00000883: CALLDATALOAD
00000884: SWAP1
00000885: PUSH1 0x20
00000887: ADD
00000888: SWAP1
00000889: SWAP3
0000088a: SWAP2
0000088b: SWAP1
0000088c: POP
0000088d: POP
0000088e: POP
0000088f: PUSH2 0x260e
00000892: JUMP
00000893: JUMPDEST
00000894: STOP
00000895: JUMPDEST
00000896: CALLVALUE
00000897: DUP1
00000898: ISZERO
00000899: PUSH2 0x08a1
0000089c: JUMPI
0000089d: PUSH1 0x00
0000089f: DUP1
000008a0: REVERT
000008a1: JUMPDEST
000008a2: POP
000008a3: PUSH2 0x08aa
000008a6: PUSH2 0x277e
000008a9: JUMP
000008aa: JUMPDEST
000008ab: PUSH1 0x40
000008ad: MLOAD
000008ae: DUP1
000008af: DUP3
000008b0: ISZERO
000008b1: ISZERO
000008b2: ISZERO
000008b3: ISZERO
000008b4: DUP2
000008b5: MSTORE
000008b6: PUSH1 0x20
000008b8: ADD
000008b9: SWAP2
000008ba: POP
000008bb: POP
000008bc: PUSH1 0x40
000008be: MLOAD
000008bf: DUP1
000008c0: SWAP2
000008c1: SUB
000008c2: SWAP1
000008c3: RETURN
000008c4: JUMPDEST
000008c5: CALLVALUE
000008c6: DUP1
000008c7: ISZERO
000008c8: PUSH2 0x08d0
000008cb: JUMPI
000008cc: PUSH1 0x00
000008ce: DUP1
000008cf: REVERT
000008d0: JUMPDEST
000008d1: POP
000008d2: PUSH2 0x08ef
000008d5: PUSH1 0x04
000008d7: DUP1
000008d8: CALLDATASIZE
000008d9: SUB
000008da: DUP2
000008db: ADD
000008dc: SWAP1
000008dd: DUP1
000008de: DUP1
000008df: CALLDATALOAD
000008e0: SWAP1
000008e1: PUSH1 0x20
000008e3: ADD
000008e4: SWAP1
000008e5: SWAP3
000008e6: SWAP2
000008e7: SWAP1
000008e8: POP
000008e9: POP
000008ea: POP
000008eb: PUSH2 0x2791
000008ee: JUMP
000008ef: JUMPDEST
000008f0: PUSH1 0x40
000008f2: MLOAD
000008f3: DUP1
000008f4: DUP3
000008f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000090a: AND
0000090b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000920: AND
00000921: DUP2
00000922: MSTORE
00000923: PUSH1 0x20
00000925: ADD
00000926: SWAP2
00000927: POP
00000928: POP
00000929: PUSH1 0x40
0000092b: MLOAD
0000092c: DUP1
0000092d: SWAP2
0000092e: SUB
0000092f: SWAP1
00000930: RETURN
00000931: JUMPDEST
00000932: CALLVALUE
00000933: DUP1
00000934: ISZERO
00000935: PUSH2 0x093d
00000938: JUMPI
00000939: PUSH1 0x00
0000093b: DUP1
0000093c: REVERT
0000093d: JUMPDEST
0000093e: POP
0000093f: PUSH2 0x0946
00000942: PUSH2 0x280a
00000945: JUMP
00000946: JUMPDEST
00000947: PUSH1 0x40
00000949: MLOAD
0000094a: DUP1
0000094b: DUP3
0000094c: DUP2
0000094d: MSTORE
0000094e: PUSH1 0x20
00000950: ADD
00000951: SWAP2
00000952: POP
00000953: POP
00000954: PUSH1 0x40
00000956: MLOAD
00000957: DUP1
00000958: SWAP2
00000959: SUB
0000095a: SWAP1
0000095b: RETURN
0000095c: JUMPDEST
0000095d: CALLVALUE
0000095e: DUP1
0000095f: ISZERO
00000960: PUSH2 0x0968
00000963: JUMPI
00000964: PUSH1 0x00
00000966: DUP1
00000967: REVERT
00000968: JUMPDEST
00000969: POP
0000096a: PUSH2 0x099d
0000096d: PUSH1 0x04
0000096f: DUP1
00000970: CALLDATASIZE
00000971: SUB
00000972: DUP2
00000973: ADD
00000974: SWAP1
00000975: DUP1
00000976: DUP1
00000977: CALLDATALOAD
00000978: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000098d: AND
0000098e: SWAP1
0000098f: PUSH1 0x20
00000991: ADD
00000992: SWAP1
00000993: SWAP3
00000994: SWAP2
00000995: SWAP1
00000996: POP
00000997: POP
00000998: POP
00000999: PUSH2 0x2816
0000099c: JUMP
0000099d: JUMPDEST
0000099e: PUSH1 0x40
000009a0: MLOAD
000009a1: DUP1
000009a2: DUP3
000009a3: DUP2
000009a4: MSTORE
000009a5: PUSH1 0x20
000009a7: ADD
000009a8: SWAP2
000009a9: POP
000009aa: POP
000009ab: PUSH1 0x40
000009ad: MLOAD
000009ae: DUP1
000009af: SWAP2
000009b0: SUB
000009b1: SWAP1
000009b2: RETURN
000009b3: JUMPDEST
000009b4: CALLVALUE
000009b5: DUP1
000009b6: ISZERO
000009b7: PUSH2 0x09bf
000009ba: JUMPI
000009bb: PUSH1 0x00
000009bd: DUP1
000009be: REVERT
000009bf: JUMPDEST
000009c0: POP
000009c1: PUSH2 0x09c8
000009c4: PUSH2 0x285f
000009c7: JUMP
000009c8: JUMPDEST
000009c9: PUSH1 0x40
000009cb: MLOAD
000009cc: DUP1
000009cd: DUP3
000009ce: DUP2
000009cf: MSTORE
000009d0: PUSH1 0x20
000009d2: ADD
000009d3: SWAP2
000009d4: POP
000009d5: POP
000009d6: PUSH1 0x40
000009d8: MLOAD
000009d9: DUP1
000009da: SWAP2
000009db: SUB
000009dc: SWAP1
000009dd: RETURN
000009de: JUMPDEST
000009df: CALLVALUE
000009e0: DUP1
000009e1: ISZERO
000009e2: PUSH2 0x09ea
000009e5: JUMPI
000009e6: PUSH1 0x00
000009e8: DUP1
000009e9: REVERT
000009ea: JUMPDEST
000009eb: POP
000009ec: PUSH2 0x0a09
000009ef: PUSH1 0x04
000009f1: DUP1
000009f2: CALLDATASIZE
000009f3: SUB
000009f4: DUP2
000009f5: ADD
000009f6: SWAP1
000009f7: DUP1
000009f8: DUP1
000009f9: CALLDATALOAD
000009fa: SWAP1
000009fb: PUSH1 0x20
000009fd: ADD
000009fe: SWAP1
000009ff: SWAP3
00000a00: SWAP2
00000a01: SWAP1
00000a02: POP
00000a03: POP
00000a04: POP
00000a05: PUSH2 0x286c
00000a08: JUMP
00000a09: JUMPDEST
00000a0a: STOP
00000a0b: JUMPDEST
00000a0c: CALLVALUE
00000a0d: DUP1
00000a0e: ISZERO
00000a0f: PUSH2 0x0a17
00000a12: JUMPI
00000a13: PUSH1 0x00
00000a15: DUP1
00000a16: REVERT
00000a17: JUMPDEST
00000a18: POP
00000a19: PUSH2 0x0a20
00000a1c: PUSH2 0x2932
00000a1f: JUMP
00000a20: JUMPDEST
00000a21: STOP
00000a22: JUMPDEST
00000a23: CALLVALUE
00000a24: DUP1
00000a25: ISZERO
00000a26: PUSH2 0x0a2e
00000a29: JUMPI
00000a2a: PUSH1 0x00
00000a2c: DUP1
00000a2d: REVERT
00000a2e: JUMPDEST
00000a2f: POP
00000a30: PUSH2 0x0a63
00000a33: PUSH1 0x04
00000a35: DUP1
00000a36: CALLDATASIZE
00000a37: SUB
00000a38: DUP2
00000a39: ADD
00000a3a: SWAP1
00000a3b: DUP1
00000a3c: DUP1
00000a3d: CALLDATALOAD
00000a3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a53: AND
00000a54: SWAP1
00000a55: PUSH1 0x20
00000a57: ADD
00000a58: SWAP1
00000a59: SWAP3
00000a5a: SWAP2
00000a5b: SWAP1
00000a5c: POP
00000a5d: POP
00000a5e: POP
00000a5f: PUSH2 0x29f2
00000a62: JUMP
00000a63: JUMPDEST
00000a64: PUSH1 0x40
00000a66: MLOAD
00000a67: DUP1
00000a68: DUP1
00000a69: PUSH1 0x20
00000a6b: ADD
00000a6c: DUP3
00000a6d: DUP2
00000a6e: SUB
00000a6f: DUP3
00000a70: MSTORE
00000a71: DUP4
00000a72: DUP2
00000a73: DUP2
00000a74: MLOAD
00000a75: DUP2
00000a76: MSTORE
00000a77: PUSH1 0x20
00000a79: ADD
00000a7a: SWAP2
00000a7b: POP
00000a7c: DUP1
00000a7d: MLOAD
00000a7e: SWAP1
00000a7f: PUSH1 0x20
00000a81: ADD
00000a82: SWAP1
00000a83: PUSH1 0x20
00000a85: MUL
00000a86: DUP1
00000a87: DUP4
00000a88: DUP4
00000a89: PUSH1 0x00
00000a8b: JUMPDEST
00000a8c: DUP4
00000a8d: DUP2
00000a8e: LT
00000a8f: ISZERO
00000a90: PUSH2 0x0aa6
00000a93: JUMPI
00000a94: DUP1
00000a95: DUP3
00000a96: ADD
00000a97: MLOAD
00000a98: DUP2
00000a99: DUP5
00000a9a: ADD
00000a9b: MSTORE
00000a9c: PUSH1 0x20
00000a9e: DUP2
00000a9f: ADD
00000aa0: SWAP1
00000aa1: POP
00000aa2: PUSH2 0x0a8b
00000aa5: JUMP
00000aa6: JUMPDEST
00000aa7: POP
00000aa8: POP
00000aa9: POP
00000aaa: POP
00000aab: SWAP1
00000aac: POP
00000aad: ADD
00000aae: SWAP3
00000aaf: POP
00000ab0: POP
00000ab1: POP
00000ab2: PUSH1 0x40
00000ab4: MLOAD
00000ab5: DUP1
00000ab6: SWAP2
00000ab7: SUB
00000ab8: SWAP1
00000ab9: RETURN
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 0x0ae5
00000acb: PUSH1 0x04
00000acd: DUP1
00000ace: CALLDATASIZE
00000acf: SUB
00000ad0: DUP2
00000ad1: ADD
00000ad2: SWAP1
00000ad3: DUP1
00000ad4: DUP1
00000ad5: CALLDATALOAD
00000ad6: SWAP1
00000ad7: PUSH1 0x20
00000ad9: ADD
00000ada: SWAP1
00000adb: SWAP3
00000adc: SWAP2
00000add: SWAP1
00000ade: POP
00000adf: POP
00000ae0: POP
00000ae1: PUSH2 0x2b3a
00000ae4: JUMP
00000ae5: JUMPDEST
00000ae6: PUSH1 0x40
00000ae8: MLOAD
00000ae9: DUP1
00000aea: DUP3
00000aeb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b00: AND
00000b01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b16: AND
00000b17: DUP2
00000b18: MSTORE
00000b19: PUSH1 0x20
00000b1b: ADD
00000b1c: SWAP2
00000b1d: POP
00000b1e: POP
00000b1f: PUSH1 0x40
00000b21: MLOAD
00000b22: DUP1
00000b23: SWAP2
00000b24: SUB
00000b25: SWAP1
00000b26: RETURN
00000b27: JUMPDEST
00000b28: CALLVALUE
00000b29: DUP1
00000b2a: ISZERO
00000b2b: PUSH2 0x0b33
00000b2e: JUMPI
00000b2f: PUSH1 0x00
00000b31: DUP1
00000b32: REVERT
00000b33: JUMPDEST
00000b34: POP
00000b35: PUSH2 0x0b68
00000b38: PUSH1 0x04
00000b3a: DUP1
00000b3b: CALLDATASIZE
00000b3c: SUB
00000b3d: DUP2
00000b3e: ADD
00000b3f: SWAP1
00000b40: DUP1
00000b41: DUP1
00000b42: CALLDATALOAD
00000b43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b58: AND
00000b59: SWAP1
00000b5a: PUSH1 0x20
00000b5c: ADD
00000b5d: SWAP1
00000b5e: SWAP3
00000b5f: SWAP2
00000b60: SWAP1
00000b61: POP
00000b62: POP
00000b63: POP
00000b64: PUSH2 0x2b6d
00000b67: JUMP
00000b68: JUMPDEST
00000b69: PUSH1 0x40
00000b6b: MLOAD
00000b6c: DUP1
00000b6d: DUP1
00000b6e: PUSH1 0x20
00000b70: ADD
00000b71: DUP3
00000b72: DUP2
00000b73: SUB
00000b74: DUP3
00000b75: MSTORE
00000b76: DUP4
00000b77: DUP2
00000b78: DUP2
00000b79: MLOAD
00000b7a: DUP2
00000b7b: MSTORE
00000b7c: PUSH1 0x20
00000b7e: ADD
00000b7f: SWAP2
00000b80: POP
00000b81: DUP1
00000b82: MLOAD
00000b83: SWAP1
00000b84: PUSH1 0x20
00000b86: ADD
00000b87: SWAP1
00000b88: PUSH1 0x20
00000b8a: MUL
00000b8b: DUP1
00000b8c: DUP4
00000b8d: DUP4
00000b8e: PUSH1 0x00
00000b90: JUMPDEST
00000b91: DUP4
00000b92: DUP2
00000b93: LT
00000b94: ISZERO
00000b95: PUSH2 0x0bab
00000b98: JUMPI
00000b99: DUP1
00000b9a: DUP3
00000b9b: ADD
00000b9c: MLOAD
00000b9d: DUP2
00000b9e: DUP5
00000b9f: ADD
00000ba0: MSTORE
00000ba1: PUSH1 0x20
00000ba3: DUP2
00000ba4: ADD
00000ba5: SWAP1
00000ba6: POP
00000ba7: PUSH2 0x0b90
00000baa: JUMP
00000bab: JUMPDEST
00000bac: POP
00000bad: POP
00000bae: POP
00000baf: POP
00000bb0: SWAP1
00000bb1: POP
00000bb2: ADD
00000bb3: SWAP3
00000bb4: POP
00000bb5: POP
00000bb6: POP
00000bb7: PUSH1 0x40
00000bb9: MLOAD
00000bba: DUP1
00000bbb: SWAP2
00000bbc: SUB
00000bbd: SWAP1
00000bbe: RETURN
00000bbf: JUMPDEST
00000bc0: CALLVALUE
00000bc1: DUP1
00000bc2: ISZERO
00000bc3: PUSH2 0x0bcb
00000bc6: JUMPI
00000bc7: PUSH1 0x00
00000bc9: DUP1
00000bca: REVERT
00000bcb: JUMPDEST
00000bcc: POP
00000bcd: PUSH2 0x0bd4
00000bd0: PUSH2 0x2e22
00000bd3: JUMP
00000bd4: JUMPDEST
00000bd5: PUSH1 0x40
00000bd7: MLOAD
00000bd8: DUP1
00000bd9: DUP3
00000bda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bef: AND
00000bf0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c05: AND
00000c06: DUP2
00000c07: MSTORE
00000c08: PUSH1 0x20
00000c0a: ADD
00000c0b: SWAP2
00000c0c: POP
00000c0d: POP
00000c0e: PUSH1 0x40
00000c10: MLOAD
00000c11: DUP1
00000c12: SWAP2
00000c13: SUB
00000c14: SWAP1
00000c15: RETURN
00000c16: JUMPDEST
00000c17: CALLVALUE
00000c18: DUP1
00000c19: ISZERO
00000c1a: PUSH2 0x0c22
00000c1d: JUMPI
00000c1e: PUSH1 0x00
00000c20: DUP1
00000c21: REVERT
00000c22: JUMPDEST
00000c23: POP
00000c24: PUSH2 0x0c2b
00000c27: PUSH2 0x2e47
00000c2a: JUMP
00000c2b: JUMPDEST
00000c2c: PUSH1 0x40
00000c2e: MLOAD
00000c2f: DUP1
00000c30: DUP1
00000c31: PUSH1 0x20
00000c33: ADD
00000c34: DUP3
00000c35: DUP2
00000c36: SUB
00000c37: DUP3
00000c38: MSTORE
00000c39: DUP4
00000c3a: DUP2
00000c3b: DUP2
00000c3c: MLOAD
00000c3d: DUP2
00000c3e: MSTORE
00000c3f: PUSH1 0x20
00000c41: ADD
00000c42: SWAP2
00000c43: POP
00000c44: DUP1
00000c45: MLOAD
00000c46: SWAP1
00000c47: PUSH1 0x20
00000c49: ADD
00000c4a: SWAP1
00000c4b: DUP1
00000c4c: DUP4
00000c4d: DUP4
00000c4e: PUSH1 0x00
00000c50: JUMPDEST
00000c51: DUP4
00000c52: DUP2
00000c53: LT
00000c54: ISZERO
00000c55: PUSH2 0x0c6b
00000c58: JUMPI
00000c59: DUP1
00000c5a: DUP3
00000c5b: ADD
00000c5c: MLOAD
00000c5d: DUP2
00000c5e: DUP5
00000c5f: ADD
00000c60: MSTORE
00000c61: PUSH1 0x20
00000c63: DUP2
00000c64: ADD
00000c65: SWAP1
00000c66: POP
00000c67: PUSH2 0x0c50
00000c6a: JUMP
00000c6b: JUMPDEST
00000c6c: POP
00000c6d: POP
00000c6e: POP
00000c6f: POP
00000c70: SWAP1
00000c71: POP
00000c72: SWAP1
00000c73: DUP2
00000c74: ADD
00000c75: SWAP1
00000c76: PUSH1 0x1f
00000c78: AND
00000c79: DUP1
00000c7a: ISZERO
00000c7b: PUSH2 0x0c98
00000c7e: JUMPI
00000c7f: DUP1
00000c80: DUP3
00000c81: SUB
00000c82: DUP1
00000c83: MLOAD
00000c84: PUSH1 0x01
00000c86: DUP4
00000c87: PUSH1 0x20
00000c89: SUB
00000c8a: PUSH2 0x0100
00000c8d: EXP
00000c8e: SUB
00000c8f: NOT
00000c90: AND
00000c91: DUP2
00000c92: MSTORE
00000c93: PUSH1 0x20
00000c95: ADD
00000c96: SWAP2
00000c97: POP
00000c98: JUMPDEST
00000c99: POP
00000c9a: SWAP3
00000c9b: POP
00000c9c: POP
00000c9d: POP
00000c9e: PUSH1 0x40
00000ca0: MLOAD
00000ca1: DUP1
00000ca2: SWAP2
00000ca3: SUB
00000ca4: SWAP1
00000ca5: RETURN
00000ca6: JUMPDEST
00000ca7: CALLVALUE
00000ca8: DUP1
00000ca9: ISZERO
00000caa: PUSH2 0x0cb2
00000cad: JUMPI
00000cae: PUSH1 0x00
00000cb0: DUP1
00000cb1: REVERT
00000cb2: JUMPDEST
00000cb3: POP
00000cb4: PUSH2 0x0cbb
00000cb7: PUSH2 0x2e84
00000cba: JUMP
00000cbb: JUMPDEST
00000cbc: PUSH1 0x40
00000cbe: MLOAD
00000cbf: DUP1
00000cc0: DUP3
00000cc1: DUP2
00000cc2: MSTORE
00000cc3: PUSH1 0x20
00000cc5: ADD
00000cc6: SWAP2
00000cc7: POP
00000cc8: POP
00000cc9: PUSH1 0x40
00000ccb: MLOAD
00000ccc: DUP1
00000ccd: SWAP2
00000cce: SUB
00000ccf: SWAP1
00000cd0: RETURN
00000cd1: JUMPDEST
00000cd2: CALLVALUE
00000cd3: DUP1
00000cd4: ISZERO
00000cd5: PUSH2 0x0cdd
00000cd8: JUMPI
00000cd9: PUSH1 0x00
00000cdb: DUP1
00000cdc: REVERT
00000cdd: JUMPDEST
00000cde: POP
00000cdf: PUSH2 0x0d12
00000ce2: PUSH1 0x04
00000ce4: DUP1
00000ce5: CALLDATASIZE
00000ce6: SUB
00000ce7: DUP2
00000ce8: ADD
00000ce9: SWAP1
00000cea: DUP1
00000ceb: DUP1
00000cec: CALLDATALOAD
00000ced: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d02: AND
00000d03: SWAP1
00000d04: PUSH1 0x20
00000d06: ADD
00000d07: SWAP1
00000d08: SWAP3
00000d09: SWAP2
00000d0a: SWAP1
00000d0b: POP
00000d0c: POP
00000d0d: POP
00000d0e: PUSH2 0x2e8a
00000d11: JUMP
00000d12: JUMPDEST
00000d13: PUSH1 0x40
00000d15: MLOAD
00000d16: DUP1
00000d17: DUP1
00000d18: PUSH1 0x20
00000d1a: ADD
00000d1b: DUP3
00000d1c: DUP2
00000d1d: SUB
00000d1e: DUP3
00000d1f: MSTORE
00000d20: DUP4
00000d21: DUP2
00000d22: DUP2
00000d23: MLOAD
00000d24: DUP2
00000d25: MSTORE
00000d26: PUSH1 0x20
00000d28: ADD
00000d29: SWAP2
00000d2a: POP
00000d2b: DUP1
00000d2c: MLOAD
00000d2d: SWAP1
00000d2e: PUSH1 0x20
00000d30: ADD
00000d31: SWAP1
00000d32: PUSH1 0x20
00000d34: MUL
00000d35: DUP1
00000d36: DUP4
00000d37: DUP4
00000d38: PUSH1 0x00
00000d3a: JUMPDEST
00000d3b: DUP4
00000d3c: DUP2
00000d3d: LT
00000d3e: ISZERO
00000d3f: PUSH2 0x0d55
00000d42: JUMPI
00000d43: DUP1
00000d44: DUP3
00000d45: ADD
00000d46: MLOAD
00000d47: DUP2
00000d48: DUP5
00000d49: ADD
00000d4a: MSTORE
00000d4b: PUSH1 0x20
00000d4d: DUP2
00000d4e: ADD
00000d4f: SWAP1
00000d50: POP
00000d51: PUSH2 0x0d3a
00000d54: JUMP
00000d55: JUMPDEST
00000d56: POP
00000d57: POP
00000d58: POP
00000d59: POP
00000d5a: SWAP1
00000d5b: POP
00000d5c: ADD
00000d5d: SWAP3
00000d5e: POP
00000d5f: POP
00000d60: POP
00000d61: PUSH1 0x40
00000d63: MLOAD
00000d64: DUP1
00000d65: SWAP2
00000d66: SUB
00000d67: SWAP1
00000d68: RETURN
00000d69: JUMPDEST
00000d6a: CALLVALUE
00000d6b: DUP1
00000d6c: ISZERO
00000d6d: PUSH2 0x0d75
00000d70: JUMPI
00000d71: PUSH1 0x00
00000d73: DUP1
00000d74: REVERT
00000d75: JUMPDEST
00000d76: POP
00000d77: PUSH2 0x0db4
00000d7a: PUSH1 0x04
00000d7c: DUP1
00000d7d: CALLDATASIZE
00000d7e: SUB
00000d7f: DUP2
00000d80: ADD
00000d81: SWAP1
00000d82: DUP1
00000d83: DUP1
00000d84: CALLDATALOAD
00000d85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d9a: AND
00000d9b: SWAP1
00000d9c: PUSH1 0x20
00000d9e: ADD
00000d9f: SWAP1
00000da0: SWAP3
00000da1: SWAP2
00000da2: SWAP1
00000da3: DUP1
00000da4: CALLDATALOAD
00000da5: SWAP1
00000da6: PUSH1 0x20
00000da8: ADD
00000da9: SWAP1
00000daa: SWAP3
00000dab: SWAP2
00000dac: SWAP1
00000dad: POP
00000dae: POP
00000daf: POP
00000db0: PUSH2 0x3067
00000db3: JUMP
00000db4: JUMPDEST
00000db5: STOP
00000db6: JUMPDEST
00000db7: CALLVALUE
00000db8: DUP1
00000db9: ISZERO
00000dba: PUSH2 0x0dc2
00000dbd: JUMPI
00000dbe: PUSH1 0x00
00000dc0: DUP1
00000dc1: REVERT
00000dc2: JUMPDEST
00000dc3: POP
00000dc4: PUSH2 0x0dcb
00000dc7: PUSH2 0x30dd
00000dca: JUMP
00000dcb: JUMPDEST
00000dcc: PUSH1 0x40
00000dce: MLOAD
00000dcf: DUP1
00000dd0: DUP3
00000dd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000de6: AND
00000de7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dfc: AND
00000dfd: DUP2
00000dfe: MSTORE
00000dff: PUSH1 0x20
00000e01: ADD
00000e02: SWAP2
00000e03: POP
00000e04: POP
00000e05: PUSH1 0x40
00000e07: MLOAD
00000e08: DUP1
00000e09: SWAP2
00000e0a: SUB
00000e0b: SWAP1
00000e0c: RETURN
00000e0d: JUMPDEST
00000e0e: CALLVALUE
00000e0f: DUP1
00000e10: ISZERO
00000e11: PUSH2 0x0e19
00000e14: JUMPI
00000e15: PUSH1 0x00
00000e17: DUP1
00000e18: REVERT
00000e19: JUMPDEST
00000e1a: POP
00000e1b: PUSH2 0x0e22
00000e1e: PUSH2 0x3103
00000e21: JUMP
00000e22: JUMPDEST
00000e23: PUSH1 0x40
00000e25: MLOAD
00000e26: DUP1
00000e27: DUP3
00000e28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e3d: AND
00000e3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e53: AND
00000e54: DUP2
00000e55: MSTORE
00000e56: PUSH1 0x20
00000e58: ADD
00000e59: SWAP2
00000e5a: POP
00000e5b: POP
00000e5c: PUSH1 0x40
00000e5e: MLOAD
00000e5f: DUP1
00000e60: SWAP2
00000e61: SUB
00000e62: SWAP1
00000e63: RETURN
00000e64: JUMPDEST
00000e65: CALLVALUE
00000e66: DUP1
00000e67: ISZERO
00000e68: PUSH2 0x0e70
00000e6b: JUMPI
00000e6c: PUSH1 0x00
00000e6e: DUP1
00000e6f: REVERT
00000e70: JUMPDEST
00000e71: POP
00000e72: PUSH2 0x0e8f
00000e75: PUSH1 0x04
00000e77: DUP1
00000e78: CALLDATASIZE
00000e79: SUB
00000e7a: DUP2
00000e7b: ADD
00000e7c: SWAP1
00000e7d: DUP1
00000e7e: DUP1
00000e7f: CALLDATALOAD
00000e80: SWAP1
00000e81: PUSH1 0x20
00000e83: ADD
00000e84: SWAP1
00000e85: SWAP3
00000e86: SWAP2
00000e87: SWAP1
00000e88: POP
00000e89: POP
00000e8a: POP
00000e8b: PUSH2 0x3129
00000e8e: JUMP
00000e8f: JUMPDEST
00000e90: PUSH1 0x40
00000e92: MLOAD
00000e93: DUP1
00000e94: DUP8
00000e95: PUSH1 0x0a
00000e97: DUP2
00000e98: GT
00000e99: ISZERO
00000e9a: PUSH2 0x0e9f
00000e9d: JUMPI
00000e9e: INVALID
00000e9f: JUMPDEST
00000ea0: PUSH1 0xff
00000ea2: AND
00000ea3: DUP2
00000ea4: MSTORE
00000ea5: PUSH1 0x20
00000ea7: ADD
00000ea8: DUP7
00000ea9: PUSH1 0x15
00000eab: DUP2
00000eac: GT
00000ead: ISZERO
00000eae: PUSH2 0x0eb3
00000eb1: JUMPI
00000eb2: INVALID
00000eb3: JUMPDEST
00000eb4: PUSH1 0xff
00000eb6: AND
00000eb7: DUP2
00000eb8: MSTORE
00000eb9: PUSH1 0x20
00000ebb: ADD
00000ebc: DUP6
00000ebd: PUSH1 0x03
00000ebf: DUP2
00000ec0: GT
00000ec1: ISZERO
00000ec2: PUSH2 0x0ec7
00000ec5: JUMPI
00000ec6: INVALID
00000ec7: JUMPDEST
00000ec8: PUSH1 0xff
00000eca: AND
00000ecb: DUP2
00000ecc: MSTORE
00000ecd: PUSH1 0x20
00000ecf: ADD
00000ed0: DUP5
00000ed1: PUSH1 0x06
00000ed3: DUP2
00000ed4: GT
00000ed5: ISZERO
00000ed6: PUSH2 0x0edb
00000ed9: JUMPI
00000eda: INVALID
00000edb: JUMPDEST
00000edc: PUSH1 0xff
00000ede: AND
00000edf: DUP2
00000ee0: MSTORE
00000ee1: PUSH1 0x20
00000ee3: ADD
00000ee4: DUP4
00000ee5: DUP2
00000ee6: MSTORE
00000ee7: PUSH1 0x20
00000ee9: ADD
00000eea: DUP3
00000eeb: DUP2
00000eec: MSTORE
00000eed: PUSH1 0x20
00000eef: ADD
00000ef0: SWAP7
00000ef1: POP
00000ef2: POP
00000ef3: POP
00000ef4: POP
00000ef5: POP
00000ef6: POP
00000ef7: POP
00000ef8: PUSH1 0x40
00000efa: MLOAD
00000efb: DUP1
00000efc: SWAP2
00000efd: SUB
00000efe: SWAP1
00000eff: RETURN
00000f00: JUMPDEST
00000f01: CALLVALUE
00000f02: DUP1
00000f03: ISZERO
00000f04: PUSH2 0x0f0c
00000f07: JUMPI
00000f08: PUSH1 0x00
00000f0a: DUP1
00000f0b: REVERT
00000f0c: JUMPDEST
00000f0d: POP
00000f0e: PUSH2 0x0f2b
00000f11: PUSH1 0x04
00000f13: DUP1
00000f14: CALLDATASIZE
00000f15: SUB
00000f16: DUP2
00000f17: ADD
00000f18: SWAP1
00000f19: DUP1
00000f1a: DUP1
00000f1b: CALLDATALOAD
00000f1c: SWAP1
00000f1d: PUSH1 0x20
00000f1f: ADD
00000f20: SWAP1
00000f21: SWAP3
00000f22: SWAP2
00000f23: SWAP1
00000f24: POP
00000f25: POP
00000f26: POP
00000f27: PUSH2 0x31a8
00000f2a: JUMP
00000f2b: JUMPDEST
00000f2c: PUSH1 0x40
00000f2e: MLOAD
00000f2f: DUP1
00000f30: DUP1
00000f31: PUSH1 0x20
00000f33: ADD
00000f34: DUP3
00000f35: DUP2
00000f36: SUB
00000f37: DUP3
00000f38: MSTORE
00000f39: DUP4
00000f3a: DUP2
00000f3b: DUP2
00000f3c: MLOAD
00000f3d: DUP2
00000f3e: MSTORE
00000f3f: PUSH1 0x20
00000f41: ADD
00000f42: SWAP2
00000f43: POP
00000f44: DUP1
00000f45: MLOAD
00000f46: SWAP1
00000f47: PUSH1 0x20
00000f49: ADD
00000f4a: SWAP1
00000f4b: PUSH1 0x20
00000f4d: MUL
00000f4e: DUP1
00000f4f: DUP4
00000f50: DUP4
00000f51: PUSH1 0x00
00000f53: JUMPDEST
00000f54: DUP4
00000f55: DUP2
00000f56: LT
00000f57: ISZERO
00000f58: PUSH2 0x0f6e
00000f5b: JUMPI
00000f5c: DUP1
00000f5d: DUP3
00000f5e: ADD
00000f5f: MLOAD
00000f60: DUP2
00000f61: DUP5
00000f62: ADD
00000f63: MSTORE
00000f64: PUSH1 0x20
00000f66: DUP2
00000f67: ADD
00000f68: SWAP1
00000f69: POP
00000f6a: PUSH2 0x0f53
00000f6d: JUMP
00000f6e: JUMPDEST
00000f6f: POP
00000f70: POP
00000f71: POP
00000f72: POP
00000f73: SWAP1
00000f74: POP
00000f75: ADD
00000f76: SWAP3
00000f77: POP
00000f78: POP
00000f79: POP
00000f7a: PUSH1 0x40
00000f7c: MLOAD
00000f7d: DUP1
00000f7e: SWAP2
00000f7f: SUB
00000f80: SWAP1
00000f81: RETURN
00000f82: JUMPDEST
00000f83: CALLVALUE
00000f84: DUP1
00000f85: ISZERO
00000f86: PUSH2 0x0f8e
00000f89: JUMPI
00000f8a: PUSH1 0x00
00000f8c: DUP1
00000f8d: REVERT
00000f8e: JUMPDEST
00000f8f: POP
00000f90: PUSH2 0x0fc3
00000f93: PUSH1 0x04
00000f95: DUP1
00000f96: CALLDATASIZE
00000f97: SUB
00000f98: DUP2
00000f99: ADD
00000f9a: SWAP1
00000f9b: DUP1
00000f9c: DUP1
00000f9d: CALLDATALOAD
00000f9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fb3: AND
00000fb4: SWAP1
00000fb5: PUSH1 0x20
00000fb7: ADD
00000fb8: SWAP1
00000fb9: SWAP3
00000fba: SWAP2
00000fbb: SWAP1
00000fbc: POP
00000fbd: POP
00000fbe: POP
00000fbf: PUSH2 0x3377
00000fc2: JUMP
00000fc3: JUMPDEST
00000fc4: PUSH1 0x40
00000fc6: MLOAD
00000fc7: DUP1
00000fc8: DUP3
00000fc9: DUP2
00000fca: MSTORE
00000fcb: PUSH1 0x20
00000fcd: ADD
00000fce: SWAP2
00000fcf: POP
00000fd0: POP
00000fd1: PUSH1 0x40
00000fd3: MLOAD
00000fd4: DUP1
00000fd5: SWAP2
00000fd6: SUB
00000fd7: SWAP1
00000fd8: RETURN
00000fd9: JUMPDEST
00000fda: CALLVALUE
00000fdb: DUP1
00000fdc: ISZERO
00000fdd: PUSH2 0x0fe5
00000fe0: JUMPI
00000fe1: PUSH1 0x00
00000fe3: DUP1
00000fe4: REVERT
00000fe5: JUMPDEST
00000fe6: POP
00000fe7: PUSH2 0x0fee
00000fea: PUSH2 0x338f
00000fed: JUMP
00000fee: JUMPDEST
00000fef: PUSH1 0x40
00000ff1: MLOAD
00000ff2: DUP1
00000ff3: DUP3
00000ff4: DUP2
00000ff5: MSTORE
00000ff6: PUSH1 0x20
00000ff8: ADD
00000ff9: SWAP2
00000ffa: POP
00000ffb: POP
00000ffc: PUSH1 0x40
00000ffe: MLOAD
00000fff: DUP1
00001000: SWAP2
00001001: SUB
00001002: SWAP1
00001003: RETURN
00001004: JUMPDEST
00001005: CALLVALUE
00001006: DUP1
00001007: ISZERO
00001008: PUSH2 0x1010
0000100b: JUMPI
0000100c: PUSH1 0x00
0000100e: DUP1
0000100f: REVERT
00001010: JUMPDEST
00001011: POP
00001012: PUSH2 0x1045
00001015: PUSH1 0x04
00001017: DUP1
00001018: CALLDATASIZE
00001019: SUB
0000101a: DUP2
0000101b: ADD
0000101c: SWAP1
0000101d: DUP1
0000101e: DUP1
0000101f: CALLDATALOAD
00001020: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001035: AND
00001036: SWAP1
00001037: PUSH1 0x20
00001039: ADD
0000103a: SWAP1
0000103b: SWAP3
0000103c: SWAP2
0000103d: SWAP1
0000103e: POP
0000103f: POP
00001040: POP
00001041: PUSH2 0x3395
00001044: JUMP
00001045: JUMPDEST
00001046: STOP
00001047: JUMPDEST
00001048: CALLVALUE
00001049: DUP1
0000104a: ISZERO
0000104b: PUSH2 0x1053
0000104e: JUMPI
0000104f: PUSH1 0x00
00001051: DUP1
00001052: REVERT
00001053: JUMPDEST
00001054: POP
00001055: PUSH2 0x1088
00001058: PUSH1 0x04
0000105a: DUP1
0000105b: CALLDATASIZE
0000105c: SUB
0000105d: DUP2
0000105e: ADD
0000105f: SWAP1
00001060: DUP1
00001061: DUP1
00001062: CALLDATALOAD
00001063: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001078: AND
00001079: SWAP1
0000107a: PUSH1 0x20
0000107c: ADD
0000107d: SWAP1
0000107e: SWAP3
0000107f: SWAP2
00001080: SWAP1
00001081: POP
00001082: POP
00001083: POP
00001084: PUSH2 0x3434
00001087: JUMP
00001088: JUMPDEST
00001089: PUSH1 0x40
0000108b: MLOAD
0000108c: DUP1
0000108d: DUP3
0000108e: DUP2
0000108f: MSTORE
00001090: PUSH1 0x20
00001092: ADD
00001093: SWAP2
00001094: POP
00001095: POP
00001096: PUSH1 0x40
00001098: MLOAD
00001099: DUP1
0000109a: SWAP2
0000109b: SUB
0000109c: SWAP1
0000109d: RETURN
0000109e: JUMPDEST
0000109f: PUSH2 0x10d2
000010a2: PUSH1 0x04
000010a4: DUP1
000010a5: CALLDATASIZE
000010a6: SUB
000010a7: DUP2
000010a8: ADD
000010a9: SWAP1
000010aa: DUP1
000010ab: DUP1
000010ac: CALLDATALOAD
000010ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c2: AND
000010c3: SWAP1
000010c4: PUSH1 0x20
000010c6: ADD
000010c7: SWAP1
000010c8: SWAP3
000010c9: SWAP2
000010ca: SWAP1
000010cb: POP
000010cc: POP
000010cd: POP
000010ce: PUSH2 0x1230
000010d1: JUMP
000010d2: JUMPDEST
000010d3: STOP
000010d4: JUMPDEST
000010d5: CALLVALUE
000010d6: DUP1
000010d7: ISZERO
000010d8: PUSH2 0x10e0
000010db: JUMPI
000010dc: PUSH1 0x00
000010de: DUP1
000010df: REVERT
000010e0: JUMPDEST
000010e1: POP
000010e2: PUSH2 0x113f
000010e5: PUSH1 0x04
000010e7: DUP1
000010e8: CALLDATASIZE
000010e9: SUB
000010ea: DUP2
000010eb: ADD
000010ec: SWAP1
000010ed: DUP1
000010ee: DUP1
000010ef: CALLDATALOAD
000010f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001105: AND
00001106: SWAP1
00001107: PUSH1 0x20
00001109: ADD
0000110a: SWAP1
0000110b: SWAP3
0000110c: SWAP2
0000110d: SWAP1
0000110e: DUP1
0000110f: CALLDATALOAD
00001110: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001125: AND
00001126: SWAP1
00001127: PUSH1 0x20
00001129: ADD
0000112a: SWAP1
0000112b: SWAP3
0000112c: SWAP2
0000112d: SWAP1
0000112e: DUP1
0000112f: CALLDATALOAD
00001130: SWAP1
00001131: PUSH1 0x20
00001133: ADD
00001134: SWAP1
00001135: SWAP3
00001136: SWAP2
00001137: SWAP1
00001138: POP
00001139: POP
0000113a: POP
0000113b: PUSH2 0x344c
0000113e: JUMP
0000113f: JUMPDEST
00001140: STOP
00001141: JUMPDEST
00001142: CALLVALUE
00001143: DUP1
00001144: ISZERO
00001145: PUSH2 0x114d
00001148: JUMPI
00001149: PUSH1 0x00
0000114b: DUP1
0000114c: REVERT
0000114d: JUMPDEST
0000114e: POP
0000114f: PUSH2 0x1156
00001152: PUSH2 0x35bc
00001155: JUMP
00001156: JUMPDEST
00001157: PUSH1 0x40
00001159: MLOAD
0000115a: DUP1
0000115b: DUP3
0000115c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001171: AND
00001172: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001187: AND
00001188: DUP2
00001189: MSTORE
0000118a: PUSH1 0x20
0000118c: ADD
0000118d: SWAP2
0000118e: POP
0000118f: POP
00001190: PUSH1 0x40
00001192: MLOAD
00001193: DUP1
00001194: SWAP2
00001195: SUB
00001196: SWAP1
00001197: RETURN
00001198: JUMPDEST
00001199: CALLVALUE
0000119a: DUP1
0000119b: ISZERO
0000119c: PUSH2 0x11a4
0000119f: JUMPI
000011a0: PUSH1 0x00
000011a2: DUP1
000011a3: REVERT
000011a4: JUMPDEST
000011a5: POP
000011a6: PUSH2 0x11ad
000011a9: PUSH2 0x35e2
000011ac: JUMP
000011ad: JUMPDEST
000011ae: PUSH1 0x40
000011b0: MLOAD
000011b1: DUP1
000011b2: DUP3
000011b3: DUP2
000011b4: MSTORE
000011b5: PUSH1 0x20
000011b7: ADD
000011b8: SWAP2
000011b9: POP
000011ba: POP
000011bb: PUSH1 0x40
000011bd: MLOAD
000011be: DUP1
000011bf: SWAP2
000011c0: SUB
000011c1: SWAP1
000011c2: RETURN
000011c3: JUMPDEST
000011c4: CALLVALUE
000011c5: DUP1
000011c6: ISZERO
000011c7: PUSH2 0x11cf
000011ca: JUMPI
000011cb: PUSH1 0x00
000011cd: DUP1
000011ce: REVERT
000011cf: JUMPDEST
000011d0: POP
000011d1: PUSH2 0x11ee
000011d4: PUSH1 0x04
000011d6: DUP1
000011d7: CALLDATASIZE
000011d8: SUB
000011d9: DUP2
000011da: ADD
000011db: SWAP1
000011dc: DUP1
000011dd: DUP1
000011de: CALLDATALOAD
000011df: SWAP1
000011e0: PUSH1 0x20
000011e2: ADD
000011e3: SWAP1
000011e4: SWAP3
000011e5: SWAP2
000011e6: SWAP1
000011e7: POP
000011e8: POP
000011e9: POP
000011ea: PUSH2 0x35f0
000011ed: JUMP
000011ee: JUMPDEST
000011ef: PUSH1 0x40
000011f1: MLOAD
000011f2: DUP1
000011f3: DUP3
000011f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001209: AND
0000120a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000121f: AND
00001220: DUP2
00001221: MSTORE
00001222: PUSH1 0x20
00001224: ADD
00001225: SWAP2
00001226: POP
00001227: POP
00001228: PUSH1 0x40
0000122a: MLOAD
0000122b: DUP1
0000122c: SWAP2
0000122d: SUB
0000122e: SWAP1
0000122f: RETURN
00001230: JUMPDEST
00001231: PUSH1 0x00
00001233: DUP1
00001234: PUSH1 0x00
00001236: PUSH1 0x14
00001238: SWAP1
00001239: SLOAD
0000123a: SWAP1
0000123b: PUSH2 0x0100
0000123e: EXP
0000123f: SWAP1
00001240: DIV
00001241: PUSH1 0xff
00001243: AND
00001244: ISZERO
00001245: ISZERO
00001246: ISZERO
00001247: PUSH2 0x124f
0000124a: JUMPI
0000124b: PUSH1 0x00
0000124d: DUP1
0000124e: REVERT
0000124f: JUMPDEST
00001250: PUSH1 0x00
00001252: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001267: AND
00001268: DUP4
00001269: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000127e: AND
0000127f: EQ
00001280: ISZERO
00001281: ISZERO
00001282: ISZERO
00001283: PUSH2 0x128b
00001286: JUMPI
00001287: PUSH1 0x00
00001289: DUP1
0000128a: REVERT
0000128b: JUMPDEST
0000128c: CALLVALUE
0000128d: SWAP2
0000128e: POP
0000128f: PUSH8 0x016345785d8a0000
00001298: DUP3
00001299: LT
0000129a: ISZERO
0000129b: ISZERO
0000129c: ISZERO
0000129d: PUSH2 0x12a5
000012a0: JUMPI
000012a1: PUSH1 0x00
000012a3: DUP1
000012a4: REVERT
000012a5: JUMPDEST
000012a6: DUP2
000012a7: PUSH1 0x0c
000012a9: PUSH1 0x00
000012ab: DUP3
000012ac: DUP3
000012ad: SLOAD
000012ae: ADD
000012af: SWAP3
000012b0: POP
000012b1: POP
000012b2: DUP2
000012b3: SWAP1
000012b4: SSTORE
000012b5: POP
000012b6: PUSH10 0x0a968163f0a57b400000
000012c1: PUSH1 0x0c
000012c3: SLOAD
000012c4: GT
000012c5: ISZERO
000012c6: ISZERO
000012c7: ISZERO
000012c8: PUSH2 0x12d0
000012cb: JUMPI
000012cc: PUSH1 0x00
000012ce: DUP1
000012cf: REVERT
000012d0: JUMPDEST
000012d1: DUP3
000012d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e7: AND
000012e8: PUSH32 0x2499a5330ab0979cc612135e7883ebc3cd5c9f7a8508f042540c34723348f632
00001309: DUP4
0000130a: PUSH1 0x40
0000130c: MLOAD
0000130d: DUP1
0000130e: DUP3
0000130f: DUP2
00001310: MSTORE
00001311: PUSH1 0x20
00001313: ADD
00001314: SWAP2
00001315: POP
00001316: POP
00001317: PUSH1 0x40
00001319: MLOAD
0000131a: DUP1
0000131b: SWAP2
0000131c: SUB
0000131d: SWAP1
0000131e: LOG2
0000131f: PUSH1 0x00
00001321: PUSH1 0x0e
00001323: PUSH1 0x00
00001325: DUP6
00001326: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000133b: AND
0000133c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001351: AND
00001352: DUP2
00001353: MSTORE
00001354: PUSH1 0x20
00001356: ADD
00001357: SWAP1
00001358: DUP2
00001359: MSTORE
0000135a: PUSH1 0x20
0000135c: ADD
0000135d: PUSH1 0x00
0000135f: KECCAK256
00001360: SLOAD
00001361: EQ
00001362: ISZERO
00001363: PUSH2 0x1462
00001366: JUMPI
00001367: PUSH1 0x11
00001369: DUP4
0000136a: SWAP1
0000136b: DUP1
0000136c: PUSH1 0x01
0000136e: DUP2
0000136f: SLOAD
00001370: ADD
00001371: DUP1
00001372: DUP3
00001373: SSTORE
00001374: DUP1
00001375: SWAP2
00001376: POP
00001377: POP
00001378: SWAP1
00001379: PUSH1 0x01
0000137b: DUP3
0000137c: SUB
0000137d: SWAP1
0000137e: PUSH1 0x00
00001380: MSTORE
00001381: PUSH1 0x20
00001383: PUSH1 0x00
00001385: KECCAK256
00001386: ADD
00001387: PUSH1 0x00
00001389: SWAP1
0000138a: SWAP2
0000138b: SWAP3
0000138c: SWAP1
0000138d: SWAP2
0000138e: SWAP1
0000138f: SWAP2
00001390: PUSH2 0x0100
00001393: EXP
00001394: DUP2
00001395: SLOAD
00001396: DUP2
00001397: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013ac: MUL
000013ad: NOT
000013ae: AND
000013af: SWAP1
000013b0: DUP4
000013b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013c6: AND
000013c7: MUL
000013c8: OR
000013c9: SWAP1
000013ca: SSTORE
000013cb: POP
000013cc: POP
000013cd: DUP2
000013ce: PUSH1 0x0e
000013d0: PUSH1 0x00
000013d2: DUP6
000013d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013e8: AND
000013e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013fe: AND
000013ff: DUP2
00001400: MSTORE
00001401: PUSH1 0x20
00001403: ADD
00001404: SWAP1
00001405: DUP2
00001406: MSTORE
00001407: PUSH1 0x20
00001409: ADD
0000140a: PUSH1 0x00
0000140c: KECCAK256
0000140d: PUSH1 0x00
0000140f: DUP3
00001410: DUP3
00001411: SLOAD
00001412: ADD
00001413: SWAP3
00001414: POP
00001415: POP
00001416: DUP2
00001417: SWAP1
00001418: SSTORE
00001419: POP
0000141a: TIMESTAMP
0000141b: PUSH1 0x10
0000141d: PUSH1 0x00
0000141f: DUP6
00001420: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001435: AND
00001436: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000144b: AND
0000144c: DUP2
0000144d: MSTORE
0000144e: PUSH1 0x20
00001450: ADD
00001451: SWAP1
00001452: DUP2
00001453: MSTORE
00001454: PUSH1 0x20
00001456: ADD
00001457: PUSH1 0x00
00001459: KECCAK256
0000145a: DUP2
0000145b: SWAP1
0000145c: SSTORE
0000145d: POP
0000145e: PUSH2 0x1657
00001461: JUMP
00001462: JUMPDEST
00001463: PUSH1 0x0f
00001465: PUSH1 0x00
00001467: DUP5
00001468: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000147d: AND
0000147e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001493: AND
00001494: DUP2
00001495: MSTORE
00001496: PUSH1 0x20
00001498: ADD
00001499: SWAP1
0000149a: DUP2
0000149b: MSTORE
0000149c: PUSH1 0x20
0000149e: ADD
0000149f: PUSH1 0x00
000014a1: KECCAK256
000014a2: PUSH1 0x00
000014a4: SWAP1
000014a5: SLOAD
000014a6: SWAP1
000014a7: PUSH2 0x0100
000014aa: EXP
000014ab: SWAP1
000014ac: DIV
000014ad: PUSH1 0xff
000014af: AND
000014b0: ISZERO
000014b1: ISZERO
000014b2: ISZERO
000014b3: PUSH2 0x14bb
000014b6: JUMPI
000014b7: PUSH1 0x00
000014b9: DUP1
000014ba: REVERT
000014bb: JUMPDEST
000014bc: PUSH1 0x63
000014be: PUSH1 0x0e
000014c0: PUSH1 0x00
000014c2: DUP6
000014c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014d8: AND
000014d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014ee: AND
000014ef: DUP2
000014f0: MSTORE
000014f1: PUSH1 0x20
000014f3: ADD
000014f4: SWAP1
000014f5: DUP2
000014f6: MSTORE
000014f7: PUSH1 0x20
000014f9: ADD
000014fa: PUSH1 0x00
000014fc: KECCAK256
000014fd: SLOAD
000014fe: MUL
000014ff: DUP3
00001500: LT
00001501: ISZERO
00001502: ISZERO
00001503: ISZERO
00001504: PUSH2 0x150c
00001507: JUMPI
00001508: PUSH1 0x00
0000150a: DUP1
0000150b: REVERT
0000150c: JUMPDEST
0000150d: PUSH3 0x03f480
00001511: PUSH1 0x10
00001513: PUSH1 0x00
00001515: DUP6
00001516: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000152b: AND
0000152c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001541: AND
00001542: DUP2
00001543: MSTORE
00001544: PUSH1 0x20
00001546: ADD
00001547: SWAP1
00001548: DUP2
00001549: MSTORE
0000154a: PUSH1 0x20
0000154c: ADD
0000154d: PUSH1 0x00
0000154f: KECCAK256
00001550: SLOAD
00001551: TIMESTAMP
00001552: SUB
00001553: LT
00001554: SWAP1
00001555: POP
00001556: DUP2
00001557: PUSH1 0x0e
00001559: PUSH1 0x00
0000155b: DUP6
0000155c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001571: AND
00001572: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001587: AND
00001588: DUP2
00001589: MSTORE
0000158a: PUSH1 0x20
0000158c: ADD
0000158d: SWAP1
0000158e: DUP2
0000158f: MSTORE
00001590: PUSH1 0x20
00001592: ADD
00001593: PUSH1 0x00
00001595: KECCAK256
00001596: PUSH1 0x00
00001598: DUP3
00001599: DUP3
0000159a: SLOAD
0000159b: ADD
0000159c: SWAP3
0000159d: POP
0000159e: POP
0000159f: DUP2
000015a0: SWAP1
000015a1: SSTORE
000015a2: POP
000015a3: PUSH2 0x15ec
000015a6: PUSH1 0x0e
000015a8: PUSH1 0x00
000015aa: DUP6
000015ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015c0: AND
000015c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d6: AND
000015d7: DUP2
000015d8: MSTORE
000015d9: PUSH1 0x20
000015db: ADD
000015dc: SWAP1
000015dd: DUP2
000015de: MSTORE
000015df: PUSH1 0x20
000015e1: ADD
000015e2: PUSH1 0x00
000015e4: KECCAK256
000015e5: SLOAD
000015e6: DUP5
000015e7: DUP4
000015e8: PUSH2 0x3623
000015eb: JUMP
000015ec: JUMPDEST
000015ed: PUSH1 0x01
000015ef: PUSH1 0x0f
000015f1: PUSH1 0x00
000015f3: DUP6
000015f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001609: AND
0000160a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000161f: AND
00001620: DUP2
00001621: MSTORE
00001622: PUSH1 0x20
00001624: ADD
00001625: SWAP1
00001626: DUP2
00001627: MSTORE
00001628: PUSH1 0x20
0000162a: ADD
0000162b: PUSH1 0x00
0000162d: KECCAK256
0000162e: PUSH1 0x00
00001630: PUSH2 0x0100
00001633: EXP
00001634: DUP2
00001635: SLOAD
00001636: DUP2
00001637: PUSH1 0xff
00001639: MUL
0000163a: NOT
0000163b: AND
0000163c: SWAP1
0000163d: DUP4
0000163e: ISZERO
0000163f: ISZERO
00001640: MUL
00001641: OR
00001642: SWAP1
00001643: SSTORE
00001644: POP
00001645: PUSH1 0x0d
00001647: PUSH1 0x00
00001649: DUP2
0000164a: SLOAD
0000164b: DUP1
0000164c: SWAP3
0000164d: SWAP2
0000164e: SWAP1
0000164f: PUSH1 0x01
00001651: ADD
00001652: SWAP2
00001653: SWAP1
00001654: POP
00001655: SSTORE
00001656: POP
00001657: JUMPDEST
00001658: POP
00001659: POP
0000165a: POP
0000165b: JUMP
0000165c: JUMPDEST
0000165d: PUSH1 0x00
0000165f: PUSH1 0x40
00001661: MLOAD
00001662: DUP1
00001663: DUP1
00001664: PUSH32 0x737570706f727473496e74657266616365286279746573342900000000000000
00001685: DUP2
00001686: MSTORE
00001687: POP
00001688: PUSH1 0x19
0000168a: ADD
0000168b: SWAP1
0000168c: POP
0000168d: PUSH1 0x40
0000168f: MLOAD
00001690: DUP1
00001691: SWAP2
00001692: SUB
00001693: SWAP1
00001694: KECCAK256
00001695: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000016b2: NOT
000016b3: AND
000016b4: DUP3
000016b5: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000016d2: NOT
000016d3: AND
000016d4: EQ
000016d5: DUP1
000016d6: PUSH2 0x1966
000016d9: JUMPI
000016da: POP
000016db: PUSH1 0x40
000016dd: MLOAD
000016de: DUP1
000016df: DUP1
000016e0: PUSH32 0x746f6b656e4d657461646174612875696e742c737472696e6729000000000000
00001701: DUP2
00001702: MSTORE
00001703: POP
00001704: PUSH1 0x1a
00001706: ADD
00001707: SWAP1
00001708: POP
00001709: PUSH1 0x40
0000170b: MLOAD
0000170c: DUP1
0000170d: SWAP2
0000170e: SUB
0000170f: SWAP1
00001710: KECCAK256
00001711: PUSH1 0x40
00001713: MLOAD
00001714: DUP1
00001715: DUP1
00001716: PUSH32 0x746f6b656e734f664f776e657228616464726573732900000000000000000000
00001737: DUP2
00001738: MSTORE
00001739: POP
0000173a: PUSH1 0x16
0000173c: ADD
0000173d: SWAP1
0000173e: POP
0000173f: PUSH1 0x40
00001741: MLOAD
00001742: DUP1
00001743: SWAP2
00001744: SUB
00001745: SWAP1
00001746: KECCAK256
00001747: PUSH1 0x40
00001749: MLOAD
0000174a: DUP1
0000174b: DUP1
0000174c: PUSH32 0x7472616e7366657246726f6d28616464726573732c616464726573732c75696e
0000176d: DUP2
0000176e: MSTORE
0000176f: PUSH1 0x20
00001771: ADD
00001772: PUSH32 0x7429000000000000000000000000000000000000000000000000000000000000
00001793: DUP2
00001794: MSTORE
00001795: POP
00001796: PUSH1 0x22
00001798: ADD
00001799: SWAP1
0000179a: POP
0000179b: PUSH1 0x40
0000179d: MLOAD
0000179e: DUP1
0000179f: SWAP2
000017a0: SUB
000017a1: SWAP1
000017a2: KECCAK256
000017a3: PUSH1 0x40
000017a5: MLOAD
000017a6: DUP1
000017a7: DUP1
000017a8: PUSH32 0x7472616e7366657228616464726573732c75696e742900000000000000000000
000017c9: DUP2
000017ca: MSTORE
000017cb: POP
000017cc: PUSH1 0x16
000017ce: ADD
000017cf: SWAP1
000017d0: POP
000017d1: PUSH1 0x40
000017d3: MLOAD
000017d4: DUP1
000017d5: SWAP2
000017d6: SUB
000017d7: SWAP1
000017d8: KECCAK256
000017d9: PUSH1 0x40
000017db: MLOAD
000017dc: DUP1
000017dd: DUP1
000017de: PUSH32 0x617070726f766528616464726573732c75696e74290000000000000000000000
000017ff: DUP2
00001800: MSTORE
00001801: POP
00001802: PUSH1 0x15
00001804: ADD
00001805: SWAP1
00001806: POP
00001807: PUSH1 0x40
00001809: MLOAD
0000180a: DUP1
0000180b: SWAP2
0000180c: SUB
0000180d: SWAP1
0000180e: KECCAK256
0000180f: PUSH1 0x40
00001811: MLOAD
00001812: DUP1
00001813: DUP1
00001814: PUSH32 0x6f776e65724f662875696e742900000000000000000000000000000000000000
00001835: DUP2
00001836: MSTORE
00001837: POP
00001838: PUSH1 0x0d
0000183a: ADD
0000183b: SWAP1
0000183c: POP
0000183d: PUSH1 0x40
0000183f: MLOAD
00001840: DUP1
00001841: SWAP2
00001842: SUB
00001843: SWAP1
00001844: KECCAK256
00001845: PUSH1 0x40
00001847: MLOAD
00001848: DUP1
00001849: DUP1
0000184a: PUSH32 0x62616c616e63654f662861646472657373290000000000000000000000000000
0000186b: DUP2
0000186c: MSTORE
0000186d: POP
0000186e: PUSH1 0x12
00001870: ADD
00001871: SWAP1
00001872: POP
00001873: PUSH1 0x40
00001875: MLOAD
00001876: DUP1
00001877: SWAP2
00001878: SUB
00001879: SWAP1
0000187a: KECCAK256
0000187b: PUSH1 0x40
0000187d: MLOAD
0000187e: DUP1
0000187f: DUP1
00001880: PUSH32 0x746f74616c537570706c79282900000000000000000000000000000000000000
000018a1: DUP2
000018a2: MSTORE
000018a3: POP
000018a4: PUSH1 0x0d
000018a6: ADD
000018a7: SWAP1
000018a8: POP
000018a9: PUSH1 0x40
000018ab: MLOAD
000018ac: DUP1
000018ad: SWAP2
000018ae: SUB
000018af: SWAP1
000018b0: KECCAK256
000018b1: PUSH1 0x40
000018b3: MLOAD
000018b4: DUP1
000018b5: DUP1
000018b6: PUSH32 0x73796d626f6c2829000000000000000000000000000000000000000000000000
000018d7: DUP2
000018d8: MSTORE
000018d9: POP
000018da: PUSH1 0x08
000018dc: ADD
000018dd: SWAP1
000018de: POP
000018df: PUSH1 0x40
000018e1: MLOAD
000018e2: DUP1
000018e3: SWAP2
000018e4: SUB
000018e5: SWAP1
000018e6: KECCAK256
000018e7: PUSH1 0x40
000018e9: MLOAD
000018ea: DUP1
000018eb: DUP1
000018ec: PUSH32 0x6e616d6528290000000000000000000000000000000000000000000000000000
0000190d: DUP2
0000190e: MSTORE
0000190f: POP
00001910: PUSH1 0x06
00001912: ADD
00001913: SWAP1
00001914: POP
00001915: PUSH1 0x40
00001917: MLOAD
00001918: DUP1
00001919: SWAP2
0000191a: SUB
0000191b: SWAP1
0000191c: KECCAK256
0000191d: XOR
0000191e: XOR
0000191f: XOR
00001920: XOR
00001921: XOR
00001922: XOR
00001923: XOR
00001924: XOR
00001925: XOR
00001926: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001943: NOT
00001944: AND
00001945: DUP3
00001946: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001963: NOT
00001964: AND
00001965: EQ
00001966: JUMPDEST
00001967: SWAP1
00001968: POP
00001969: SWAP2
0000196a: SWAP1
0000196b: POP
0000196c: JUMP
0000196d: JUMPDEST
0000196e: PUSH1 0x60
00001970: PUSH2 0x1977
00001973: PUSH2 0x4170
00001976: JUMP
00001977: JUMPDEST
00001978: PUSH1 0x00
0000197a: DUP1
0000197b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001990: AND
00001991: PUSH1 0x05
00001993: PUSH1 0x00
00001995: SWAP1
00001996: SLOAD
00001997: SWAP1
00001998: PUSH2 0x0100
0000199b: EXP
0000199c: SWAP1
0000199d: DIV
0000199e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b3: AND
000019b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019c9: AND
000019ca: EQ
000019cb: ISZERO
000019cc: ISZERO
000019cd: ISZERO
000019ce: PUSH2 0x19d6
000019d1: JUMPI
000019d2: PUSH1 0x00
000019d4: DUP1
000019d5: REVERT
000019d6: JUMPDEST
000019d7: PUSH1 0x05
000019d9: PUSH1 0x00
000019db: SWAP1
000019dc: SLOAD
000019dd: SWAP1
000019de: PUSH2 0x0100
000019e1: EXP
000019e2: SWAP1
000019e3: DIV
000019e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019f9: AND
000019fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a0f: AND
00001a10: PUSH4 0xcb4799f2
00001a15: DUP7
00001a16: DUP7
00001a17: PUSH1 0x40
00001a19: MLOAD
00001a1a: DUP4
00001a1b: PUSH4 0xffffffff
00001a20: AND
00001a21: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001a3f: MUL
00001a40: DUP2
00001a41: MSTORE
00001a42: PUSH1 0x04
00001a44: ADD
00001a45: DUP1
00001a46: DUP4
00001a47: DUP2
00001a48: MSTORE
00001a49: PUSH1 0x20
00001a4b: ADD
00001a4c: DUP1
00001a4d: PUSH1 0x20
00001a4f: ADD
00001a50: DUP3
00001a51: DUP2
00001a52: SUB
00001a53: DUP3
00001a54: MSTORE
00001a55: DUP4
00001a56: DUP2
00001a57: DUP2
00001a58: MLOAD
00001a59: DUP2
00001a5a: MSTORE
00001a5b: PUSH1 0x20
00001a5d: ADD
00001a5e: SWAP2
00001a5f: POP
00001a60: DUP1
00001a61: MLOAD
00001a62: SWAP1
00001a63: PUSH1 0x20
00001a65: ADD
00001a66: SWAP1
00001a67: DUP1
00001a68: DUP4
00001a69: DUP4
00001a6a: PUSH1 0x00
00001a6c: JUMPDEST
00001a6d: DUP4
00001a6e: DUP2
00001a6f: LT
00001a70: ISZERO
00001a71: PUSH2 0x1a87
00001a74: JUMPI
00001a75: DUP1
00001a76: DUP3
00001a77: ADD
00001a78: MLOAD
00001a79: DUP2
00001a7a: DUP5
00001a7b: ADD
00001a7c: MSTORE
00001a7d: PUSH1 0x20
00001a7f: DUP2
00001a80: ADD
00001a81: SWAP1
00001a82: POP
00001a83: PUSH2 0x1a6c
00001a86: JUMP
00001a87: JUMPDEST
00001a88: POP
00001a89: POP
00001a8a: POP
00001a8b: POP
00001a8c: SWAP1
00001a8d: POP
00001a8e: SWAP1
00001a8f: DUP2
00001a90: ADD
00001a91: SWAP1
00001a92: PUSH1 0x1f
00001a94: AND
00001a95: DUP1
00001a96: ISZERO
00001a97: PUSH2 0x1ab4
00001a9a: JUMPI
00001a9b: DUP1
00001a9c: DUP3
00001a9d: SUB
00001a9e: DUP1
00001a9f: MLOAD
00001aa0: PUSH1 0x01
00001aa2: DUP4
00001aa3: PUSH1 0x20
00001aa5: SUB
00001aa6: PUSH2 0x0100
00001aa9: EXP
00001aaa: SUB
00001aab: NOT
00001aac: AND
00001aad: DUP2
00001aae: MSTORE
00001aaf: PUSH1 0x20
00001ab1: ADD
00001ab2: SWAP2
00001ab3: POP
00001ab4: JUMPDEST
00001ab5: POP
00001ab6: SWAP4
00001ab7: POP
00001ab8: POP
00001ab9: POP
00001aba: POP
00001abb: PUSH1 0xa0
00001abd: PUSH1 0x40
00001abf: MLOAD
00001ac0: DUP1
00001ac1: DUP4
00001ac2: SUB
00001ac3: DUP2
00001ac4: PUSH1 0x00
00001ac6: DUP8
00001ac7: DUP1
00001ac8: EXTCODESIZE
00001ac9: ISZERO
00001aca: DUP1
00001acb: ISZERO
00001acc: PUSH2 0x1ad4
00001acf: JUMPI
00001ad0: PUSH1 0x00
00001ad2: DUP1
00001ad3: REVERT
00001ad4: JUMPDEST
00001ad5: POP
00001ad6: GAS
00001ad7: CALL
00001ad8: ISZERO
00001ad9: DUP1
00001ada: ISZERO
00001adb: PUSH2 0x1ae8
00001ade: JUMPI
00001adf: RETURNDATASIZE
00001ae0: PUSH1 0x00
00001ae2: DUP1
00001ae3: RETURNDATACOPY
00001ae4: RETURNDATASIZE
00001ae5: PUSH1 0x00
00001ae7: REVERT
00001ae8: JUMPDEST
00001ae9: POP
00001aea: POP
00001aeb: POP
00001aec: POP
00001aed: PUSH1 0x40
00001aef: MLOAD
00001af0: RETURNDATASIZE
00001af1: PUSH1 0x1f
00001af3: NOT
00001af4: PUSH1 0x1f
00001af6: DUP3
00001af7: ADD
00001af8: AND
00001af9: DUP3
00001afa: ADD
00001afb: DUP1
00001afc: PUSH1 0x40
00001afe: MSTORE
00001aff: POP
00001b00: PUSH1 0xa0
00001b02: DUP2
00001b03: LT
00001b04: ISZERO
00001b05: PUSH2 0x1b0d
00001b08: JUMPI
00001b09: PUSH1 0x00
00001b0b: DUP1
00001b0c: REVERT
00001b0d: JUMPDEST
00001b0e: DUP2
00001b0f: ADD
00001b10: SWAP1
00001b11: DUP1
00001b12: SWAP2
00001b13: SWAP1
00001b14: DUP3
00001b15: PUSH1 0x80
00001b17: ADD
00001b18: DUP1
00001b19: MLOAD
00001b1a: SWAP1
00001b1b: PUSH1 0x20
00001b1d: ADD
00001b1e: SWAP1
00001b1f: SWAP3
00001b20: SWAP2
00001b21: SWAP1
00001b22: POP
00001b23: POP
00001b24: POP
00001b25: DUP1
00001b26: SWAP3
00001b27: POP
00001b28: DUP2
00001b29: SWAP4
00001b2a: POP
00001b2b: POP
00001b2c: POP
00001b2d: PUSH2 0x1b36
00001b30: DUP3
00001b31: DUP3
00001b32: PUSH2 0x388d
00001b35: JUMP
00001b36: JUMPDEST
00001b37: SWAP3
00001b38: POP
00001b39: POP
00001b3a: POP
00001b3b: SWAP3
00001b3c: SWAP2
00001b3d: POP
00001b3e: POP
00001b3f: JUMP
00001b40: JUMPDEST
00001b41: PUSH1 0x60
00001b43: DUP1
00001b44: PUSH1 0x40
00001b46: MLOAD
00001b47: SWAP1
00001b48: DUP2
00001b49: ADD
00001b4a: PUSH1 0x40
00001b4c: MSTORE
00001b4d: DUP1
00001b4e: PUSH1 0x21
00001b50: DUP2
00001b51: MSTORE
00001b52: PUSH1 0x20
00001b54: ADD
00001b55: PUSH32 0x43727970746f7665727365205072656f7264657220426f6e7573204173736574
00001b76: DUP2
00001b77: MSTORE
00001b78: PUSH1 0x20
00001b7a: ADD
00001b7b: PUSH32 0x7300000000000000000000000000000000000000000000000000000000000000
00001b9c: DUP2
00001b9d: MSTORE
00001b9e: POP
00001b9f: SWAP1
00001ba0: POP
00001ba1: SWAP1
00001ba2: JUMP
00001ba3: JUMPDEST
00001ba4: PUSH2 0x1bad
00001ba7: CALLER
00001ba8: DUP3
00001ba9: PUSH2 0x38e9
00001bac: JUMP
00001bad: JUMPDEST
00001bae: ISZERO
00001baf: ISZERO
00001bb0: PUSH2 0x1bb8
00001bb3: JUMPI
00001bb4: PUSH1 0x00
00001bb6: DUP1
00001bb7: REVERT
00001bb8: JUMPDEST
00001bb9: PUSH2 0x1bc2
00001bbc: DUP2
00001bbd: DUP4
00001bbe: PUSH2 0x3955
00001bc1: JUMP
00001bc2: JUMPDEST
00001bc3: DUP2
00001bc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd9: AND
00001bda: CALLER
00001bdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bf0: AND
00001bf1: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001c12: DUP4
00001c13: PUSH1 0x40
00001c15: MLOAD
00001c16: DUP1
00001c17: DUP3
00001c18: DUP2
00001c19: MSTORE
00001c1a: PUSH1 0x20
00001c1c: ADD
00001c1d: SWAP2
00001c1e: POP
00001c1f: POP
00001c20: PUSH1 0x40
00001c22: MLOAD
00001c23: DUP1
00001c24: SWAP2
00001c25: SUB
00001c26: SWAP1
00001c27: LOG3
00001c28: POP
00001c29: POP
00001c2a: JUMP
00001c2b: JUMPDEST
00001c2c: PUSH1 0x09
00001c2e: PUSH1 0x00
00001c30: SWAP1
00001c31: SLOAD
00001c32: SWAP1
00001c33: PUSH2 0x0100
00001c36: EXP
00001c37: SWAP1
00001c38: DIV
00001c39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c4e: AND
00001c4f: DUP2
00001c50: JUMP
00001c51: JUMPDEST
00001c52: PUSH1 0x00
00001c54: DUP1
00001c55: PUSH1 0x00
00001c57: SWAP1
00001c58: SLOAD
00001c59: SWAP1
00001c5a: PUSH2 0x0100
00001c5d: EXP
00001c5e: SWAP1
00001c5f: DIV
00001c60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c75: AND
00001c76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c8b: AND
00001c8c: CALLER
00001c8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ca2: AND
00001ca3: EQ
00001ca4: ISZERO
00001ca5: ISZERO
00001ca6: PUSH2 0x1cae
00001ca9: JUMPI
00001caa: PUSH1 0x00
00001cac: DUP1
00001cad: REVERT
00001cae: JUMPDEST
00001caf: DUP2
00001cb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cc5: AND
00001cc6: PUSH4 0x70a08231
00001ccb: ADDRESS
00001ccc: PUSH1 0x40
00001cce: MLOAD
00001ccf: DUP3
00001cd0: PUSH4 0xffffffff
00001cd5: AND
00001cd6: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001cf4: MUL
00001cf5: DUP2
00001cf6: MSTORE
00001cf7: PUSH1 0x04
00001cf9: ADD
00001cfa: DUP1
00001cfb: DUP3
00001cfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d11: AND
00001d12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d27: AND
00001d28: DUP2
00001d29: MSTORE
00001d2a: PUSH1 0x20
00001d2c: ADD
00001d2d: SWAP2
00001d2e: POP
00001d2f: POP
00001d30: PUSH1 0x20
00001d32: PUSH1 0x40
00001d34: MLOAD
00001d35: DUP1
00001d36: DUP4
00001d37: SUB
00001d38: DUP2
00001d39: PUSH1 0x00
00001d3b: DUP8
00001d3c: DUP1
00001d3d: EXTCODESIZE
00001d3e: ISZERO
00001d3f: DUP1
00001d40: ISZERO
00001d41: PUSH2 0x1d49
00001d44: JUMPI
00001d45: PUSH1 0x00
00001d47: DUP1
00001d48: REVERT
00001d49: JUMPDEST
00001d4a: POP
00001d4b: GAS
00001d4c: CALL
00001d4d: ISZERO
00001d4e: DUP1
00001d4f: ISZERO
00001d50: PUSH2 0x1d5d
00001d53: JUMPI
00001d54: RETURNDATASIZE
00001d55: PUSH1 0x00
00001d57: DUP1
00001d58: RETURNDATACOPY
00001d59: RETURNDATASIZE
00001d5a: PUSH1 0x00
00001d5c: REVERT
00001d5d: JUMPDEST
00001d5e: POP
00001d5f: POP
00001d60: POP
00001d61: POP
00001d62: PUSH1 0x40
00001d64: MLOAD
00001d65: RETURNDATASIZE
00001d66: PUSH1 0x20
00001d68: DUP2
00001d69: LT
00001d6a: ISZERO
00001d6b: PUSH2 0x1d73
00001d6e: JUMPI
00001d6f: PUSH1 0x00
00001d71: DUP1
00001d72: REVERT
00001d73: JUMPDEST
00001d74: DUP2
00001d75: ADD
00001d76: SWAP1
00001d77: DUP1
00001d78: DUP1
00001d79: MLOAD
00001d7a: SWAP1
00001d7b: PUSH1 0x20
00001d7d: ADD
00001d7e: SWAP1
00001d7f: SWAP3
00001d80: SWAP2
00001d81: SWAP1
00001d82: POP
00001d83: POP
00001d84: POP
00001d85: SWAP1
00001d86: POP
00001d87: DUP2
00001d88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d9d: AND
00001d9e: PUSH4 0xa9059cbb
00001da3: PUSH1 0x00
00001da5: DUP1
00001da6: SWAP1
00001da7: SLOAD
00001da8: SWAP1
00001da9: PUSH2 0x0100
00001dac: EXP
00001dad: SWAP1
00001dae: DIV
00001daf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dc4: AND
00001dc5: DUP4
00001dc6: PUSH1 0x40
00001dc8: MLOAD
00001dc9: DUP4
00001dca: PUSH4 0xffffffff
00001dcf: AND
00001dd0: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001dee: MUL
00001def: DUP2
00001df0: MSTORE
00001df1: PUSH1 0x04
00001df3: ADD
00001df4: DUP1
00001df5: DUP4
00001df6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e0b: AND
00001e0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e21: AND
00001e22: DUP2
00001e23: MSTORE
00001e24: PUSH1 0x20
00001e26: ADD
00001e27: DUP3
00001e28: DUP2
00001e29: MSTORE
00001e2a: PUSH1 0x20
00001e2c: ADD
00001e2d: SWAP3
00001e2e: POP
00001e2f: POP
00001e30: POP
00001e31: PUSH1 0x20
00001e33: PUSH1 0x40
00001e35: MLOAD
00001e36: DUP1
00001e37: DUP4
00001e38: SUB
00001e39: DUP2
00001e3a: PUSH1 0x00
00001e3c: DUP8
00001e3d: DUP1
00001e3e: EXTCODESIZE
00001e3f: ISZERO
00001e40: DUP1
00001e41: ISZERO
00001e42: PUSH2 0x1e4a
00001e45: JUMPI
00001e46: PUSH1 0x00
00001e48: DUP1
00001e49: REVERT
00001e4a: JUMPDEST
00001e4b: POP
00001e4c: GAS
00001e4d: CALL
00001e4e: ISZERO
00001e4f: DUP1
00001e50: ISZERO
00001e51: PUSH2 0x1e5e
00001e54: JUMPI
00001e55: RETURNDATASIZE
00001e56: PUSH1 0x00
00001e58: DUP1
00001e59: RETURNDATACOPY
00001e5a: RETURNDATASIZE
00001e5b: PUSH1 0x00
00001e5d: REVERT
00001e5e: JUMPDEST
00001e5f: POP
00001e60: POP
00001e61: POP
00001e62: POP
00001e63: PUSH1 0x40
00001e65: MLOAD
00001e66: RETURNDATASIZE
00001e67: PUSH1 0x20
00001e69: DUP2
00001e6a: LT
00001e6b: ISZERO
00001e6c: PUSH2 0x1e74
00001e6f: JUMPI
00001e70: PUSH1 0x00
00001e72: DUP1
00001e73: REVERT
00001e74: JUMPDEST
00001e75: DUP2
00001e76: ADD
00001e77: SWAP1
00001e78: DUP1
00001e79: DUP1
00001e7a: MLOAD
00001e7b: SWAP1
00001e7c: PUSH1 0x20
00001e7e: ADD
00001e7f: SWAP1
00001e80: SWAP3
00001e81: SWAP2
00001e82: SWAP1
00001e83: POP
00001e84: POP
00001e85: POP
00001e86: POP
00001e87: POP
00001e88: POP
00001e89: JUMP
00001e8a: JUMPDEST
00001e8b: PUSH1 0x00
00001e8d: PUSH1 0x01
00001e8f: DUP1
00001e90: SLOAD
00001e91: SWAP1
00001e92: POP
00001e93: SWAP1
00001e94: POP
00001e95: SWAP1
00001e96: JUMP
00001e97: JUMPDEST
00001e98: PUSH1 0x00
00001e9a: PUSH2 0x1f92
00001e9d: PUSH1 0x01
00001e9f: DUP4
00001ea0: DUP2
00001ea1: SLOAD
00001ea2: DUP2
00001ea3: LT
00001ea4: ISZERO
00001ea5: ISZERO
00001ea6: PUSH2 0x1eab
00001ea9: JUMPI
00001eaa: INVALID
00001eab: JUMPDEST
00001eac: SWAP1
00001ead: PUSH1 0x00
00001eaf: MSTORE
00001eb0: PUSH1 0x20
00001eb2: PUSH1 0x00
00001eb4: KECCAK256
00001eb5: SWAP1
00001eb6: PUSH1 0x03
00001eb8: MUL
00001eb9: ADD
00001eba: PUSH1 0xc0
00001ebc: PUSH1 0x40
00001ebe: MLOAD
00001ebf: SWAP1
00001ec0: DUP2
00001ec1: ADD
00001ec2: PUSH1 0x40
00001ec4: MSTORE
00001ec5: SWAP1
00001ec6: DUP2
00001ec7: PUSH1 0x00
00001ec9: DUP3
00001eca: ADD
00001ecb: PUSH1 0x00
00001ecd: SWAP1
00001ece: SLOAD
00001ecf: SWAP1
00001ed0: PUSH2 0x0100
00001ed3: EXP
00001ed4: SWAP1
00001ed5: DIV
00001ed6: PUSH1 0xff
00001ed8: AND
00001ed9: PUSH1 0x0a
00001edb: DUP2
00001edc: GT
00001edd: ISZERO
00001ede: PUSH2 0x1ee3
00001ee1: JUMPI
00001ee2: INVALID
00001ee3: JUMPDEST
00001ee4: PUSH1 0x0a
00001ee6: DUP2
00001ee7: GT
00001ee8: ISZERO
00001ee9: PUSH2 0x1eee
00001eec: JUMPI
00001eed: INVALID
00001eee: JUMPDEST
00001eef: DUP2
00001ef0: MSTORE
00001ef1: PUSH1 0x20
00001ef3: ADD
00001ef4: PUSH1 0x00
00001ef6: DUP3
00001ef7: ADD
00001ef8: PUSH1 0x01
00001efa: SWAP1
00001efb: SLOAD
00001efc: SWAP1
00001efd: PUSH2 0x0100
00001f00: EXP
00001f01: SWAP1
00001f02: DIV
00001f03: PUSH1 0xff
00001f05: AND
00001f06: PUSH1 0x15
00001f08: DUP2
00001f09: GT
00001f0a: ISZERO
00001f0b: PUSH2 0x1f10
00001f0e: JUMPI
00001f0f: INVALID
00001f10: JUMPDEST
00001f11: PUSH1 0x15
00001f13: DUP2
00001f14: GT
00001f15: ISZERO
00001f16: PUSH2 0x1f1b
00001f19: JUMPI
00001f1a: INVALID
00001f1b: JUMPDEST
00001f1c: DUP2
00001f1d: MSTORE
00001f1e: PUSH1 0x20
00001f20: ADD
00001f21: PUSH1 0x00
00001f23: DUP3
00001f24: ADD
00001f25: PUSH1 0x02
00001f27: SWAP1
00001f28: SLOAD
00001f29: SWAP1
00001f2a: PUSH2 0x0100
00001f2d: EXP
00001f2e: SWAP1
00001f2f: DIV
00001f30: PUSH1 0xff
00001f32: AND
00001f33: PUSH1 0x03
00001f35: DUP2
00001f36: GT
00001f37: ISZERO
00001f38: PUSH2 0x1f3d
00001f3b: JUMPI
00001f3c: INVALID
00001f3d: JUMPDEST
00001f3e: PUSH1 0x03
00001f40: DUP2
00001f41: GT
00001f42: ISZERO
00001f43: PUSH2 0x1f48
00001f46: JUMPI
00001f47: INVALID
00001f48: JUMPDEST
00001f49: DUP2
00001f4a: MSTORE
00001f4b: PUSH1 0x20
00001f4d: ADD
00001f4e: PUSH1 0x00
00001f50: DUP3
00001f51: ADD
00001f52: PUSH1 0x03
00001f54: SWAP1
00001f55: SLOAD
00001f56: SWAP1
00001f57: PUSH2 0x0100
00001f5a: EXP
00001f5b: SWAP1
00001f5c: DIV
00001f5d: PUSH1 0xff
00001f5f: AND
00001f60: PUSH1 0x06
00001f62: DUP2
00001f63: GT
00001f64: ISZERO
00001f65: PUSH2 0x1f6a
00001f68: JUMPI
00001f69: INVALID
00001f6a: JUMPDEST
00001f6b: PUSH1 0x06
00001f6d: DUP2
00001f6e: GT
00001f6f: ISZERO
00001f70: PUSH2 0x1f75
00001f73: JUMPI
00001f74: INVALID
00001f75: JUMPDEST
00001f76: DUP2
00001f77: MSTORE
00001f78: PUSH1 0x20
00001f7a: ADD
00001f7b: PUSH1 0x01
00001f7d: DUP3
00001f7e: ADD
00001f7f: SLOAD
00001f80: DUP2
00001f81: MSTORE
00001f82: PUSH1 0x20
00001f84: ADD
00001f85: PUSH1 0x02
00001f87: DUP3
00001f88: ADD
00001f89: SLOAD
00001f8a: DUP2
00001f8b: MSTORE
00001f8c: POP
00001f8d: POP
00001f8e: PUSH2 0x39ab
00001f91: JUMP
00001f92: JUMPDEST
00001f93: SWAP1
00001f94: POP
00001f95: SWAP2
00001f96: SWAP1
00001f97: POP
00001f98: JUMP
00001f99: JUMPDEST
00001f9a: PUSH1 0x00
00001f9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fb1: AND
00001fb2: DUP3
00001fb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fc8: AND
00001fc9: EQ
00001fca: ISZERO
00001fcb: ISZERO
00001fcc: ISZERO
00001fcd: PUSH2 0x1fd5
00001fd0: JUMPI
00001fd1: PUSH1 0x00
00001fd3: DUP1
00001fd4: REVERT
00001fd5: JUMPDEST
00001fd6: ADDRESS
00001fd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fec: AND
00001fed: DUP3
00001fee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002003: AND
00002004: EQ
00002005: ISZERO
00002006: ISZERO
00002007: ISZERO
00002008: PUSH2 0x2010
0000200b: JUMPI
0000200c: PUSH1 0x00
0000200e: DUP1
0000200f: REVERT
00002010: JUMPDEST
00002011: PUSH2 0x201a
00002014: CALLER
00002015: DUP3
00002016: PUSH2 0x39f6
00002019: JUMP
0000201a: JUMPDEST
0000201b: ISZERO
0000201c: ISZERO
0000201d: PUSH2 0x2025
00002020: JUMPI
00002021: PUSH1 0x00
00002023: DUP1
00002024: REVERT
00002025: JUMPDEST
00002026: PUSH2 0x202f
00002029: DUP4
0000202a: DUP3
0000202b: PUSH2 0x38e9
0000202e: JUMP
0000202f: JUMPDEST
00002030: ISZERO
00002031: ISZERO
00002032: PUSH2 0x203a
00002035: JUMPI
00002036: PUSH1 0x00
00002038: DUP1
00002039: REVERT
0000203a: JUMPDEST
0000203b: PUSH2 0x2045
0000203e: DUP4
0000203f: DUP4
00002040: DUP4
00002041: PUSH2 0x3a62
00002044: JUMP
00002045: JUMPDEST
00002046: POP
00002047: POP
00002048: POP
00002049: JUMP
0000204a: JUMPDEST
0000204b: PUSH1 0x0b
0000204d: SLOAD
0000204e: DUP2
0000204f: JUMP
00002050: JUMPDEST
00002051: PUSH1 0x0f
00002053: PUSH1 0x20
00002055: MSTORE
00002056: DUP1
00002057: PUSH1 0x00
00002059: MSTORE
0000205a: PUSH1 0x40
0000205c: PUSH1 0x00
0000205e: KECCAK256
0000205f: PUSH1 0x00
00002061: SWAP2
00002062: POP
00002063: SLOAD
00002064: SWAP1
00002065: PUSH2 0x0100
00002068: EXP
00002069: SWAP1
0000206a: DIV
0000206b: PUSH1 0xff
0000206d: AND
0000206e: DUP2
0000206f: JUMP
00002070: JUMPDEST
00002071: PUSH1 0x08
00002073: PUSH1 0x00
00002075: SWAP1
00002076: SLOAD
00002077: SWAP1
00002078: PUSH2 0x0100
0000207b: EXP
0000207c: SWAP1
0000207d: DIV
0000207e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002093: AND
00002094: DUP2
00002095: JUMP
00002096: JUMPDEST
00002097: PUSH1 0x11
00002099: DUP2
0000209a: DUP2
0000209b: SLOAD
0000209c: DUP2
0000209d: LT
0000209e: ISZERO
0000209f: ISZERO
000020a0: PUSH2 0x20a5
000020a3: JUMPI
000020a4: INVALID
000020a5: JUMPDEST
000020a6: SWAP1
000020a7: PUSH1 0x00
000020a9: MSTORE
000020aa: PUSH1 0x20
000020ac: PUSH1 0x00
000020ae: KECCAK256
000020af: ADD
000020b0: PUSH1 0x00
000020b2: SWAP2
000020b3: POP
000020b4: SLOAD
000020b5: SWAP1
000020b6: PUSH2 0x0100
000020b9: EXP
000020ba: SWAP1
000020bb: DIV
000020bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020d1: AND
000020d2: DUP2
000020d3: JUMP
000020d4: JUMPDEST
000020d5: PUSH1 0x00
000020d7: DUP1
000020d8: PUSH1 0x00
000020da: DUP1
000020db: SWAP3
000020dc: POP
000020dd: JUMPDEST
000020de: DUP4
000020df: MLOAD
000020e0: DUP4
000020e1: LT
000020e2: ISZERO
000020e3: PUSH2 0x252c
000020e6: JUMPI
000020e7: DUP4
000020e8: DUP4
000020e9: DUP2
000020ea: MLOAD
000020eb: DUP2
000020ec: LT
000020ed: ISZERO
000020ee: ISZERO
000020ef: PUSH2 0x20f4
000020f2: JUMPI
000020f3: INVALID
000020f4: JUMPDEST
000020f5: SWAP1
000020f6: PUSH1 0x20
000020f8: ADD
000020f9: SWAP1
000020fa: PUSH1 0x20
000020fc: MUL
000020fd: ADD
000020fe: MLOAD
000020ff: SWAP2
00002100: POP
00002101: PUSH1 0x01
00002103: DUP3
00002104: DUP2
00002105: SLOAD
00002106: DUP2
00002107: LT
00002108: ISZERO
00002109: ISZERO
0000210a: PUSH2 0x210f
0000210d: JUMPI
0000210e: INVALID
0000210f: JUMPDEST
00002110: SWAP1
00002111: PUSH1 0x00
00002113: MSTORE
00002114: PUSH1 0x20
00002116: PUSH1 0x00
00002118: KECCAK256
00002119: SWAP1
0000211a: PUSH1 0x03
0000211c: MUL
0000211d: ADD
0000211e: SWAP1
0000211f: POP
00002120: PUSH2 0x21fc
00002123: DUP2
00002124: PUSH1 0xc0
00002126: PUSH1 0x40
00002128: MLOAD
00002129: SWAP1
0000212a: DUP2
0000212b: ADD
0000212c: PUSH1 0x40
0000212e: MSTORE
0000212f: SWAP1
00002130: DUP2
00002131: PUSH1 0x00
00002133: DUP3
00002134: ADD
00002135: PUSH1 0x00
00002137: SWAP1
00002138: SLOAD
00002139: SWAP1
0000213a: PUSH2 0x0100
0000213d: EXP
0000213e: SWAP1
0000213f: DIV
00002140: PUSH1 0xff
00002142: AND
00002143: PUSH1 0x0a
00002145: DUP2
00002146: GT
00002147: ISZERO
00002148: PUSH2 0x214d
0000214b: JUMPI
0000214c: INVALID
0000214d: JUMPDEST
0000214e: PUSH1 0x0a
00002150: DUP2
00002151: GT
00002152: ISZERO
00002153: PUSH2 0x2158
00002156: JUMPI
00002157: INVALID
00002158: JUMPDEST
00002159: DUP2
0000215a: MSTORE
0000215b: PUSH1 0x20
0000215d: ADD
0000215e: PUSH1 0x00
00002160: DUP3
00002161: ADD
00002162: PUSH1 0x01
00002164: SWAP1
00002165: SLOAD
00002166: SWAP1
00002167: PUSH2 0x0100
0000216a: EXP
0000216b: SWAP1
0000216c: DIV
0000216d: PUSH1 0xff
0000216f: AND
00002170: PUSH1 0x15
00002172: DUP2
00002173: GT
00002174: ISZERO
00002175: PUSH2 0x217a
00002178: JUMPI
00002179: INVALID
0000217a: JUMPDEST
0000217b: PUSH1 0x15
0000217d: DUP2
0000217e: GT
0000217f: ISZERO
00002180: PUSH2 0x2185
00002183: JUMPI
00002184: INVALID
00002185: JUMPDEST
00002186: DUP2
00002187: MSTORE
00002188: PUSH1 0x20
0000218a: ADD
0000218b: PUSH1 0x00
0000218d: DUP3
0000218e: ADD
0000218f: PUSH1 0x02
00002191: SWAP1
00002192: SLOAD
00002193: SWAP1
00002194: PUSH2 0x0100
00002197: EXP
00002198: SWAP1
00002199: DIV
0000219a: PUSH1 0xff
0000219c: AND
0000219d: PUSH1 0x03
0000219f: DUP2
000021a0: GT
000021a1: ISZERO
000021a2: PUSH2 0x21a7
000021a5: JUMPI
000021a6: INVALID
000021a7: JUMPDEST
000021a8: PUSH1 0x03
000021aa: DUP2
000021ab: GT
000021ac: ISZERO
000021ad: PUSH2 0x21b2
000021b0: JUMPI
000021b1: INVALID
000021b2: JUMPDEST
000021b3: DUP2
000021b4: MSTORE
000021b5: PUSH1 0x20
000021b7: ADD
000021b8: PUSH1 0x00
000021ba: DUP3
000021bb: ADD
000021bc: PUSH1 0x03
000021be: SWAP1
000021bf: SLOAD
000021c0: SWAP1
000021c1: PUSH2 0x0100
000021c4: EXP
000021c5: SWAP1
000021c6: DIV
000021c7: PUSH1 0xff
000021c9: AND
000021ca: PUSH1 0x06
000021cc: DUP2
000021cd: GT
000021ce: ISZERO
000021cf: PUSH2 0x21d4
000021d2: JUMPI
000021d3: INVALID
000021d4: JUMPDEST
000021d5: PUSH1 0x06
000021d7: DUP2
000021d8: GT
000021d9: ISZERO
000021da: PUSH2 0x21df
000021dd: JUMPI
000021de: INVALID
000021df: JUMPDEST
000021e0: DUP2
000021e1: MSTORE
000021e2: PUSH1 0x20
000021e4: ADD
000021e5: PUSH1 0x01
000021e7: DUP3
000021e8: ADD
000021e9: SLOAD
000021ea: DUP2
000021eb: MSTORE
000021ec: PUSH1 0x20
000021ee: ADD
000021ef: PUSH1 0x02
000021f1: DUP3
000021f2: ADD
000021f3: SLOAD
000021f4: DUP2
000021f5: MSTORE
000021f6: POP
000021f7: POP
000021f8: PUSH2 0x39ab
000021fb: JUMP
000021fc: JUMPDEST
000021fd: ISZERO
000021fe: ISZERO
000021ff: PUSH2 0x2207
00002202: JUMPI
00002203: PUSH1 0x00
00002205: DUP1
00002206: REVERT
00002207: JUMPDEST
00002208: PUSH2 0x2211
0000220b: ADDRESS
0000220c: DUP4
0000220d: PUSH2 0x3067
00002210: JUMP
00002211: JUMPDEST
00002212: PUSH1 0x00
00002214: PUSH1 0x0a
00002216: DUP2
00002217: GT
00002218: ISZERO
00002219: PUSH2 0x221e
0000221c: JUMPI
0000221d: INVALID
0000221e: JUMPDEST
0000221f: DUP2
00002220: PUSH1 0x00
00002222: ADD
00002223: PUSH1 0x00
00002225: SWAP1
00002226: SLOAD
00002227: SWAP1
00002228: PUSH2 0x0100
0000222b: EXP
0000222c: SWAP1
0000222d: DIV
0000222e: PUSH1 0xff
00002230: AND
00002231: PUSH1 0x0a
00002233: DUP2
00002234: GT
00002235: ISZERO
00002236: PUSH2 0x223b
00002239: JUMPI
0000223a: INVALID
0000223b: JUMPDEST
0000223c: EQ
0000223d: ISZERO
0000223e: PUSH2 0x23b2
00002241: JUMPI
00002242: PUSH1 0x06
00002244: PUSH1 0x00
00002246: SWAP1
00002247: SLOAD
00002248: SWAP1
00002249: PUSH2 0x0100
0000224c: EXP
0000224d: SWAP1
0000224e: DIV
0000224f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002264: AND
00002265: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000227a: AND
0000227b: PUSH4 0x23b872dd
00002280: PUSH1 0x08
00002282: PUSH1 0x00
00002284: SWAP1
00002285: SLOAD
00002286: SWAP1
00002287: PUSH2 0x0100
0000228a: EXP
0000228b: SWAP1
0000228c: DIV
0000228d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022a2: AND
000022a3: CALLER
000022a4: PUSH1 0x0c
000022a6: SLOAD
000022a7: PUSH1 0x0a
000022a9: SLOAD
000022aa: DUP7
000022ab: PUSH1 0x02
000022ad: ADD
000022ae: SLOAD
000022af: MUL
000022b0: DUP2
000022b1: ISZERO
000022b2: ISZERO
000022b3: PUSH2 0x22b8
000022b6: JUMPI
000022b7: INVALID
000022b8: JUMPDEST
000022b9: DIV
000022ba: PUSH1 0x40
000022bc: MLOAD
000022bd: DUP5
000022be: PUSH4 0xffffffff
000022c3: AND
000022c4: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000022e2: MUL
000022e3: DUP2
000022e4: MSTORE
000022e5: PUSH1 0x04
000022e7: ADD
000022e8: DUP1
000022e9: DUP5
000022ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022ff: AND
00002300: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002315: AND
00002316: DUP2
00002317: MSTORE
00002318: PUSH1 0x20
0000231a: ADD
0000231b: DUP4
0000231c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002331: AND
00002332: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002347: AND
00002348: DUP2
00002349: MSTORE
0000234a: PUSH1 0x20
0000234c: ADD
0000234d: DUP3
0000234e: DUP2
0000234f: MSTORE
00002350: PUSH1 0x20
00002352: ADD
00002353: SWAP4
00002354: POP
00002355: POP
00002356: POP
00002357: POP
00002358: PUSH1 0x20
0000235a: PUSH1 0x40
0000235c: MLOAD
0000235d: DUP1
0000235e: DUP4
0000235f: SUB
00002360: DUP2
00002361: PUSH1 0x00
00002363: DUP8
00002364: DUP1
00002365: EXTCODESIZE
00002366: ISZERO
00002367: DUP1
00002368: ISZERO
00002369: PUSH2 0x2371
0000236c: JUMPI
0000236d: PUSH1 0x00
0000236f: DUP1
00002370: REVERT
00002371: JUMPDEST
00002372: POP
00002373: GAS
00002374: CALL
00002375: ISZERO
00002376: DUP1
00002377: ISZERO
00002378: PUSH2 0x2385
0000237b: JUMPI
0000237c: RETURNDATASIZE
0000237d: PUSH1 0x00
0000237f: DUP1
00002380: RETURNDATACOPY
00002381: RETURNDATASIZE
00002382: PUSH1 0x00
00002384: REVERT
00002385: JUMPDEST
00002386: POP
00002387: POP
00002388: POP
00002389: POP
0000238a: PUSH1 0x40
0000238c: MLOAD
0000238d: RETURNDATASIZE
0000238e: PUSH1 0x20
00002390: DUP2
00002391: LT
00002392: ISZERO
00002393: PUSH2 0x239b
00002396: JUMPI
00002397: PUSH1 0x00
00002399: DUP1
0000239a: REVERT
0000239b: JUMPDEST
0000239c: DUP2
0000239d: ADD
0000239e: SWAP1
0000239f: DUP1
000023a0: DUP1
000023a1: MLOAD
000023a2: SWAP1
000023a3: PUSH1 0x20
000023a5: ADD
000023a6: SWAP1
000023a7: SWAP3
000023a8: SWAP2
000023a9: SWAP1
000023aa: POP
000023ab: POP
000023ac: POP
000023ad: POP
000023ae: PUSH2 0x251f
000023b1: JUMP
000023b2: JUMPDEST
000023b3: PUSH1 0x07
000023b5: PUSH1 0x00
000023b7: SWAP1
000023b8: SLOAD
000023b9: SWAP1
000023ba: PUSH2 0x0100
000023bd: EXP
000023be: SWAP1
000023bf: DIV
000023c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023d5: AND
000023d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023eb: AND
000023ec: PUSH4 0x23b872dd
000023f1: PUSH1 0x09
000023f3: PUSH1 0x00
000023f5: SWAP1
000023f6: SLOAD
000023f7: SWAP1
000023f8: PUSH2 0x0100
000023fb: EXP
000023fc: SWAP1
000023fd: DIV
000023fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002413: AND
00002414: CALLER
00002415: PUSH1 0x0c
00002417: SLOAD
00002418: PUSH1 0x0b
0000241a: SLOAD
0000241b: DUP7
0000241c: PUSH1 0x02
0000241e: ADD
0000241f: SLOAD
00002420: MUL
00002421: DUP2
00002422: ISZERO
00002423: ISZERO
00002424: PUSH2 0x2429
00002427: JUMPI
00002428: INVALID
00002429: JUMPDEST
0000242a: DIV
0000242b: PUSH1 0x40
0000242d: MLOAD
0000242e: DUP5
0000242f: PUSH4 0xffffffff
00002434: AND
00002435: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002453: MUL
00002454: DUP2
00002455: MSTORE
00002456: PUSH1 0x04
00002458: ADD
00002459: DUP1
0000245a: DUP5
0000245b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002470: AND
00002471: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002486: AND
00002487: DUP2
00002488: MSTORE
00002489: PUSH1 0x20
0000248b: ADD
0000248c: DUP4
0000248d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024a2: AND
000024a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024b8: AND
000024b9: DUP2
000024ba: MSTORE
000024bb: PUSH1 0x20
000024bd: ADD
000024be: DUP3
000024bf: DUP2
000024c0: MSTORE
000024c1: PUSH1 0x20
000024c3: ADD
000024c4: SWAP4
000024c5: POP
000024c6: POP
000024c7: POP
000024c8: POP
000024c9: PUSH1 0x20
000024cb: PUSH1 0x40
000024cd: MLOAD
000024ce: DUP1
000024cf: DUP4
000024d0: SUB
000024d1: DUP2
000024d2: PUSH1 0x00
000024d4: DUP8
000024d5: DUP1
000024d6: EXTCODESIZE
000024d7: ISZERO
000024d8: DUP1
000024d9: ISZERO
000024da: PUSH2 0x24e2
000024dd: JUMPI
000024de: PUSH1 0x00
000024e0: DUP1
000024e1: REVERT
000024e2: JUMPDEST
000024e3: POP
000024e4: GAS
000024e5: CALL
000024e6: ISZERO
000024e7: DUP1
000024e8: ISZERO
000024e9: PUSH2 0x24f6
000024ec: JUMPI
000024ed: RETURNDATASIZE
000024ee: PUSH1 0x00
000024f0: DUP1
000024f1: RETURNDATACOPY
000024f2: RETURNDATASIZE
000024f3: PUSH1 0x00
000024f5: REVERT
000024f6: JUMPDEST
000024f7: POP
000024f8: POP
000024f9: POP
000024fa: POP
000024fb: PUSH1 0x40
000024fd: MLOAD
000024fe: RETURNDATASIZE
000024ff: PUSH1 0x20
00002501: DUP2
00002502: LT
00002503: ISZERO
00002504: PUSH2 0x250c
00002507: JUMPI
00002508: PUSH1 0x00
0000250a: DUP1
0000250b: REVERT
0000250c: JUMPDEST
0000250d: DUP2
0000250e: ADD
0000250f: SWAP1
00002510: DUP1
00002511: DUP1
00002512: MLOAD
00002513: SWAP1
00002514: PUSH1 0x20
00002516: ADD
00002517: SWAP1
00002518: SWAP3
00002519: SWAP2
0000251a: SWAP1
0000251b: POP
0000251c: POP
0000251d: POP
0000251e: POP
0000251f: JUMPDEST
00002520: DUP3
00002521: DUP1
00002522: PUSH1 0x01
00002524: ADD
00002525: SWAP4
00002526: POP
00002527: POP
00002528: PUSH2 0x20dd
0000252b: JUMP
0000252c: JUMPDEST
0000252d: POP
0000252e: POP
0000252f: POP
00002530: POP
00002531: JUMP
00002532: JUMPDEST
00002533: PUSH1 0x00
00002535: DUP1
00002536: SWAP1
00002537: SLOAD
00002538: SWAP1
00002539: PUSH2 0x0100
0000253c: EXP
0000253d: SWAP1
0000253e: DIV
0000253f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002554: AND
00002555: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000256a: AND
0000256b: CALLER
0000256c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002581: AND
00002582: EQ
00002583: ISZERO
00002584: ISZERO
00002585: PUSH2 0x258d
00002588: JUMPI
00002589: PUSH1 0x00
0000258b: DUP1
0000258c: REVERT
0000258d: JUMPDEST
0000258e: PUSH1 0x00
00002590: PUSH1 0x14
00002592: SWAP1
00002593: SLOAD
00002594: SWAP1
00002595: PUSH2 0x0100
00002598: EXP
00002599: SWAP1
0000259a: DIV
0000259b: PUSH1 0xff
0000259d: AND
0000259e: ISZERO
0000259f: ISZERO
000025a0: PUSH2 0x25a8
000025a3: JUMPI
000025a4: PUSH1 0x00
000025a6: DUP1
000025a7: REVERT
000025a8: JUMPDEST
000025a9: PUSH1 0x00
000025ab: DUP1
000025ac: PUSH1 0x14
000025ae: PUSH2 0x0100
000025b1: EXP
000025b2: DUP2
000025b3: SLOAD
000025b4: DUP2
000025b5: PUSH1 0xff
000025b7: MUL
000025b8: NOT
000025b9: AND
000025ba: SWAP1
000025bb: DUP4
000025bc: ISZERO
000025bd: ISZERO
000025be: MUL
000025bf: OR
000025c0: SWAP1
000025c1: SSTORE
000025c2: POP
000025c3: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33
000025e4: PUSH1 0x40
000025e6: MLOAD
000025e7: PUSH1 0x40
000025e9: MLOAD
000025ea: DUP1
000025eb: SWAP2
000025ec: SUB
000025ed: SWAP1
000025ee: LOG1
000025ef: JUMP
000025f0: JUMPDEST
000025f1: PUSH1 0x0c
000025f3: SLOAD
000025f4: DUP2
000025f5: JUMP
000025f6: JUMPDEST
000025f7: PUSH1 0x0e
000025f9: PUSH1 0x20
000025fb: MSTORE
000025fc: DUP1
000025fd: PUSH1 0x00
000025ff: MSTORE
00002600: PUSH1 0x40
00002602: PUSH1 0x00
00002604: KECCAK256
00002605: PUSH1 0x00
00002607: SWAP2
00002608: POP
00002609: SWAP1
0000260a: POP
0000260b: SLOAD
0000260c: DUP2
0000260d: JUMP
0000260e: JUMPDEST
0000260f: PUSH1 0x00
00002611: DUP1
00002612: SWAP1
00002613: SLOAD
00002614: SWAP1
00002615: PUSH2 0x0100
00002618: EXP
00002619: SWAP1
0000261a: DIV
0000261b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002630: AND
00002631: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002646: AND
00002647: CALLER
00002648: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000265d: AND
0000265e: EQ
0000265f: ISZERO
00002660: ISZERO
00002661: PUSH2 0x2669
00002664: JUMPI
00002665: PUSH1 0x00
00002667: DUP1
00002668: REVERT
00002669: JUMPDEST
0000266a: PUSH1 0x00
0000266c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002681: AND
00002682: DUP4
00002683: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002698: AND
00002699: EQ
0000269a: ISZERO
0000269b: ISZERO
0000269c: ISZERO
0000269d: PUSH2 0x26a5
000026a0: JUMPI
000026a1: PUSH1 0x00
000026a3: DUP1
000026a4: REVERT
000026a5: JUMPDEST
000026a6: PUSH1 0x00
000026a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026bd: AND
000026be: DUP3
000026bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026d4: AND
000026d5: EQ
000026d6: ISZERO
000026d7: ISZERO
000026d8: ISZERO
000026d9: PUSH2 0x26e1
000026dc: JUMPI
000026dd: PUSH1 0x00
000026df: DUP1
000026e0: REVERT
000026e1: JUMPDEST
000026e2: PUSH1 0x00
000026e4: DUP2
000026e5: GT
000026e6: ISZERO
000026e7: ISZERO
000026e8: PUSH2 0x26f0
000026eb: JUMPI
000026ec: PUSH1 0x00
000026ee: DUP1
000026ef: REVERT
000026f0: JUMPDEST
000026f1: DUP3
000026f2: PUSH1 0x06
000026f4: PUSH1 0x00
000026f6: PUSH2 0x0100
000026f9: EXP
000026fa: DUP2
000026fb: SLOAD
000026fc: DUP2
000026fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002712: MUL
00002713: NOT
00002714: AND
00002715: SWAP1
00002716: DUP4
00002717: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000272c: AND
0000272d: MUL
0000272e: OR
0000272f: SWAP1
00002730: SSTORE
00002731: POP
00002732: DUP2
00002733: PUSH1 0x08
00002735: PUSH1 0x00
00002737: PUSH2 0x0100
0000273a: EXP
0000273b: DUP2
0000273c: SLOAD
0000273d: DUP2
0000273e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002753: MUL
00002754: NOT
00002755: AND
00002756: SWAP1
00002757: DUP4
00002758: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000276d: AND
0000276e: MUL
0000276f: OR
00002770: SWAP1
00002771: SSTORE
00002772: POP
00002773: DUP1
00002774: PUSH1 0x0a
00002776: DUP2
00002777: SWAP1
00002778: SSTORE
00002779: POP
0000277a: POP
0000277b: POP
0000277c: POP
0000277d: JUMP
0000277e: JUMPDEST
0000277f: PUSH1 0x00
00002781: PUSH1 0x14
00002783: SWAP1
00002784: SLOAD
00002785: SWAP1
00002786: PUSH2 0x0100
00002789: EXP
0000278a: SWAP1
0000278b: DIV
0000278c: PUSH1 0xff
0000278e: AND
0000278f: DUP2
00002790: JUMP
00002791: JUMPDEST
00002792: PUSH1 0x00
00002794: PUSH1 0x02
00002796: PUSH1 0x00
00002798: DUP4
00002799: DUP2
0000279a: MSTORE
0000279b: PUSH1 0x20
0000279d: ADD
0000279e: SWAP1
0000279f: DUP2
000027a0: MSTORE
000027a1: PUSH1 0x20
000027a3: ADD
000027a4: PUSH1 0x00
000027a6: KECCAK256
000027a7: PUSH1 0x00
000027a9: SWAP1
000027aa: SLOAD
000027ab: SWAP1
000027ac: PUSH2 0x0100
000027af: EXP
000027b0: SWAP1
000027b1: DIV
000027b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027c7: AND
000027c8: SWAP1
000027c9: POP
000027ca: PUSH1 0x00
000027cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027e1: AND
000027e2: DUP2
000027e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027f8: AND
000027f9: EQ
000027fa: ISZERO
000027fb: ISZERO
000027fc: ISZERO
000027fd: PUSH2 0x2805
00002800: JUMPI
00002801: PUSH1 0x00
00002803: DUP1
00002804: REVERT
00002805: JUMPDEST
00002806: SWAP2
00002807: SWAP1
00002808: POP
00002809: JUMP
0000280a: JUMPDEST
0000280b: PUSH8 0x016345785d8a0000
00002814: DUP2
00002815: JUMP
00002816: JUMPDEST
00002817: PUSH1 0x00
00002819: PUSH1 0x03
0000281b: PUSH1 0x00
0000281d: DUP4
0000281e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002833: AND
00002834: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002849: AND
0000284a: DUP2
0000284b: MSTORE
0000284c: PUSH1 0x20
0000284e: ADD
0000284f: SWAP1
00002850: DUP2
00002851: MSTORE
00002852: PUSH1 0x20
00002854: ADD
00002855: PUSH1 0x00
00002857: KECCAK256
00002858: SLOAD
00002859: SWAP1
0000285a: POP
0000285b: SWAP2
0000285c: SWAP1
0000285d: POP
0000285e: JUMP
0000285f: JUMPDEST
00002860: PUSH1 0x00
00002862: PUSH1 0x11
00002864: DUP1
00002865: SLOAD
00002866: SWAP1
00002867: POP
00002868: SWAP1
00002869: POP
0000286a: SWAP1
0000286b: JUMP
0000286c: JUMPDEST
0000286d: PUSH1 0x00
0000286f: DUP1
00002870: SWAP1
00002871: SLOAD
00002872: SWAP1
00002873: PUSH2 0x0100
00002876: EXP
00002877: SWAP1
00002878: DIV
00002879: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000288e: AND
0000288f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028a4: AND
000028a5: CALLER
000028a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028bb: AND
000028bc: EQ
000028bd: ISZERO
000028be: ISZERO
000028bf: PUSH2 0x28c7
000028c2: JUMPI
000028c3: PUSH1 0x00
000028c5: DUP1
000028c6: REVERT
000028c7: JUMPDEST
000028c8: PUSH1 0x00
000028ca: DUP1
000028cb: SWAP1
000028cc: SLOAD
000028cd: SWAP1
000028ce: PUSH2 0x0100
000028d1: EXP
000028d2: SWAP1
000028d3: DIV
000028d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028e9: AND
000028ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028ff: AND
00002900: PUSH2 0x08fc
00002903: DUP3
00002904: SWAP1
00002905: DUP2
00002906: ISZERO
00002907: MUL
00002908: SWAP1
00002909: PUSH1 0x40
0000290b: MLOAD
0000290c: PUSH1 0x00
0000290e: PUSH1 0x40
00002910: MLOAD
00002911: DUP1
00002912: DUP4
00002913: SUB
00002914: DUP2
00002915: DUP6
00002916: DUP9
00002917: DUP9
00002918: CALL
00002919: SWAP4
0000291a: POP
0000291b: POP
0000291c: POP
0000291d: POP
0000291e: ISZERO
0000291f: DUP1
00002920: ISZERO
00002921: PUSH2 0x292e
00002924: JUMPI
00002925: RETURNDATASIZE
00002926: PUSH1 0x00
00002928: DUP1
00002929: RETURNDATACOPY
0000292a: RETURNDATASIZE
0000292b: PUSH1 0x00
0000292d: REVERT
0000292e: JUMPDEST
0000292f: POP
00002930: POP
00002931: JUMP
00002932: JUMPDEST
00002933: PUSH1 0x00
00002935: DUP1
00002936: SWAP1
00002937: SLOAD
00002938: SWAP1
00002939: PUSH2 0x0100
0000293c: EXP
0000293d: SWAP1
0000293e: DIV
0000293f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002954: AND
00002955: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000296a: AND
0000296b: CALLER
0000296c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002981: AND
00002982: EQ
00002983: ISZERO
00002984: ISZERO
00002985: PUSH2 0x298d
00002988: JUMPI
00002989: PUSH1 0x00
0000298b: DUP1
0000298c: REVERT
0000298d: JUMPDEST
0000298e: PUSH1 0x00
00002990: PUSH1 0x14
00002992: SWAP1
00002993: SLOAD
00002994: SWAP1
00002995: PUSH2 0x0100
00002998: EXP
00002999: SWAP1
0000299a: DIV
0000299b: PUSH1 0xff
0000299d: AND
0000299e: ISZERO
0000299f: ISZERO
000029a0: ISZERO
000029a1: PUSH2 0x29a9
000029a4: JUMPI
000029a5: PUSH1 0x00
000029a7: DUP1
000029a8: REVERT
000029a9: JUMPDEST
000029aa: PUSH1 0x01
000029ac: PUSH1 0x00
000029ae: PUSH1 0x14
000029b0: PUSH2 0x0100
000029b3: EXP
000029b4: DUP2
000029b5: SLOAD
000029b6: DUP2
000029b7: PUSH1 0xff
000029b9: MUL
000029ba: NOT
000029bb: AND
000029bc: SWAP1
000029bd: DUP4
000029be: ISZERO
000029bf: ISZERO
000029c0: MUL
000029c1: OR
000029c2: SWAP1
000029c3: SSTORE
000029c4: POP
000029c5: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625
000029e6: PUSH1 0x40
000029e8: MLOAD
000029e9: PUSH1 0x40
000029eb: MLOAD
000029ec: DUP1
000029ed: SWAP2
000029ee: SUB
000029ef: SWAP1
000029f0: LOG1
000029f1: JUMP
000029f2: JUMPDEST
000029f3: PUSH1 0x60
000029f5: PUSH1 0x00
000029f7: DUP1
000029f8: PUSH1 0x00
000029fa: DUP1
000029fb: PUSH2 0x2a03
000029fe: DUP7
000029ff: PUSH2 0x2816
00002a02: JUMP
00002a03: JUMPDEST
00002a04: SWAP4
00002a05: POP
00002a06: PUSH1 0x00
00002a08: DUP5
00002a09: EQ
00002a0a: ISZERO
00002a0b: PUSH2 0x2a46
00002a0e: JUMPI
00002a0f: PUSH1 0x00
00002a11: PUSH1 0x40
00002a13: MLOAD
00002a14: SWAP1
00002a15: DUP1
00002a16: DUP3
00002a17: MSTORE
00002a18: DUP1
00002a19: PUSH1 0x20
00002a1b: MUL
00002a1c: PUSH1 0x20
00002a1e: ADD
00002a1f: DUP3
00002a20: ADD
00002a21: PUSH1 0x40
00002a23: MSTORE
00002a24: DUP1
00002a25: ISZERO
00002a26: PUSH2 0x2a3e
00002a29: JUMPI
00002a2a: DUP2
00002a2b: PUSH1 0x20
00002a2d: ADD
00002a2e: PUSH1 0x20
00002a30: DUP3
00002a31: MUL
00002a32: DUP1
00002a33: CODESIZE
00002a34: DUP4
00002a35: CODECOPY
00002a36: DUP1
00002a37: DUP3
00002a38: ADD
00002a39: SWAP2
00002a3a: POP
00002a3b: POP
00002a3c: SWAP1
00002a3d: POP
00002a3e: JUMPDEST
00002a3f: POP
00002a40: SWAP5
00002a41: POP
00002a42: PUSH2 0x2b31
00002a45: JUMP
00002a46: JUMPDEST
00002a47: DUP4
00002a48: PUSH1 0x40
00002a4a: MLOAD
00002a4b: SWAP1
00002a4c: DUP1
00002a4d: DUP3
00002a4e: MSTORE
00002a4f: DUP1
00002a50: PUSH1 0x20
00002a52: MUL
00002a53: PUSH1 0x20
00002a55: ADD
00002a56: DUP3
00002a57: ADD
00002a58: PUSH1 0x40
00002a5a: MSTORE
00002a5b: DUP1
00002a5c: ISZERO
00002a5d: PUSH2 0x2a75
00002a60: JUMPI
00002a61: DUP2
00002a62: PUSH1 0x20
00002a64: ADD
00002a65: PUSH1 0x20
00002a67: DUP3
00002a68: MUL
00002a69: DUP1
00002a6a: CODESIZE
00002a6b: DUP4
00002a6c: CODECOPY
00002a6d: DUP1
00002a6e: DUP3
00002a6f: ADD
00002a70: SWAP2
00002a71: POP
00002a72: POP
00002a73: SWAP1
00002a74: POP
00002a75: JUMPDEST
00002a76: POP
00002a77: SWAP5
00002a78: POP
00002a79: PUSH2 0x2a80
00002a7c: PUSH2 0x1e8a
00002a7f: JUMP
00002a80: JUMPDEST
00002a81: SWAP3
00002a82: POP
00002a83: PUSH1 0x00
00002a85: SWAP2
00002a86: POP
00002a87: PUSH1 0x00
00002a89: SWAP1
00002a8a: POP
00002a8b: JUMPDEST
00002a8c: DUP3
00002a8d: DUP2
00002a8e: LT
00002a8f: ISZERO
00002a90: PUSH2 0x2b2d
00002a93: JUMPI
00002a94: DUP6
00002a95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002aaa: AND
00002aab: PUSH1 0x02
00002aad: PUSH1 0x00
00002aaf: DUP4
00002ab0: DUP2
00002ab1: MSTORE
00002ab2: PUSH1 0x20
00002ab4: ADD
00002ab5: SWAP1
00002ab6: DUP2
00002ab7: MSTORE
00002ab8: PUSH1 0x20
00002aba: ADD
00002abb: PUSH1 0x00
00002abd: KECCAK256
00002abe: PUSH1 0x00
00002ac0: SWAP1
00002ac1: SLOAD
00002ac2: SWAP1
00002ac3: PUSH2 0x0100
00002ac6: EXP
00002ac7: SWAP1
00002ac8: DIV
00002ac9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ade: AND
00002adf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002af4: AND
00002af5: EQ
00002af6: ISZERO
00002af7: PUSH2 0x2b20
00002afa: JUMPI
00002afb: DUP1
00002afc: DUP6
00002afd: DUP4
00002afe: DUP2
00002aff: MLOAD
00002b00: DUP2
00002b01: LT
00002b02: ISZERO
00002b03: ISZERO
00002b04: PUSH2 0x2b09
00002b07: JUMPI
00002b08: INVALID
00002b09: JUMPDEST
00002b0a: SWAP1
00002b0b: PUSH1 0x20
00002b0d: ADD
00002b0e: SWAP1
00002b0f: PUSH1 0x20
00002b11: MUL
00002b12: ADD
00002b13: DUP2
00002b14: DUP2
00002b15: MSTORE
00002b16: POP
00002b17: POP
00002b18: DUP2
00002b19: DUP1
00002b1a: PUSH1 0x01
00002b1c: ADD
00002b1d: SWAP3
00002b1e: POP
00002b1f: POP
00002b20: JUMPDEST
00002b21: DUP1
00002b22: DUP1
00002b23: PUSH1 0x01
00002b25: ADD
00002b26: SWAP2
00002b27: POP
00002b28: POP
00002b29: PUSH2 0x2a8b
00002b2c: JUMP
00002b2d: JUMPDEST
00002b2e: DUP5
00002b2f: SWAP5
00002b30: POP
00002b31: JUMPDEST
00002b32: POP
00002b33: POP
00002b34: POP
00002b35: POP
00002b36: SWAP2
00002b37: SWAP1
00002b38: POP
00002b39: JUMP
00002b3a: JUMPDEST
00002b3b: PUSH1 0x04
00002b3d: PUSH1 0x20
00002b3f: MSTORE
00002b40: DUP1
00002b41: PUSH1 0x00
00002b43: MSTORE
00002b44: PUSH1 0x40
00002b46: PUSH1 0x00
00002b48: KECCAK256
00002b49: PUSH1 0x00
00002b4b: SWAP2
00002b4c: POP
00002b4d: SLOAD
00002b4e: SWAP1
00002b4f: PUSH2 0x0100
00002b52: EXP
00002b53: SWAP1
00002b54: DIV
00002b55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b6a: AND
00002b6b: DUP2
00002b6c: JUMP
00002b6d: JUMPDEST
00002b6e: PUSH1 0x60
00002b70: PUSH1 0x00
00002b72: DUP1
00002b73: PUSH1 0x00
00002b75: DUP1
00002b76: PUSH1 0x00
00002b78: PUSH2 0x2b80
00002b7b: DUP8
00002b7c: PUSH2 0x2816
00002b7f: JUMP
00002b80: JUMPDEST
00002b81: SWAP5
00002b82: POP
00002b83: PUSH1 0x00
00002b85: DUP6
00002b86: EQ
00002b87: ISZERO
00002b88: PUSH2 0x2bc3
00002b8b: JUMPI
00002b8c: PUSH1 0x00
00002b8e: PUSH1 0x40
00002b90: MLOAD
00002b91: SWAP1
00002b92: DUP1
00002b93: DUP3
00002b94: MSTORE
00002b95: DUP1
00002b96: PUSH1 0x20
00002b98: MUL
00002b99: PUSH1 0x20
00002b9b: ADD
00002b9c: DUP3
00002b9d: ADD
00002b9e: PUSH1 0x40
00002ba0: MSTORE
00002ba1: DUP1
00002ba2: ISZERO
00002ba3: PUSH2 0x2bbb
00002ba6: JUMPI
00002ba7: DUP2
00002ba8: PUSH1 0x20
00002baa: ADD
00002bab: PUSH1 0x20
00002bad: DUP3
00002bae: MUL
00002baf: DUP1
00002bb0: CODESIZE
00002bb1: DUP4
00002bb2: CODECOPY
00002bb3: DUP1
00002bb4: DUP3
00002bb5: ADD
00002bb6: SWAP2
00002bb7: POP
00002bb8: POP
00002bb9: SWAP1
00002bba: POP
00002bbb: JUMPDEST
00002bbc: POP
00002bbd: SWAP6
00002bbe: POP
00002bbf: PUSH2 0x2e18
00002bc2: JUMP
00002bc3: JUMPDEST
00002bc4: PUSH1 0x07
00002bc6: DUP6
00002bc7: MUL
00002bc8: PUSH1 0x40
00002bca: MLOAD
00002bcb: SWAP1
00002bcc: DUP1
00002bcd: DUP3
00002bce: MSTORE
00002bcf: DUP1
00002bd0: PUSH1 0x20
00002bd2: MUL
00002bd3: PUSH1 0x20
00002bd5: ADD
00002bd6: DUP3
00002bd7: ADD
00002bd8: PUSH1 0x40
00002bda: MSTORE
00002bdb: DUP1
00002bdc: ISZERO
00002bdd: PUSH2 0x2bf5
00002be0: JUMPI
00002be1: DUP2
00002be2: PUSH1 0x20
00002be4: ADD
00002be5: PUSH1 0x20
00002be7: DUP3
00002be8: MUL
00002be9: DUP1
00002bea: CODESIZE
00002beb: DUP4
00002bec: CODECOPY
00002bed: DUP1
00002bee: DUP3
00002bef: ADD
00002bf0: SWAP2
00002bf1: POP
00002bf2: POP
00002bf3: SWAP1
00002bf4: POP
00002bf5: JUMPDEST
00002bf6: POP
00002bf7: SWAP6
00002bf8: POP
00002bf9: PUSH2 0x2c00
00002bfc: PUSH2 0x1e8a
00002bff: JUMP
00002c00: JUMPDEST
00002c01: SWAP4
00002c02: POP
00002c03: PUSH1 0x00
00002c05: SWAP3
00002c06: POP
00002c07: PUSH1 0x00
00002c09: SWAP2
00002c0a: POP
00002c0b: JUMPDEST
00002c0c: DUP4
00002c0d: DUP3
00002c0e: LT
00002c0f: ISZERO
00002c10: PUSH2 0x2e14
00002c13: JUMPI
00002c14: DUP7
00002c15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c2a: AND
00002c2b: PUSH1 0x02
00002c2d: PUSH1 0x00
00002c2f: DUP5
00002c30: DUP2
00002c31: MSTORE
00002c32: PUSH1 0x20
00002c34: ADD
00002c35: SWAP1
00002c36: DUP2
00002c37: MSTORE
00002c38: PUSH1 0x20
00002c3a: ADD
00002c3b: PUSH1 0x00
00002c3d: KECCAK256
00002c3e: PUSH1 0x00
00002c40: SWAP1
00002c41: SLOAD
00002c42: SWAP1
00002c43: PUSH2 0x0100
00002c46: EXP
00002c47: SWAP1
00002c48: DIV
00002c49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c5e: AND
00002c5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c74: AND
00002c75: EQ
00002c76: ISZERO
00002c77: PUSH2 0x2e07
00002c7a: JUMPI
00002c7b: PUSH1 0x01
00002c7d: DUP3
00002c7e: DUP2
00002c7f: SLOAD
00002c80: DUP2
00002c81: LT
00002c82: ISZERO
00002c83: ISZERO
00002c84: PUSH2 0x2c89
00002c87: JUMPI
00002c88: INVALID
00002c89: JUMPDEST
00002c8a: SWAP1
00002c8b: PUSH1 0x00
00002c8d: MSTORE
00002c8e: PUSH1 0x20
00002c90: PUSH1 0x00
00002c92: KECCAK256
00002c93: SWAP1
00002c94: PUSH1 0x03
00002c96: MUL
00002c97: ADD
00002c98: SWAP1
00002c99: POP
00002c9a: DUP2
00002c9b: DUP7
00002c9c: DUP5
00002c9d: DUP1
00002c9e: PUSH1 0x01
00002ca0: ADD
00002ca1: SWAP6
00002ca2: POP
00002ca3: DUP2
00002ca4: MLOAD
00002ca5: DUP2
00002ca6: LT
00002ca7: ISZERO
00002ca8: ISZERO
00002ca9: PUSH2 0x2cae
00002cac: JUMPI
00002cad: INVALID
00002cae: JUMPDEST
00002caf: SWAP1
00002cb0: PUSH1 0x20
00002cb2: ADD
00002cb3: SWAP1
00002cb4: PUSH1 0x20
00002cb6: MUL
00002cb7: ADD
00002cb8: DUP2
00002cb9: DUP2
00002cba: MSTORE
00002cbb: POP
00002cbc: POP
00002cbd: DUP1
00002cbe: PUSH1 0x00
00002cc0: ADD
00002cc1: PUSH1 0x00
00002cc3: SWAP1
00002cc4: SLOAD
00002cc5: SWAP1
00002cc6: PUSH2 0x0100
00002cc9: EXP
00002cca: SWAP1
00002ccb: DIV
00002ccc: PUSH1 0xff
00002cce: AND
00002ccf: PUSH1 0x0a
00002cd1: DUP2
00002cd2: GT
00002cd3: ISZERO
00002cd4: PUSH2 0x2cd9
00002cd7: JUMPI
00002cd8: INVALID
00002cd9: JUMPDEST
00002cda: DUP7
00002cdb: DUP5
00002cdc: DUP1
00002cdd: PUSH1 0x01
00002cdf: ADD
00002ce0: SWAP6
00002ce1: POP
00002ce2: DUP2
00002ce3: MLOAD
00002ce4: DUP2
00002ce5: LT
00002ce6: ISZERO
00002ce7: ISZERO
00002ce8: PUSH2 0x2ced
00002ceb: JUMPI
00002cec: INVALID
00002ced: JUMPDEST
00002cee: SWAP1
00002cef: PUSH1 0x20
00002cf1: ADD
00002cf2: SWAP1
00002cf3: PUSH1 0x20
00002cf5: MUL
00002cf6: ADD
00002cf7: DUP2
00002cf8: DUP2
00002cf9: MSTORE
00002cfa: POP
00002cfb: POP
00002cfc: DUP1
00002cfd: PUSH1 0x00
00002cff: ADD
00002d00: PUSH1 0x01
00002d02: SWAP1
00002d03: SLOAD
00002d04: SWAP1
00002d05: PUSH2 0x0100
00002d08: EXP
00002d09: SWAP1
00002d0a: DIV
00002d0b: PUSH1 0xff
00002d0d: AND
00002d0e: PUSH1 0x15
00002d10: DUP2
00002d11: GT
00002d12: ISZERO
00002d13: PUSH2 0x2d18
00002d16: JUMPI
00002d17: INVALID
00002d18: JUMPDEST
00002d19: DUP7
00002d1a: DUP5
00002d1b: DUP1
00002d1c: PUSH1 0x01
00002d1e: ADD
00002d1f: SWAP6
00002d20: POP
00002d21: DUP2
00002d22: MLOAD
00002d23: DUP2
00002d24: LT
00002d25: ISZERO
00002d26: ISZERO
00002d27: PUSH2 0x2d2c
00002d2a: JUMPI
00002d2b: INVALID
00002d2c: JUMPDEST
00002d2d: SWAP1
00002d2e: PUSH1 0x20
00002d30: ADD
00002d31: SWAP1
00002d32: PUSH1 0x20
00002d34: MUL
00002d35: ADD
00002d36: DUP2
00002d37: DUP2
00002d38: MSTORE
00002d39: POP
00002d3a: POP
00002d3b: DUP1
00002d3c: PUSH1 0x00
00002d3e: ADD
00002d3f: PUSH1 0x02
00002d41: SWAP1
00002d42: SLOAD
00002d43: SWAP1
00002d44: PUSH2 0x0100
00002d47: EXP
00002d48: SWAP1
00002d49: DIV
00002d4a: PUSH1 0xff
00002d4c: AND
00002d4d: PUSH1 0x03
00002d4f: DUP2
00002d50: GT
00002d51: ISZERO
00002d52: PUSH2 0x2d57
00002d55: JUMPI
00002d56: INVALID
00002d57: JUMPDEST
00002d58: DUP7
00002d59: DUP5
00002d5a: DUP1
00002d5b: PUSH1 0x01
00002d5d: ADD
00002d5e: SWAP6
00002d5f: POP
00002d60: DUP2
00002d61: MLOAD
00002d62: DUP2
00002d63: LT
00002d64: ISZERO
00002d65: ISZERO
00002d66: PUSH2 0x2d6b
00002d69: JUMPI
00002d6a: INVALID
00002d6b: JUMPDEST
00002d6c: SWAP1
00002d6d: PUSH1 0x20
00002d6f: ADD
00002d70: SWAP1
00002d71: PUSH1 0x20
00002d73: MUL
00002d74: ADD
00002d75: DUP2
00002d76: DUP2
00002d77: MSTORE
00002d78: POP
00002d79: POP
00002d7a: DUP1
00002d7b: PUSH1 0x00
00002d7d: ADD
00002d7e: PUSH1 0x03
00002d80: SWAP1
00002d81: SLOAD
00002d82: SWAP1
00002d83: PUSH2 0x0100
00002d86: EXP
00002d87: SWAP1
00002d88: DIV
00002d89: PUSH1 0xff
00002d8b: AND
00002d8c: PUSH1 0x06
00002d8e: DUP2
00002d8f: GT
00002d90: ISZERO
00002d91: PUSH2 0x2d96
00002d94: JUMPI
00002d95: INVALID
00002d96: JUMPDEST
00002d97: DUP7
00002d98: DUP5
00002d99: DUP1
00002d9a: PUSH1 0x01
00002d9c: ADD
00002d9d: SWAP6
00002d9e: POP
00002d9f: DUP2
00002da0: MLOAD
00002da1: DUP2
00002da2: LT
00002da3: ISZERO
00002da4: ISZERO
00002da5: PUSH2 0x2daa
00002da8: JUMPI
00002da9: INVALID
00002daa: JUMPDEST
00002dab: SWAP1
00002dac: PUSH1 0x20
00002dae: ADD
00002daf: SWAP1
00002db0: PUSH1 0x20
00002db2: MUL
00002db3: ADD
00002db4: DUP2
00002db5: DUP2
00002db6: MSTORE
00002db7: POP
00002db8: POP
00002db9: DUP1
00002dba: PUSH1 0x01
00002dbc: ADD
00002dbd: SLOAD
00002dbe: DUP7
00002dbf: DUP5
00002dc0: DUP1
00002dc1: PUSH1 0x01
00002dc3: ADD
00002dc4: SWAP6
00002dc5: POP
00002dc6: DUP2
00002dc7: MLOAD
00002dc8: DUP2
00002dc9: LT
00002dca: ISZERO
00002dcb: ISZERO
00002dcc: PUSH2 0x2dd1
00002dcf: JUMPI
00002dd0: INVALID
00002dd1: JUMPDEST
00002dd2: SWAP1
00002dd3: PUSH1 0x20
00002dd5: ADD
00002dd6: SWAP1
00002dd7: PUSH1 0x20
00002dd9: MUL
00002dda: ADD
00002ddb: DUP2
00002ddc: DUP2
00002ddd: MSTORE
00002dde: POP
00002ddf: POP
00002de0: DUP1
00002de1: PUSH1 0x02
00002de3: ADD
00002de4: SLOAD
00002de5: DUP7
00002de6: DUP5
00002de7: DUP1
00002de8: PUSH1 0x01
00002dea: ADD
00002deb: SWAP6
00002dec: POP
00002ded: DUP2
00002dee: MLOAD
00002def: DUP2
00002df0: LT
00002df1: ISZERO
00002df2: ISZERO
00002df3: PUSH2 0x2df8
00002df6: JUMPI
00002df7: INVALID
00002df8: JUMPDEST
00002df9: SWAP1
00002dfa: PUSH1 0x20
00002dfc: ADD
00002dfd: SWAP1
00002dfe: PUSH1 0x20
00002e00: MUL
00002e01: ADD
00002e02: DUP2
00002e03: DUP2
00002e04: MSTORE
00002e05: POP
00002e06: POP
00002e07: JUMPDEST
00002e08: DUP2
00002e09: DUP1
00002e0a: PUSH1 0x01
00002e0c: ADD
00002e0d: SWAP3
00002e0e: POP
00002e0f: POP
00002e10: PUSH2 0x2c0b
00002e13: JUMP
00002e14: JUMPDEST
00002e15: DUP6
00002e16: SWAP6
00002e17: POP
00002e18: JUMPDEST
00002e19: POP
00002e1a: POP
00002e1b: POP
00002e1c: POP
00002e1d: POP
00002e1e: SWAP2
00002e1f: SWAP1
00002e20: POP
00002e21: JUMP
00002e22: JUMPDEST
00002e23: PUSH1 0x00
00002e25: DUP1
00002e26: SWAP1
00002e27: SLOAD
00002e28: SWAP1
00002e29: PUSH2 0x0100
00002e2c: EXP
00002e2d: SWAP1
00002e2e: DIV
00002e2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e44: AND
00002e45: DUP2
00002e46: JUMP
00002e47: JUMPDEST
00002e48: PUSH1 0x60
00002e4a: PUSH1 0x40
00002e4c: DUP1
00002e4d: MLOAD
00002e4e: SWAP1
00002e4f: DUP2
00002e50: ADD
00002e51: PUSH1 0x40
00002e53: MSTORE
00002e54: DUP1
00002e55: PUSH1 0x04
00002e57: DUP2
00002e58: MSTORE
00002e59: PUSH1 0x20
00002e5b: ADD
00002e5c: PUSH32 0x4350424100000000000000000000000000000000000000000000000000000000
00002e7d: DUP2
00002e7e: MSTORE
00002e7f: POP
00002e80: SWAP1
00002e81: POP
00002e82: SWAP1
00002e83: JUMP
00002e84: JUMPDEST
00002e85: PUSH1 0x0a
00002e87: SLOAD
00002e88: DUP2
00002e89: JUMP
00002e8a: JUMPDEST
00002e8b: PUSH1 0x60
00002e8d: PUSH1 0x00
00002e8f: PUSH1 0x60
00002e91: PUSH1 0x00
00002e93: DUP1
00002e94: PUSH1 0x00
00002e96: DUP1
00002e97: PUSH2 0x2e9f
00002e9a: DUP9
00002e9b: PUSH2 0x2816
00002e9e: JUMP
00002e9f: JUMPDEST
00002ea0: SWAP6
00002ea1: POP
00002ea2: PUSH1 0x00
00002ea4: DUP7
00002ea5: EQ
00002ea6: ISZERO
00002ea7: PUSH2 0x2ee2
00002eaa: JUMPI
00002eab: PUSH1 0x00
00002ead: PUSH1 0x40
00002eaf: MLOAD
00002eb0: SWAP1
00002eb1: DUP1
00002eb2: DUP3
00002eb3: MSTORE
00002eb4: DUP1
00002eb5: PUSH1 0x20
00002eb7: MUL
00002eb8: PUSH1 0x20
00002eba: ADD
00002ebb: DUP3
00002ebc: ADD
00002ebd: PUSH1 0x40
00002ebf: MSTORE
00002ec0: DUP1
00002ec1: ISZERO
00002ec2: PUSH2 0x2eda
00002ec5: JUMPI
00002ec6: DUP2
00002ec7: PUSH1 0x20
00002ec9: ADD
00002eca: PUSH1 0x20
00002ecc: DUP3
00002ecd: MUL
00002ece: DUP1
00002ecf: CODESIZE
00002ed0: DUP4
00002ed1: CODECOPY
00002ed2: DUP1
00002ed3: DUP3
00002ed4: ADD
00002ed5: SWAP2
00002ed6: POP
00002ed7: POP
00002ed8: SWAP1
00002ed9: POP
00002eda: JUMPDEST
00002edb: POP
00002edc: SWAP7
00002edd: POP
00002ede: PUSH2 0x305c
00002ee1: JUMP
00002ee2: JUMPDEST
00002ee3: DUP6
00002ee4: PUSH1 0x40
00002ee6: MLOAD
00002ee7: SWAP1
00002ee8: DUP1
00002ee9: DUP3
00002eea: MSTORE
00002eeb: DUP1
00002eec: PUSH1 0x20
00002eee: MUL
00002eef: PUSH1 0x20
00002ef1: ADD
00002ef2: DUP3
00002ef3: ADD
00002ef4: PUSH1 0x40
00002ef6: MSTORE
00002ef7: DUP1
00002ef8: ISZERO
00002ef9: PUSH2 0x2f11
00002efc: JUMPI
00002efd: DUP2
00002efe: PUSH1 0x20
00002f00: ADD
00002f01: PUSH1 0x20
00002f03: DUP3
00002f04: MUL
00002f05: DUP1
00002f06: CODESIZE
00002f07: DUP4
00002f08: CODECOPY
00002f09: DUP1
00002f0a: DUP3
00002f0b: ADD
00002f0c: SWAP2
00002f0d: POP
00002f0e: POP
00002f0f: SWAP1
00002f10: POP
00002f11: JUMPDEST
00002f12: POP
00002f13: SWAP5
00002f14: POP
00002f15: PUSH2 0x2f1c
00002f18: PUSH2 0x1e8a
00002f1b: JUMP
00002f1c: JUMPDEST
00002f1d: SWAP4
00002f1e: POP
00002f1f: PUSH1 0x00
00002f21: SWAP3
00002f22: POP
00002f23: PUSH1 0x00
00002f25: SWAP2
00002f26: POP
00002f27: JUMPDEST
00002f28: DUP4
00002f29: DUP3
00002f2a: LT
00002f2b: ISZERO
00002f2c: PUSH2 0x2fd8
00002f2f: JUMPI
00002f30: DUP8
00002f31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f46: AND
00002f47: PUSH1 0x02
00002f49: PUSH1 0x00
00002f4b: DUP5
00002f4c: DUP2
00002f4d: MSTORE
00002f4e: PUSH1 0x20
00002f50: ADD
00002f51: SWAP1
00002f52: DUP2
00002f53: MSTORE
00002f54: PUSH1 0x20
00002f56: ADD
00002f57: PUSH1 0x00
00002f59: KECCAK256
00002f5a: PUSH1 0x00
00002f5c: SWAP1
00002f5d: SLOAD
00002f5e: SWAP1
00002f5f: PUSH2 0x0100
00002f62: EXP
00002f63: SWAP1
00002f64: DIV
00002f65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f7a: AND
00002f7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f90: AND
00002f91: EQ
00002f92: DUP1
00002f93: ISZERO
00002f94: PUSH2 0x2fa2
00002f97: JUMPI
00002f98: POP
00002f99: PUSH2 0x2fa1
00002f9c: DUP3
00002f9d: PUSH2 0x1e97
00002fa0: JUMP
00002fa1: JUMPDEST
00002fa2: JUMPDEST
00002fa3: ISZERO
00002fa4: PUSH2 0x2fcb
00002fa7: JUMPI
00002fa8: DUP2
00002fa9: DUP6
00002faa: DUP5
00002fab: DUP1
00002fac: PUSH1 0x01
00002fae: ADD
00002faf: SWAP6
00002fb0: POP
00002fb1: DUP2
00002fb2: MLOAD
00002fb3: DUP2
00002fb4: LT
00002fb5: ISZERO
00002fb6: ISZERO
00002fb7: PUSH2 0x2fbc
00002fba: JUMPI
00002fbb: INVALID
00002fbc: JUMPDEST
00002fbd: SWAP1
00002fbe: PUSH1 0x20
00002fc0: ADD
00002fc1: SWAP1
00002fc2: PUSH1 0x20
00002fc4: MUL
00002fc5: ADD
00002fc6: DUP2
00002fc7: DUP2
00002fc8: MSTORE
00002fc9: POP
00002fca: POP
00002fcb: JUMPDEST
00002fcc: DUP2
00002fcd: DUP1
00002fce: PUSH1 0x01
00002fd0: ADD
00002fd1: SWAP3
00002fd2: POP
00002fd3: POP
00002fd4: PUSH2 0x2f27
00002fd7: JUMP
00002fd8: JUMPDEST
00002fd9: DUP3
00002fda: PUSH1 0x40
00002fdc: MLOAD
00002fdd: SWAP1
00002fde: DUP1
00002fdf: DUP3
00002fe0: MSTORE
00002fe1: DUP1
00002fe2: PUSH1 0x20
00002fe4: MUL
00002fe5: PUSH1 0x20
00002fe7: ADD
00002fe8: DUP3
00002fe9: ADD
00002fea: PUSH1 0x40
00002fec: MSTORE
00002fed: DUP1
00002fee: ISZERO
00002fef: PUSH2 0x3007
00002ff2: JUMPI
00002ff3: DUP2
00002ff4: PUSH1 0x20
00002ff6: ADD
00002ff7: PUSH1 0x20
00002ff9: DUP3
00002ffa: MUL
00002ffb: DUP1
00002ffc: CODESIZE
00002ffd: DUP4
00002ffe: CODECOPY
00002fff: DUP1
00003000: DUP3
00003001: ADD
00003002: SWAP2
00003003: POP
00003004: POP
00003005: SWAP1
00003006: POP
00003007: JUMPDEST
00003008: POP
00003009: SWAP7
0000300a: POP
0000300b: PUSH1 0x00
0000300d: SWAP1
0000300e: POP
0000300f: JUMPDEST
00003010: DUP3
00003011: DUP2
00003012: LT
00003013: ISZERO
00003014: PUSH2 0x3058
00003017: JUMPI
00003018: DUP5
00003019: DUP2
0000301a: DUP2
0000301b: MLOAD
0000301c: DUP2
0000301d: LT
0000301e: ISZERO
0000301f: ISZERO
00003020: PUSH2 0x3025
00003023: JUMPI
00003024: INVALID
00003025: JUMPDEST
00003026: SWAP1
00003027: PUSH1 0x20
00003029: ADD
0000302a: SWAP1
0000302b: PUSH1 0x20
0000302d: MUL
0000302e: ADD
0000302f: MLOAD
00003030: DUP8
00003031: DUP3
00003032: DUP2
00003033: MLOAD
00003034: DUP2
00003035: LT
00003036: ISZERO
00003037: ISZERO
00003038: PUSH2 0x303d
0000303b: JUMPI
0000303c: INVALID
0000303d: JUMPDEST
0000303e: SWAP1
0000303f: PUSH1 0x20
00003041: ADD
00003042: SWAP1
00003043: PUSH1 0x20
00003045: MUL
00003046: ADD
00003047: DUP2
00003048: DUP2
00003049: MSTORE
0000304a: POP
0000304b: POP
0000304c: DUP1
0000304d: DUP1
0000304e: PUSH1 0x01
00003050: ADD
00003051: SWAP2
00003052: POP
00003053: POP
00003054: PUSH2 0x300f
00003057: JUMP
00003058: JUMPDEST
00003059: DUP7
0000305a: SWAP7
0000305b: POP
0000305c: JUMPDEST
0000305d: POP
0000305e: POP
0000305f: POP
00003060: POP
00003061: POP
00003062: POP
00003063: SWAP2
00003064: SWAP1
00003065: POP
00003066: JUMP
00003067: JUMPDEST
00003068: PUSH1 0x00
0000306a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000307f: AND
00003080: DUP3
00003081: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003096: AND
00003097: EQ
00003098: ISZERO
00003099: ISZERO
0000309a: ISZERO
0000309b: PUSH2 0x30a3
0000309e: JUMPI
0000309f: PUSH1 0x00
000030a1: DUP1
000030a2: REVERT
000030a3: JUMPDEST
000030a4: PUSH2 0x30ad
000030a7: CALLER
000030a8: DUP3
000030a9: PUSH2 0x38e9
000030ac: JUMP
000030ad: JUMPDEST
000030ae: ISZERO
000030af: ISZERO
000030b0: PUSH2 0x30b8
000030b3: JUMPI
000030b4: PUSH1 0x00
000030b6: DUP1
000030b7: REVERT
000030b8: JUMPDEST
000030b9: PUSH2 0x30c2
000030bc: DUP3
000030bd: DUP3
000030be: PUSH2 0x38e9
000030c1: JUMP
000030c2: JUMPDEST
000030c3: ISZERO
000030c4: ISZERO
000030c5: ISZERO
000030c6: PUSH2 0x30ce
000030c9: JUMPI
000030ca: PUSH1 0x00
000030cc: DUP1
000030cd: REVERT
000030ce: JUMPDEST
000030cf: PUSH2 0x30d9
000030d2: CALLER
000030d3: DUP4
000030d4: DUP4
000030d5: PUSH2 0x3a62
000030d8: JUMP
000030d9: JUMPDEST
000030da: POP
000030db: POP
000030dc: JUMP
000030dd: JUMPDEST
000030de: PUSH1 0x06
000030e0: PUSH1 0x00
000030e2: SWAP1
000030e3: SLOAD
000030e4: SWAP1
000030e5: PUSH2 0x0100
000030e8: EXP
000030e9: SWAP1
000030ea: DIV
000030eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003100: AND
00003101: DUP2
00003102: JUMP
00003103: JUMPDEST
00003104: PUSH1 0x05
00003106: PUSH1 0x00
00003108: SWAP1
00003109: SLOAD
0000310a: SWAP1
0000310b: PUSH2 0x0100
0000310e: EXP
0000310f: SWAP1
00003110: DIV
00003111: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003126: AND
00003127: DUP2
00003128: JUMP
00003129: JUMPDEST
0000312a: PUSH1 0x01
0000312c: DUP2
0000312d: DUP2
0000312e: SLOAD
0000312f: DUP2
00003130: LT
00003131: ISZERO
00003132: ISZERO
00003133: PUSH2 0x3138
00003136: JUMPI
00003137: INVALID
00003138: JUMPDEST
00003139: SWAP1
0000313a: PUSH1 0x00
0000313c: MSTORE
0000313d: PUSH1 0x20
0000313f: PUSH1 0x00
00003141: KECCAK256
00003142: SWAP1
00003143: PUSH1 0x03
00003145: MUL
00003146: ADD
00003147: PUSH1 0x00
00003149: SWAP2
0000314a: POP
0000314b: SWAP1
0000314c: POP
0000314d: DUP1
0000314e: PUSH1 0x00
00003150: ADD
00003151: PUSH1 0x00
00003153: SWAP1
00003154: SLOAD
00003155: SWAP1
00003156: PUSH2 0x0100
00003159: EXP
0000315a: SWAP1
0000315b: DIV
0000315c: PUSH1 0xff
0000315e: AND
0000315f: SWAP1
00003160: DUP1
00003161: PUSH1 0x00
00003163: ADD
00003164: PUSH1 0x01
00003166: SWAP1
00003167: SLOAD
00003168: SWAP1
00003169: PUSH2 0x0100
0000316c: EXP
0000316d: SWAP1
0000316e: DIV
0000316f: PUSH1 0xff
00003171: AND
00003172: SWAP1
00003173: DUP1
00003174: PUSH1 0x00
00003176: ADD
00003177: PUSH1 0x02
00003179: SWAP1
0000317a: SLOAD
0000317b: SWAP1
0000317c: PUSH2 0x0100
0000317f: EXP
00003180: SWAP1
00003181: DIV
00003182: PUSH1 0xff
00003184: AND
00003185: SWAP1
00003186: DUP1
00003187: PUSH1 0x00
00003189: ADD
0000318a: PUSH1 0x03
0000318c: SWAP1
0000318d: SLOAD
0000318e: SWAP1
0000318f: PUSH2 0x0100
00003192: EXP
00003193: SWAP1
00003194: DIV
00003195: PUSH1 0xff
00003197: AND
00003198: SWAP1
00003199: DUP1
0000319a: PUSH1 0x01
0000319c: ADD
0000319d: SLOAD
0000319e: SWAP1
0000319f: DUP1
000031a0: PUSH1 0x02
000031a2: ADD
000031a3: SLOAD
000031a4: SWAP1
000031a5: POP
000031a6: DUP7
000031a7: JUMP
000031a8: JUMPDEST
000031a9: PUSH1 0x60
000031ab: PUSH1 0x00
000031ad: DUP1
000031ae: PUSH1 0x07
000031b0: PUSH1 0x40
000031b2: MLOAD
000031b3: SWAP1
000031b4: DUP1
000031b5: DUP3
000031b6: MSTORE
000031b7: DUP1
000031b8: PUSH1 0x20
000031ba: MUL
000031bb: PUSH1 0x20
000031bd: ADD
000031be: DUP3
000031bf: ADD
000031c0: PUSH1 0x40
000031c2: MSTORE
000031c3: DUP1
000031c4: ISZERO
000031c5: PUSH2 0x31dd
000031c8: JUMPI
000031c9: DUP2
000031ca: PUSH1 0x20
000031cc: ADD
000031cd: PUSH1 0x20
000031cf: DUP3
000031d0: MUL
000031d1: DUP1
000031d2: CODESIZE
000031d3: DUP4
000031d4: CODECOPY
000031d5: DUP1
000031d6: DUP3
000031d7: ADD
000031d8: SWAP2
000031d9: POP
000031da: POP
000031db: SWAP1
000031dc: POP
000031dd: JUMPDEST
000031de: POP
000031df: SWAP3
000031e0: POP
000031e1: PUSH1 0x00
000031e3: SWAP2
000031e4: POP
000031e5: PUSH1 0x01
000031e7: DUP5
000031e8: DUP2
000031e9: SLOAD
000031ea: DUP2
000031eb: LT
000031ec: ISZERO
000031ed: ISZERO
000031ee: PUSH2 0x31f3
000031f1: JUMPI
000031f2: INVALID
000031f3: JUMPDEST
000031f4: SWAP1
000031f5: PUSH1 0x00
000031f7: MSTORE
000031f8: PUSH1 0x20
000031fa: PUSH1 0x00
000031fc: KECCAK256
000031fd: SWAP1
000031fe: PUSH1 0x03
00003200: MUL
00003201: ADD
00003202: SWAP1
00003203: POP
00003204: DUP4
00003205: DUP4
00003206: DUP4
00003207: DUP1
00003208: PUSH1 0x01
0000320a: ADD
0000320b: SWAP5
0000320c: POP
0000320d: DUP2
0000320e: MLOAD
0000320f: DUP2
00003210: LT
00003211: ISZERO
00003212: ISZERO
00003213: PUSH2 0x3218
00003216: JUMPI
00003217: INVALID
00003218: JUMPDEST
00003219: SWAP1
0000321a: PUSH1 0x20
0000321c: ADD
0000321d: SWAP1
0000321e: PUSH1 0x20
00003220: MUL
00003221: ADD
00003222: DUP2
00003223: DUP2
00003224: MSTORE
00003225: POP
00003226: POP
00003227: DUP1
00003228: PUSH1 0x00
0000322a: ADD
0000322b: PUSH1 0x00
0000322d: SWAP1
0000322e: SLOAD
0000322f: SWAP1
00003230: PUSH2 0x0100
00003233: EXP
00003234: SWAP1
00003235: DIV
00003236: PUSH1 0xff
00003238: AND
00003239: PUSH1 0x0a
0000323b: DUP2
0000323c: GT
0000323d: ISZERO
0000323e: PUSH2 0x3243
00003241: JUMPI
00003242: INVALID
00003243: JUMPDEST
00003244: DUP4
00003245: DUP4
00003246: DUP1
00003247: PUSH1 0x01
00003249: ADD
0000324a: SWAP5
0000324b: POP
0000324c: DUP2
0000324d: MLOAD
0000324e: DUP2
0000324f: LT
00003250: ISZERO
00003251: ISZERO
00003252: PUSH2 0x3257
00003255: JUMPI
00003256: INVALID
00003257: JUMPDEST
00003258: SWAP1
00003259: PUSH1 0x20
0000325b: ADD
0000325c: SWAP1
0000325d: PUSH1 0x20
0000325f: MUL
00003260: ADD
00003261: DUP2
00003262: DUP2
00003263: MSTORE
00003264: POP
00003265: POP
00003266: DUP1
00003267: PUSH1 0x00
00003269: ADD
0000326a: PUSH1 0x01
0000326c: SWAP1
0000326d: SLOAD
0000326e: SWAP1
0000326f: PUSH2 0x0100
00003272: EXP
00003273: SWAP1
00003274: DIV
00003275: PUSH1 0xff
00003277: AND
00003278: PUSH1 0x15
0000327a: DUP2
0000327b: GT
0000327c: ISZERO
0000327d: PUSH2 0x3282
00003280: JUMPI
00003281: INVALID
00003282: JUMPDEST
00003283: DUP4
00003284: DUP4
00003285: DUP1
00003286: PUSH1 0x01
00003288: ADD
00003289: SWAP5
0000328a: POP
0000328b: DUP2
0000328c: MLOAD
0000328d: DUP2
0000328e: LT
0000328f: ISZERO
00003290: ISZERO
00003291: PUSH2 0x3296
00003294: JUMPI
00003295: INVALID
00003296: JUMPDEST
00003297: SWAP1
00003298: PUSH1 0x20
0000329a: ADD
0000329b: SWAP1
0000329c: PUSH1 0x20
0000329e: MUL
0000329f: ADD
000032a0: DUP2
000032a1: DUP2
000032a2: MSTORE
000032a3: POP
000032a4: POP
000032a5: DUP1
000032a6: PUSH1 0x00
000032a8: ADD
000032a9: PUSH1 0x02
000032ab: SWAP1
000032ac: SLOAD
000032ad: SWAP1
000032ae: PUSH2 0x0100
000032b1: EXP
000032b2: SWAP1
000032b3: DIV
000032b4: PUSH1 0xff
000032b6: AND
000032b7: PUSH1 0x03
000032b9: DUP2
000032ba: GT
000032bb: ISZERO
000032bc: PUSH2 0x32c1
000032bf: JUMPI
000032c0: INVALID
000032c1: JUMPDEST
000032c2: DUP4
000032c3: DUP4
000032c4: DUP1
000032c5: PUSH1 0x01
000032c7: ADD
000032c8: SWAP5
000032c9: POP
000032ca: DUP2
000032cb: MLOAD
000032cc: DUP2
000032cd: LT
000032ce: ISZERO
000032cf: ISZERO
000032d0: PUSH2 0x32d5
000032d3: JUMPI
000032d4: INVALID
000032d5: JUMPDEST
000032d6: SWAP1
000032d7: PUSH1 0x20
000032d9: ADD
000032da: SWAP1
000032db: PUSH1 0x20
000032dd: MUL
000032de: ADD
000032df: DUP2
000032e0: DUP2
000032e1: MSTORE
000032e2: POP
000032e3: POP
000032e4: DUP1
000032e5: PUSH1 0x00
000032e7: ADD
000032e8: PUSH1 0x03
000032ea: SWAP1
000032eb: SLOAD
000032ec: SWAP1
000032ed: PUSH2 0x0100
000032f0: EXP
000032f1: SWAP1
000032f2: DIV
000032f3: PUSH1 0xff
000032f5: AND
000032f6: PUSH1 0x06
000032f8: DUP2
000032f9: GT
000032fa: ISZERO
000032fb: PUSH2 0x3300
000032fe: JUMPI
000032ff: INVALID
00003300: JUMPDEST
00003301: DUP4
00003302: DUP4
00003303: DUP1
00003304: PUSH1 0x01
00003306: ADD
00003307: SWAP5
00003308: POP
00003309: DUP2
0000330a: MLOAD
0000330b: DUP2
0000330c: LT
0000330d: ISZERO
0000330e: ISZERO
0000330f: PUSH2 0x3314
00003312: JUMPI
00003313: INVALID
00003314: JUMPDEST
00003315: SWAP1
00003316: PUSH1 0x20
00003318: ADD
00003319: SWAP1
0000331a: PUSH1 0x20
0000331c: MUL
0000331d: ADD
0000331e: DUP2
0000331f: DUP2
00003320: MSTORE
00003321: POP
00003322: POP
00003323: DUP1
00003324: PUSH1 0x01
00003326: ADD
00003327: SLOAD
00003328: DUP4
00003329: DUP4
0000332a: DUP1
0000332b: PUSH1 0x01
0000332d: ADD
0000332e: SWAP5
0000332f: POP
00003330: DUP2
00003331: MLOAD
00003332: DUP2
00003333: LT
00003334: ISZERO
00003335: ISZERO
00003336: PUSH2 0x333b
00003339: JUMPI
0000333a: INVALID
0000333b: JUMPDEST
0000333c: SWAP1
0000333d: PUSH1 0x20
0000333f: ADD
00003340: SWAP1
00003341: PUSH1 0x20
00003343: MUL
00003344: ADD
00003345: DUP2
00003346: DUP2
00003347: MSTORE
00003348: POP
00003349: POP
0000334a: DUP1
0000334b: PUSH1 0x02
0000334d: ADD
0000334e: SLOAD
0000334f: DUP4
00003350: DUP4
00003351: DUP1
00003352: PUSH1 0x01
00003354: ADD
00003355: SWAP5
00003356: POP
00003357: DUP2
00003358: MLOAD
00003359: DUP2
0000335a: LT
0000335b: ISZERO
0000335c: ISZERO
0000335d: PUSH2 0x3362
00003360: JUMPI
00003361: INVALID
00003362: JUMPDEST
00003363: SWAP1
00003364: PUSH1 0x20
00003366: ADD
00003367: SWAP1
00003368: PUSH1 0x20
0000336a: MUL
0000336b: ADD
0000336c: DUP2
0000336d: DUP2
0000336e: MSTORE
0000336f: POP
00003370: POP
00003371: POP
00003372: POP
00003373: SWAP2
00003374: SWAP1
00003375: POP
00003376: JUMP
00003377: JUMPDEST
00003378: PUSH1 0x03
0000337a: PUSH1 0x20
0000337c: MSTORE
0000337d: DUP1
0000337e: PUSH1 0x00
00003380: MSTORE
00003381: PUSH1 0x40
00003383: PUSH1 0x00
00003385: KECCAK256
00003386: PUSH1 0x00
00003388: SWAP2
00003389: POP
0000338a: SWAP1
0000338b: POP
0000338c: SLOAD
0000338d: DUP2
0000338e: JUMP
0000338f: JUMPDEST
00003390: PUSH1 0x0d
00003392: SLOAD
00003393: DUP2
00003394: JUMP
00003395: JUMPDEST
00003396: PUSH1 0x00
00003398: DUP1
00003399: SWAP1
0000339a: SLOAD
0000339b: SWAP1
0000339c: PUSH2 0x0100
0000339f: EXP
000033a0: SWAP1
000033a1: DIV
000033a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033b7: AND
000033b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033cd: AND
000033ce: CALLER
000033cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033e4: AND
000033e5: EQ
000033e6: ISZERO
000033e7: ISZERO
000033e8: PUSH2 0x33f0
000033eb: JUMPI
000033ec: PUSH1 0x00
000033ee: DUP1
000033ef: REVERT
000033f0: JUMPDEST
000033f1: DUP1
000033f2: PUSH1 0x05
000033f4: PUSH1 0x00
000033f6: PUSH2 0x0100
000033f9: EXP
000033fa: DUP2
000033fb: SLOAD
000033fc: DUP2
000033fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003412: MUL
00003413: NOT
00003414: AND
00003415: SWAP1
00003416: DUP4
00003417: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000342c: AND
0000342d: MUL
0000342e: OR
0000342f: SWAP1
00003430: SSTORE
00003431: POP
00003432: POP
00003433: JUMP
00003434: JUMPDEST
00003435: PUSH1 0x10
00003437: PUSH1 0x20
00003439: MSTORE
0000343a: DUP1
0000343b: PUSH1 0x00
0000343d: MSTORE
0000343e: PUSH1 0x40
00003440: PUSH1 0x00
00003442: KECCAK256
00003443: PUSH1 0x00
00003445: SWAP2
00003446: POP
00003447: SWAP1
00003448: POP
00003449: SLOAD
0000344a: DUP2
0000344b: JUMP
0000344c: JUMPDEST
0000344d: PUSH1 0x00
0000344f: DUP1
00003450: SWAP1
00003451: SLOAD
00003452: SWAP1
00003453: PUSH2 0x0100
00003456: EXP
00003457: SWAP1
00003458: DIV
00003459: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000346e: AND
0000346f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003484: AND
00003485: CALLER
00003486: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000349b: AND
0000349c: EQ
0000349d: ISZERO
0000349e: ISZERO
0000349f: PUSH2 0x34a7
000034a2: JUMPI
000034a3: PUSH1 0x00
000034a5: DUP1
000034a6: REVERT
000034a7: JUMPDEST
000034a8: PUSH1 0x00
000034aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034bf: AND
000034c0: DUP4
000034c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034d6: AND
000034d7: EQ
000034d8: ISZERO
000034d9: ISZERO
000034da: ISZERO
000034db: PUSH2 0x34e3
000034de: JUMPI
000034df: PUSH1 0x00
000034e1: DUP1
000034e2: REVERT
000034e3: JUMPDEST
000034e4: PUSH1 0x00
000034e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034fb: AND
000034fc: DUP3
000034fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003512: AND
00003513: EQ
00003514: ISZERO
00003515: ISZERO
00003516: ISZERO
00003517: PUSH2 0x351f
0000351a: JUMPI
0000351b: PUSH1 0x00
0000351d: DUP1
0000351e: REVERT
0000351f: JUMPDEST
00003520: PUSH1 0x00
00003522: DUP2
00003523: GT
00003524: ISZERO
00003525: ISZERO
00003526: PUSH2 0x352e
00003529: JUMPI
0000352a: PUSH1 0x00
0000352c: DUP1
0000352d: REVERT
0000352e: JUMPDEST
0000352f: DUP3
00003530: PUSH1 0x07
00003532: PUSH1 0x00
00003534: PUSH2 0x0100
00003537: EXP
00003538: DUP2
00003539: SLOAD
0000353a: DUP2
0000353b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003550: MUL
00003551: NOT
00003552: AND
00003553: SWAP1
00003554: DUP4
00003555: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000356a: AND
0000356b: MUL
0000356c: OR
0000356d: SWAP1
0000356e: SSTORE
0000356f: POP
00003570: DUP2
00003571: PUSH1 0x09
00003573: PUSH1 0x00
00003575: PUSH2 0x0100
00003578: EXP
00003579: DUP2
0000357a: SLOAD
0000357b: DUP2
0000357c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003591: MUL
00003592: NOT
00003593: AND
00003594: SWAP1
00003595: DUP4
00003596: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035ab: AND
000035ac: MUL
000035ad: OR
000035ae: SWAP1
000035af: SSTORE
000035b0: POP
000035b1: DUP1
000035b2: PUSH1 0x0b
000035b4: DUP2
000035b5: SWAP1
000035b6: SSTORE
000035b7: POP
000035b8: POP
000035b9: POP
000035ba: POP
000035bb: JUMP
000035bc: JUMPDEST
000035bd: PUSH1 0x07
000035bf: PUSH1 0x00
000035c1: SWAP1
000035c2: SLOAD
000035c3: SWAP1
000035c4: PUSH2 0x0100
000035c7: EXP
000035c8: SWAP1
000035c9: DIV
000035ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035df: AND
000035e0: DUP2
000035e1: JUMP
000035e2: JUMPDEST
000035e3: PUSH10 0x0a968163f0a57b400000
000035ee: DUP2
000035ef: JUMP
000035f0: JUMPDEST
000035f1: PUSH1 0x02
000035f3: PUSH1 0x20
000035f5: MSTORE
000035f6: DUP1
000035f7: PUSH1 0x00
000035f9: MSTORE
000035fa: PUSH1 0x40
000035fc: PUSH1 0x00
000035fe: KECCAK256
000035ff: PUSH1 0x00
00003601: SWAP2
00003602: POP
00003603: SLOAD
00003604: SWAP1
00003605: PUSH2 0x0100
00003608: EXP
00003609: SWAP1
0000360a: DIV
0000360b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003620: AND
00003621: DUP2
00003622: JUMP
00003623: JUMPDEST
00003624: PUSH9 0x022b1c8c1227a00000
0000362e: DUP4
0000362f: LT
00003630: ISZERO
00003631: PUSH2 0x3663
00003634: JUMPI
00003635: PUSH2 0x363e
00003638: DUP4
00003639: DUP4
0000363a: PUSH2 0x3bf3
0000363d: JUMP
0000363e: JUMPDEST
0000363f: PUSH2 0x3648
00003642: DUP4
00003643: DUP4
00003644: PUSH2 0x3c65
00003647: JUMP
00003648: JUMPDEST
00003649: PUSH2 0x3654
0000364c: PUSH1 0x0f
0000364e: DUP5
0000364f: DUP5
00003650: PUSH2 0x3ca1
00003653: JUMP
00003654: JUMPDEST
00003655: PUSH2 0x365e
00003658: DUP4
00003659: DUP4
0000365a: PUSH2 0x3cb8
0000365d: JUMP
0000365e: JUMPDEST
0000365f: PUSH2 0x3888
00003662: JUMP
00003663: JUMPDEST
00003664: PUSH9 0x056bc75e2d63100000
0000366e: DUP4
0000366f: LT
00003670: ISZERO
00003671: PUSH2 0x36c8
00003674: JUMPI
00003675: PUSH2 0x367e
00003678: DUP4
00003679: DUP4
0000367a: PUSH2 0x3bf3
0000367d: JUMP
0000367e: JUMPDEST
0000367f: PUSH2 0x3688
00003682: DUP4
00003683: DUP4
00003684: PUSH2 0x3ccf
00003687: JUMP
00003688: JUMPDEST
00003689: PUSH2 0x3692
0000368c: DUP4
0000368d: DUP4
0000368e: PUSH2 0x3c65
00003691: JUMP
00003692: JUMPDEST
00003693: PUSH2 0x36b9
00003696: PUSH1 0x10
00003698: DUP3
00003699: PUSH2 0x36a2
0000369c: JUMPI
0000369d: DUP5
0000369e: PUSH2 0x36b3
000036a1: JUMP
000036a2: JUMPDEST
000036a3: PUSH1 0x64
000036a5: PUSH1 0x69
000036a7: DUP7
000036a8: MUL
000036a9: DUP2
000036aa: ISZERO
000036ab: ISZERO
000036ac: PUSH2 0x36b1
000036af: JUMPI
000036b0: INVALID
000036b1: JUMPDEST
000036b2: DIV
000036b3: JUMPDEST
000036b4: DUP5
000036b5: PUSH2 0x3ca1
000036b8: JUMP
000036b9: JUMPDEST
000036ba: PUSH2 0x36c3
000036bd: DUP4
000036be: DUP4
000036bf: PUSH2 0x3cb8
000036c2: JUMP
000036c3: JUMPDEST
000036c4: PUSH2 0x3887
000036c7: JUMP
000036c8: JUMPDEST
000036c9: PUSH9 0x1b1ae4d6e2ef500000
000036d3: DUP4
000036d4: LT
000036d5: ISZERO
000036d6: PUSH2 0x3737
000036d9: JUMPI
000036da: PUSH2 0x36e3
000036dd: DUP4
000036de: DUP4
000036df: PUSH2 0x3bf3
000036e2: JUMP
000036e3: JUMPDEST
000036e4: PUSH2 0x36ed
000036e7: DUP4
000036e8: DUP4
000036e9: PUSH2 0x3ccf
000036ec: JUMP
000036ed: JUMPDEST
000036ee: PUSH2 0x36f7
000036f1: DUP4
000036f2: DUP4
000036f3: PUSH2 0x3d42
000036f6: JUMP
000036f7: JUMPDEST
000036f8: PUSH2 0x3701
000036fb: DUP4
000036fc: DUP4
000036fd: PUSH2 0x3db4
00003700: JUMP
00003701: JUMPDEST
00003702: PUSH2 0x3728
00003705: PUSH1 0x11
00003707: DUP3
00003708: PUSH2 0x3711
0000370b: JUMPI
0000370c: DUP5
0000370d: PUSH2 0x3722
00003710: JUMP
00003711: JUMPDEST
00003712: PUSH1 0x64
00003714: PUSH1 0x6e
00003716: DUP7
00003717: MUL
00003718: DUP2
00003719: ISZERO
0000371a: ISZERO
0000371b: PUSH2 0x3720
0000371e: JUMPI
0000371f: INVALID
00003720: JUMPDEST
00003721: DIV
00003722: JUMPDEST
00003723: DUP5
00003724: PUSH2 0x3ca1
00003727: JUMP
00003728: JUMPDEST
00003729: PUSH2 0x3732
0000372c: DUP4
0000372d: DUP4
0000372e: PUSH2 0x3cb8
00003731: JUMP
00003732: JUMPDEST
00003733: PUSH2 0x3886
00003736: JUMP
00003737: JUMPDEST
00003738: PUSH9 0x3635c9adc5dea00000
00003742: DUP4
00003743: LT
00003744: ISZERO
00003745: PUSH2 0x37a6
00003748: JUMPI
00003749: PUSH2 0x3752
0000374c: DUP4
0000374d: DUP4
0000374e: PUSH2 0x3bf3
00003751: JUMP
00003752: JUMPDEST
00003753: PUSH2 0x375c
00003756: DUP4
00003757: DUP4
00003758: PUSH2 0x3ccf
0000375b: JUMP
0000375c: JUMPDEST
0000375d: PUSH2 0x3766
00003760: DUP4
00003761: DUP4
00003762: PUSH2 0x3d42
00003765: JUMP
00003766: JUMPDEST
00003767: PUSH2 0x3770
0000376a: DUP4
0000376b: DUP4
0000376c: PUSH2 0x3db4
0000376f: JUMP
00003770: JUMPDEST
00003771: PUSH2 0x3797
00003774: PUSH1 0x12
00003776: DUP3
00003777: PUSH2 0x3780
0000377a: JUMPI
0000377b: DUP5
0000377c: PUSH2 0x3791
0000377f: JUMP
00003780: JUMPDEST
00003781: PUSH1 0x64
00003783: PUSH1 0x73
00003785: DUP7
00003786: MUL
00003787: DUP2
00003788: ISZERO
00003789: ISZERO
0000378a: PUSH2 0x378f
0000378d: JUMPI
0000378e: INVALID
0000378f: JUMPDEST
00003790: DIV
00003791: JUMPDEST
00003792: DUP5
00003793: PUSH2 0x3ca1
00003796: JUMP
00003797: JUMPDEST
00003798: PUSH2 0x37a1
0000379b: DUP4
0000379c: DUP4
0000379d: PUSH2 0x3cb8
000037a0: JUMP
000037a1: JUMPDEST
000037a2: PUSH2 0x3885
000037a5: JUMP
000037a6: JUMPDEST
000037a7: PUSH10 0x010f0cf064dd59200000
000037b2: DUP4
000037b3: LT
000037b4: ISZERO
000037b5: PUSH2 0x3816
000037b8: JUMPI
000037b9: PUSH2 0x37c2
000037bc: DUP4
000037bd: DUP4
000037be: PUSH2 0x3bf3
000037c1: JUMP
000037c2: JUMPDEST
000037c3: PUSH2 0x37cc
000037c6: DUP4
000037c7: DUP4
000037c8: PUSH2 0x3ccf
000037cb: JUMP
000037cc: JUMPDEST
000037cd: PUSH2 0x37d6
000037d0: DUP4
000037d1: DUP4
000037d2: PUSH2 0x3d42
000037d5: JUMP
000037d6: JUMPDEST
000037d7: PUSH2 0x37e0
000037da: DUP4
000037db: DUP4
000037dc: PUSH2 0x3df0
000037df: JUMP
000037e0: JUMPDEST
000037e1: PUSH2 0x3807
000037e4: PUSH1 0x13
000037e6: DUP3
000037e7: PUSH2 0x37f0
000037ea: JUMPI
000037eb: DUP5
000037ec: PUSH2 0x3801
000037ef: JUMP
000037f0: JUMPDEST
000037f1: PUSH1 0x64
000037f3: PUSH1 0x78
000037f5: DUP7
000037f6: MUL
000037f7: DUP2
000037f8: ISZERO
000037f9: ISZERO
000037fa: PUSH2 0x37ff
000037fd: JUMPI
000037fe: INVALID
000037ff: JUMPDEST
00003800: DIV
00003801: JUMPDEST
00003802: DUP5
00003803: PUSH2 0x3ca1
00003806: JUMP
00003807: JUMPDEST
00003808: PUSH2 0x3811
0000380b: DUP4
0000380c: DUP4
0000380d: PUSH2 0x3cb8
00003810: JUMP
00003811: JUMPDEST
00003812: PUSH2 0x3884
00003815: JUMP
00003816: JUMPDEST
00003817: PUSH10 0x010f0cf064dd59200000
00003822: DUP4
00003823: LT
00003824: ISZERO
00003825: ISZERO
00003826: PUSH2 0x3883
00003829: JUMPI
0000382a: PUSH2 0x3833
0000382d: DUP4
0000382e: DUP4
0000382f: PUSH2 0x3bf3
00003832: JUMP
00003833: JUMPDEST
00003834: PUSH2 0x383d
00003837: DUP4
00003838: DUP4
00003839: PUSH2 0x3ccf
0000383c: JUMP
0000383d: JUMPDEST
0000383e: PUSH2 0x3847
00003841: DUP4
00003842: DUP4
00003843: PUSH2 0x3d42
00003846: JUMP
00003847: JUMPDEST
00003848: PUSH2 0x3851
0000384b: DUP4
0000384c: DUP4
0000384d: PUSH2 0x3df0
00003850: JUMP
00003851: JUMPDEST
00003852: PUSH2 0x3878
00003855: PUSH1 0x14
00003857: DUP3
00003858: PUSH2 0x3861
0000385b: JUMPI
0000385c: DUP5
0000385d: PUSH2 0x3872
00003860: JUMP
00003861: JUMPDEST
00003862: PUSH1 0x64
00003864: PUSH1 0x87
00003866: DUP7
00003867: MUL
00003868: DUP2
00003869: ISZERO
0000386a: ISZERO
0000386b: PUSH2 0x3870
0000386e: JUMPI
0000386f: INVALID
00003870: JUMPDEST
00003871: DIV
00003872: JUMPDEST
00003873: DUP5
00003874: PUSH2 0x3ca1
00003877: JUMP
00003878: JUMPDEST
00003879: PUSH2 0x3882
0000387c: DUP4
0000387d: DUP4
0000387e: PUSH2 0x3cb8
00003881: JUMP
00003882: JUMPDEST
00003883: JUMPDEST
00003884: JUMPDEST
00003885: JUMPDEST
00003886: JUMPDEST
00003887: JUMPDEST
00003888: JUMPDEST
00003889: POP
0000388a: POP
0000388b: POP
0000388c: JUMP
0000388d: JUMPDEST
0000388e: PUSH1 0x60
00003890: DUP1
00003891: PUSH1 0x00
00003893: DUP1
00003894: DUP5
00003895: PUSH1 0x40
00003897: MLOAD
00003898: SWAP1
00003899: DUP1
0000389a: DUP3
0000389b: MSTORE
0000389c: DUP1
0000389d: PUSH1 0x1f
0000389f: ADD
000038a0: PUSH1 0x1f
000038a2: NOT
000038a3: AND
000038a4: PUSH1 0x20
000038a6: ADD
000038a7: DUP3
000038a8: ADD
000038a9: PUSH1 0x40
000038ab: MSTORE
000038ac: DUP1
000038ad: ISZERO
000038ae: PUSH2 0x38c6
000038b1: JUMPI
000038b2: DUP2
000038b3: PUSH1 0x20
000038b5: ADD
000038b6: PUSH1 0x20
000038b8: DUP3
000038b9: MUL
000038ba: DUP1
000038bb: CODESIZE
000038bc: DUP4
000038bd: CODECOPY
000038be: DUP1
000038bf: DUP3
000038c0: ADD
000038c1: SWAP2
000038c2: POP
000038c3: POP
000038c4: SWAP1
000038c5: POP
000038c6: JUMPDEST
000038c7: POP
000038c8: SWAP3
000038c9: POP
000038ca: PUSH1 0x20
000038cc: DUP4
000038cd: ADD
000038ce: SWAP2
000038cf: POP
000038d0: DUP6
000038d1: SWAP1
000038d2: POP
000038d3: PUSH2 0x38dd
000038d6: DUP3
000038d7: DUP3
000038d8: DUP8
000038d9: PUSH2 0x3e2b
000038dc: JUMP
000038dd: JUMPDEST
000038de: DUP3
000038df: SWAP4
000038e0: POP
000038e1: POP
000038e2: POP
000038e3: POP
000038e4: SWAP3
000038e5: SWAP2
000038e6: POP
000038e7: POP
000038e8: JUMP
000038e9: JUMPDEST
000038ea: PUSH1 0x00
000038ec: DUP3
000038ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003902: AND
00003903: PUSH1 0x02
00003905: PUSH1 0x00
00003907: DUP5
00003908: DUP2
00003909: MSTORE
0000390a: PUSH1 0x20
0000390c: ADD
0000390d: SWAP1
0000390e: DUP2
0000390f: MSTORE
00003910: PUSH1 0x20
00003912: ADD
00003913: PUSH1 0x00
00003915: KECCAK256
00003916: PUSH1 0x00
00003918: SWAP1
00003919: SLOAD
0000391a: SWAP1
0000391b: PUSH2 0x0100
0000391e: EXP
0000391f: SWAP1
00003920: DIV
00003921: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003936: AND
00003937: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000394c: AND
0000394d: EQ
0000394e: SWAP1
0000394f: POP
00003950: SWAP3
00003951: SWAP2
00003952: POP
00003953: POP
00003954: JUMP
00003955: JUMPDEST
00003956: DUP1
00003957: PUSH1 0x04
00003959: PUSH1 0x00
0000395b: DUP5
0000395c: DUP2
0000395d: MSTORE
0000395e: PUSH1 0x20
00003960: ADD
00003961: SWAP1
00003962: DUP2
00003963: MSTORE
00003964: PUSH1 0x20
00003966: ADD
00003967: PUSH1 0x00
00003969: KECCAK256
0000396a: PUSH1 0x00
0000396c: PUSH2 0x0100
0000396f: EXP
00003970: DUP2
00003971: SLOAD
00003972: DUP2
00003973: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003988: MUL
00003989: NOT
0000398a: AND
0000398b: SWAP1
0000398c: DUP4
0000398d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000039a2: AND
000039a3: MUL
000039a4: OR
000039a5: SWAP1
000039a6: SSTORE
000039a7: POP
000039a8: POP
000039a9: POP
000039aa: JUMP
000039ab: JUMPDEST
000039ac: PUSH1 0x00
000039ae: DUP1
000039af: PUSH1 0x0a
000039b1: DUP2
000039b2: GT
000039b3: ISZERO
000039b4: PUSH2 0x39b9
000039b7: JUMPI
000039b8: INVALID
000039b9: JUMPDEST
000039ba: DUP3
000039bb: PUSH1 0x00
000039bd: ADD
000039be: MLOAD
000039bf: PUSH1 0x0a
000039c1: DUP2
000039c2: GT
000039c3: ISZERO
000039c4: PUSH2 0x39c9
000039c7: JUMPI
000039c8: INVALID
000039c9: JUMPDEST
000039ca: EQ
000039cb: DUP1
000039cc: PUSH2 0x39ef
000039cf: JUMPI
000039d0: POP
000039d1: PUSH1 0x01
000039d3: PUSH1 0x0a
000039d5: DUP2
000039d6: GT
000039d7: ISZERO
000039d8: PUSH2 0x39dd
000039db: JUMPI
000039dc: INVALID
000039dd: JUMPDEST
000039de: DUP3
000039df: PUSH1 0x00
000039e1: ADD
000039e2: MLOAD
000039e3: PUSH1 0x0a
000039e5: DUP2
000039e6: GT
000039e7: ISZERO
000039e8: PUSH2 0x39ed
000039eb: JUMPI
000039ec: INVALID
000039ed: JUMPDEST
000039ee: EQ
000039ef: JUMPDEST
000039f0: SWAP1
000039f1: POP
000039f2: SWAP2
000039f3: SWAP1
000039f4: POP
000039f5: JUMP
000039f6: JUMPDEST
000039f7: PUSH1 0x00
000039f9: DUP3
000039fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a0f: AND
00003a10: PUSH1 0x04
00003a12: PUSH1 0x00
00003a14: DUP5
00003a15: DUP2
00003a16: MSTORE
00003a17: PUSH1 0x20
00003a19: ADD
00003a1a: SWAP1
00003a1b: DUP2
00003a1c: MSTORE
00003a1d: PUSH1 0x20
00003a1f: ADD
00003a20: PUSH1 0x00
00003a22: KECCAK256
00003a23: PUSH1 0x00
00003a25: SWAP1
00003a26: SLOAD
00003a27: SWAP1
00003a28: PUSH2 0x0100
00003a2b: EXP
00003a2c: SWAP1
00003a2d: DIV
00003a2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a43: AND
00003a44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a59: AND
00003a5a: EQ
00003a5b: SWAP1
00003a5c: POP
00003a5d: SWAP3
00003a5e: SWAP2
00003a5f: POP
00003a60: POP
00003a61: JUMP
00003a62: JUMPDEST
00003a63: PUSH1 0x03
00003a65: PUSH1 0x00
00003a67: DUP5
00003a68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a7d: AND
00003a7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a93: AND
00003a94: DUP2
00003a95: MSTORE
00003a96: PUSH1 0x20
00003a98: ADD
00003a99: SWAP1
00003a9a: DUP2
00003a9b: MSTORE
00003a9c: PUSH1 0x20
00003a9e: ADD
00003a9f: PUSH1 0x00
00003aa1: KECCAK256
00003aa2: PUSH1 0x00
00003aa4: DUP2
00003aa5: SLOAD
00003aa6: DUP1
00003aa7: SWAP3
00003aa8: SWAP2
00003aa9: SWAP1
00003aaa: PUSH1 0x01
00003aac: SWAP1
00003aad: SUB
00003aae: SWAP2
00003aaf: SWAP1
00003ab0: POP
00003ab1: SSTORE
00003ab2: POP
00003ab3: PUSH1 0x03
00003ab5: PUSH1 0x00
00003ab7: DUP4
00003ab8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003acd: AND
00003ace: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ae3: AND
00003ae4: DUP2
00003ae5: MSTORE
00003ae6: PUSH1 0x20
00003ae8: ADD
00003ae9: SWAP1
00003aea: DUP2
00003aeb: MSTORE
00003aec: PUSH1 0x20
00003aee: ADD
00003aef: PUSH1 0x00
00003af1: KECCAK256
00003af2: PUSH1 0x00
00003af4: DUP2
00003af5: SLOAD
00003af6: DUP1
00003af7: SWAP3
00003af8: SWAP2
00003af9: SWAP1
00003afa: PUSH1 0x01
00003afc: ADD
00003afd: SWAP2
00003afe: SWAP1
00003aff: POP
00003b00: SSTORE
00003b01: POP
00003b02: DUP2
00003b03: PUSH1 0x02
00003b05: PUSH1 0x00
00003b07: DUP4
00003b08: DUP2
00003b09: MSTORE
00003b0a: PUSH1 0x20
00003b0c: ADD
00003b0d: SWAP1
00003b0e: DUP2
00003b0f: MSTORE
00003b10: PUSH1 0x20
00003b12: ADD
00003b13: PUSH1 0x00
00003b15: KECCAK256
00003b16: PUSH1 0x00
00003b18: PUSH2 0x0100
00003b1b: EXP
00003b1c: DUP2
00003b1d: SLOAD
00003b1e: DUP2
00003b1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b34: MUL
00003b35: NOT
00003b36: AND
00003b37: SWAP1
00003b38: DUP4
00003b39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b4e: AND
00003b4f: MUL
00003b50: OR
00003b51: SWAP1
00003b52: SSTORE
00003b53: POP
00003b54: PUSH1 0x04
00003b56: PUSH1 0x00
00003b58: DUP3
00003b59: DUP2
00003b5a: MSTORE
00003b5b: PUSH1 0x20
00003b5d: ADD
00003b5e: SWAP1
00003b5f: DUP2
00003b60: MSTORE
00003b61: PUSH1 0x20
00003b63: ADD
00003b64: PUSH1 0x00
00003b66: KECCAK256
00003b67: PUSH1 0x00
00003b69: PUSH2 0x0100
00003b6c: EXP
00003b6d: DUP2
00003b6e: SLOAD
00003b6f: SWAP1
00003b70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b85: MUL
00003b86: NOT
00003b87: AND
00003b88: SWAP1
00003b89: SSTORE
00003b8a: DUP2
00003b8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ba0: AND
00003ba1: DUP4
00003ba2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003bb7: AND
00003bb8: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003bd9: DUP4
00003bda: PUSH1 0x40
00003bdc: MLOAD
00003bdd: DUP1
00003bde: DUP3
00003bdf: DUP2
00003be0: MSTORE
00003be1: PUSH1 0x20
00003be3: ADD
00003be4: SWAP2
00003be5: POP
00003be6: POP
00003be7: PUSH1 0x40
00003be9: MLOAD
00003bea: DUP1
00003beb: SWAP2
00003bec: SUB
00003bed: SWAP1
00003bee: LOG3
00003bef: POP
00003bf0: POP
00003bf1: POP
00003bf2: JUMP
00003bf3: JUMPDEST
00003bf4: PUSH2 0x3c04
00003bf7: PUSH1 0x05
00003bf9: PUSH1 0x00
00003bfb: DUP1
00003bfc: PUSH1 0x04
00003bfe: DUP7
00003bff: DUP7
00003c00: PUSH2 0x3e76
00003c03: JUMP
00003c04: JUMPDEST
00003c05: POP
00003c06: PUSH2 0x3c16
00003c09: PUSH1 0x06
00003c0b: PUSH1 0x00
00003c0d: DUP1
00003c0e: PUSH1 0x04
00003c10: DUP7
00003c11: DUP7
00003c12: PUSH2 0x3e76
00003c15: JUMP
00003c16: JUMPDEST
00003c17: POP
00003c18: PUSH2 0x3c28
00003c1b: PUSH1 0x07
00003c1d: PUSH1 0x00
00003c1f: DUP1
00003c20: PUSH1 0x04
00003c22: DUP7
00003c23: DUP7
00003c24: PUSH2 0x3e76
00003c27: JUMP
00003c28: JUMPDEST
00003c29: POP
00003c2a: PUSH2 0x3c3b
00003c2d: PUSH1 0x08
00003c2f: PUSH1 0x06
00003c31: PUSH1 0x00
00003c33: PUSH1 0x04
00003c35: DUP7
00003c36: DUP7
00003c37: PUSH2 0x3e76
00003c3a: JUMP
00003c3b: JUMPDEST
00003c3c: POP
00003c3d: PUSH2 0x3c4d
00003c40: PUSH1 0x09
00003c42: DUP1
00003c43: PUSH1 0x00
00003c45: PUSH1 0x04
00003c47: DUP7
00003c48: DUP7
00003c49: PUSH2 0x3e76
00003c4c: JUMP
00003c4d: JUMPDEST
00003c4e: POP
00003c4f: PUSH2 0x3c60
00003c52: PUSH1 0x0a
00003c54: PUSH1 0x0c
00003c56: PUSH1 0x00
00003c58: PUSH1 0x04
00003c5a: DUP7
00003c5b: DUP7
00003c5c: PUSH2 0x3e76
00003c5f: JUMP
00003c60: JUMPDEST
00003c61: POP
00003c62: POP
00003c63: POP
00003c64: JUMP
00003c65: JUMPDEST
00003c66: PUSH2 0x3c77
00003c69: PUSH1 0x02
00003c6b: PUSH1 0x05
00003c6d: PUSH1 0x03
00003c6f: PUSH1 0x04
00003c71: DUP7
00003c72: DUP7
00003c73: PUSH2 0x3e76
00003c76: JUMP
00003c77: JUMPDEST
00003c78: POP
00003c79: PUSH2 0x3c8a
00003c7c: PUSH1 0x03
00003c7e: PUSH1 0x05
00003c80: PUSH1 0x03
00003c82: PUSH1 0x04
00003c84: DUP7
00003c85: DUP7
00003c86: PUSH2 0x3e76
00003c89: JUMP
00003c8a: JUMPDEST
00003c8b: POP
00003c8c: PUSH2 0x3c9c
00003c8f: PUSH1 0x04
00003c91: PUSH1 0x03
00003c93: DUP1
00003c94: PUSH1 0x06
00003c96: DUP7
00003c97: DUP7
00003c98: PUSH2 0x3e76
00003c9b: JUMP
00003c9c: JUMPDEST
00003c9d: POP
00003c9e: POP
00003c9f: POP
00003ca0: JUMP
00003ca1: JUMPDEST
00003ca2: PUSH2 0x3cb2
00003ca5: PUSH1 0x00
00003ca7: DUP5
00003ca8: PUSH1 0x03
00003caa: PUSH1 0x05
00003cac: DUP7
00003cad: DUP7
00003cae: PUSH2 0x3e76
00003cb1: JUMP
00003cb2: JUMPDEST
00003cb3: POP
00003cb4: POP
00003cb5: POP
00003cb6: POP
00003cb7: JUMP
00003cb8: JUMPDEST
00003cb9: PUSH2 0x3cca
00003cbc: PUSH1 0x01
00003cbe: PUSH1 0x15
00003cc0: PUSH1 0x03
00003cc2: PUSH1 0x06
00003cc4: DUP7
00003cc5: DUP7
00003cc6: PUSH2 0x3e76
00003cc9: JUMP
00003cca: JUMPDEST
00003ccb: POP
00003ccc: POP
00003ccd: POP
00003cce: JUMP
00003ccf: JUMPDEST
00003cd0: PUSH2 0x3ce0
00003cd3: PUSH1 0x05
00003cd5: PUSH1 0x01
00003cd7: DUP1
00003cd8: PUSH1 0x05
00003cda: DUP7
00003cdb: DUP7
00003cdc: PUSH2 0x3e76
00003cdf: JUMP
00003ce0: JUMPDEST
00003ce1: POP
00003ce2: PUSH2 0x3cf2
00003ce5: PUSH1 0x06
00003ce7: PUSH1 0x01
00003ce9: DUP1
00003cea: PUSH1 0x05
00003cec: DUP7
00003ced: DUP7
00003cee: PUSH2 0x3e76
00003cf1: JUMP
00003cf2: JUMPDEST
00003cf3: POP
00003cf4: PUSH2 0x3d04
00003cf7: PUSH1 0x07
00003cf9: PUSH1 0x01
00003cfb: DUP1
00003cfc: PUSH1 0x05
00003cfe: DUP7
00003cff: DUP7
00003d00: PUSH2 0x3e76
00003d03: JUMP
00003d04: JUMPDEST
00003d05: POP
00003d06: PUSH2 0x3d17
00003d09: PUSH1 0x08
00003d0b: PUSH1 0x07
00003d0d: PUSH1 0x01
00003d0f: PUSH1 0x05
00003d11: DUP7
00003d12: DUP7
00003d13: PUSH2 0x3e76
00003d16: JUMP
00003d17: JUMPDEST
00003d18: POP
00003d19: PUSH2 0x3d2a
00003d1c: PUSH1 0x09
00003d1e: PUSH1 0x0a
00003d20: PUSH1 0x01
00003d22: PUSH1 0x05
00003d24: DUP7
00003d25: DUP7
00003d26: PUSH2 0x3e76
00003d29: JUMP
00003d2a: JUMPDEST
00003d2b: POP
00003d2c: PUSH2 0x3d3d
00003d2f: PUSH1 0x0a
00003d31: PUSH1 0x0d
00003d33: PUSH1 0x01
00003d35: PUSH1 0x05
00003d37: DUP7
00003d38: DUP7
00003d39: PUSH2 0x3e76
00003d3c: JUMP
00003d3d: JUMPDEST
00003d3e: POP
00003d3f: POP
00003d40: POP
00003d41: JUMP
00003d42: JUMPDEST
00003d43: PUSH2 0x3d53
00003d46: PUSH1 0x05
00003d48: PUSH1 0x02
00003d4a: DUP1
00003d4b: PUSH1 0x06
00003d4d: DUP7
00003d4e: DUP7
00003d4f: PUSH2 0x3e76
00003d52: JUMP
00003d53: JUMPDEST
00003d54: POP
00003d55: PUSH2 0x3d65
00003d58: PUSH1 0x06
00003d5a: PUSH1 0x02
00003d5c: DUP1
00003d5d: PUSH1 0x06
00003d5f: DUP7
00003d60: DUP7
00003d61: PUSH2 0x3e76
00003d64: JUMP
00003d65: JUMPDEST
00003d66: POP
00003d67: PUSH2 0x3d77
00003d6a: PUSH1 0x07
00003d6c: PUSH1 0x02
00003d6e: DUP1
00003d6f: PUSH1 0x06
00003d71: DUP7
00003d72: DUP7
00003d73: PUSH2 0x3e76
00003d76: JUMP
00003d77: JUMPDEST
00003d78: POP
00003d79: PUSH2 0x3d89
00003d7c: PUSH1 0x08
00003d7e: DUP1
00003d7f: PUSH1 0x02
00003d81: PUSH1 0x06
00003d83: DUP7
00003d84: DUP7
00003d85: PUSH2 0x3e76
00003d88: JUMP
00003d89: JUMPDEST
00003d8a: POP
00003d8b: PUSH2 0x3d9c
00003d8e: PUSH1 0x09
00003d90: PUSH1 0x0b
00003d92: PUSH1 0x02
00003d94: PUSH1 0x06
00003d96: DUP7
00003d97: DUP7
00003d98: PUSH2 0x3e76
00003d9b: JUMP
00003d9c: JUMPDEST
00003d9d: POP
00003d9e: PUSH2 0x3daf
00003da1: PUSH1 0x0a
00003da3: PUSH1 0x0e
00003da5: PUSH1 0x02
00003da7: PUSH1 0x06
00003da9: DUP7
00003daa: DUP7
00003dab: PUSH2 0x3e76
00003dae: JUMP
00003daf: JUMPDEST
00003db0: POP
00003db1: POP
00003db2: POP
00003db3: JUMP
00003db4: JUMPDEST
00003db5: PUSH2 0x3dc6
00003db8: PUSH1 0x02
00003dba: PUSH1 0x04
00003dbc: PUSH1 0x03
00003dbe: PUSH1 0x05
00003dc0: DUP7
00003dc1: DUP7
00003dc2: PUSH2 0x3e76
00003dc5: JUMP
00003dc6: JUMPDEST
00003dc7: POP
00003dc8: PUSH2 0x3dd9
00003dcb: PUSH1 0x03
00003dcd: PUSH1 0x04
00003dcf: PUSH1 0x03
00003dd1: PUSH1 0x05
00003dd3: DUP7
00003dd4: DUP7
00003dd5: PUSH2 0x3e76
00003dd8: JUMP
00003dd9: JUMPDEST
00003dda: POP
00003ddb: PUSH2 0x3deb
00003dde: PUSH1 0x04
00003de0: PUSH1 0x03
00003de2: DUP1
00003de3: PUSH1 0x06
00003de5: DUP7
00003de6: DUP7
00003de7: PUSH2 0x3e76
00003dea: JUMP
00003deb: JUMPDEST
00003dec: POP
00003ded: POP
00003dee: POP
00003def: JUMP
00003df0: JUMPDEST
00003df1: PUSH2 0x3e01
00003df4: PUSH1 0x02
00003df6: DUP1
00003df7: PUSH1 0x03
00003df9: PUSH1 0x06
00003dfb: DUP7
00003dfc: DUP7
00003dfd: PUSH2 0x3e76
00003e00: JUMP
00003e01: JUMPDEST
00003e02: POP
00003e03: PUSH2 0x3e14
00003e06: PUSH1 0x03
00003e08: PUSH1 0x02
00003e0a: PUSH1 0x03
00003e0c: PUSH1 0x06
00003e0e: DUP7
00003e0f: DUP7
00003e10: PUSH2 0x3e76
00003e13: JUMP
00003e14: JUMPDEST
00003e15: POP
00003e16: PUSH2 0x3e26
00003e19: PUSH1 0x04
00003e1b: PUSH1 0x03
00003e1d: DUP1
00003e1e: PUSH1 0x06
00003e20: DUP7
00003e21: DUP7
00003e22: PUSH2 0x3e76
00003e25: JUMP
00003e26: JUMPDEST
00003e27: POP
00003e28: POP
00003e29: POP
00003e2a: JUMP
00003e2b: JUMPDEST
00003e2c: PUSH1 0x00
00003e2e: JUMPDEST
00003e2f: PUSH1 0x20
00003e31: DUP3
00003e32: LT
00003e33: ISZERO
00003e34: ISZERO
00003e35: PUSH2 0x3e53
00003e38: JUMPI
00003e39: DUP3
00003e3a: MLOAD
00003e3b: DUP5
00003e3c: MSTORE
00003e3d: PUSH1 0x20
00003e3f: DUP5
00003e40: ADD
00003e41: SWAP4
00003e42: POP
00003e43: PUSH1 0x20
00003e45: DUP4
00003e46: ADD
00003e47: SWAP3
00003e48: POP
00003e49: PUSH1 0x20
00003e4b: DUP3
00003e4c: SUB
00003e4d: SWAP2
00003e4e: POP
00003e4f: PUSH2 0x3e2e
00003e52: JUMP
00003e53: JUMPDEST
00003e54: PUSH1 0x01
00003e56: DUP3
00003e57: PUSH1 0x20
00003e59: SUB
00003e5a: PUSH2 0x0100
00003e5d: EXP
00003e5e: SUB
00003e5f: SWAP1
00003e60: POP
00003e61: DUP1
00003e62: NOT
00003e63: DUP4
00003e64: MLOAD
00003e65: AND
00003e66: DUP2
00003e67: DUP6
00003e68: MLOAD
00003e69: AND
00003e6a: DUP2
00003e6b: DUP2
00003e6c: OR
00003e6d: DUP7
00003e6e: MSTORE
00003e6f: POP
00003e70: POP
00003e71: POP
00003e72: POP
00003e73: POP
00003e74: POP
00003e75: JUMP
00003e76: JUMPDEST
00003e77: PUSH1 0x00
00003e79: PUSH2 0x3e80
00003e7c: PUSH2 0x4193
00003e7f: JUMP
00003e80: JUMPDEST
00003e81: PUSH1 0x00
00003e83: DUP1
00003e84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e99: AND
00003e9a: DUP5
00003e9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003eb0: AND
00003eb1: EQ
00003eb2: ISZERO
00003eb3: ISZERO
00003eb4: ISZERO
00003eb5: PUSH2 0x3ebd
00003eb8: JUMPI
00003eb9: PUSH1 0x00
00003ebb: DUP1
00003ebc: REVERT
00003ebd: JUMPDEST
00003ebe: PUSH1 0xc0
00003ec0: PUSH1 0x40
00003ec2: MLOAD
00003ec3: SWAP1
00003ec4: DUP2
00003ec5: ADD
00003ec6: PUSH1 0x40
00003ec8: MSTORE
00003ec9: DUP1
00003eca: DUP11
00003ecb: PUSH1 0x0a
00003ecd: DUP2
00003ece: GT
00003ecf: ISZERO
00003ed0: PUSH2 0x3ed5
00003ed3: JUMPI
00003ed4: INVALID
00003ed5: JUMPDEST
00003ed6: DUP2
00003ed7: MSTORE
00003ed8: PUSH1 0x20
00003eda: ADD
00003edb: DUP10
00003edc: PUSH1 0x15
00003ede: DUP2
00003edf: GT
00003ee0: ISZERO
00003ee1: PUSH2 0x3ee6
00003ee4: JUMPI
00003ee5: INVALID
00003ee6: JUMPDEST
00003ee7: DUP2
00003ee8: MSTORE
00003ee9: PUSH1 0x20
00003eeb: ADD
00003eec: DUP9
00003eed: PUSH1 0x03
00003eef: DUP2
00003ef0: GT
00003ef1: ISZERO
00003ef2: PUSH2 0x3ef7
00003ef5: JUMPI
00003ef6: INVALID
00003ef7: JUMPDEST
00003ef8: DUP2
00003ef9: MSTORE
00003efa: PUSH1 0x20
00003efc: ADD
00003efd: DUP8
00003efe: PUSH1 0x06
00003f00: DUP2
00003f01: GT
00003f02: ISZERO
00003f03: PUSH2 0x3f08
00003f06: JUMPI
00003f07: INVALID
00003f08: JUMPDEST
00003f09: DUP2
00003f0a: MSTORE
00003f0b: PUSH1 0x20
00003f0d: ADD
00003f0e: TIMESTAMP
00003f0f: DUP2
00003f10: MSTORE
00003f11: PUSH1 0x20
00003f13: ADD
00003f14: DUP7
00003f15: DUP2
00003f16: MSTORE
00003f17: POP
00003f18: SWAP2
00003f19: POP
00003f1a: PUSH1 0x01
00003f1c: DUP1
00003f1d: SLOAD
00003f1e: SWAP1
00003f1f: POP
00003f20: SWAP1
00003f21: POP
00003f22: PUSH1 0x01
00003f24: DUP3
00003f25: SWAP1
00003f26: DUP1
00003f27: PUSH1 0x01
00003f29: DUP2
00003f2a: SLOAD
00003f2b: ADD
00003f2c: DUP1
00003f2d: DUP3
00003f2e: SSTORE
00003f2f: DUP1
00003f30: SWAP2
00003f31: POP
00003f32: POP
00003f33: SWAP1
00003f34: PUSH1 0x01
00003f36: DUP3
00003f37: SUB
00003f38: SWAP1
00003f39: PUSH1 0x00
00003f3b: MSTORE
00003f3c: PUSH1 0x20
00003f3e: PUSH1 0x00
00003f40: KECCAK256
00003f41: SWAP1
00003f42: PUSH1 0x03
00003f44: MUL
00003f45: ADD
00003f46: PUSH1 0x00
00003f48: SWAP1
00003f49: SWAP2
00003f4a: SWAP3
00003f4b: SWAP1
00003f4c: SWAP2
00003f4d: SWAP1
00003f4e: SWAP2
00003f4f: POP
00003f50: PUSH1 0x00
00003f52: DUP3
00003f53: ADD
00003f54: MLOAD
00003f55: DUP2
00003f56: PUSH1 0x00
00003f58: ADD
00003f59: PUSH1 0x00
00003f5b: PUSH2 0x0100
00003f5e: EXP
00003f5f: DUP2
00003f60: SLOAD
00003f61: DUP2
00003f62: PUSH1 0xff
00003f64: MUL
00003f65: NOT
00003f66: AND
00003f67: SWAP1
00003f68: DUP4
00003f69: PUSH1 0x0a
00003f6b: DUP2
00003f6c: GT
00003f6d: ISZERO
00003f6e: PUSH2 0x3f73
00003f71: JUMPI
00003f72: INVALID
00003f73: JUMPDEST
00003f74: MUL
00003f75: OR
00003f76: SWAP1
00003f77: SSTORE
00003f78: POP
00003f79: PUSH1 0x20
00003f7b: DUP3
00003f7c: ADD
00003f7d: MLOAD
00003f7e: DUP2
00003f7f: PUSH1 0x00
00003f81: ADD
00003f82: PUSH1 0x01
00003f84: PUSH2 0x0100
00003f87: EXP
00003f88: DUP2
00003f89: SLOAD
00003f8a: DUP2
00003f8b: PUSH1 0xff
00003f8d: MUL
00003f8e: NOT
00003f8f: AND
00003f90: SWAP1
00003f91: DUP4
00003f92: PUSH1 0x15
00003f94: DUP2
00003f95: GT
00003f96: ISZERO
00003f97: PUSH2 0x3f9c
00003f9a: JUMPI
00003f9b: INVALID
00003f9c: JUMPDEST
00003f9d: MUL
00003f9e: OR
00003f9f: SWAP1
00003fa0: SSTORE
00003fa1: POP
00003fa2: PUSH1 0x40
00003fa4: DUP3
00003fa5: ADD
00003fa6: MLOAD
00003fa7: DUP2
00003fa8: PUSH1 0x00
00003faa: ADD
00003fab: PUSH1 0x02
00003fad: PUSH2 0x0100
00003fb0: EXP
00003fb1: DUP2
00003fb2: SLOAD
00003fb3: DUP2
00003fb4: PUSH1 0xff
00003fb6: MUL
00003fb7: NOT
00003fb8: AND
00003fb9: SWAP1
00003fba: DUP4
00003fbb: PUSH1 0x03
00003fbd: DUP2
00003fbe: GT
00003fbf: ISZERO
00003fc0: PUSH2 0x3fc5
00003fc3: JUMPI
00003fc4: INVALID
00003fc5: JUMPDEST
00003fc6: MUL
00003fc7: OR
00003fc8: SWAP1
00003fc9: SSTORE
00003fca: POP
00003fcb: PUSH1 0x60
00003fcd: DUP3
00003fce: ADD
00003fcf: MLOAD
00003fd0: DUP2
00003fd1: PUSH1 0x00
00003fd3: ADD
00003fd4: PUSH1 0x03
00003fd6: PUSH2 0x0100
00003fd9: EXP
00003fda: DUP2
00003fdb: SLOAD
00003fdc: DUP2
00003fdd: PUSH1 0xff
00003fdf: MUL
00003fe0: NOT
00003fe1: AND
00003fe2: SWAP1
00003fe3: DUP4
00003fe4: PUSH1 0x06
00003fe6: DUP2
00003fe7: GT
00003fe8: ISZERO
00003fe9: PUSH2 0x3fee
00003fec: JUMPI
00003fed: INVALID
00003fee: JUMPDEST
00003fef: MUL
00003ff0: OR
00003ff1: SWAP1
00003ff2: SSTORE
00003ff3: POP
00003ff4: PUSH1 0x80
00003ff6: DUP3
00003ff7: ADD
00003ff8: MLOAD
00003ff9: DUP2
00003ffa: PUSH1 0x01
00003ffc: ADD
00003ffd: SSTORE
00003ffe: PUSH1 0xa0
00004000: DUP3
00004001: ADD
00004002: MLOAD
00004003: DUP2
00004004: PUSH1 0x02
00004006: ADD
00004007: SSTORE
00004008: POP
00004009: POP
0000400a: POP
0000400b: DUP4
0000400c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004021: AND
00004022: PUSH32 0x415a1f90c777219675a661a2b715cde655fe9f44ce8580a90dc84d33cc61f504
00004043: DUP3
00004044: DUP12
00004045: DUP12
00004046: DUP12
00004047: DUP12
00004048: TIMESTAMP
00004049: DUP13
0000404a: PUSH1 0x40
0000404c: MLOAD
0000404d: DUP1
0000404e: DUP9
0000404f: DUP2
00004050: MSTORE
00004051: PUSH1 0x20
00004053: ADD
00004054: DUP8
00004055: PUSH1 0x0a
00004057: DUP2
00004058: GT
00004059: ISZERO
0000405a: PUSH2 0x405f
0000405d: JUMPI
0000405e: INVALID
0000405f: JUMPDEST
00004060: PUSH1 0xff
00004062: AND
00004063: DUP2
00004064: MSTORE
00004065: PUSH1 0x20
00004067: ADD
00004068: DUP7
00004069: PUSH1 0x15
0000406b: DUP2
0000406c: GT
0000406d: ISZERO
0000406e: PUSH2 0x4073
00004071: JUMPI
00004072: INVALID
00004073: JUMPDEST
00004074: PUSH1 0xff
00004076: AND
00004077: DUP2
00004078: MSTORE
00004079: PUSH1 0x20
0000407b: ADD
0000407c: DUP6
0000407d: PUSH1 0x03
0000407f: DUP2
00004080: GT
00004081: ISZERO
00004082: PUSH2 0x4087
00004085: JUMPI
00004086: INVALID
00004087: JUMPDEST
00004088: PUSH1 0xff
0000408a: AND
0000408b: DUP2
0000408c: MSTORE
0000408d: PUSH1 0x20
0000408f: ADD
00004090: DUP5
00004091: PUSH1 0x06
00004093: DUP2
00004094: GT
00004095: ISZERO
00004096: PUSH2 0x409b
00004099: JUMPI
0000409a: INVALID
0000409b: JUMPDEST
0000409c: PUSH1 0xff
0000409e: AND
0000409f: DUP2
000040a0: MSTORE
000040a1: PUSH1 0x20
000040a3: ADD
000040a4: DUP4
000040a5: DUP2
000040a6: MSTORE
000040a7: PUSH1 0x20
000040a9: ADD
000040aa: DUP3
000040ab: DUP2
000040ac: MSTORE
000040ad: PUSH1 0x20
000040af: ADD
000040b0: SWAP8
000040b1: POP
000040b2: POP
000040b3: POP
000040b4: POP
000040b5: POP
000040b6: POP
000040b7: POP
000040b8: POP
000040b9: PUSH1 0x40
000040bb: MLOAD
000040bc: DUP1
000040bd: SWAP2
000040be: SUB
000040bf: SWAP1
000040c0: LOG2
000040c1: PUSH1 0x03
000040c3: PUSH1 0x00
000040c5: DUP6
000040c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000040db: AND
000040dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000040f1: AND
000040f2: DUP2
000040f3: MSTORE
000040f4: PUSH1 0x20
000040f6: ADD
000040f7: SWAP1
000040f8: DUP2
000040f9: MSTORE
000040fa: PUSH1 0x20
000040fc: ADD
000040fd: PUSH1 0x00
000040ff: KECCAK256
00004100: PUSH1 0x00
00004102: DUP2
00004103: SLOAD
00004104: DUP1
00004105: SWAP3
00004106: SWAP2
00004107: SWAP1
00004108: PUSH1 0x01
0000410a: ADD
0000410b: SWAP2
0000410c: SWAP1
0000410d: POP
0000410e: SSTORE
0000410f: POP
00004110: DUP4
00004111: PUSH1 0x02
00004113: PUSH1 0x00
00004115: DUP4
00004116: DUP2
00004117: MSTORE
00004118: PUSH1 0x20
0000411a: ADD
0000411b: SWAP1
0000411c: DUP2
0000411d: MSTORE
0000411e: PUSH1 0x20
00004120: ADD
00004121: PUSH1 0x00
00004123: KECCAK256
00004124: PUSH1 0x00
00004126: PUSH2 0x0100
00004129: EXP
0000412a: DUP2
0000412b: SLOAD
0000412c: DUP2
0000412d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004142: MUL
00004143: NOT
00004144: AND
00004145: SWAP1
00004146: DUP4
00004147: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000415c: AND
0000415d: MUL
0000415e: OR
0000415f: SWAP1
00004160: SSTORE
00004161: POP
00004162: DUP1
00004163: SWAP3
00004164: POP
00004165: POP
00004166: POP
00004167: SWAP7
00004168: SWAP6
00004169: POP
0000416a: POP
0000416b: POP
0000416c: POP
0000416d: POP
0000416e: POP
0000416f: JUMP
00004170: JUMPDEST
00004171: PUSH1 0x80
00004173: PUSH1 0x40
00004175: MLOAD
00004176: SWAP1
00004177: DUP2
00004178: ADD
00004179: PUSH1 0x40
0000417b: MSTORE
0000417c: DUP1
0000417d: PUSH1 0x04
0000417f: SWAP1
00004180: PUSH1 0x20
00004182: DUP3
00004183: MUL
00004184: DUP1
00004185: CODESIZE
00004186: DUP4
00004187: CODECOPY
00004188: DUP1
00004189: DUP3
0000418a: ADD
0000418b: SWAP2
0000418c: POP
0000418d: POP
0000418e: SWAP1
0000418f: POP
00004190: POP
00004191: SWAP1
00004192: JUMP
00004193: JUMPDEST
00004194: PUSH1 0xc0
00004196: PUSH1 0x40
00004198: MLOAD
00004199: SWAP1
0000419a: DUP2
0000419b: ADD
0000419c: PUSH1 0x40
0000419e: MSTORE
0000419f: DUP1
000041a0: PUSH1 0x00
000041a2: PUSH1 0x0a
000041a4: DUP2
000041a5: GT
000041a6: ISZERO
000041a7: PUSH2 0x41ac
000041aa: JUMPI
000041ab: INVALID
000041ac: JUMPDEST
000041ad: DUP2
000041ae: MSTORE
000041af: PUSH1 0x20
000041b1: ADD
000041b2: PUSH1 0x00
000041b4: PUSH1 0x15
000041b6: DUP2
000041b7: GT
000041b8: ISZERO
000041b9: PUSH2 0x41be
000041bc: JUMPI
000041bd: INVALID
000041be: JUMPDEST
000041bf: DUP2
000041c0: MSTORE
000041c1: PUSH1 0x20
000041c3: ADD
000041c4: PUSH1 0x00
000041c6: PUSH1 0x03
000041c8: DUP2
000041c9: GT
000041ca: ISZERO
000041cb: PUSH2 0x41d0
000041ce: JUMPI
000041cf: INVALID
000041d0: JUMPDEST
000041d1: DUP2
000041d2: MSTORE
000041d3: PUSH1 0x20
000041d5: ADD
000041d6: PUSH1 0x00
000041d8: PUSH1 0x06
000041da: DUP2
000041db: GT
000041dc: ISZERO
000041dd: PUSH2 0x41e2
000041e0: JUMPI
000041e1: INVALID
000041e2: JUMPDEST
000041e3: DUP2
000041e4: MSTORE
000041e5: PUSH1 0x20
000041e7: ADD
000041e8: PUSH1 0x00
000041ea: DUP2
000041eb: MSTORE
000041ec: PUSH1 0x20
000041ee: ADD
000041ef: PUSH1 0x00
000041f1: DUP2
000041f2: MSTORE
000041f3: POP
000041f4: SWAP1
000041f5: JUMP
000041f6: STOP
000041f7: LOG1
000041f8: PUSH6 0x627a7a723058
000041ff: KECCAK256
00004200: UNKNOWN(0xB6)
00004201: NUMBER
00004202: SMOD
00004203: UNKNOWN(0x27)
00004204: UNKNOWN(0xA7)
00004205: UNKNOWN(0xE6)
00004206: UNKNOWN(0xCB)
00004207: UNKNOWN(0xC2)
00004208: NOT
00004209: UNKNOWN(0xAC)
0000420a: UNKNOWN(0xDA)
0000420b: DUP6
0000420c: UNKNOWN(0xD0)
0000420d: PUSH21