Analysis Run

[codex:212406] OpenAI Codex v0.77.0 (research preview)
[codex:212406] --------
[codex:212406] workdir: /tmp/codex-multi-7b4nhe6g
[codex:212406] model: gpt-5.2-codex
[codex:212406] provider: openai
[codex:212406] approval: never
[codex:212406] sandbox: read-only
[codex:212406] reasoning effort: xhigh
[codex:212406] reasoning summaries: auto
[codex:212406] session id: 019b864c-4265-7b73-8724-4bb1e8515fe3
[codex:212406] --------
[codex:212406] user
[codex:212406] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:212406] 
[codex:212406] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:212406] 
[codex:212406] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:212406] - Gas inefficiency, code quality, naming, or best practices
[codex:212406] - Theoretical vulnerabilities without a clear extraction path
[codex:212406] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:212406] - Front-running unless it enables theft beyond MEV
[codex:212406] - DoS, griefing, or issues that don't result in attacker profit
[codex:212406] - Missing events, view function issues, or informational findings
[codex:212406] 
[codex:212406] HIGH-VALUE PATTERNS TO HUNT:
[codex:212406] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:212406] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:212406] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:212406] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:212406] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:212406] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:212406] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:212406] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:212406] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:212406] 
[codex:212406] For each finding, you MUST provide:
[codex:212406] 1. Exact file and line numbers of vulnerable code
[codex:212406] 2. Step-by-step exploit transaction sequence
[codex:212406] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:212406] 
[codex:212406] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:212406] 
[codex:212406] Output MUST be valid JSON matching the provided schema.
[codex:212406] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:212406] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:212406] mcp startup: no servers
[codex:212406] 
[codex:212406] thinking
[codex:212406] **Preparing to read instructions**
[codex:212406] exec
[codex:212406] /bin/bash -lc ls in /tmp/codex-multi-7b4nhe6g succeeded in 6ms:
[codex:212406] AUDIT_BUNDLE.txt
[codex:212406] codex-output-schema.json
[codex:212406] contracts
[codex:212406] exec
[codex:212406] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-7b4nhe6g succeeded in 5ms:
[codex:212406] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:212406] 
[codex:212406] ================================================================================
[codex:212406] FILE: contracts/Contract.sol
[codex:212406] ================================================================================
[codex:212406] pragma solidity ^0.4.18;
[codex:212406] contract Token {
[codex:212406]     /* This is a slight change to the ERC20 base standard.
[codex:212406]     function totalSupply() constant returns (uint256 supply);
[codex:212406]     is replaced with:
[codex:212406]     uint256 public totalSupply;
[codex:212406]     This automatically creates a getter function for the totalSupply.
[codex:212406]     This is moved to the base contract since public getter functions are not
[codex:212406]     currently recognised as an implementation of the matching abstract
[codex:212406]     function by the compiler.
[codex:212406]     */
[codex:212406]     /// total amount of tokens
[codex:212406]     uint256 public totalSupply;
[codex:212406] 
[codex:212406]     /// @param _owner The address from which the balance will be retrieved
[codex:212406] 
[codex:212406] 
[codex:212406] thinking
[codex:212406] **Analyzing StandardBounties for exploits**
[codex:212406] thinking
[codex:212406] **Evaluating acceptance and token handling logic**
[codex:212406] 
[codex:212406] I've carefully considered how issuer and arbiter controls acceptance and token contract interactions, especially around reentrancy and external calls. The checks on msg.sender and token contract behavior seem robust against unauthorized fulfillment acceptance and token transfer manipulation. I'm weighing edge cases like zero-address arbiters, nonstandard tokens, and integer arithmetic in StandardToken, but no clear profit-driven exploit emerges from these paths.
[codex:212406] exec
[codex:212406] /bin/bash -lc 'ls contracts' in /tmp/codex-multi-7b4nhe6g succeeded in 5ms:
[codex:212406] Contract.sol
[codex:212406] 
[codex:212406] thinking
[codex:212406] **Formulating final JSON response**
[codex:212406] codex
[codex:212406] {"no_findings":true,"summary":"No concrete, exploitable path to extract ETH/tokens/NFTs found in the provided sources.","findings":[]}
[codex:212406] tokens used
[codex:212406] 19,159
[codex:212406] {"no_findings":true,"summary":"No concrete, exploitable path to extract ETH/tokens/NFTs found in the provided sources.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-04T00:00:14.565002+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable path to extract ETH/tokens/NFTs found in the provided sources.",
    "raw_final": {
        "summary": "No concrete, exploitable path to extract ETH/tokens/NFTs found in the provided sources.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x013e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH4 0x16b57509
0000003c: EQ
0000003d: PUSH2 0x0143
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x19dba3d2
00000047: EQ
00000048: PUSH2 0x0166
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x1e688c14
00000052: EQ
00000053: PUSH2 0x01c9
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x2d1fdef6
0000005d: EQ
0000005e: PUSH2 0x022f
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x3278ba2f
00000068: EQ
00000069: PUSH2 0x025b
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x41ac5dd0
00000073: EQ
00000074: PUSH2 0x0284
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x422d4cd6
0000007e: EQ
0000007f: PUSH2 0x02f3
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x452ccadb
00000089: EQ
0000008a: PUSH2 0x031d
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x5d19606e
00000094: EQ
00000095: PUSH2 0x0349
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x626a413a
0000009f: EQ
000000a0: PUSH2 0x038b
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0x788acd7e
000000aa: EQ
000000ab: PUSH2 0x03ac
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0x7e9e511d
000000b5: EQ
000000b6: PUSH2 0x0497
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0x86647bac
000000c0: EQ
000000c1: PUSH2 0x0580
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0x8c590917
000000cb: EQ
000000cc: PUSH2 0x05e3
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0x8da5cb5b
000000d6: EQ
000000d7: PUSH2 0x0604
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0xa60745aa
000000e1: EQ
000000e2: PUSH2 0x0659
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0xb94b0a3a
000000ec: EQ
000000ed: PUSH2 0x06f5
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0xcdad6576
000000f7: EQ
000000f8: PUSH2 0x07d8
000000fb: JUMPI
000000fc: DUP1
000000fd: PUSH4 0xd6c0ceab
00000102: EQ
00000103: PUSH2 0x081a
00000106: JUMPI
00000107: DUP1
00000108: PUSH4 0xd9583497
0000010d: EQ
0000010e: PUSH2 0x0846
00000111: JUMPI
00000112: DUP1
00000113: PUSH4 0xdc2f8744
00000118: EQ
00000119: PUSH2 0x0872
0000011c: JUMPI
0000011d: DUP1
0000011e: PUSH4 0xee8c4bbf
00000123: EQ
00000124: PUSH2 0x09c6
00000127: JUMPI
00000128: DUP1
00000129: PUSH4 0xf3d3402a
0000012e: EQ
0000012f: PUSH2 0x0a50
00000132: JUMPI
00000133: DUP1
00000134: PUSH4 0xfbe334f8
00000139: EQ
0000013a: PUSH2 0x0ab6
0000013d: JUMPI
0000013e: JUMPDEST
0000013f: PUSH1 0x00
00000141: DUP1
00000142: REVERT
00000143: JUMPDEST
00000144: CALLVALUE
00000145: ISZERO
00000146: PUSH2 0x014e
00000149: JUMPI
0000014a: PUSH1 0x00
0000014c: DUP1
0000014d: REVERT
0000014e: JUMPDEST
0000014f: PUSH2 0x0164
00000152: PUSH1 0x04
00000154: DUP1
00000155: DUP1
00000156: CALLDATALOAD
00000157: SWAP1
00000158: PUSH1 0x20
0000015a: ADD
0000015b: SWAP1
0000015c: SWAP2
0000015d: SWAP1
0000015e: POP
0000015f: POP
00000160: PUSH2 0x0aed
00000163: JUMP
00000164: JUMPDEST
00000165: STOP
00000166: JUMPDEST
00000167: CALLVALUE
00000168: ISZERO
00000169: PUSH2 0x0171
0000016c: JUMPI
0000016d: PUSH1 0x00
0000016f: DUP1
00000170: REVERT
00000171: JUMPDEST
00000172: PUSH2 0x0187
00000175: PUSH1 0x04
00000177: DUP1
00000178: DUP1
00000179: CALLDATALOAD
0000017a: SWAP1
0000017b: PUSH1 0x20
0000017d: ADD
0000017e: SWAP1
0000017f: SWAP2
00000180: SWAP1
00000181: POP
00000182: POP
00000183: PUSH2 0x0e2d
00000186: JUMP
00000187: JUMPDEST
00000188: PUSH1 0x40
0000018a: MLOAD
0000018b: DUP1
0000018c: DUP3
0000018d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001a2: AND
000001a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001b8: AND
000001b9: DUP2
000001ba: MSTORE
000001bb: PUSH1 0x20
000001bd: ADD
000001be: SWAP2
000001bf: POP
000001c0: POP
000001c1: PUSH1 0x40
000001c3: MLOAD
000001c4: DUP1
000001c5: SWAP2
000001c6: SUB
000001c7: SWAP1
000001c8: RETURN
000001c9: JUMPDEST
000001ca: CALLVALUE
000001cb: ISZERO
000001cc: PUSH2 0x01d4
000001cf: JUMPI
000001d0: PUSH1 0x00
000001d2: DUP1
000001d3: REVERT
000001d4: JUMPDEST
000001d5: PUSH2 0x022d
000001d8: PUSH1 0x04
000001da: DUP1
000001db: DUP1
000001dc: CALLDATALOAD
000001dd: SWAP1
000001de: PUSH1 0x20
000001e0: ADD
000001e1: SWAP1
000001e2: SWAP2
000001e3: SWAP1
000001e4: DUP1
000001e5: CALLDATALOAD
000001e6: SWAP1
000001e7: PUSH1 0x20
000001e9: ADD
000001ea: SWAP1
000001eb: DUP3
000001ec: ADD
000001ed: DUP1
000001ee: CALLDATALOAD
000001ef: SWAP1
000001f0: PUSH1 0x20
000001f2: ADD
000001f3: SWAP1
000001f4: DUP1
000001f5: DUP1
000001f6: PUSH1 0x1f
000001f8: ADD
000001f9: PUSH1 0x20
000001fb: DUP1
000001fc: SWAP2
000001fd: DIV
000001fe: MUL
000001ff: PUSH1 0x20
00000201: ADD
00000202: PUSH1 0x40
00000204: MLOAD
00000205: SWAP1
00000206: DUP2
00000207: ADD
00000208: PUSH1 0x40
0000020a: MSTORE
0000020b: DUP1
0000020c: SWAP4
0000020d: SWAP3
0000020e: SWAP2
0000020f: SWAP1
00000210: DUP2
00000211: DUP2
00000212: MSTORE
00000213: PUSH1 0x20
00000215: ADD
00000216: DUP4
00000217: DUP4
00000218: DUP1
00000219: DUP3
0000021a: DUP5
0000021b: CALLDATACOPY
0000021c: DUP3
0000021d: ADD
0000021e: SWAP2
0000021f: POP
00000220: POP
00000221: POP
00000222: POP
00000223: POP
00000224: POP
00000225: SWAP2
00000226: SWAP1
00000227: POP
00000228: POP
00000229: PUSH2 0x0e7f
0000022c: JUMP
0000022d: JUMPDEST
0000022e: STOP
0000022f: JUMPDEST
00000230: CALLVALUE
00000231: ISZERO
00000232: PUSH2 0x023a
00000235: JUMPI
00000236: PUSH1 0x00
00000238: DUP1
00000239: REVERT
0000023a: JUMPDEST
0000023b: PUSH2 0x0259
0000023e: PUSH1 0x04
00000240: DUP1
00000241: DUP1
00000242: CALLDATALOAD
00000243: SWAP1
00000244: PUSH1 0x20
00000246: ADD
00000247: SWAP1
00000248: SWAP2
00000249: SWAP1
0000024a: DUP1
0000024b: CALLDATALOAD
0000024c: SWAP1
0000024d: PUSH1 0x20
0000024f: ADD
00000250: SWAP1
00000251: SWAP2
00000252: SWAP1
00000253: POP
00000254: POP
00000255: PUSH2 0x11b0
00000258: JUMP
00000259: JUMPDEST
0000025a: STOP
0000025b: JUMPDEST
0000025c: CALLVALUE
0000025d: ISZERO
0000025e: PUSH2 0x0266
00000261: JUMPI
00000262: PUSH1 0x00
00000264: DUP1
00000265: REVERT
00000266: JUMPDEST
00000267: PUSH2 0x026e
0000026a: PUSH2 0x12db
0000026d: JUMP
0000026e: JUMPDEST
0000026f: PUSH1 0x40
00000271: MLOAD
00000272: DUP1
00000273: DUP3
00000274: DUP2
00000275: MSTORE
00000276: PUSH1 0x20
00000278: ADD
00000279: SWAP2
0000027a: POP
0000027b: POP
0000027c: PUSH1 0x40
0000027e: MLOAD
0000027f: DUP1
00000280: SWAP2
00000281: SUB
00000282: SWAP1
00000283: RETURN
00000284: JUMPDEST
00000285: CALLVALUE
00000286: ISZERO
00000287: PUSH2 0x028f
0000028a: JUMPI
0000028b: PUSH1 0x00
0000028d: DUP1
0000028e: REVERT
0000028f: JUMPDEST
00000290: PUSH2 0x02f1
00000293: PUSH1 0x04
00000295: DUP1
00000296: DUP1
00000297: CALLDATALOAD
00000298: SWAP1
00000299: PUSH1 0x20
0000029b: ADD
0000029c: SWAP1
0000029d: SWAP2
0000029e: SWAP1
0000029f: DUP1
000002a0: CALLDATALOAD
000002a1: SWAP1
000002a2: PUSH1 0x20
000002a4: ADD
000002a5: SWAP1
000002a6: SWAP2
000002a7: SWAP1
000002a8: DUP1
000002a9: CALLDATALOAD
000002aa: SWAP1
000002ab: PUSH1 0x20
000002ad: ADD
000002ae: SWAP1
000002af: DUP3
000002b0: ADD
000002b1: DUP1
000002b2: CALLDATALOAD
000002b3: SWAP1
000002b4: PUSH1 0x20
000002b6: ADD
000002b7: SWAP1
000002b8: DUP1
000002b9: DUP1
000002ba: PUSH1 0x1f
000002bc: ADD
000002bd: PUSH1 0x20
000002bf: DUP1
000002c0: SWAP2
000002c1: DIV
000002c2: MUL
000002c3: PUSH1 0x20
000002c5: ADD
000002c6: PUSH1 0x40
000002c8: MLOAD
000002c9: SWAP1
000002ca: DUP2
000002cb: ADD
000002cc: PUSH1 0x40
000002ce: MSTORE
000002cf: DUP1
000002d0: SWAP4
000002d1: SWAP3
000002d2: SWAP2
000002d3: SWAP1
000002d4: DUP2
000002d5: DUP2
000002d6: MSTORE
000002d7: PUSH1 0x20
000002d9: ADD
000002da: DUP4
000002db: DUP4
000002dc: DUP1
000002dd: DUP3
000002de: DUP5
000002df: CALLDATACOPY
000002e0: DUP3
000002e1: ADD
000002e2: SWAP2
000002e3: POP
000002e4: POP
000002e5: POP
000002e6: POP
000002e7: POP
000002e8: POP
000002e9: SWAP2
000002ea: SWAP1
000002eb: POP
000002ec: POP
000002ed: PUSH2 0x12e8
000002f0: JUMP
000002f1: JUMPDEST
000002f2: STOP
000002f3: JUMPDEST
000002f4: PUSH2 0x031b
000002f7: PUSH1 0x04
000002f9: DUP1
000002fa: DUP1
000002fb: CALLDATALOAD
000002fc: SWAP1
000002fd: PUSH1 0x20
000002ff: ADD
00000300: SWAP1
00000301: SWAP2
00000302: SWAP1
00000303: DUP1
00000304: CALLDATALOAD
00000305: SWAP1
00000306: PUSH1 0x20
00000308: ADD
00000309: SWAP1
0000030a: SWAP2
0000030b: SWAP1
0000030c: DUP1
0000030d: CALLDATALOAD
0000030e: SWAP1
0000030f: PUSH1 0x20
00000311: ADD
00000312: SWAP1
00000313: SWAP2
00000314: SWAP1
00000315: POP
00000316: POP
00000317: PUSH2 0x1493
0000031a: JUMP
0000031b: JUMPDEST
0000031c: STOP
0000031d: JUMPDEST
0000031e: CALLVALUE
0000031f: ISZERO
00000320: PUSH2 0x0328
00000323: JUMPI
00000324: PUSH1 0x00
00000326: DUP1
00000327: REVERT
00000328: JUMPDEST
00000329: PUSH2 0x0347
0000032c: PUSH1 0x04
0000032e: DUP1
0000032f: DUP1
00000330: CALLDATALOAD
00000331: SWAP1
00000332: PUSH1 0x20
00000334: ADD
00000335: SWAP1
00000336: SWAP2
00000337: SWAP1
00000338: DUP1
00000339: CALLDATALOAD
0000033a: SWAP1
0000033b: PUSH1 0x20
0000033d: ADD
0000033e: SWAP1
0000033f: SWAP2
00000340: SWAP1
00000341: POP
00000342: POP
00000343: PUSH2 0x19b1
00000346: JUMP
00000347: JUMPDEST
00000348: STOP
00000349: JUMPDEST
0000034a: CALLVALUE
0000034b: ISZERO
0000034c: PUSH2 0x0354
0000034f: JUMPI
00000350: PUSH1 0x00
00000352: DUP1
00000353: REVERT
00000354: JUMPDEST
00000355: PUSH2 0x0389
00000358: PUSH1 0x04
0000035a: DUP1
0000035b: DUP1
0000035c: CALLDATALOAD
0000035d: SWAP1
0000035e: PUSH1 0x20
00000360: ADD
00000361: SWAP1
00000362: SWAP2
00000363: SWAP1
00000364: DUP1
00000365: CALLDATALOAD
00000366: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000037b: AND
0000037c: SWAP1
0000037d: PUSH1 0x20
0000037f: ADD
00000380: SWAP1
00000381: SWAP2
00000382: SWAP1
00000383: POP
00000384: POP
00000385: PUSH2 0x1af8
00000388: JUMP
00000389: JUMPDEST
0000038a: STOP
0000038b: JUMPDEST
0000038c: PUSH2 0x03aa
0000038f: PUSH1 0x04
00000391: DUP1
00000392: DUP1
00000393: CALLDATALOAD
00000394: SWAP1
00000395: PUSH1 0x20
00000397: ADD
00000398: SWAP1
00000399: SWAP2
0000039a: SWAP1
0000039b: DUP1
0000039c: CALLDATALOAD
0000039d: SWAP1
0000039e: PUSH1 0x20
000003a0: ADD
000003a1: SWAP1
000003a2: SWAP2
000003a3: SWAP1
000003a4: POP
000003a5: POP
000003a6: PUSH2 0x1c3a
000003a9: JUMP
000003aa: JUMPDEST
000003ab: STOP
000003ac: JUMPDEST
000003ad: CALLVALUE
000003ae: ISZERO
000003af: PUSH2 0x03b7
000003b2: JUMPI
000003b3: PUSH1 0x00
000003b5: DUP1
000003b6: REVERT
000003b7: JUMPDEST
000003b8: PUSH2 0x0481
000003bb: PUSH1 0x04
000003bd: DUP1
000003be: DUP1
000003bf: CALLDATALOAD
000003c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003d5: AND
000003d6: SWAP1
000003d7: PUSH1 0x20
000003d9: ADD
000003da: SWAP1
000003db: SWAP2
000003dc: SWAP1
000003dd: DUP1
000003de: CALLDATALOAD
000003df: SWAP1
000003e0: PUSH1 0x20
000003e2: ADD
000003e3: SWAP1
000003e4: SWAP2
000003e5: SWAP1
000003e6: DUP1
000003e7: CALLDATALOAD
000003e8: SWAP1
000003e9: PUSH1 0x20
000003eb: ADD
000003ec: SWAP1
000003ed: DUP3
000003ee: ADD
000003ef: DUP1
000003f0: CALLDATALOAD
000003f1: SWAP1
000003f2: PUSH1 0x20
000003f4: ADD
000003f5: SWAP1
000003f6: DUP1
000003f7: DUP1
000003f8: PUSH1 0x1f
000003fa: ADD
000003fb: PUSH1 0x20
000003fd: DUP1
000003fe: SWAP2
000003ff: DIV
00000400: MUL
00000401: PUSH1 0x20
00000403: ADD
00000404: PUSH1 0x40
00000406: MLOAD
00000407: SWAP1
00000408: DUP2
00000409: ADD
0000040a: PUSH1 0x40
0000040c: MSTORE
0000040d: DUP1
0000040e: SWAP4
0000040f: SWAP3
00000410: SWAP2
00000411: SWAP1
00000412: DUP2
00000413: DUP2
00000414: MSTORE
00000415: PUSH1 0x20
00000417: ADD
00000418: DUP4
00000419: DUP4
0000041a: DUP1
0000041b: DUP3
0000041c: DUP5
0000041d: CALLDATACOPY
0000041e: DUP3
0000041f: ADD
00000420: SWAP2
00000421: POP
00000422: POP
00000423: POP
00000424: POP
00000425: POP
00000426: POP
00000427: SWAP2
00000428: SWAP1
00000429: DUP1
0000042a: CALLDATALOAD
0000042b: SWAP1
0000042c: PUSH1 0x20
0000042e: ADD
0000042f: SWAP1
00000430: SWAP2
00000431: SWAP1
00000432: DUP1
00000433: CALLDATALOAD
00000434: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000449: AND
0000044a: SWAP1
0000044b: PUSH1 0x20
0000044d: ADD
0000044e: SWAP1
0000044f: SWAP2
00000450: SWAP1
00000451: DUP1
00000452: CALLDATALOAD
00000453: ISZERO
00000454: ISZERO
00000455: SWAP1
00000456: PUSH1 0x20
00000458: ADD
00000459: SWAP1
0000045a: SWAP2
0000045b: SWAP1
0000045c: DUP1
0000045d: CALLDATALOAD
0000045e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000473: AND
00000474: SWAP1
00000475: PUSH1 0x20
00000477: ADD
00000478: SWAP1
00000479: SWAP2
0000047a: SWAP1
0000047b: POP
0000047c: POP
0000047d: PUSH2 0x21de
00000480: JUMP
00000481: JUMPDEST
00000482: PUSH1 0x40
00000484: MLOAD
00000485: DUP1
00000486: DUP3
00000487: DUP2
00000488: MSTORE
00000489: PUSH1 0x20
0000048b: ADD
0000048c: SWAP2
0000048d: POP
0000048e: POP
0000048f: PUSH1 0x40
00000491: MLOAD
00000492: DUP1
00000493: SWAP2
00000494: SUB
00000495: SWAP1
00000496: RETURN
00000497: JUMPDEST
00000498: PUSH2 0x056a
0000049b: PUSH1 0x04
0000049d: DUP1
0000049e: DUP1
0000049f: CALLDATALOAD
000004a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004b5: AND
000004b6: SWAP1
000004b7: PUSH1 0x20
000004b9: ADD
000004ba: SWAP1
000004bb: SWAP2
000004bc: SWAP1
000004bd: DUP1
000004be: CALLDATALOAD
000004bf: SWAP1
000004c0: PUSH1 0x20
000004c2: ADD
000004c3: SWAP1
000004c4: SWAP2
000004c5: SWAP1
000004c6: DUP1
000004c7: CALLDATALOAD
000004c8: SWAP1
000004c9: PUSH1 0x20
000004cb: ADD
000004cc: SWAP1
000004cd: DUP3
000004ce: ADD
000004cf: DUP1
000004d0: CALLDATALOAD
000004d1: SWAP1
000004d2: PUSH1 0x20
000004d4: ADD
000004d5: SWAP1
000004d6: DUP1
000004d7: DUP1
000004d8: PUSH1 0x1f
000004da: ADD
000004db: PUSH1 0x20
000004dd: DUP1
000004de: SWAP2
000004df: DIV
000004e0: MUL
000004e1: PUSH1 0x20
000004e3: ADD
000004e4: PUSH1 0x40
000004e6: MLOAD
000004e7: SWAP1
000004e8: DUP2
000004e9: ADD
000004ea: PUSH1 0x40
000004ec: MSTORE
000004ed: DUP1
000004ee: SWAP4
000004ef: SWAP3
000004f0: SWAP2
000004f1: SWAP1
000004f2: DUP2
000004f3: DUP2
000004f4: MSTORE
000004f5: PUSH1 0x20
000004f7: ADD
000004f8: DUP4
000004f9: DUP4
000004fa: DUP1
000004fb: DUP3
000004fc: DUP5
000004fd: CALLDATACOPY
000004fe: DUP3
000004ff: ADD
00000500: SWAP2
00000501: POP
00000502: POP
00000503: POP
00000504: POP
00000505: POP
00000506: POP
00000507: SWAP2
00000508: SWAP1
00000509: DUP1
0000050a: CALLDATALOAD
0000050b: SWAP1
0000050c: PUSH1 0x20
0000050e: ADD
0000050f: SWAP1
00000510: SWAP2
00000511: SWAP1
00000512: DUP1
00000513: CALLDATALOAD
00000514: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000529: AND
0000052a: SWAP1
0000052b: PUSH1 0x20
0000052d: ADD
0000052e: SWAP1
0000052f: SWAP2
00000530: SWAP1
00000531: DUP1
00000532: CALLDATALOAD
00000533: ISZERO
00000534: ISZERO
00000535: SWAP1
00000536: PUSH1 0x20
00000538: ADD
00000539: SWAP1
0000053a: SWAP2
0000053b: SWAP1
0000053c: DUP1
0000053d: CALLDATALOAD
0000053e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000553: AND
00000554: SWAP1
00000555: PUSH1 0x20
00000557: ADD
00000558: SWAP1
00000559: SWAP2
0000055a: SWAP1
0000055b: DUP1
0000055c: CALLDATALOAD
0000055d: SWAP1
0000055e: PUSH1 0x20
00000560: ADD
00000561: SWAP1
00000562: SWAP2
00000563: SWAP1
00000564: POP
00000565: POP
00000566: PUSH2 0x2483
00000569: JUMP
0000056a: JUMPDEST
0000056b: PUSH1 0x40
0000056d: MLOAD
0000056e: DUP1
0000056f: DUP3
00000570: DUP2
00000571: MSTORE
00000572: PUSH1 0x20
00000574: ADD
00000575: SWAP2
00000576: POP
00000577: POP
00000578: PUSH1 0x40
0000057a: MLOAD
0000057b: DUP1
0000057c: SWAP2
0000057d: SUB
0000057e: SWAP1
0000057f: RETURN
00000580: JUMPDEST
00000581: CALLVALUE
00000582: ISZERO
00000583: PUSH2 0x058b
00000586: JUMPI
00000587: PUSH1 0x00
00000589: DUP1
0000058a: REVERT
0000058b: JUMPDEST
0000058c: PUSH2 0x05a1
0000058f: PUSH1 0x04
00000591: DUP1
00000592: DUP1
00000593: CALLDATALOAD
00000594: SWAP1
00000595: PUSH1 0x20
00000597: ADD
00000598: SWAP1
00000599: SWAP2
0000059a: SWAP1
0000059b: POP
0000059c: POP
0000059d: PUSH2 0x2966
000005a0: JUMP
000005a1: JUMPDEST
000005a2: PUSH1 0x40
000005a4: MLOAD
000005a5: DUP1
000005a6: DUP3
000005a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005bc: AND
000005bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005d2: AND
000005d3: DUP2
000005d4: MSTORE
000005d5: PUSH1 0x20
000005d7: ADD
000005d8: SWAP2
000005d9: POP
000005da: POP
000005db: PUSH1 0x40
000005dd: MLOAD
000005de: DUP1
000005df: SWAP2
000005e0: SUB
000005e1: SWAP1
000005e2: RETURN
000005e3: JUMPDEST
000005e4: PUSH2 0x0602
000005e7: PUSH1 0x04
000005e9: DUP1
000005ea: DUP1
000005eb: CALLDATALOAD
000005ec: SWAP1
000005ed: PUSH1 0x20
000005ef: ADD
000005f0: SWAP1
000005f1: SWAP2
000005f2: SWAP1
000005f3: DUP1
000005f4: CALLDATALOAD
000005f5: SWAP1
000005f6: PUSH1 0x20
000005f8: ADD
000005f9: SWAP1
000005fa: SWAP2
000005fb: SWAP1
000005fc: POP
000005fd: POP
000005fe: PUSH2 0x29c5
00000601: JUMP
00000602: JUMPDEST
00000603: STOP
00000604: JUMPDEST
00000605: CALLVALUE
00000606: ISZERO
00000607: PUSH2 0x060f
0000060a: JUMPI
0000060b: PUSH1 0x00
0000060d: DUP1
0000060e: REVERT
0000060f: JUMPDEST
00000610: PUSH2 0x0617
00000613: PUSH2 0x2e8e
00000616: JUMP
00000617: JUMPDEST
00000618: PUSH1 0x40
0000061a: MLOAD
0000061b: DUP1
0000061c: DUP3
0000061d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000632: AND
00000633: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000648: AND
00000649: DUP2
0000064a: MSTORE
0000064b: PUSH1 0x20
0000064d: ADD
0000064e: SWAP2
0000064f: POP
00000650: POP
00000651: PUSH1 0x40
00000653: MLOAD
00000654: DUP1
00000655: SWAP2
00000656: SUB
00000657: SWAP1
00000658: RETURN
00000659: JUMPDEST
0000065a: CALLVALUE
0000065b: ISZERO
0000065c: PUSH2 0x0664
0000065f: JUMPI
00000660: PUSH1 0x00
00000662: DUP1
00000663: REVERT
00000664: JUMPDEST
00000665: PUSH2 0x067a
00000668: PUSH1 0x04
0000066a: DUP1
0000066b: DUP1
0000066c: CALLDATALOAD
0000066d: SWAP1
0000066e: PUSH1 0x20
00000670: ADD
00000671: SWAP1
00000672: SWAP2
00000673: SWAP1
00000674: POP
00000675: POP
00000676: PUSH2 0x2eb3
00000679: JUMP
0000067a: JUMPDEST
0000067b: PUSH1 0x40
0000067d: MLOAD
0000067e: DUP1
0000067f: DUP1
00000680: PUSH1 0x20
00000682: ADD
00000683: DUP3
00000684: DUP2
00000685: SUB
00000686: DUP3
00000687: MSTORE
00000688: DUP4
00000689: DUP2
0000068a: DUP2
0000068b: MLOAD
0000068c: DUP2
0000068d: MSTORE
0000068e: PUSH1 0x20
00000690: ADD
00000691: SWAP2
00000692: POP
00000693: DUP1
00000694: MLOAD
00000695: SWAP1
00000696: PUSH1 0x20
00000698: ADD
00000699: SWAP1
0000069a: DUP1
0000069b: DUP4
0000069c: DUP4
0000069d: PUSH1 0x00
0000069f: JUMPDEST
000006a0: DUP4
000006a1: DUP2
000006a2: LT
000006a3: ISZERO
000006a4: PUSH2 0x06ba
000006a7: JUMPI
000006a8: DUP1
000006a9: DUP3
000006aa: ADD
000006ab: MLOAD
000006ac: DUP2
000006ad: DUP5
000006ae: ADD
000006af: MSTORE
000006b0: PUSH1 0x20
000006b2: DUP2
000006b3: ADD
000006b4: SWAP1
000006b5: POP
000006b6: PUSH2 0x069f
000006b9: JUMP
000006ba: JUMPDEST
000006bb: POP
000006bc: POP
000006bd: POP
000006be: POP
000006bf: SWAP1
000006c0: POP
000006c1: SWAP1
000006c2: DUP2
000006c3: ADD
000006c4: SWAP1
000006c5: PUSH1 0x1f
000006c7: AND
000006c8: DUP1
000006c9: ISZERO
000006ca: PUSH2 0x06e7
000006cd: JUMPI
000006ce: DUP1
000006cf: DUP3
000006d0: SUB
000006d1: DUP1
000006d2: MLOAD
000006d3: PUSH1 0x01
000006d5: DUP4
000006d6: PUSH1 0x20
000006d8: SUB
000006d9: PUSH2 0x0100
000006dc: EXP
000006dd: SUB
000006de: NOT
000006df: AND
000006e0: DUP2
000006e1: MSTORE
000006e2: PUSH1 0x20
000006e4: ADD
000006e5: SWAP2
000006e6: POP
000006e7: JUMPDEST
000006e8: POP
000006e9: SWAP3
000006ea: POP
000006eb: POP
000006ec: POP
000006ed: PUSH1 0x40
000006ef: MLOAD
000006f0: DUP1
000006f1: SWAP2
000006f2: SUB
000006f3: SWAP1
000006f4: RETURN
000006f5: JUMPDEST
000006f6: CALLVALUE
000006f7: ISZERO
000006f8: PUSH2 0x0700
000006fb: JUMPI
000006fc: PUSH1 0x00
000006fe: DUP1
000006ff: REVERT
00000700: JUMPDEST
00000701: PUSH2 0x071f
00000704: PUSH1 0x04
00000706: DUP1
00000707: DUP1
00000708: CALLDATALOAD
00000709: SWAP1
0000070a: PUSH1 0x20
0000070c: ADD
0000070d: SWAP1
0000070e: SWAP2
0000070f: SWAP1
00000710: DUP1
00000711: CALLDATALOAD
00000712: SWAP1
00000713: PUSH1 0x20
00000715: ADD
00000716: SWAP1
00000717: SWAP2
00000718: SWAP1
00000719: POP
0000071a: POP
0000071b: PUSH2 0x2f90
0000071e: JUMP
0000071f: JUMPDEST
00000720: PUSH1 0x40
00000722: MLOAD
00000723: DUP1
00000724: DUP5
00000725: ISZERO
00000726: ISZERO
00000727: ISZERO
00000728: ISZERO
00000729: DUP2
0000072a: MSTORE
0000072b: PUSH1 0x20
0000072d: ADD
0000072e: DUP4
0000072f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000744: AND
00000745: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000075a: AND
0000075b: DUP2
0000075c: MSTORE
0000075d: PUSH1 0x20
0000075f: ADD
00000760: DUP1
00000761: PUSH1 0x20
00000763: ADD
00000764: DUP3
00000765: DUP2
00000766: SUB
00000767: DUP3
00000768: MSTORE
00000769: DUP4
0000076a: DUP2
0000076b: DUP2
0000076c: MLOAD
0000076d: DUP2
0000076e: MSTORE
0000076f: PUSH1 0x20
00000771: ADD
00000772: SWAP2
00000773: POP
00000774: DUP1
00000775: MLOAD
00000776: SWAP1
00000777: PUSH1 0x20
00000779: ADD
0000077a: SWAP1
0000077b: DUP1
0000077c: DUP4
0000077d: DUP4
0000077e: PUSH1 0x00
00000780: JUMPDEST
00000781: DUP4
00000782: DUP2
00000783: LT
00000784: ISZERO
00000785: PUSH2 0x079b
00000788: JUMPI
00000789: DUP1
0000078a: DUP3
0000078b: ADD
0000078c: MLOAD
0000078d: DUP2
0000078e: DUP5
0000078f: ADD
00000790: MSTORE
00000791: PUSH1 0x20
00000793: DUP2
00000794: ADD
00000795: SWAP1
00000796: POP
00000797: PUSH2 0x0780
0000079a: JUMP
0000079b: JUMPDEST
0000079c: POP
0000079d: POP
0000079e: POP
0000079f: POP
000007a0: SWAP1
000007a1: POP
000007a2: SWAP1
000007a3: DUP2
000007a4: ADD
000007a5: SWAP1
000007a6: PUSH1 0x1f
000007a8: AND
000007a9: DUP1
000007aa: ISZERO
000007ab: PUSH2 0x07c8
000007ae: JUMPI
000007af: DUP1
000007b0: DUP3
000007b1: SUB
000007b2: DUP1
000007b3: MLOAD
000007b4: PUSH1 0x01
000007b6: DUP4
000007b7: PUSH1 0x20
000007b9: SUB
000007ba: PUSH2 0x0100
000007bd: EXP
000007be: SUB
000007bf: NOT
000007c0: AND
000007c1: DUP2
000007c2: MSTORE
000007c3: PUSH1 0x20
000007c5: ADD
000007c6: SWAP2
000007c7: POP
000007c8: JUMPDEST
000007c9: POP
000007ca: SWAP5
000007cb: POP
000007cc: POP
000007cd: POP
000007ce: POP
000007cf: POP
000007d0: PUSH1 0x40
000007d2: MLOAD
000007d3: DUP1
000007d4: SWAP2
000007d5: SUB
000007d6: SWAP1
000007d7: RETURN
000007d8: JUMPDEST
000007d9: CALLVALUE
000007da: ISZERO
000007db: PUSH2 0x07e3
000007de: JUMPI
000007df: PUSH1 0x00
000007e1: DUP1
000007e2: REVERT
000007e3: JUMPDEST
000007e4: PUSH2 0x0818
000007e7: PUSH1 0x04
000007e9: DUP1
000007ea: DUP1
000007eb: CALLDATALOAD
000007ec: SWAP1
000007ed: PUSH1 0x20
000007ef: ADD
000007f0: SWAP1
000007f1: SWAP2
000007f2: SWAP1
000007f3: DUP1
000007f4: CALLDATALOAD
000007f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000080a: AND
0000080b: SWAP1
0000080c: PUSH1 0x20
0000080e: ADD
0000080f: SWAP1
00000810: SWAP2
00000811: SWAP1
00000812: POP
00000813: POP
00000814: PUSH2 0x3143
00000817: JUMP
00000818: JUMPDEST
00000819: STOP
0000081a: JUMPDEST
0000081b: CALLVALUE
0000081c: ISZERO
0000081d: PUSH2 0x0825
00000820: JUMPI
00000821: PUSH1 0x00
00000823: DUP1
00000824: REVERT
00000825: JUMPDEST
00000826: PUSH2 0x0844
00000829: PUSH1 0x04
0000082b: DUP1
0000082c: DUP1
0000082d: CALLDATALOAD
0000082e: SWAP1
0000082f: PUSH1 0x20
00000831: ADD
00000832: SWAP1
00000833: SWAP2
00000834: SWAP1
00000835: DUP1
00000836: CALLDATALOAD
00000837: SWAP1
00000838: PUSH1 0x20
0000083a: ADD
0000083b: SWAP1
0000083c: SWAP2
0000083d: SWAP1
0000083e: POP
0000083f: POP
00000840: PUSH2 0x32c4
00000843: JUMP
00000844: JUMPDEST
00000845: STOP
00000846: JUMPDEST
00000847: CALLVALUE
00000848: ISZERO
00000849: PUSH2 0x0851
0000084c: JUMPI
0000084d: PUSH1 0x00
0000084f: DUP1
00000850: REVERT
00000851: JUMPDEST
00000852: PUSH2 0x0870
00000855: PUSH1 0x04
00000857: DUP1
00000858: DUP1
00000859: CALLDATALOAD
0000085a: SWAP1
0000085b: PUSH1 0x20
0000085d: ADD
0000085e: SWAP1
0000085f: SWAP2
00000860: SWAP1
00000861: DUP1
00000862: CALLDATALOAD
00000863: SWAP1
00000864: PUSH1 0x20
00000866: ADD
00000867: SWAP1
00000868: SWAP2
00000869: SWAP1
0000086a: POP
0000086b: POP
0000086c: PUSH2 0x341b
0000086f: JUMP
00000870: JUMPDEST
00000871: STOP
00000872: JUMPDEST
00000873: CALLVALUE
00000874: ISZERO
00000875: PUSH2 0x087d
00000878: JUMPI
00000879: PUSH1 0x00
0000087b: DUP1
0000087c: REVERT
0000087d: JUMPDEST
0000087e: PUSH2 0x0893
00000881: PUSH1 0x04
00000883: DUP1
00000884: DUP1
00000885: CALLDATALOAD
00000886: SWAP1
00000887: PUSH1 0x20
00000889: ADD
0000088a: SWAP1
0000088b: SWAP2
0000088c: SWAP1
0000088d: POP
0000088e: POP
0000088f: PUSH2 0x3a2c
00000892: JUMP
00000893: JUMPDEST
00000894: PUSH1 0x40
00000896: MLOAD
00000897: DUP1
00000898: DUP10
00000899: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ae: AND
000008af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008c4: AND
000008c5: DUP2
000008c6: MSTORE
000008c7: PUSH1 0x20
000008c9: ADD
000008ca: DUP9
000008cb: DUP2
000008cc: MSTORE
000008cd: PUSH1 0x20
000008cf: ADD
000008d0: DUP1
000008d1: PUSH1 0x20
000008d3: ADD
000008d4: DUP8
000008d5: DUP2
000008d6: MSTORE
000008d7: PUSH1 0x20
000008d9: ADD
000008da: DUP7
000008db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008f0: AND
000008f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000906: AND
00000907: DUP2
00000908: MSTORE
00000909: PUSH1 0x20
0000090b: ADD
0000090c: DUP6
0000090d: ISZERO
0000090e: ISZERO
0000090f: ISZERO
00000910: ISZERO
00000911: DUP2
00000912: MSTORE
00000913: PUSH1 0x20
00000915: ADD
00000916: DUP5
00000917: PUSH1 0x02
00000919: DUP2
0000091a: GT
0000091b: ISZERO
0000091c: PUSH2 0x0921
0000091f: JUMPI
00000920: INVALID
00000921: JUMPDEST
00000922: PUSH1 0xff
00000924: AND
00000925: DUP2
00000926: MSTORE
00000927: PUSH1 0x20
00000929: ADD
0000092a: DUP4
0000092b: DUP2
0000092c: MSTORE
0000092d: PUSH1 0x20
0000092f: ADD
00000930: DUP3
00000931: DUP2
00000932: SUB
00000933: DUP3
00000934: MSTORE
00000935: DUP9
00000936: DUP2
00000937: DUP2
00000938: SLOAD
00000939: PUSH1 0x01
0000093b: DUP2
0000093c: PUSH1 0x01
0000093e: AND
0000093f: ISZERO
00000940: PUSH2 0x0100
00000943: MUL
00000944: SUB
00000945: AND
00000946: PUSH1 0x02
00000948: SWAP1
00000949: DIV
0000094a: DUP2
0000094b: MSTORE
0000094c: PUSH1 0x20
0000094e: ADD
0000094f: SWAP2
00000950: POP
00000951: DUP1
00000952: SLOAD
00000953: PUSH1 0x01
00000955: DUP2
00000956: PUSH1 0x01
00000958: AND
00000959: ISZERO
0000095a: PUSH2 0x0100
0000095d: MUL
0000095e: SUB
0000095f: AND
00000960: PUSH1 0x02
00000962: SWAP1
00000963: DIV
00000964: DUP1
00000965: ISZERO
00000966: PUSH2 0x09b0
00000969: JUMPI
0000096a: DUP1
0000096b: PUSH1 0x1f
0000096d: LT
0000096e: PUSH2 0x0985
00000971: JUMPI
00000972: PUSH2 0x0100
00000975: DUP1
00000976: DUP4
00000977: SLOAD
00000978: DIV
00000979: MUL
0000097a: DUP4
0000097b: MSTORE
0000097c: SWAP2
0000097d: PUSH1 0x20
0000097f: ADD
00000980: SWAP2
00000981: PUSH2 0x09b0
00000984: JUMP
00000985: JUMPDEST
00000986: DUP3
00000987: ADD
00000988: SWAP2
00000989: SWAP1
0000098a: PUSH1 0x00
0000098c: MSTORE
0000098d: PUSH1 0x20
0000098f: PUSH1 0x00
00000991: KECCAK256
00000992: SWAP1
00000993: JUMPDEST
00000994: DUP2
00000995: SLOAD
00000996: DUP2
00000997: MSTORE
00000998: SWAP1
00000999: PUSH1 0x01
0000099b: ADD
0000099c: SWAP1
0000099d: PUSH1 0x20
0000099f: ADD
000009a0: DUP1
000009a1: DUP4
000009a2: GT
000009a3: PUSH2 0x0993
000009a6: JUMPI
000009a7: DUP3
000009a8: SWAP1
000009a9: SUB
000009aa: PUSH1 0x1f
000009ac: AND
000009ad: DUP3
000009ae: ADD
000009af: SWAP2
000009b0: JUMPDEST
000009b1: POP
000009b2: POP
000009b3: SWAP10
000009b4: POP
000009b5: POP
000009b6: POP
000009b7: POP
000009b8: POP
000009b9: POP
000009ba: POP
000009bb: POP
000009bc: POP
000009bd: POP
000009be: PUSH1 0x40
000009c0: MLOAD
000009c1: DUP1
000009c2: SWAP2
000009c3: SUB
000009c4: SWAP1
000009c5: RETURN
000009c6: JUMPDEST
000009c7: CALLVALUE
000009c8: ISZERO
000009c9: PUSH2 0x09d1
000009cc: JUMPI
000009cd: PUSH1 0x00
000009cf: DUP1
000009d0: REVERT
000009d1: JUMPDEST
000009d2: PUSH2 0x09e7
000009d5: PUSH1 0x04
000009d7: DUP1
000009d8: DUP1
000009d9: CALLDATALOAD
000009da: SWAP1
000009db: PUSH1 0x20
000009dd: ADD
000009de: SWAP1
000009df: SWAP2
000009e0: SWAP1
000009e1: POP
000009e2: POP
000009e3: PUSH2 0x3adc
000009e6: JUMP
000009e7: JUMPDEST
000009e8: PUSH1 0x40
000009ea: MLOAD
000009eb: DUP1
000009ec: DUP8
000009ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a02: AND
00000a03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a18: AND
00000a19: DUP2
00000a1a: MSTORE
00000a1b: PUSH1 0x20
00000a1d: ADD
00000a1e: DUP7
00000a1f: DUP2
00000a20: MSTORE
00000a21: PUSH1 0x20
00000a23: ADD
00000a24: DUP6
00000a25: DUP2
00000a26: MSTORE
00000a27: PUSH1 0x20
00000a29: ADD
00000a2a: DUP5
00000a2b: ISZERO
00000a2c: ISZERO
00000a2d: ISZERO
00000a2e: ISZERO
00000a2f: DUP2
00000a30: MSTORE
00000a31: PUSH1 0x20
00000a33: ADD
00000a34: DUP4
00000a35: DUP2
00000a36: MSTORE
00000a37: PUSH1 0x20
00000a39: ADD
00000a3a: DUP3
00000a3b: DUP2
00000a3c: MSTORE
00000a3d: PUSH1 0x20
00000a3f: ADD
00000a40: SWAP7
00000a41: POP
00000a42: POP
00000a43: POP
00000a44: POP
00000a45: POP
00000a46: POP
00000a47: POP
00000a48: PUSH1 0x40
00000a4a: MLOAD
00000a4b: DUP1
00000a4c: SWAP2
00000a4d: SUB
00000a4e: SWAP1
00000a4f: RETURN
00000a50: JUMPDEST
00000a51: CALLVALUE
00000a52: ISZERO
00000a53: PUSH2 0x0a5b
00000a56: JUMPI
00000a57: PUSH1 0x00
00000a59: DUP1
00000a5a: REVERT
00000a5b: JUMPDEST
00000a5c: PUSH2 0x0ab4
00000a5f: PUSH1 0x04
00000a61: DUP1
00000a62: DUP1
00000a63: CALLDATALOAD
00000a64: SWAP1
00000a65: PUSH1 0x20
00000a67: ADD
00000a68: SWAP1
00000a69: SWAP2
00000a6a: SWAP1
00000a6b: DUP1
00000a6c: CALLDATALOAD
00000a6d: SWAP1
00000a6e: PUSH1 0x20
00000a70: ADD
00000a71: SWAP1
00000a72: DUP3
00000a73: ADD
00000a74: DUP1
00000a75: CALLDATALOAD
00000a76: SWAP1
00000a77: PUSH1 0x20
00000a79: ADD
00000a7a: SWAP1
00000a7b: DUP1
00000a7c: DUP1
00000a7d: PUSH1 0x1f
00000a7f: ADD
00000a80: PUSH1 0x20
00000a82: DUP1
00000a83: SWAP2
00000a84: DIV
00000a85: MUL
00000a86: PUSH1 0x20
00000a88: ADD
00000a89: PUSH1 0x40
00000a8b: MLOAD
00000a8c: SWAP1
00000a8d: DUP2
00000a8e: ADD
00000a8f: PUSH1 0x40
00000a91: MSTORE
00000a92: DUP1
00000a93: SWAP4
00000a94: SWAP3
00000a95: SWAP2
00000a96: SWAP1
00000a97: DUP2
00000a98: DUP2
00000a99: MSTORE
00000a9a: PUSH1 0x20
00000a9c: ADD
00000a9d: DUP4
00000a9e: DUP4
00000a9f: DUP1
00000aa0: DUP3
00000aa1: DUP5
00000aa2: CALLDATACOPY
00000aa3: DUP3
00000aa4: ADD
00000aa5: SWAP2
00000aa6: POP
00000aa7: POP
00000aa8: POP
00000aa9: POP
00000aaa: POP
00000aab: POP
00000aac: SWAP2
00000aad: SWAP1
00000aae: POP
00000aaf: POP
00000ab0: PUSH2 0x3c1a
00000ab3: JUMP
00000ab4: JUMPDEST
00000ab5: STOP
00000ab6: JUMPDEST
00000ab7: CALLVALUE
00000ab8: ISZERO
00000ab9: PUSH2 0x0ac1
00000abc: JUMPI
00000abd: PUSH1 0x00
00000abf: DUP1
00000ac0: REVERT
00000ac1: JUMPDEST
00000ac2: PUSH2 0x0ad7
00000ac5: PUSH1 0x04
00000ac7: DUP1
00000ac8: DUP1
00000ac9: CALLDATALOAD
00000aca: SWAP1
00000acb: PUSH1 0x20
00000acd: ADD
00000ace: SWAP1
00000acf: SWAP2
00000ad0: SWAP1
00000ad1: POP
00000ad2: POP
00000ad3: PUSH2 0x3d71
00000ad6: JUMP
00000ad7: JUMPDEST
00000ad8: PUSH1 0x40
00000ada: MLOAD
00000adb: DUP1
00000adc: DUP3
00000add: DUP2
00000ade: MSTORE
00000adf: PUSH1 0x20
00000ae1: ADD
00000ae2: SWAP2
00000ae3: POP
00000ae4: POP
00000ae5: PUSH1 0x40
00000ae7: MLOAD
00000ae8: DUP1
00000ae9: SWAP2
00000aea: SUB
00000aeb: SWAP1
00000aec: RETURN
00000aed: JUMPDEST
00000aee: PUSH1 0x00
00000af0: DUP2
00000af1: PUSH1 0x01
00000af3: DUP1
00000af4: SLOAD
00000af5: SWAP1
00000af6: POP
00000af7: DUP2
00000af8: LT
00000af9: ISZERO
00000afa: ISZERO
00000afb: PUSH2 0x0b03
00000afe: JUMPI
00000aff: PUSH1 0x00
00000b01: DUP1
00000b02: REVERT
00000b03: JUMPDEST
00000b04: DUP3
00000b05: PUSH1 0x01
00000b07: DUP2
00000b08: DUP2
00000b09: SLOAD
00000b0a: DUP2
00000b0b: LT
00000b0c: ISZERO
00000b0d: ISZERO
00000b0e: PUSH2 0x0b13
00000b11: JUMPI
00000b12: INVALID
00000b13: JUMPDEST
00000b14: SWAP1
00000b15: PUSH1 0x00
00000b17: MSTORE
00000b18: PUSH1 0x20
00000b1a: PUSH1 0x00
00000b1c: KECCAK256
00000b1d: SWAP1
00000b1e: PUSH1 0x06
00000b20: MUL
00000b21: ADD
00000b22: PUSH1 0x00
00000b24: ADD
00000b25: PUSH1 0x00
00000b27: SWAP1
00000b28: SLOAD
00000b29: SWAP1
00000b2a: PUSH2 0x0100
00000b2d: EXP
00000b2e: SWAP1
00000b2f: DIV
00000b30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b45: AND
00000b46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b5b: AND
00000b5c: CALLER
00000b5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b72: AND
00000b73: EQ
00000b74: ISZERO
00000b75: ISZERO
00000b76: PUSH2 0x0b7e
00000b79: JUMPI
00000b7a: PUSH1 0x00
00000b7c: DUP1
00000b7d: REVERT
00000b7e: JUMPDEST
00000b7f: PUSH2 0x0b89
00000b82: DUP5
00000b83: PUSH1 0x02
00000b85: PUSH2 0x3da6
00000b88: JUMP
00000b89: JUMPDEST
00000b8a: PUSH1 0x01
00000b8c: DUP5
00000b8d: DUP2
00000b8e: SLOAD
00000b8f: DUP2
00000b90: LT
00000b91: ISZERO
00000b92: ISZERO
00000b93: PUSH2 0x0b98
00000b96: JUMPI
00000b97: INVALID
00000b98: JUMPDEST
00000b99: SWAP1
00000b9a: PUSH1 0x00
00000b9c: MSTORE
00000b9d: PUSH1 0x20
00000b9f: PUSH1 0x00
00000ba1: KECCAK256
00000ba2: SWAP1
00000ba3: PUSH1 0x06
00000ba5: MUL
00000ba6: ADD
00000ba7: PUSH1 0x05
00000ba9: ADD
00000baa: SLOAD
00000bab: SWAP3
00000bac: POP
00000bad: PUSH1 0x00
00000baf: PUSH1 0x01
00000bb1: DUP6
00000bb2: DUP2
00000bb3: SLOAD
00000bb4: DUP2
00000bb5: LT
00000bb6: ISZERO
00000bb7: ISZERO
00000bb8: PUSH2 0x0bbd
00000bbb: JUMPI
00000bbc: INVALID
00000bbd: JUMPDEST
00000bbe: SWAP1
00000bbf: PUSH1 0x00
00000bc1: MSTORE
00000bc2: PUSH1 0x20
00000bc4: PUSH1 0x00
00000bc6: KECCAK256
00000bc7: SWAP1
00000bc8: PUSH1 0x06
00000bca: MUL
00000bcb: ADD
00000bcc: PUSH1 0x05
00000bce: ADD
00000bcf: DUP2
00000bd0: SWAP1
00000bd1: SSTORE
00000bd2: POP
00000bd3: PUSH1 0x00
00000bd5: DUP4
00000bd6: GT
00000bd7: ISZERO
00000bd8: PUSH2 0x0dd9
00000bdb: JUMPI
00000bdc: PUSH1 0x01
00000bde: DUP5
00000bdf: DUP2
00000be0: SLOAD
00000be1: DUP2
00000be2: LT
00000be3: ISZERO
00000be4: ISZERO
00000be5: PUSH2 0x0bea
00000be8: JUMPI
00000be9: INVALID
00000bea: JUMPDEST
00000beb: SWAP1
00000bec: PUSH1 0x00
00000bee: MSTORE
00000bef: PUSH1 0x20
00000bf1: PUSH1 0x00
00000bf3: KECCAK256
00000bf4: SWAP1
00000bf5: PUSH1 0x06
00000bf7: MUL
00000bf8: ADD
00000bf9: PUSH1 0x04
00000bfb: ADD
00000bfc: PUSH1 0x14
00000bfe: SWAP1
00000bff: SLOAD
00000c00: SWAP1
00000c01: PUSH2 0x0100
00000c04: EXP
00000c05: SWAP1
00000c06: DIV
00000c07: PUSH1 0xff
00000c09: AND
00000c0a: ISZERO
00000c0b: PUSH2 0x0d57
00000c0e: JUMPI
00000c0f: PUSH1 0x04
00000c11: PUSH1 0x00
00000c13: DUP6
00000c14: DUP2
00000c15: MSTORE
00000c16: PUSH1 0x20
00000c18: ADD
00000c19: SWAP1
00000c1a: DUP2
00000c1b: MSTORE
00000c1c: PUSH1 0x20
00000c1e: ADD
00000c1f: PUSH1 0x00
00000c21: KECCAK256
00000c22: PUSH1 0x00
00000c24: SWAP1
00000c25: SLOAD
00000c26: SWAP1
00000c27: PUSH2 0x0100
00000c2a: EXP
00000c2b: SWAP1
00000c2c: DIV
00000c2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c42: AND
00000c43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c58: AND
00000c59: PUSH4 0xa9059cbb
00000c5e: PUSH1 0x01
00000c60: DUP7
00000c61: DUP2
00000c62: SLOAD
00000c63: DUP2
00000c64: LT
00000c65: ISZERO
00000c66: ISZERO
00000c67: PUSH2 0x0c6c
00000c6a: JUMPI
00000c6b: INVALID
00000c6c: JUMPDEST
00000c6d: SWAP1
00000c6e: PUSH1 0x00
00000c70: MSTORE
00000c71: PUSH1 0x20
00000c73: PUSH1 0x00
00000c75: KECCAK256
00000c76: SWAP1
00000c77: PUSH1 0x06
00000c79: MUL
00000c7a: ADD
00000c7b: PUSH1 0x00
00000c7d: ADD
00000c7e: PUSH1 0x00
00000c80: SWAP1
00000c81: SLOAD
00000c82: SWAP1
00000c83: PUSH2 0x0100
00000c86: EXP
00000c87: SWAP1
00000c88: DIV
00000c89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c9e: AND
00000c9f: DUP6
00000ca0: PUSH1 0x00
00000ca2: PUSH1 0x40
00000ca4: MLOAD
00000ca5: PUSH1 0x20
00000ca7: ADD
00000ca8: MSTORE
00000ca9: PUSH1 0x40
00000cab: MLOAD
00000cac: DUP4
00000cad: PUSH4 0xffffffff
00000cb2: AND
00000cb3: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000cd1: MUL
00000cd2: DUP2
00000cd3: MSTORE
00000cd4: PUSH1 0x04
00000cd6: ADD
00000cd7: DUP1
00000cd8: DUP4
00000cd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cee: AND
00000cef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d04: AND
00000d05: DUP2
00000d06: MSTORE
00000d07: PUSH1 0x20
00000d09: ADD
00000d0a: DUP3
00000d0b: DUP2
00000d0c: MSTORE
00000d0d: PUSH1 0x20
00000d0f: ADD
00000d10: SWAP3
00000d11: POP
00000d12: POP
00000d13: POP
00000d14: PUSH1 0x20
00000d16: PUSH1 0x40
00000d18: MLOAD
00000d19: DUP1
00000d1a: DUP4
00000d1b: SUB
00000d1c: DUP2
00000d1d: PUSH1 0x00
00000d1f: DUP8
00000d20: DUP1
00000d21: EXTCODESIZE
00000d22: ISZERO
00000d23: ISZERO
00000d24: PUSH2 0x0d2c
00000d27: JUMPI
00000d28: PUSH1 0x00
00000d2a: DUP1
00000d2b: REVERT
00000d2c: JUMPDEST
00000d2d: PUSH2 0x02c6
00000d30: GAS
00000d31: SUB
00000d32: CALL
00000d33: ISZERO
00000d34: ISZERO
00000d35: PUSH2 0x0d3d
00000d38: JUMPI
00000d39: PUSH1 0x00
00000d3b: DUP1
00000d3c: REVERT
00000d3d: JUMPDEST
00000d3e: POP
00000d3f: POP
00000d40: POP
00000d41: PUSH1 0x40
00000d43: MLOAD
00000d44: DUP1
00000d45: MLOAD
00000d46: SWAP1
00000d47: POP
00000d48: ISZERO
00000d49: ISZERO
00000d4a: PUSH2 0x0d52
00000d4d: JUMPI
00000d4e: PUSH1 0x00
00000d50: DUP1
00000d51: REVERT
00000d52: JUMPDEST
00000d53: PUSH2 0x0dd8
00000d56: JUMP
00000d57: JUMPDEST
00000d58: PUSH1 0x01
00000d5a: DUP5
00000d5b: DUP2
00000d5c: SLOAD
00000d5d: DUP2
00000d5e: LT
00000d5f: ISZERO
00000d60: ISZERO
00000d61: PUSH2 0x0d66
00000d64: JUMPI
00000d65: INVALID
00000d66: JUMPDEST
00000d67: SWAP1
00000d68: PUSH1 0x00
00000d6a: MSTORE
00000d6b: PUSH1 0x20
00000d6d: PUSH1 0x00
00000d6f: KECCAK256
00000d70: SWAP1
00000d71: PUSH1 0x06
00000d73: MUL
00000d74: ADD
00000d75: PUSH1 0x00
00000d77: ADD
00000d78: PUSH1 0x00
00000d7a: SWAP1
00000d7b: SLOAD
00000d7c: SWAP1
00000d7d: PUSH2 0x0100
00000d80: EXP
00000d81: SWAP1
00000d82: DIV
00000d83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d98: AND
00000d99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dae: AND
00000daf: PUSH2 0x08fc
00000db2: DUP5
00000db3: SWAP1
00000db4: DUP2
00000db5: ISZERO
00000db6: MUL
00000db7: SWAP1
00000db8: PUSH1 0x40
00000dba: MLOAD
00000dbb: PUSH1 0x00
00000dbd: PUSH1 0x40
00000dbf: MLOAD
00000dc0: DUP1
00000dc1: DUP4
00000dc2: SUB
00000dc3: DUP2
00000dc4: DUP6
00000dc5: DUP9
00000dc6: DUP9
00000dc7: CALL
00000dc8: SWAP4
00000dc9: POP
00000dca: POP
00000dcb: POP
00000dcc: POP
00000dcd: ISZERO
00000dce: ISZERO
00000dcf: PUSH2 0x0dd7
00000dd2: JUMPI
00000dd3: PUSH1 0x00
00000dd5: DUP1
00000dd6: REVERT
00000dd7: JUMPDEST
00000dd8: JUMPDEST
00000dd9: JUMPDEST
00000dda: CALLER
00000ddb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df0: AND
00000df1: PUSH32 0x1b5171f0f6cd238c5b76b002b28e5c29dc3864174e7ed7f168b5e6373196d901
00000e12: DUP6
00000e13: PUSH1 0x40
00000e15: MLOAD
00000e16: DUP1
00000e17: DUP3
00000e18: DUP2
00000e19: MSTORE
00000e1a: PUSH1 0x20
00000e1c: ADD
00000e1d: SWAP2
00000e1e: POP
00000e1f: POP
00000e20: PUSH1 0x40
00000e22: MLOAD
00000e23: DUP1
00000e24: SWAP2
00000e25: SUB
00000e26: SWAP1
00000e27: LOG2
00000e28: POP
00000e29: POP
00000e2a: POP
00000e2b: POP
00000e2c: JUMP
00000e2d: JUMPDEST
00000e2e: PUSH1 0x00
00000e30: DUP2
00000e31: PUSH1 0x01
00000e33: DUP1
00000e34: SLOAD
00000e35: SWAP1
00000e36: POP
00000e37: DUP2
00000e38: LT
00000e39: ISZERO
00000e3a: ISZERO
00000e3b: PUSH2 0x0e43
00000e3e: JUMPI
00000e3f: PUSH1 0x00
00000e41: DUP1
00000e42: REVERT
00000e43: JUMPDEST
00000e44: PUSH1 0x04
00000e46: PUSH1 0x00
00000e48: DUP5
00000e49: DUP2
00000e4a: MSTORE
00000e4b: PUSH1 0x20
00000e4d: ADD
00000e4e: SWAP1
00000e4f: DUP2
00000e50: MSTORE
00000e51: PUSH1 0x20
00000e53: ADD
00000e54: PUSH1 0x00
00000e56: KECCAK256
00000e57: PUSH1 0x00
00000e59: SWAP1
00000e5a: SLOAD
00000e5b: SWAP1
00000e5c: PUSH2 0x0100
00000e5f: EXP
00000e60: SWAP1
00000e61: DIV
00000e62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e77: AND
00000e78: SWAP2
00000e79: POP
00000e7a: POP
00000e7b: SWAP2
00000e7c: SWAP1
00000e7d: POP
00000e7e: JUMP
00000e7f: JUMPDEST
00000e80: DUP2
00000e81: PUSH1 0x01
00000e83: DUP1
00000e84: SLOAD
00000e85: SWAP1
00000e86: POP
00000e87: DUP2
00000e88: LT
00000e89: ISZERO
00000e8a: ISZERO
00000e8b: PUSH2 0x0e93
00000e8e: JUMPI
00000e8f: PUSH1 0x00
00000e91: DUP1
00000e92: REVERT
00000e93: JUMPDEST
00000e94: DUP3
00000e95: PUSH1 0x02
00000e97: PUSH1 0x00
00000e99: DUP3
00000e9a: DUP2
00000e9b: MSTORE
00000e9c: PUSH1 0x20
00000e9e: ADD
00000e9f: SWAP1
00000ea0: DUP2
00000ea1: MSTORE
00000ea2: PUSH1 0x20
00000ea4: ADD
00000ea5: PUSH1 0x00
00000ea7: KECCAK256
00000ea8: DUP1
00000ea9: SLOAD
00000eaa: SWAP1
00000eab: POP
00000eac: PUSH1 0x01
00000eae: PUSH1 0x02
00000eb0: PUSH1 0x00
00000eb2: DUP5
00000eb3: DUP2
00000eb4: MSTORE
00000eb5: PUSH1 0x20
00000eb7: ADD
00000eb8: SWAP1
00000eb9: DUP2
00000eba: MSTORE
00000ebb: PUSH1 0x20
00000ebd: ADD
00000ebe: PUSH1 0x00
00000ec0: KECCAK256
00000ec1: DUP1
00000ec2: SLOAD
00000ec3: SWAP1
00000ec4: POP
00000ec5: ADD
00000ec6: GT
00000ec7: ISZERO
00000ec8: ISZERO
00000ec9: PUSH2 0x0ed1
00000ecc: JUMPI
00000ecd: PUSH1 0x00
00000ecf: DUP1
00000ed0: REVERT
00000ed1: JUMPDEST
00000ed2: DUP4
00000ed3: PUSH1 0x01
00000ed5: DUP1
00000ed6: PUSH1 0x02
00000ed8: DUP2
00000ed9: GT
00000eda: ISZERO
00000edb: PUSH2 0x0ee0
00000ede: JUMPI
00000edf: INVALID
00000ee0: JUMPDEST
00000ee1: PUSH1 0x01
00000ee3: DUP4
00000ee4: DUP2
00000ee5: SLOAD
00000ee6: DUP2
00000ee7: LT
00000ee8: ISZERO
00000ee9: ISZERO
00000eea: PUSH2 0x0eef
00000eed: JUMPI
00000eee: INVALID
00000eef: JUMPDEST
00000ef0: SWAP1
00000ef1: PUSH1 0x00
00000ef3: MSTORE
00000ef4: PUSH1 0x20
00000ef6: PUSH1 0x00
00000ef8: KECCAK256
00000ef9: SWAP1
00000efa: PUSH1 0x06
00000efc: MUL
00000efd: ADD
00000efe: PUSH1 0x04
00000f00: ADD
00000f01: PUSH1 0x15
00000f03: SWAP1
00000f04: SLOAD
00000f05: SWAP1
00000f06: PUSH2 0x0100
00000f09: EXP
00000f0a: SWAP1
00000f0b: DIV
00000f0c: PUSH1 0xff
00000f0e: AND
00000f0f: PUSH1 0x02
00000f11: DUP2
00000f12: GT
00000f13: ISZERO
00000f14: PUSH2 0x0f19
00000f17: JUMPI
00000f18: INVALID
00000f19: JUMPDEST
00000f1a: EQ
00000f1b: ISZERO
00000f1c: ISZERO
00000f1d: PUSH2 0x0f25
00000f20: JUMPI
00000f21: PUSH1 0x00
00000f23: DUP1
00000f24: REVERT
00000f25: JUMPDEST
00000f26: DUP6
00000f27: PUSH1 0x01
00000f29: DUP2
00000f2a: DUP2
00000f2b: SLOAD
00000f2c: DUP2
00000f2d: LT
00000f2e: ISZERO
00000f2f: ISZERO
00000f30: PUSH2 0x0f35
00000f33: JUMPI
00000f34: INVALID
00000f35: JUMPDEST
00000f36: SWAP1
00000f37: PUSH1 0x00
00000f39: MSTORE
00000f3a: PUSH1 0x20
00000f3c: PUSH1 0x00
00000f3e: KECCAK256
00000f3f: SWAP1
00000f40: PUSH1 0x06
00000f42: MUL
00000f43: ADD
00000f44: PUSH1 0x01
00000f46: ADD
00000f47: SLOAD
00000f48: TIMESTAMP
00000f49: LT
00000f4a: ISZERO
00000f4b: ISZERO
00000f4c: PUSH2 0x0f54
00000f4f: JUMPI
00000f50: PUSH1 0x00
00000f52: DUP1
00000f53: REVERT
00000f54: JUMPDEST
00000f55: DUP7
00000f56: PUSH1 0x01
00000f58: DUP2
00000f59: DUP2
00000f5a: SLOAD
00000f5b: DUP2
00000f5c: LT
00000f5d: ISZERO
00000f5e: ISZERO
00000f5f: PUSH2 0x0f64
00000f62: JUMPI
00000f63: INVALID
00000f64: JUMPDEST
00000f65: SWAP1
00000f66: PUSH1 0x00
00000f68: MSTORE
00000f69: PUSH1 0x20
00000f6b: PUSH1 0x00
00000f6d: KECCAK256
00000f6e: SWAP1
00000f6f: PUSH1 0x06
00000f71: MUL
00000f72: ADD
00000f73: PUSH1 0x00
00000f75: ADD
00000f76: PUSH1 0x00
00000f78: SWAP1
00000f79: SLOAD
00000f7a: SWAP1
00000f7b: PUSH2 0x0100
00000f7e: EXP
00000f7f: SWAP1
00000f80: DIV
00000f81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f96: AND
00000f97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fac: AND
00000fad: CALLER
00000fae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fc3: AND
00000fc4: EQ
00000fc5: ISZERO
00000fc6: DUP1
00000fc7: ISZERO
00000fc8: PUSH2 0x103d
00000fcb: JUMPI
00000fcc: POP
00000fcd: PUSH1 0x01
00000fcf: DUP2
00000fd0: DUP2
00000fd1: SLOAD
00000fd2: DUP2
00000fd3: LT
00000fd4: ISZERO
00000fd5: ISZERO
00000fd6: PUSH2 0x0fdb
00000fd9: JUMPI
00000fda: INVALID
00000fdb: JUMPDEST
00000fdc: SWAP1
00000fdd: PUSH1 0x00
00000fdf: MSTORE
00000fe0: PUSH1 0x20
00000fe2: PUSH1 0x00
00000fe4: KECCAK256
00000fe5: SWAP1
00000fe6: PUSH1 0x06
00000fe8: MUL
00000fe9: ADD
00000fea: PUSH1 0x04
00000fec: ADD
00000fed: PUSH1 0x00
00000fef: SWAP1
00000ff0: SLOAD
00000ff1: SWAP1
00000ff2: PUSH2 0x0100
00000ff5: EXP
00000ff6: SWAP1
00000ff7: DIV
00000ff8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000100d: AND
0000100e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001023: AND
00001024: CALLER
00001025: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000103a: AND
0000103b: EQ
0000103c: ISZERO
0000103d: JUMPDEST
0000103e: ISZERO
0000103f: ISZERO
00001040: PUSH2 0x1048
00001043: JUMPI
00001044: PUSH1 0x00
00001046: DUP1
00001047: REVERT
00001048: JUMPDEST
00001049: PUSH1 0x02
0000104b: PUSH1 0x00
0000104d: DUP10
0000104e: DUP2
0000104f: MSTORE
00001050: PUSH1 0x20
00001052: ADD
00001053: SWAP1
00001054: DUP2
00001055: MSTORE
00001056: PUSH1 0x20
00001058: ADD
00001059: PUSH1 0x00
0000105b: KECCAK256
0000105c: DUP1
0000105d: SLOAD
0000105e: DUP1
0000105f: PUSH1 0x01
00001061: ADD
00001062: DUP3
00001063: DUP2
00001064: PUSH2 0x106d
00001067: SWAP2
00001068: SWAP1
00001069: PUSH2 0x3deb
0000106c: JUMP
0000106d: JUMPDEST
0000106e: SWAP2
0000106f: PUSH1 0x00
00001071: MSTORE
00001072: PUSH1 0x20
00001074: PUSH1 0x00
00001076: KECCAK256
00001077: SWAP1
00001078: PUSH1 0x02
0000107a: MUL
0000107b: ADD
0000107c: PUSH1 0x00
0000107e: PUSH1 0x60
00001080: PUSH1 0x40
00001082: MLOAD
00001083: SWAP1
00001084: DUP2
00001085: ADD
00001086: PUSH1 0x40
00001088: MSTORE
00001089: DUP1
0000108a: PUSH1 0x00
0000108c: ISZERO
0000108d: ISZERO
0000108e: DUP2
0000108f: MSTORE
00001090: PUSH1 0x20
00001092: ADD
00001093: CALLER
00001094: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a9: AND
000010aa: DUP2
000010ab: MSTORE
000010ac: PUSH1 0x20
000010ae: ADD
000010af: DUP12
000010b0: DUP2
000010b1: MSTORE
000010b2: POP
000010b3: SWAP1
000010b4: SWAP2
000010b5: SWAP1
000010b6: SWAP2
000010b7: POP
000010b8: PUSH1 0x00
000010ba: DUP3
000010bb: ADD
000010bc: MLOAD
000010bd: DUP2
000010be: PUSH1 0x00
000010c0: ADD
000010c1: PUSH1 0x00
000010c3: PUSH2 0x0100
000010c6: EXP
000010c7: DUP2
000010c8: SLOAD
000010c9: DUP2
000010ca: PUSH1 0xff
000010cc: MUL
000010cd: NOT
000010ce: AND
000010cf: SWAP1
000010d0: DUP4
000010d1: ISZERO
000010d2: ISZERO
000010d3: MUL
000010d4: OR
000010d5: SWAP1
000010d6: SSTORE
000010d7: POP
000010d8: PUSH1 0x20
000010da: DUP3
000010db: ADD
000010dc: MLOAD
000010dd: DUP2
000010de: PUSH1 0x00
000010e0: ADD
000010e1: PUSH1 0x01
000010e3: PUSH2 0x0100
000010e6: EXP
000010e7: DUP2
000010e8: SLOAD
000010e9: DUP2
000010ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ff: MUL
00001100: NOT
00001101: AND
00001102: SWAP1
00001103: DUP4
00001104: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001119: AND
0000111a: MUL
0000111b: OR
0000111c: SWAP1
0000111d: SSTORE
0000111e: POP
0000111f: PUSH1 0x40
00001121: DUP3
00001122: ADD
00001123: MLOAD
00001124: DUP2
00001125: PUSH1 0x01
00001127: ADD
00001128: SWAP1
00001129: DUP1
0000112a: MLOAD
0000112b: SWAP1
0000112c: PUSH1 0x20
0000112e: ADD
0000112f: SWAP1
00001130: PUSH2 0x113a
00001133: SWAP3
00001134: SWAP2
00001135: SWAP1
00001136: PUSH2 0x3e1d
00001139: JUMP
0000113a: JUMPDEST
0000113b: POP
0000113c: POP
0000113d: POP
0000113e: POP
0000113f: PUSH1 0x01
00001141: PUSH1 0x02
00001143: PUSH1 0x00
00001145: DUP11
00001146: DUP2
00001147: MSTORE
00001148: PUSH1 0x20
0000114a: ADD
0000114b: SWAP1
0000114c: DUP2
0000114d: MSTORE
0000114e: PUSH1 0x20
00001150: ADD
00001151: PUSH1 0x00
00001153: KECCAK256
00001154: DUP1
00001155: SLOAD
00001156: SWAP1
00001157: POP
00001158: SUB
00001159: CALLER
0000115a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000116f: AND
00001170: PUSH32 0xeb70bc86dda3bbb4f37b25318d4737f2641d3e315df2f59a123c5a0619710357
00001191: DUP11
00001192: PUSH1 0x40
00001194: MLOAD
00001195: DUP1
00001196: DUP3
00001197: DUP2
00001198: MSTORE
00001199: PUSH1 0x20
0000119b: ADD
0000119c: SWAP2
0000119d: POP
0000119e: POP
0000119f: PUSH1 0x40
000011a1: MLOAD
000011a2: DUP1
000011a3: SWAP2
000011a4: SUB
000011a5: SWAP1
000011a6: LOG3
000011a7: POP
000011a8: POP
000011a9: POP
000011aa: POP
000011ab: POP
000011ac: POP
000011ad: POP
000011ae: POP
000011af: JUMP
000011b0: JUMPDEST
000011b1: DUP2
000011b2: PUSH1 0x01
000011b4: DUP1
000011b5: SLOAD
000011b6: SWAP1
000011b7: POP
000011b8: DUP2
000011b9: LT
000011ba: ISZERO
000011bb: ISZERO
000011bc: PUSH2 0x11c4
000011bf: JUMPI
000011c0: PUSH1 0x00
000011c2: DUP1
000011c3: REVERT
000011c4: JUMPDEST
000011c5: DUP3
000011c6: PUSH1 0x01
000011c8: DUP2
000011c9: DUP2
000011ca: SLOAD
000011cb: DUP2
000011cc: LT
000011cd: ISZERO
000011ce: ISZERO
000011cf: PUSH2 0x11d4
000011d2: JUMPI
000011d3: INVALID
000011d4: JUMPDEST
000011d5: SWAP1
000011d6: PUSH1 0x00
000011d8: MSTORE
000011d9: PUSH1 0x20
000011db: PUSH1 0x00
000011dd: KECCAK256
000011de: SWAP1
000011df: PUSH1 0x06
000011e1: MUL
000011e2: ADD
000011e3: PUSH1 0x00
000011e5: ADD
000011e6: PUSH1 0x00
000011e8: SWAP1
000011e9: SLOAD
000011ea: SWAP1
000011eb: PUSH2 0x0100
000011ee: EXP
000011ef: SWAP1
000011f0: DIV
000011f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001206: AND
00001207: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000121c: AND
0000121d: CALLER
0000121e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001233: AND
00001234: EQ
00001235: ISZERO
00001236: ISZERO
00001237: PUSH2 0x123f
0000123a: JUMPI
0000123b: PUSH1 0x00
0000123d: DUP1
0000123e: REVERT
0000123f: JUMPDEST
00001240: DUP4
00001241: DUP4
00001242: PUSH1 0x01
00001244: DUP3
00001245: DUP2
00001246: SLOAD
00001247: DUP2
00001248: LT
00001249: ISZERO
0000124a: ISZERO
0000124b: PUSH2 0x1250
0000124e: JUMPI
0000124f: INVALID
00001250: JUMPDEST
00001251: SWAP1
00001252: PUSH1 0x00
00001254: MSTORE
00001255: PUSH1 0x20
00001257: PUSH1 0x00
00001259: KECCAK256
0000125a: SWAP1
0000125b: PUSH1 0x06
0000125d: MUL
0000125e: ADD
0000125f: PUSH1 0x01
00001261: ADD
00001262: SLOAD
00001263: DUP2
00001264: GT
00001265: ISZERO
00001266: ISZERO
00001267: PUSH2 0x126f
0000126a: JUMPI
0000126b: PUSH1 0x00
0000126d: DUP1
0000126e: REVERT
0000126f: JUMPDEST
00001270: DUP5
00001271: PUSH1 0x01
00001273: DUP8
00001274: DUP2
00001275: SLOAD
00001276: DUP2
00001277: LT
00001278: ISZERO
00001279: ISZERO
0000127a: PUSH2 0x127f
0000127d: JUMPI
0000127e: INVALID
0000127f: JUMPDEST
00001280: SWAP1
00001281: PUSH1 0x00
00001283: MSTORE
00001284: PUSH1 0x20
00001286: PUSH1 0x00
00001288: KECCAK256
00001289: SWAP1
0000128a: PUSH1 0x06
0000128c: MUL
0000128d: ADD
0000128e: PUSH1 0x01
00001290: ADD
00001291: DUP2
00001292: SWAP1
00001293: SSTORE
00001294: POP
00001295: PUSH32 0x073d5fd87a7e0c2a384727f9aab2e84826370623aba582638b425a417e799a2c
000012b6: DUP7
000012b7: DUP7
000012b8: PUSH1 0x40
000012ba: MLOAD
000012bb: DUP1
000012bc: DUP4
000012bd: DUP2
000012be: MSTORE
000012bf: PUSH1 0x20
000012c1: ADD
000012c2: DUP3
000012c3: DUP2
000012c4: MSTORE
000012c5: PUSH1 0x20
000012c7: ADD
000012c8: SWAP3
000012c9: POP
000012ca: POP
000012cb: POP
000012cc: PUSH1 0x40
000012ce: MLOAD
000012cf: DUP1
000012d0: SWAP2
000012d1: SUB
000012d2: SWAP1
000012d3: LOG1
000012d4: POP
000012d5: POP
000012d6: POP
000012d7: POP
000012d8: POP
000012d9: POP
000012da: JUMP
000012db: JUMPDEST
000012dc: PUSH1 0x00
000012de: PUSH1 0x01
000012e0: DUP1
000012e1: SLOAD
000012e2: SWAP1
000012e3: POP
000012e4: SWAP1
000012e5: POP
000012e6: SWAP1
000012e7: JUMP
000012e8: JUMPDEST
000012e9: DUP3
000012ea: PUSH1 0x01
000012ec: DUP1
000012ed: SLOAD
000012ee: SWAP1
000012ef: POP
000012f0: DUP2
000012f1: LT
000012f2: ISZERO
000012f3: ISZERO
000012f4: PUSH2 0x12fc
000012f7: JUMPI
000012f8: PUSH1 0x00
000012fa: DUP1
000012fb: REVERT
000012fc: JUMPDEST
000012fd: DUP4
000012fe: DUP4
000012ff: PUSH1 0x02
00001301: PUSH1 0x00
00001303: DUP4
00001304: DUP2
00001305: MSTORE
00001306: PUSH1 0x20
00001308: ADD
00001309: SWAP1
0000130a: DUP2
0000130b: MSTORE
0000130c: PUSH1 0x20
0000130e: ADD
0000130f: PUSH1 0x00
00001311: KECCAK256
00001312: DUP1
00001313: SLOAD
00001314: SWAP1
00001315: POP
00001316: DUP2
00001317: LT
00001318: ISZERO
00001319: ISZERO
0000131a: PUSH2 0x1322
0000131d: JUMPI
0000131e: PUSH1 0x00
00001320: DUP1
00001321: REVERT
00001322: JUMPDEST
00001323: DUP6
00001324: DUP6
00001325: PUSH1 0x02
00001327: PUSH1 0x00
00001329: DUP4
0000132a: DUP2
0000132b: MSTORE
0000132c: PUSH1 0x20
0000132e: ADD
0000132f: SWAP1
00001330: DUP2
00001331: MSTORE
00001332: PUSH1 0x20
00001334: ADD
00001335: PUSH1 0x00
00001337: KECCAK256
00001338: DUP2
00001339: DUP2
0000133a: SLOAD
0000133b: DUP2
0000133c: LT
0000133d: ISZERO
0000133e: ISZERO
0000133f: PUSH2 0x1344
00001342: JUMPI
00001343: INVALID
00001344: JUMPDEST
00001345: SWAP1
00001346: PUSH1 0x00
00001348: MSTORE
00001349: PUSH1 0x20
0000134b: PUSH1 0x00
0000134d: KECCAK256
0000134e: SWAP1
0000134f: PUSH1 0x02
00001351: MUL
00001352: ADD
00001353: PUSH1 0x00
00001355: ADD
00001356: PUSH1 0x01
00001358: SWAP1
00001359: SLOAD
0000135a: SWAP1
0000135b: PUSH2 0x0100
0000135e: EXP
0000135f: SWAP1
00001360: DIV
00001361: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001376: AND
00001377: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000138c: AND
0000138d: CALLER
0000138e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a3: AND
000013a4: EQ
000013a5: ISZERO
000013a6: ISZERO
000013a7: PUSH2 0x13af
000013aa: JUMPI
000013ab: PUSH1 0x00
000013ad: DUP1
000013ae: REVERT
000013af: JUMPDEST
000013b0: DUP8
000013b1: DUP8
000013b2: PUSH1 0x00
000013b4: ISZERO
000013b5: ISZERO
000013b6: PUSH1 0x02
000013b8: PUSH1 0x00
000013ba: DUP5
000013bb: DUP2
000013bc: MSTORE
000013bd: PUSH1 0x20
000013bf: ADD
000013c0: SWAP1
000013c1: DUP2
000013c2: MSTORE
000013c3: PUSH1 0x20
000013c5: ADD
000013c6: PUSH1 0x00
000013c8: KECCAK256
000013c9: DUP3
000013ca: DUP2
000013cb: SLOAD
000013cc: DUP2
000013cd: LT
000013ce: ISZERO
000013cf: ISZERO
000013d0: PUSH2 0x13d5
000013d3: JUMPI
000013d4: INVALID
000013d5: JUMPDEST
000013d6: SWAP1
000013d7: PUSH1 0x00
000013d9: MSTORE
000013da: PUSH1 0x20
000013dc: PUSH1 0x00
000013de: KECCAK256
000013df: SWAP1
000013e0: PUSH1 0x02
000013e2: MUL
000013e3: ADD
000013e4: PUSH1 0x00
000013e6: ADD
000013e7: PUSH1 0x00
000013e9: SWAP1
000013ea: SLOAD
000013eb: SWAP1
000013ec: PUSH2 0x0100
000013ef: EXP
000013f0: SWAP1
000013f1: DIV
000013f2: PUSH1 0xff
000013f4: AND
000013f5: ISZERO
000013f6: ISZERO
000013f7: EQ
000013f8: ISZERO
000013f9: ISZERO
000013fa: PUSH2 0x1402
000013fd: JUMPI
000013fe: PUSH1 0x00
00001400: DUP1
00001401: REVERT
00001402: JUMPDEST
00001403: DUP8
00001404: PUSH1 0x02
00001406: PUSH1 0x00
00001408: DUP13
00001409: DUP2
0000140a: MSTORE
0000140b: PUSH1 0x20
0000140d: ADD
0000140e: SWAP1
0000140f: DUP2
00001410: MSTORE
00001411: PUSH1 0x20
00001413: ADD
00001414: PUSH1 0x00
00001416: KECCAK256
00001417: DUP11
00001418: DUP2
00001419: SLOAD
0000141a: DUP2
0000141b: LT
0000141c: ISZERO
0000141d: ISZERO
0000141e: PUSH2 0x1423
00001421: JUMPI
00001422: INVALID
00001423: JUMPDEST
00001424: SWAP1
00001425: PUSH1 0x00
00001427: MSTORE
00001428: PUSH1 0x20
0000142a: PUSH1 0x00
0000142c: KECCAK256
0000142d: SWAP1
0000142e: PUSH1 0x02
00001430: MUL
00001431: ADD
00001432: PUSH1 0x01
00001434: ADD
00001435: SWAP1
00001436: DUP1
00001437: MLOAD
00001438: SWAP1
00001439: PUSH1 0x20
0000143b: ADD
0000143c: SWAP1
0000143d: PUSH2 0x1447
00001440: SWAP3
00001441: SWAP2
00001442: SWAP1
00001443: PUSH2 0x3e9d
00001446: JUMP
00001447: JUMPDEST
00001448: POP
00001449: PUSH32 0x6e609af2c76c6673122c9a6ee1677adc2e9f20ec9979d056bf6c4f40799b9558
0000146a: DUP11
0000146b: DUP11
0000146c: PUSH1 0x40
0000146e: MLOAD
0000146f: DUP1
00001470: DUP4
00001471: DUP2
00001472: MSTORE
00001473: PUSH1 0x20
00001475: ADD
00001476: DUP3
00001477: DUP2
00001478: MSTORE
00001479: PUSH1 0x20
0000147b: ADD
0000147c: SWAP3
0000147d: POP
0000147e: POP
0000147f: POP
00001480: PUSH1 0x40
00001482: MLOAD
00001483: DUP1
00001484: SWAP2
00001485: SUB
00001486: SWAP1
00001487: LOG1
00001488: POP
00001489: POP
0000148a: POP
0000148b: POP
0000148c: POP
0000148d: POP
0000148e: POP
0000148f: POP
00001490: POP
00001491: POP
00001492: JUMP
00001493: JUMPDEST
00001494: DUP3
00001495: PUSH1 0x01
00001497: DUP1
00001498: SLOAD
00001499: SWAP1
0000149a: POP
0000149b: DUP2
0000149c: LT
0000149d: ISZERO
0000149e: ISZERO
0000149f: PUSH2 0x14a7
000014a2: JUMPI
000014a3: PUSH1 0x00
000014a5: DUP1
000014a6: REVERT
000014a7: JUMPDEST
000014a8: DUP4
000014a9: PUSH1 0x01
000014ab: DUP2
000014ac: DUP2
000014ad: SLOAD
000014ae: DUP2
000014af: LT
000014b0: ISZERO
000014b1: ISZERO
000014b2: PUSH2 0x14b7
000014b5: JUMPI
000014b6: INVALID
000014b7: JUMPDEST
000014b8: SWAP1
000014b9: PUSH1 0x00
000014bb: MSTORE
000014bc: PUSH1 0x20
000014be: PUSH1 0x00
000014c0: KECCAK256
000014c1: SWAP1
000014c2: PUSH1 0x06
000014c4: MUL
000014c5: ADD
000014c6: PUSH1 0x00
000014c8: ADD
000014c9: PUSH1 0x00
000014cb: SWAP1
000014cc: SLOAD
000014cd: SWAP1
000014ce: PUSH2 0x0100
000014d1: EXP
000014d2: SWAP1
000014d3: DIV
000014d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e9: AND
000014ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014ff: AND
00001500: CALLER
00001501: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001516: AND
00001517: EQ
00001518: ISZERO
00001519: ISZERO
0000151a: PUSH2 0x1522
0000151d: JUMPI
0000151e: PUSH1 0x00
00001520: DUP1
00001521: REVERT
00001522: JUMPDEST
00001523: DUP5
00001524: DUP5
00001525: DUP1
00001526: PUSH1 0x01
00001528: DUP4
00001529: DUP2
0000152a: SLOAD
0000152b: DUP2
0000152c: LT
0000152d: ISZERO
0000152e: ISZERO
0000152f: PUSH2 0x1534
00001532: JUMPI
00001533: INVALID
00001534: JUMPDEST
00001535: SWAP1
00001536: PUSH1 0x00
00001538: MSTORE
00001539: PUSH1 0x20
0000153b: PUSH1 0x00
0000153d: KECCAK256
0000153e: SWAP1
0000153f: PUSH1 0x06
00001541: MUL
00001542: ADD
00001543: PUSH1 0x03
00001545: ADD
00001546: SLOAD
00001547: LT
00001548: ISZERO
00001549: ISZERO
0000154a: PUSH2 0x1552
0000154d: JUMPI
0000154e: PUSH1 0x00
00001550: DUP1
00001551: REVERT
00001552: JUMPDEST
00001553: DUP7
00001554: DUP6
00001555: PUSH1 0x00
00001557: PUSH1 0x01
00001559: DUP4
0000155a: DUP2
0000155b: SLOAD
0000155c: DUP2
0000155d: LT
0000155e: ISZERO
0000155f: ISZERO
00001560: PUSH2 0x1565
00001563: JUMPI
00001564: INVALID
00001565: JUMPDEST
00001566: SWAP1
00001567: PUSH1 0x00
00001569: MSTORE
0000156a: PUSH1 0x20
0000156c: PUSH1 0x00
0000156e: KECCAK256
0000156f: SWAP1
00001570: PUSH1 0x06
00001572: MUL
00001573: ADD
00001574: PUSH1 0x04
00001576: ADD
00001577: PUSH1 0x14
00001579: SWAP1
0000157a: SLOAD
0000157b: SWAP1
0000157c: PUSH2 0x0100
0000157f: EXP
00001580: SWAP1
00001581: DIV
00001582: PUSH1 0xff
00001584: AND
00001585: ISZERO
00001586: PUSH2 0x18d3
00001589: JUMPI
0000158a: PUSH1 0x00
0000158c: CALLVALUE
0000158d: EQ
0000158e: ISZERO
0000158f: ISZERO
00001590: PUSH2 0x1598
00001593: JUMPI
00001594: PUSH1 0x00
00001596: DUP1
00001597: REVERT
00001598: JUMPDEST
00001599: PUSH1 0x04
0000159b: PUSH1 0x00
0000159d: DUP5
0000159e: DUP2
0000159f: MSTORE
000015a0: PUSH1 0x20
000015a2: ADD
000015a3: SWAP1
000015a4: DUP2
000015a5: MSTORE
000015a6: PUSH1 0x20
000015a8: ADD
000015a9: PUSH1 0x00
000015ab: KECCAK256
000015ac: PUSH1 0x00
000015ae: SWAP1
000015af: SLOAD
000015b0: SWAP1
000015b1: PUSH2 0x0100
000015b4: EXP
000015b5: SWAP1
000015b6: DIV
000015b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015cc: AND
000015cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015e2: AND
000015e3: PUSH4 0x70a08231
000015e8: ADDRESS
000015e9: PUSH1 0x00
000015eb: PUSH1 0x40
000015ed: MLOAD
000015ee: PUSH1 0x20
000015f0: ADD
000015f1: MSTORE
000015f2: PUSH1 0x40
000015f4: MLOAD
000015f5: DUP3
000015f6: PUSH4 0xffffffff
000015fb: AND
000015fc: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000161a: MUL
0000161b: DUP2
0000161c: MSTORE
0000161d: PUSH1 0x04
0000161f: ADD
00001620: DUP1
00001621: DUP3
00001622: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001637: AND
00001638: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000164d: AND
0000164e: DUP2
0000164f: MSTORE
00001650: PUSH1 0x20
00001652: ADD
00001653: SWAP2
00001654: POP
00001655: POP
00001656: PUSH1 0x20
00001658: PUSH1 0x40
0000165a: MLOAD
0000165b: DUP1
0000165c: DUP4
0000165d: SUB
0000165e: DUP2
0000165f: PUSH1 0x00
00001661: DUP8
00001662: DUP1
00001663: EXTCODESIZE
00001664: ISZERO
00001665: ISZERO
00001666: PUSH2 0x166e
00001669: JUMPI
0000166a: PUSH1 0x00
0000166c: DUP1
0000166d: REVERT
0000166e: JUMPDEST
0000166f: PUSH2 0x02c6
00001672: GAS
00001673: SUB
00001674: CALL
00001675: ISZERO
00001676: ISZERO
00001677: PUSH2 0x167f
0000167a: JUMPI
0000167b: PUSH1 0x00
0000167d: DUP1
0000167e: REVERT
0000167f: JUMPDEST
00001680: POP
00001681: POP
00001682: POP
00001683: PUSH1 0x40
00001685: MLOAD
00001686: DUP1
00001687: MLOAD
00001688: SWAP1
00001689: POP
0000168a: SWAP1
0000168b: POP
0000168c: PUSH1 0x00
0000168e: DUP3
0000168f: EQ
00001690: ISZERO
00001691: ISZERO
00001692: PUSH2 0x17ce
00001695: JUMPI
00001696: PUSH1 0x04
00001698: PUSH1 0x00
0000169a: DUP5
0000169b: DUP2
0000169c: MSTORE
0000169d: PUSH1 0x20
0000169f: ADD
000016a0: SWAP1
000016a1: DUP2
000016a2: MSTORE
000016a3: PUSH1 0x20
000016a5: ADD
000016a6: PUSH1 0x00
000016a8: KECCAK256
000016a9: PUSH1 0x00
000016ab: SWAP1
000016ac: SLOAD
000016ad: SWAP1
000016ae: PUSH2 0x0100
000016b1: EXP
000016b2: SWAP1
000016b3: DIV
000016b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016c9: AND
000016ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016df: AND
000016e0: PUSH4 0x23b872dd
000016e5: CALLER
000016e6: ADDRESS
000016e7: DUP6
000016e8: PUSH1 0x00
000016ea: PUSH1 0x40
000016ec: MLOAD
000016ed: PUSH1 0x20
000016ef: ADD
000016f0: MSTORE
000016f1: PUSH1 0x40
000016f3: MLOAD
000016f4: DUP5
000016f5: PUSH4 0xffffffff
000016fa: AND
000016fb: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001719: MUL
0000171a: DUP2
0000171b: MSTORE
0000171c: PUSH1 0x04
0000171e: ADD
0000171f: DUP1
00001720: DUP5
00001721: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001736: AND
00001737: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000174c: AND
0000174d: DUP2
0000174e: MSTORE
0000174f: PUSH1 0x20
00001751: ADD
00001752: DUP4
00001753: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001768: AND
00001769: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000177e: AND
0000177f: DUP2
00001780: MSTORE
00001781: PUSH1 0x20
00001783: ADD
00001784: DUP3
00001785: DUP2
00001786: MSTORE
00001787: PUSH1 0x20
00001789: ADD
0000178a: SWAP4
0000178b: POP
0000178c: POP
0000178d: POP
0000178e: POP
0000178f: PUSH1 0x20
00001791: PUSH1 0x40
00001793: MLOAD
00001794: DUP1
00001795: DUP4
00001796: SUB
00001797: DUP2
00001798: PUSH1 0x00
0000179a: DUP8
0000179b: DUP1
0000179c: EXTCODESIZE
0000179d: ISZERO
0000179e: ISZERO
0000179f: PUSH2 0x17a7
000017a2: JUMPI
000017a3: PUSH1 0x00
000017a5: DUP1
000017a6: REVERT
000017a7: JUMPDEST
000017a8: PUSH2 0x02c6
000017ab: GAS
000017ac: SUB
000017ad: CALL
000017ae: ISZERO
000017af: ISZERO
000017b0: PUSH2 0x17b8
000017b3: JUMPI
000017b4: PUSH1 0x00
000017b6: DUP1
000017b7: REVERT
000017b8: JUMPDEST
000017b9: POP
000017ba: POP
000017bb: POP
000017bc: PUSH1 0x40
000017be: MLOAD
000017bf: DUP1
000017c0: MLOAD
000017c1: SWAP1
000017c2: POP
000017c3: ISZERO
000017c4: ISZERO
000017c5: PUSH2 0x17cd
000017c8: JUMPI
000017c9: PUSH1 0x00
000017cb: DUP1
000017cc: REVERT
000017cd: JUMPDEST
000017ce: JUMPDEST
000017cf: DUP2
000017d0: DUP2
000017d1: PUSH1 0x04
000017d3: PUSH1 0x00
000017d5: DUP7
000017d6: DUP2
000017d7: MSTORE
000017d8: PUSH1 0x20
000017da: ADD
000017db: SWAP1
000017dc: DUP2
000017dd: MSTORE
000017de: PUSH1 0x20
000017e0: ADD
000017e1: PUSH1 0x00
000017e3: KECCAK256
000017e4: PUSH1 0x00
000017e6: SWAP1
000017e7: SLOAD
000017e8: SWAP1
000017e9: PUSH2 0x0100
000017ec: EXP
000017ed: SWAP1
000017ee: DIV
000017ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001804: AND
00001805: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000181a: AND
0000181b: PUSH4 0x70a08231
00001820: ADDRESS
00001821: PUSH1 0x00
00001823: PUSH1 0x40
00001825: MLOAD
00001826: PUSH1 0x20
00001828: ADD
00001829: MSTORE
0000182a: PUSH1 0x40
0000182c: MLOAD
0000182d: DUP3
0000182e: PUSH4 0xffffffff
00001833: AND
00001834: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001852: MUL
00001853: DUP2
00001854: MSTORE
00001855: PUSH1 0x04
00001857: ADD
00001858: DUP1
00001859: DUP3
0000185a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000186f: AND
00001870: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001885: AND
00001886: DUP2
00001887: MSTORE
00001888: PUSH1 0x20
0000188a: ADD
0000188b: SWAP2
0000188c: POP
0000188d: POP
0000188e: PUSH1 0x20
00001890: PUSH1 0x40
00001892: MLOAD
00001893: DUP1
00001894: DUP4
00001895: SUB
00001896: DUP2
00001897: PUSH1 0x00
00001899: DUP8
0000189a: DUP1
0000189b: EXTCODESIZE
0000189c: ISZERO
0000189d: ISZERO
0000189e: PUSH2 0x18a6
000018a1: JUMPI
000018a2: PUSH1 0x00
000018a4: DUP1
000018a5: REVERT
000018a6: JUMPDEST
000018a7: PUSH2 0x02c6
000018aa: GAS
000018ab: SUB
000018ac: CALL
000018ad: ISZERO
000018ae: ISZERO
000018af: PUSH2 0x18b7
000018b2: JUMPI
000018b3: PUSH1 0x00
000018b5: DUP1
000018b6: REVERT
000018b7: JUMPDEST
000018b8: POP
000018b9: POP
000018ba: POP
000018bb: PUSH1 0x40
000018bd: MLOAD
000018be: DUP1
000018bf: MLOAD
000018c0: SWAP1
000018c1: POP
000018c2: SUB
000018c3: EQ
000018c4: ISZERO
000018c5: ISZERO
000018c6: PUSH2 0x18ce
000018c9: JUMPI
000018ca: PUSH1 0x00
000018cc: DUP1
000018cd: REVERT
000018ce: JUMPDEST
000018cf: PUSH2 0x18e5
000018d2: JUMP
000018d3: JUMPDEST
000018d4: CALLVALUE
000018d5: PUSH1 0x01
000018d7: DUP4
000018d8: MUL
000018d9: EQ
000018da: ISZERO
000018db: ISZERO
000018dc: PUSH2 0x18e4
000018df: JUMPI
000018e0: PUSH1 0x00
000018e2: DUP1
000018e3: REVERT
000018e4: JUMPDEST
000018e5: JUMPDEST
000018e6: DUP8
000018e7: PUSH1 0x01
000018e9: DUP12
000018ea: DUP2
000018eb: SLOAD
000018ec: DUP2
000018ed: LT
000018ee: ISZERO
000018ef: ISZERO
000018f0: PUSH2 0x18f5
000018f3: JUMPI
000018f4: INVALID
000018f5: JUMPDEST
000018f6: SWAP1
000018f7: PUSH1 0x00
000018f9: MSTORE
000018fa: PUSH1 0x20
000018fc: PUSH1 0x00
000018fe: KECCAK256
000018ff: SWAP1
00001900: PUSH1 0x06
00001902: MUL
00001903: ADD
00001904: PUSH1 0x05
00001906: ADD
00001907: PUSH1 0x00
00001909: DUP3
0000190a: DUP3
0000190b: SLOAD
0000190c: ADD
0000190d: SWAP3
0000190e: POP
0000190f: POP
00001910: DUP2
00001911: SWAP1
00001912: SSTORE
00001913: POP
00001914: DUP9
00001915: PUSH1 0x01
00001917: DUP12
00001918: DUP2
00001919: SLOAD
0000191a: DUP2
0000191b: LT
0000191c: ISZERO
0000191d: ISZERO
0000191e: PUSH2 0x1923
00001921: JUMPI
00001922: INVALID
00001923: JUMPDEST
00001924: SWAP1
00001925: PUSH1 0x00
00001927: MSTORE
00001928: PUSH1 0x20
0000192a: PUSH1 0x00
0000192c: KECCAK256
0000192d: SWAP1
0000192e: PUSH1 0x06
00001930: MUL
00001931: ADD
00001932: PUSH1 0x05
00001934: ADD
00001935: SLOAD
00001936: LT
00001937: ISZERO
00001938: ISZERO
00001939: ISZERO
0000193a: PUSH2 0x1942
0000193d: JUMPI
0000193e: PUSH1 0x00
00001940: DUP1
00001941: REVERT
00001942: JUMPDEST
00001943: DUP9
00001944: PUSH1 0x01
00001946: DUP12
00001947: DUP2
00001948: SLOAD
00001949: DUP2
0000194a: LT
0000194b: ISZERO
0000194c: ISZERO
0000194d: PUSH2 0x1952
00001950: JUMPI
00001951: INVALID
00001952: JUMPDEST
00001953: SWAP1
00001954: PUSH1 0x00
00001956: MSTORE
00001957: PUSH1 0x20
00001959: PUSH1 0x00
0000195b: KECCAK256
0000195c: SWAP1
0000195d: PUSH1 0x06
0000195f: MUL
00001960: ADD
00001961: PUSH1 0x03
00001963: ADD
00001964: DUP2
00001965: SWAP1
00001966: SSTORE
00001967: POP
00001968: PUSH31 0x61c78e3c7ddc2b1bfc8ba5996c63dd51b289e6ee3bd6f0e55089cf698aa692
00001988: DUP11
00001989: DUP11
0000198a: PUSH1 0x40
0000198c: MLOAD
0000198d: DUP1
0000198e: DUP4
0000198f: DUP2
00001990: MSTORE
00001991: PUSH1 0x20
00001993: ADD
00001994: DUP3
00001995: DUP2
00001996: MSTORE
00001997: PUSH1 0x20
00001999: ADD
0000199a: SWAP3
0000199b: POP
0000199c: POP
0000199d: POP
0000199e: PUSH1 0x40
000019a0: MLOAD
000019a1: DUP1
000019a2: SWAP2
000019a3: SUB
000019a4: SWAP1
000019a5: LOG1
000019a6: POP
000019a7: POP
000019a8: POP
000019a9: POP
000019aa: POP
000019ab: POP
000019ac: POP
000019ad: POP
000019ae: POP
000019af: POP
000019b0: JUMP
000019b1: JUMPDEST
000019b2: DUP2
000019b3: PUSH1 0x01
000019b5: DUP1
000019b6: SLOAD
000019b7: SWAP1
000019b8: POP
000019b9: DUP2
000019ba: LT
000019bb: ISZERO
000019bc: ISZERO
000019bd: PUSH2 0x19c5
000019c0: JUMPI
000019c1: PUSH1 0x00
000019c3: DUP1
000019c4: REVERT
000019c5: JUMPDEST
000019c6: DUP3
000019c7: PUSH1 0x01
000019c9: DUP2
000019ca: DUP2
000019cb: SLOAD
000019cc: DUP2
000019cd: LT
000019ce: ISZERO
000019cf: ISZERO
000019d0: PUSH2 0x19d5
000019d3: JUMPI
000019d4: INVALID
000019d5: JUMPDEST
000019d6: SWAP1
000019d7: PUSH1 0x00
000019d9: MSTORE
000019da: PUSH1 0x20
000019dc: PUSH1 0x00
000019de: KECCAK256
000019df: SWAP1
000019e0: PUSH1 0x06
000019e2: MUL
000019e3: ADD
000019e4: PUSH1 0x00
000019e6: ADD
000019e7: PUSH1 0x00
000019e9: SWAP1
000019ea: SLOAD
000019eb: SWAP1
000019ec: PUSH2 0x0100
000019ef: EXP
000019f0: SWAP1
000019f1: DIV
000019f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a07: AND
00001a08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a1d: AND
00001a1e: CALLER
00001a1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a34: AND
00001a35: EQ
00001a36: ISZERO
00001a37: ISZERO
00001a38: PUSH2 0x1a40
00001a3b: JUMPI
00001a3c: PUSH1 0x00
00001a3e: DUP1
00001a3f: REVERT
00001a40: JUMPDEST
00001a41: DUP4
00001a42: PUSH1 0x00
00001a44: DUP1
00001a45: PUSH1 0x02
00001a47: DUP2
00001a48: GT
00001a49: ISZERO
00001a4a: PUSH2 0x1a4f
00001a4d: JUMPI
00001a4e: INVALID
00001a4f: JUMPDEST
00001a50: PUSH1 0x01
00001a52: DUP4
00001a53: DUP2
00001a54: SLOAD
00001a55: DUP2
00001a56: LT
00001a57: ISZERO
00001a58: ISZERO
00001a59: PUSH2 0x1a5e
00001a5c: JUMPI
00001a5d: INVALID
00001a5e: JUMPDEST
00001a5f: SWAP1
00001a60: PUSH1 0x00
00001a62: MSTORE
00001a63: PUSH1 0x20
00001a65: PUSH1 0x00
00001a67: KECCAK256
00001a68: SWAP1
00001a69: PUSH1 0x06
00001a6b: MUL
00001a6c: ADD
00001a6d: PUSH1 0x04
00001a6f: ADD
00001a70: PUSH1 0x15
00001a72: SWAP1
00001a73: SLOAD
00001a74: SWAP1
00001a75: PUSH2 0x0100
00001a78: EXP
00001a79: SWAP1
00001a7a: DIV
00001a7b: PUSH1 0xff
00001a7d: AND
00001a7e: PUSH1 0x02
00001a80: DUP2
00001a81: GT
00001a82: ISZERO
00001a83: PUSH2 0x1a88
00001a86: JUMPI
00001a87: INVALID
00001a88: JUMPDEST
00001a89: EQ
00001a8a: ISZERO
00001a8b: ISZERO
00001a8c: PUSH2 0x1a94
00001a8f: JUMPI
00001a90: PUSH1 0x00
00001a92: DUP1
00001a93: REVERT
00001a94: JUMPDEST
00001a95: DUP5
00001a96: PUSH1 0x01
00001a98: DUP8
00001a99: DUP2
00001a9a: SLOAD
00001a9b: DUP2
00001a9c: LT
00001a9d: ISZERO
00001a9e: ISZERO
00001a9f: PUSH2 0x1aa4
00001aa2: JUMPI
00001aa3: INVALID
00001aa4: JUMPDEST
00001aa5: SWAP1
00001aa6: PUSH1 0x00
00001aa8: MSTORE
00001aa9: PUSH1 0x20
00001aab: PUSH1 0x00
00001aad: KECCAK256
00001aae: SWAP1
00001aaf: PUSH1 0x06
00001ab1: MUL
00001ab2: ADD
00001ab3: PUSH1 0x03
00001ab5: ADD
00001ab6: DUP2
00001ab7: SWAP1
00001ab8: SSTORE
00001ab9: POP
00001aba: PUSH32 0xfb8e4f1ace1b37ebd0423cd75b120660780cc08a9414e04fe6b50f96a9482dde
00001adb: DUP7
00001adc: PUSH1 0x40
00001ade: MLOAD
00001adf: DUP1
00001ae0: DUP3
00001ae1: DUP2
00001ae2: MSTORE
00001ae3: PUSH1 0x20
00001ae5: ADD
00001ae6: SWAP2
00001ae7: POP
00001ae8: POP
00001ae9: PUSH1 0x40
00001aeb: MLOAD
00001aec: DUP1
00001aed: SWAP2
00001aee: SUB
00001aef: SWAP1
00001af0: LOG1
00001af1: POP
00001af2: POP
00001af3: POP
00001af4: POP
00001af5: POP
00001af6: POP
00001af7: JUMP
00001af8: JUMPDEST
00001af9: DUP2
00001afa: PUSH1 0x01
00001afc: DUP1
00001afd: SLOAD
00001afe: SWAP1
00001aff: POP
00001b00: DUP2
00001b01: LT
00001b02: ISZERO
00001b03: ISZERO
00001b04: PUSH2 0x1b0c
00001b07: JUMPI
00001b08: PUSH1 0x00
00001b0a: DUP1
00001b0b: REVERT
00001b0c: JUMPDEST
00001b0d: DUP3
00001b0e: PUSH1 0x01
00001b10: DUP2
00001b11: DUP2
00001b12: SLOAD
00001b13: DUP2
00001b14: LT
00001b15: ISZERO
00001b16: ISZERO
00001b17: PUSH2 0x1b1c
00001b1a: JUMPI
00001b1b: INVALID
00001b1c: JUMPDEST
00001b1d: SWAP1
00001b1e: PUSH1 0x00
00001b20: MSTORE
00001b21: PUSH1 0x20
00001b23: PUSH1 0x00
00001b25: KECCAK256
00001b26: SWAP1
00001b27: PUSH1 0x06
00001b29: MUL
00001b2a: ADD
00001b2b: PUSH1 0x00
00001b2d: ADD
00001b2e: PUSH1 0x00
00001b30: SWAP1
00001b31: SLOAD
00001b32: SWAP1
00001b33: PUSH2 0x0100
00001b36: EXP
00001b37: SWAP1
00001b38: DIV
00001b39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b4e: AND
00001b4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b64: AND
00001b65: CALLER
00001b66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b7b: AND
00001b7c: EQ
00001b7d: ISZERO
00001b7e: ISZERO
00001b7f: PUSH2 0x1b87
00001b82: JUMPI
00001b83: PUSH1 0x00
00001b85: DUP1
00001b86: REVERT
00001b87: JUMPDEST
00001b88: DUP3
00001b89: PUSH1 0x01
00001b8b: DUP6
00001b8c: DUP2
00001b8d: SLOAD
00001b8e: DUP2
00001b8f: LT
00001b90: ISZERO
00001b91: ISZERO
00001b92: PUSH2 0x1b97
00001b95: JUMPI
00001b96: INVALID
00001b97: JUMPDEST
00001b98: SWAP1
00001b99: PUSH1 0x00
00001b9b: MSTORE
00001b9c: PUSH1 0x20
00001b9e: PUSH1 0x00
00001ba0: KECCAK256
00001ba1: SWAP1
00001ba2: PUSH1 0x06
00001ba4: MUL
00001ba5: ADD
00001ba6: PUSH1 0x00
00001ba8: ADD
00001ba9: PUSH1 0x00
00001bab: PUSH2 0x0100
00001bae: EXP
00001baf: DUP2
00001bb0: SLOAD
00001bb1: DUP2
00001bb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bc7: MUL
00001bc8: NOT
00001bc9: AND
00001bca: SWAP1
00001bcb: DUP4
00001bcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001be1: AND
00001be2: MUL
00001be3: OR
00001be4: SWAP1
00001be5: SSTORE
00001be6: POP
00001be7: DUP3
00001be8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bfd: AND
00001bfe: PUSH32 0x76a6676aed9f1a70fb8043b568311724b5e4cec1d68ff8fc9d5ab0a6fa619c17
00001c1f: DUP6
00001c20: PUSH1 0x40
00001c22: MLOAD
00001c23: DUP1
00001c24: DUP3
00001c25: DUP2
00001c26: MSTORE
00001c27: PUSH1 0x20
00001c29: ADD
00001c2a: SWAP2
00001c2b: POP
00001c2c: POP
00001c2d: PUSH1 0x40
00001c2f: MLOAD
00001c30: DUP1
00001c31: SWAP2
00001c32: SUB
00001c33: SWAP1
00001c34: LOG2
00001c35: POP
00001c36: POP
00001c37: POP
00001c38: POP
00001c39: JUMP
00001c3a: JUMPDEST
00001c3b: DUP2
00001c3c: PUSH1 0x01
00001c3e: DUP1
00001c3f: SLOAD
00001c40: SWAP1
00001c41: POP
00001c42: DUP2
00001c43: LT
00001c44: ISZERO
00001c45: ISZERO
00001c46: PUSH2 0x1c4e
00001c49: JUMPI
00001c4a: PUSH1 0x00
00001c4c: DUP1
00001c4d: REVERT
00001c4e: JUMPDEST
00001c4f: DUP3
00001c50: PUSH1 0x01
00001c52: DUP2
00001c53: DUP2
00001c54: SLOAD
00001c55: DUP2
00001c56: LT
00001c57: ISZERO
00001c58: ISZERO
00001c59: PUSH2 0x1c5e
00001c5c: JUMPI
00001c5d: INVALID
00001c5e: JUMPDEST
00001c5f: SWAP1
00001c60: PUSH1 0x00
00001c62: MSTORE
00001c63: PUSH1 0x20
00001c65: PUSH1 0x00
00001c67: KECCAK256
00001c68: SWAP1
00001c69: PUSH1 0x06
00001c6b: MUL
00001c6c: ADD
00001c6d: PUSH1 0x01
00001c6f: ADD
00001c70: SLOAD
00001c71: TIMESTAMP
00001c72: LT
00001c73: ISZERO
00001c74: ISZERO
00001c75: PUSH2 0x1c7d
00001c78: JUMPI
00001c79: PUSH1 0x00
00001c7b: DUP1
00001c7c: REVERT
00001c7d: JUMPDEST
00001c7e: DUP4
00001c7f: PUSH1 0x01
00001c81: DUP2
00001c82: DUP2
00001c83: SLOAD
00001c84: DUP2
00001c85: LT
00001c86: ISZERO
00001c87: ISZERO
00001c88: PUSH2 0x1c8d
00001c8b: JUMPI
00001c8c: INVALID
00001c8d: JUMPDEST
00001c8e: SWAP1
00001c8f: PUSH1 0x00
00001c91: MSTORE
00001c92: PUSH1 0x20
00001c94: PUSH1 0x00
00001c96: KECCAK256
00001c97: SWAP1
00001c98: PUSH1 0x06
00001c9a: MUL
00001c9b: ADD
00001c9c: PUSH1 0x00
00001c9e: ADD
00001c9f: PUSH1 0x00
00001ca1: SWAP1
00001ca2: SLOAD
00001ca3: SWAP1
00001ca4: PUSH2 0x0100
00001ca7: EXP
00001ca8: SWAP1
00001ca9: DIV
00001caa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cbf: AND
00001cc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cd5: AND
00001cd6: CALLER
00001cd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cec: AND
00001ced: EQ
00001cee: ISZERO
00001cef: ISZERO
00001cf0: PUSH2 0x1cf8
00001cf3: JUMPI
00001cf4: PUSH1 0x00
00001cf6: DUP1
00001cf7: REVERT
00001cf8: JUMPDEST
00001cf9: DUP5
00001cfa: DUP5
00001cfb: PUSH1 0x00
00001cfd: PUSH1 0x01
00001cff: DUP4
00001d00: DUP2
00001d01: SLOAD
00001d02: DUP2
00001d03: LT
00001d04: ISZERO
00001d05: ISZERO
00001d06: PUSH2 0x1d0b
00001d09: JUMPI
00001d0a: INVALID
00001d0b: JUMPDEST
00001d0c: SWAP1
00001d0d: PUSH1 0x00
00001d0f: MSTORE
00001d10: PUSH1 0x20
00001d12: PUSH1 0x00
00001d14: KECCAK256
00001d15: SWAP1
00001d16: PUSH1 0x06
00001d18: MUL
00001d19: ADD
00001d1a: PUSH1 0x04
00001d1c: ADD
00001d1d: PUSH1 0x14
00001d1f: SWAP1
00001d20: SLOAD
00001d21: SWAP1
00001d22: PUSH2 0x0100
00001d25: EXP
00001d26: SWAP1
00001d27: DIV
00001d28: PUSH1 0xff
00001d2a: AND
00001d2b: ISZERO
00001d2c: PUSH2 0x2079
00001d2f: JUMPI
00001d30: PUSH1 0x00
00001d32: CALLVALUE
00001d33: EQ
00001d34: ISZERO
00001d35: ISZERO
00001d36: PUSH2 0x1d3e
00001d39: JUMPI
00001d3a: PUSH1 0x00
00001d3c: DUP1
00001d3d: REVERT
00001d3e: JUMPDEST
00001d3f: PUSH1 0x04
00001d41: PUSH1 0x00
00001d43: DUP5
00001d44: DUP2
00001d45: MSTORE
00001d46: PUSH1 0x20
00001d48: ADD
00001d49: SWAP1
00001d4a: DUP2
00001d4b: MSTORE
00001d4c: PUSH1 0x20
00001d4e: ADD
00001d4f: PUSH1 0x00
00001d51: KECCAK256
00001d52: PUSH1 0x00
00001d54: SWAP1
00001d55: SLOAD
00001d56: SWAP1
00001d57: PUSH2 0x0100
00001d5a: EXP
00001d5b: SWAP1
00001d5c: DIV
00001d5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d72: AND
00001d73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d88: AND
00001d89: PUSH4 0x70a08231
00001d8e: ADDRESS
00001d8f: PUSH1 0x00
00001d91: PUSH1 0x40
00001d93: MLOAD
00001d94: PUSH1 0x20
00001d96: ADD
00001d97: MSTORE
00001d98: PUSH1 0x40
00001d9a: MLOAD
00001d9b: DUP3
00001d9c: PUSH4 0xffffffff
00001da1: AND
00001da2: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001dc0: MUL
00001dc1: DUP2
00001dc2: MSTORE
00001dc3: PUSH1 0x04
00001dc5: ADD
00001dc6: DUP1
00001dc7: DUP3
00001dc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ddd: AND
00001dde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001df3: AND
00001df4: DUP2
00001df5: MSTORE
00001df6: PUSH1 0x20
00001df8: ADD
00001df9: SWAP2
00001dfa: POP
00001dfb: POP
00001dfc: PUSH1 0x20
00001dfe: PUSH1 0x40
00001e00: MLOAD
00001e01: DUP1
00001e02: DUP4
00001e03: SUB
00001e04: DUP2
00001e05: PUSH1 0x00
00001e07: DUP8
00001e08: DUP1
00001e09: EXTCODESIZE
00001e0a: ISZERO
00001e0b: ISZERO
00001e0c: PUSH2 0x1e14
00001e0f: JUMPI
00001e10: PUSH1 0x00
00001e12: DUP1
00001e13: REVERT
00001e14: JUMPDEST
00001e15: PUSH2 0x02c6
00001e18: GAS
00001e19: SUB
00001e1a: CALL
00001e1b: ISZERO
00001e1c: ISZERO
00001e1d: PUSH2 0x1e25
00001e20: JUMPI
00001e21: PUSH1 0x00
00001e23: DUP1
00001e24: REVERT
00001e25: JUMPDEST
00001e26: POP
00001e27: POP
00001e28: POP
00001e29: PUSH1 0x40
00001e2b: MLOAD
00001e2c: DUP1
00001e2d: MLOAD
00001e2e: SWAP1
00001e2f: POP
00001e30: SWAP1
00001e31: POP
00001e32: PUSH1 0x00
00001e34: DUP3
00001e35: EQ
00001e36: ISZERO
00001e37: ISZERO
00001e38: PUSH2 0x1f74
00001e3b: JUMPI
00001e3c: PUSH1 0x04
00001e3e: PUSH1 0x00
00001e40: DUP5
00001e41: DUP2
00001e42: MSTORE
00001e43: PUSH1 0x20
00001e45: ADD
00001e46: SWAP1
00001e47: DUP2
00001e48: MSTORE
00001e49: PUSH1 0x20
00001e4b: ADD
00001e4c: PUSH1 0x00
00001e4e: KECCAK256
00001e4f: PUSH1 0x00
00001e51: SWAP1
00001e52: SLOAD
00001e53: SWAP1
00001e54: PUSH2 0x0100
00001e57: EXP
00001e58: SWAP1
00001e59: DIV
00001e5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e6f: AND
00001e70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e85: AND
00001e86: PUSH4 0x23b872dd
00001e8b: CALLER
00001e8c: ADDRESS
00001e8d: DUP6
00001e8e: PUSH1 0x00
00001e90: PUSH1 0x40
00001e92: MLOAD
00001e93: PUSH1 0x20
00001e95: ADD
00001e96: MSTORE
00001e97: PUSH1 0x40
00001e99: MLOAD
00001e9a: DUP5
00001e9b: PUSH4 0xffffffff
00001ea0: AND
00001ea1: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001ebf: MUL
00001ec0: DUP2
00001ec1: MSTORE
00001ec2: PUSH1 0x04
00001ec4: ADD
00001ec5: DUP1
00001ec6: DUP5
00001ec7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001edc: AND
00001edd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ef2: AND
00001ef3: DUP2
00001ef4: MSTORE
00001ef5: PUSH1 0x20
00001ef7: ADD
00001ef8: DUP4
00001ef9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f0e: AND
00001f0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f24: AND
00001f25: DUP2
00001f26: MSTORE
00001f27: PUSH1 0x20
00001f29: ADD
00001f2a: DUP3
00001f2b: DUP2
00001f2c: MSTORE
00001f2d: PUSH1 0x20
00001f2f: ADD
00001f30: SWAP4
00001f31: POP
00001f32: POP
00001f33: POP
00001f34: POP
00001f35: PUSH1 0x20
00001f37: PUSH1 0x40
00001f39: MLOAD
00001f3a: DUP1
00001f3b: DUP4
00001f3c: SUB
00001f3d: DUP2
00001f3e: PUSH1 0x00
00001f40: DUP8
00001f41: DUP1
00001f42: EXTCODESIZE
00001f43: ISZERO
00001f44: ISZERO
00001f45: PUSH2 0x1f4d
00001f48: JUMPI
00001f49: PUSH1 0x00
00001f4b: DUP1
00001f4c: REVERT
00001f4d: JUMPDEST
00001f4e: PUSH2 0x02c6
00001f51: GAS
00001f52: SUB
00001f53: CALL
00001f54: ISZERO
00001f55: ISZERO
00001f56: PUSH2 0x1f5e
00001f59: JUMPI
00001f5a: PUSH1 0x00
00001f5c: DUP1
00001f5d: REVERT
00001f5e: JUMPDEST
00001f5f: POP
00001f60: POP
00001f61: POP
00001f62: PUSH1 0x40
00001f64: MLOAD
00001f65: DUP1
00001f66: MLOAD
00001f67: SWAP1
00001f68: POP
00001f69: ISZERO
00001f6a: ISZERO
00001f6b: PUSH2 0x1f73
00001f6e: JUMPI
00001f6f: PUSH1 0x00
00001f71: DUP1
00001f72: REVERT
00001f73: JUMPDEST
00001f74: JUMPDEST
00001f75: DUP2
00001f76: DUP2
00001f77: PUSH1 0x04
00001f79: PUSH1 0x00
00001f7b: DUP7
00001f7c: DUP2
00001f7d: MSTORE
00001f7e: PUSH1 0x20
00001f80: ADD
00001f81: SWAP1
00001f82: DUP2
00001f83: MSTORE
00001f84: PUSH1 0x20
00001f86: ADD
00001f87: PUSH1 0x00
00001f89: KECCAK256
00001f8a: PUSH1 0x00
00001f8c: SWAP1
00001f8d: SLOAD
00001f8e: SWAP1
00001f8f: PUSH2 0x0100
00001f92: EXP
00001f93: SWAP1
00001f94: DIV
00001f95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001faa: AND
00001fab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fc0: AND
00001fc1: PUSH4 0x70a08231
00001fc6: ADDRESS
00001fc7: PUSH1 0x00
00001fc9: PUSH1 0x40
00001fcb: MLOAD
00001fcc: PUSH1 0x20
00001fce: ADD
00001fcf: MSTORE
00001fd0: PUSH1 0x40
00001fd2: MLOAD
00001fd3: DUP3
00001fd4: PUSH4 0xffffffff
00001fd9: AND
00001fda: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001ff8: MUL
00001ff9: DUP2
00001ffa: MSTORE
00001ffb: PUSH1 0x04
00001ffd: ADD
00001ffe: DUP1
00001fff: DUP3
00002000: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002015: AND
00002016: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000202b: AND
0000202c: DUP2
0000202d: MSTORE
0000202e: PUSH1 0x20
00002030: ADD
00002031: SWAP2
00002032: POP
00002033: POP
00002034: PUSH1 0x20
00002036: PUSH1 0x40
00002038: MLOAD
00002039: DUP1
0000203a: DUP4
0000203b: SUB
0000203c: DUP2
0000203d: PUSH1 0x00
0000203f: DUP8
00002040: DUP1
00002041: EXTCODESIZE
00002042: ISZERO
00002043: ISZERO
00002044: PUSH2 0x204c
00002047: JUMPI
00002048: PUSH1 0x00
0000204a: DUP1
0000204b: REVERT
0000204c: JUMPDEST
0000204d: PUSH2 0x02c6
00002050: GAS
00002051: SUB
00002052: CALL
00002053: ISZERO
00002054: ISZERO
00002055: PUSH2 0x205d
00002058: JUMPI
00002059: PUSH1 0x00
0000205b: DUP1
0000205c: REVERT
0000205d: JUMPDEST
0000205e: POP
0000205f: POP
00002060: POP
00002061: PUSH1 0x40
00002063: MLOAD
00002064: DUP1
00002065: MLOAD
00002066: SWAP1
00002067: POP
00002068: SUB
00002069: EQ
0000206a: ISZERO
0000206b: ISZERO
0000206c: PUSH2 0x2074
0000206f: JUMPI
00002070: PUSH1 0x00
00002072: DUP1
00002073: REVERT
00002074: JUMPDEST
00002075: PUSH2 0x208b
00002078: JUMP
00002079: JUMPDEST
0000207a: CALLVALUE
0000207b: PUSH1 0x01
0000207d: DUP4
0000207e: MUL
0000207f: EQ
00002080: ISZERO
00002081: ISZERO
00002082: PUSH2 0x208a
00002085: JUMPI
00002086: PUSH1 0x00
00002088: DUP1
00002089: REVERT
0000208a: JUMPDEST
0000208b: JUMPDEST
0000208c: DUP7
0000208d: PUSH1 0x01
0000208f: DUP10
00002090: DUP2
00002091: SLOAD
00002092: DUP2
00002093: LT
00002094: ISZERO
00002095: ISZERO
00002096: PUSH2 0x209b
00002099: JUMPI
0000209a: INVALID
0000209b: JUMPDEST
0000209c: SWAP1
0000209d: PUSH1 0x00
0000209f: MSTORE
000020a0: PUSH1 0x20
000020a2: PUSH1 0x00
000020a4: KECCAK256
000020a5: SWAP1
000020a6: PUSH1 0x06
000020a8: MUL
000020a9: ADD
000020aa: PUSH1 0x05
000020ac: ADD
000020ad: PUSH1 0x00
000020af: DUP3
000020b0: DUP3
000020b1: SLOAD
000020b2: ADD
000020b3: SWAP3
000020b4: POP
000020b5: POP
000020b6: DUP2
000020b7: SWAP1
000020b8: SSTORE
000020b9: POP
000020ba: PUSH1 0x01
000020bc: DUP9
000020bd: DUP2
000020be: SLOAD
000020bf: DUP2
000020c0: LT
000020c1: ISZERO
000020c2: ISZERO
000020c3: PUSH2 0x20c8
000020c6: JUMPI
000020c7: INVALID
000020c8: JUMPDEST
000020c9: SWAP1
000020ca: PUSH1 0x00
000020cc: MSTORE
000020cd: PUSH1 0x20
000020cf: PUSH1 0x00
000020d1: KECCAK256
000020d2: SWAP1
000020d3: PUSH1 0x06
000020d5: MUL
000020d6: ADD
000020d7: PUSH1 0x03
000020d9: ADD
000020da: SLOAD
000020db: PUSH1 0x01
000020dd: DUP10
000020de: DUP2
000020df: SLOAD
000020e0: DUP2
000020e1: LT
000020e2: ISZERO
000020e3: ISZERO
000020e4: PUSH2 0x20e9
000020e7: JUMPI
000020e8: INVALID
000020e9: JUMPDEST
000020ea: SWAP1
000020eb: PUSH1 0x00
000020ed: MSTORE
000020ee: PUSH1 0x20
000020f0: PUSH1 0x00
000020f2: KECCAK256
000020f3: SWAP1
000020f4: PUSH1 0x06
000020f6: MUL
000020f7: ADD
000020f8: PUSH1 0x05
000020fa: ADD
000020fb: SLOAD
000020fc: LT
000020fd: ISZERO
000020fe: ISZERO
000020ff: ISZERO
00002100: PUSH2 0x2108
00002103: JUMPI
00002104: PUSH1 0x00
00002106: DUP1
00002107: REVERT
00002108: JUMPDEST
00002109: PUSH2 0x2113
0000210c: DUP9
0000210d: PUSH1 0x01
0000210f: PUSH2 0x3da6
00002112: JUMP
00002113: JUMPDEST
00002114: CALLER
00002115: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000212a: AND
0000212b: PUSH32 0x75aecd8d57cb4b1b263271bddb4961b993924dd466e6003c254832572d8a57e1
0000214c: DUP10
0000214d: DUP10
0000214e: PUSH1 0x40
00002150: MLOAD
00002151: DUP1
00002152: DUP4
00002153: DUP2
00002154: MSTORE
00002155: PUSH1 0x20
00002157: ADD
00002158: DUP3
00002159: DUP2
0000215a: MSTORE
0000215b: PUSH1 0x20
0000215d: ADD
0000215e: SWAP3
0000215f: POP
00002160: POP
00002161: POP
00002162: PUSH1 0x40
00002164: MLOAD
00002165: DUP1
00002166: SWAP2
00002167: SUB
00002168: SWAP1
00002169: LOG2
0000216a: PUSH32 0xe42c1b76efa2e9aa5b354a151174590827beb1ef94bde26787491bf4e7d68a19
0000218b: DUP9
0000218c: CALLER
0000218d: PUSH1 0x40
0000218f: MLOAD
00002190: DUP1
00002191: DUP4
00002192: DUP2
00002193: MSTORE
00002194: PUSH1 0x20
00002196: ADD
00002197: DUP3
00002198: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ad: AND
000021ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021c3: AND
000021c4: DUP2
000021c5: MSTORE
000021c6: PUSH1 0x20
000021c8: ADD
000021c9: SWAP3
000021ca: POP
000021cb: POP
000021cc: POP
000021cd: PUSH1 0x40
000021cf: MLOAD
000021d0: DUP1
000021d1: SWAP2
000021d2: SUB
000021d3: SWAP1
000021d4: LOG1
000021d5: POP
000021d6: POP
000021d7: POP
000021d8: POP
000021d9: POP
000021da: POP
000021db: POP
000021dc: POP
000021dd: JUMP
000021de: JUMPDEST
000021df: PUSH1 0x00
000021e1: DUP7
000021e2: TIMESTAMP
000021e3: DUP2
000021e4: GT
000021e5: ISZERO
000021e6: ISZERO
000021e7: PUSH2 0x21ef
000021ea: JUMPI
000021eb: PUSH1 0x00
000021ed: DUP1
000021ee: REVERT
000021ef: JUMPDEST
000021f0: DUP6
000021f1: PUSH1 0x00
000021f3: DUP2
000021f4: EQ
000021f5: ISZERO
000021f6: ISZERO
000021f7: ISZERO
000021f8: PUSH2 0x2200
000021fb: JUMPI
000021fc: PUSH1 0x00
000021fe: DUP1
000021ff: REVERT
00002200: JUMPDEST
00002201: PUSH1 0x01
00002203: DUP1
00002204: SLOAD
00002205: SWAP1
00002206: POP
00002207: PUSH1 0x01
00002209: DUP1
0000220a: DUP1
0000220b: SLOAD
0000220c: SWAP1
0000220d: POP
0000220e: ADD
0000220f: GT
00002210: ISZERO
00002211: ISZERO
00002212: PUSH2 0x221a
00002215: JUMPI
00002216: PUSH1 0x00
00002218: DUP1
00002219: REVERT
0000221a: JUMPDEST
0000221b: PUSH1 0x01
0000221d: DUP1
0000221e: SLOAD
0000221f: DUP1
00002220: PUSH1 0x01
00002222: ADD
00002223: DUP3
00002224: DUP2
00002225: PUSH2 0x222e
00002228: SWAP2
00002229: SWAP1
0000222a: PUSH2 0x3f1d
0000222d: JUMP
0000222e: JUMPDEST
0000222f: SWAP2
00002230: PUSH1 0x00
00002232: MSTORE
00002233: PUSH1 0x20
00002235: PUSH1 0x00
00002237: KECCAK256
00002238: SWAP1
00002239: PUSH1 0x06
0000223b: MUL
0000223c: ADD
0000223d: PUSH1 0x00
0000223f: PUSH2 0x0100
00002242: PUSH1 0x40
00002244: MLOAD
00002245: SWAP1
00002246: DUP2
00002247: ADD
00002248: PUSH1 0x40
0000224a: MSTORE
0000224b: DUP1
0000224c: DUP15
0000224d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002262: AND
00002263: DUP2
00002264: MSTORE
00002265: PUSH1 0x20
00002267: ADD
00002268: DUP14
00002269: DUP2
0000226a: MSTORE
0000226b: PUSH1 0x20
0000226d: ADD
0000226e: DUP13
0000226f: DUP2
00002270: MSTORE
00002271: PUSH1 0x20
00002273: ADD
00002274: DUP12
00002275: DUP2
00002276: MSTORE
00002277: PUSH1 0x20
00002279: ADD
0000227a: DUP11
0000227b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002290: AND
00002291: DUP2
00002292: MSTORE
00002293: PUSH1 0x20
00002295: ADD
00002296: DUP10
00002297: ISZERO
00002298: ISZERO
00002299: DUP2
0000229a: MSTORE
0000229b: PUSH1 0x20
0000229d: ADD
0000229e: PUSH1 0x00
000022a0: PUSH1 0x02
000022a2: DUP2
000022a3: GT
000022a4: ISZERO
000022a5: PUSH2 0x22aa
000022a8: JUMPI
000022a9: INVALID
000022aa: JUMPDEST
000022ab: DUP2
000022ac: MSTORE
000022ad: PUSH1 0x20
000022af: ADD
000022b0: PUSH1 0x00
000022b2: DUP2
000022b3: MSTORE
000022b4: POP
000022b5: SWAP1
000022b6: SWAP2
000022b7: SWAP1
000022b8: SWAP2
000022b9: POP
000022ba: PUSH1 0x00
000022bc: DUP3
000022bd: ADD
000022be: MLOAD
000022bf: DUP2
000022c0: PUSH1 0x00
000022c2: ADD
000022c3: PUSH1 0x00
000022c5: PUSH2 0x0100
000022c8: EXP
000022c9: DUP2
000022ca: SLOAD
000022cb: DUP2
000022cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022e1: MUL
000022e2: NOT
000022e3: AND
000022e4: SWAP1
000022e5: DUP4
000022e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022fb: AND
000022fc: MUL
000022fd: OR
000022fe: SWAP1
000022ff: SSTORE
00002300: POP
00002301: PUSH1 0x20
00002303: DUP3
00002304: ADD
00002305: MLOAD
00002306: DUP2
00002307: PUSH1 0x01
00002309: ADD
0000230a: SSTORE
0000230b: PUSH1 0x40
0000230d: DUP3
0000230e: ADD
0000230f: MLOAD
00002310: DUP2
00002311: PUSH1 0x02
00002313: ADD
00002314: SWAP1
00002315: DUP1
00002316: MLOAD
00002317: SWAP1
00002318: PUSH1 0x20
0000231a: ADD
0000231b: SWAP1
0000231c: PUSH2 0x2326
0000231f: SWAP3
00002320: SWAP2
00002321: SWAP1
00002322: PUSH2 0x3e1d
00002325: JUMP
00002326: JUMPDEST
00002327: POP
00002328: PUSH1 0x60
0000232a: DUP3
0000232b: ADD
0000232c: MLOAD
0000232d: DUP2
0000232e: PUSH1 0x03
00002330: ADD
00002331: SSTORE
00002332: PUSH1 0x80
00002334: DUP3
00002335: ADD
00002336: MLOAD
00002337: DUP2
00002338: PUSH1 0x04
0000233a: ADD
0000233b: PUSH1 0x00
0000233d: PUSH2 0x0100
00002340: EXP
00002341: DUP2
00002342: SLOAD
00002343: DUP2
00002344: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002359: MUL
0000235a: NOT
0000235b: AND
0000235c: SWAP1
0000235d: DUP4
0000235e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002373: AND
00002374: MUL
00002375: OR
00002376: SWAP1
00002377: SSTORE
00002378: POP
00002379: PUSH1 0xa0
0000237b: DUP3
0000237c: ADD
0000237d: MLOAD
0000237e: DUP2
0000237f: PUSH1 0x04
00002381: ADD
00002382: PUSH1 0x14
00002384: PUSH2 0x0100
00002387: EXP
00002388: DUP2
00002389: SLOAD
0000238a: DUP2
0000238b: PUSH1 0xff
0000238d: MUL
0000238e: NOT
0000238f: AND
00002390: SWAP1
00002391: DUP4
00002392: ISZERO
00002393: ISZERO
00002394: MUL
00002395: OR
00002396: SWAP1
00002397: SSTORE
00002398: POP
00002399: PUSH1 0xc0
0000239b: DUP3
0000239c: ADD
0000239d: MLOAD
0000239e: DUP2
0000239f: PUSH1 0x04
000023a1: ADD
000023a2: PUSH1 0x15
000023a4: PUSH2 0x0100
000023a7: EXP
000023a8: DUP2
000023a9: SLOAD
000023aa: DUP2
000023ab: PUSH1 0xff
000023ad: MUL
000023ae: NOT
000023af: AND
000023b0: SWAP1
000023b1: DUP4
000023b2: PUSH1 0x02
000023b4: DUP2
000023b5: GT
000023b6: ISZERO
000023b7: PUSH2 0x23bc
000023ba: JUMPI
000023bb: INVALID
000023bc: JUMPDEST
000023bd: MUL
000023be: OR
000023bf: SWAP1
000023c0: SSTORE
000023c1: POP
000023c2: PUSH1 0xe0
000023c4: DUP3
000023c5: ADD
000023c6: MLOAD
000023c7: DUP2
000023c8: PUSH1 0x05
000023ca: ADD
000023cb: SSTORE
000023cc: POP
000023cd: POP
000023ce: POP
000023cf: DUP5
000023d0: ISZERO
000023d1: PUSH2 0x242e
000023d4: JUMPI
000023d5: DUP4
000023d6: PUSH1 0x04
000023d8: PUSH1 0x00
000023da: PUSH1 0x01
000023dc: DUP1
000023dd: DUP1
000023de: SLOAD
000023df: SWAP1
000023e0: POP
000023e1: SUB
000023e2: DUP2
000023e3: MSTORE
000023e4: PUSH1 0x20
000023e6: ADD
000023e7: SWAP1
000023e8: DUP2
000023e9: MSTORE
000023ea: PUSH1 0x20
000023ec: ADD
000023ed: PUSH1 0x00
000023ef: KECCAK256
000023f0: PUSH1 0x00
000023f2: PUSH2 0x0100
000023f5: EXP
000023f6: DUP2
000023f7: SLOAD
000023f8: DUP2
000023f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000240e: MUL
0000240f: NOT
00002410: AND
00002411: SWAP1
00002412: DUP4
00002413: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002428: AND
00002429: MUL
0000242a: OR
0000242b: SWAP1
0000242c: SSTORE
0000242d: POP
0000242e: JUMPDEST
0000242f: PUSH32 0xe04ac09e4a49338f40cf62a51ba721823ed22f57bc4d53c6f8684bdb1be8fd10
00002450: PUSH1 0x01
00002452: DUP1
00002453: DUP1
00002454: SLOAD
00002455: SWAP1
00002456: POP
00002457: SUB
00002458: PUSH1 0x40
0000245a: MLOAD
0000245b: DUP1
0000245c: DUP3
0000245d: DUP2
0000245e: MSTORE
0000245f: PUSH1 0x20
00002461: ADD
00002462: SWAP2
00002463: POP
00002464: POP
00002465: PUSH1 0x40
00002467: MLOAD
00002468: DUP1
00002469: SWAP2
0000246a: SUB
0000246b: SWAP1
0000246c: LOG1
0000246d: PUSH1 0x01
0000246f: DUP1
00002470: DUP1
00002471: SLOAD
00002472: SWAP1
00002473: POP
00002474: SUB
00002475: SWAP3
00002476: POP
00002477: POP
00002478: POP
00002479: SWAP8
0000247a: SWAP7
0000247b: POP
0000247c: POP
0000247d: POP
0000247e: POP
0000247f: POP
00002480: POP
00002481: POP
00002482: JUMP
00002483: JUMPDEST
00002484: PUSH1 0x00
00002486: DUP8
00002487: TIMESTAMP
00002488: DUP2
00002489: GT
0000248a: ISZERO
0000248b: ISZERO
0000248c: PUSH2 0x2494
0000248f: JUMPI
00002490: PUSH1 0x00
00002492: DUP1
00002493: REVERT
00002494: JUMPDEST
00002495: DUP7
00002496: PUSH1 0x00
00002498: DUP2
00002499: EQ
0000249a: ISZERO
0000249b: ISZERO
0000249c: ISZERO
0000249d: PUSH2 0x24a5
000024a0: JUMPI
000024a1: PUSH1 0x00
000024a3: DUP1
000024a4: REVERT
000024a5: JUMPDEST
000024a6: PUSH1 0x01
000024a8: DUP1
000024a9: SLOAD
000024aa: SWAP1
000024ab: POP
000024ac: PUSH1 0x01
000024ae: DUP1
000024af: DUP1
000024b0: SLOAD
000024b1: SWAP1
000024b2: POP
000024b3: ADD
000024b4: GT
000024b5: ISZERO
000024b6: ISZERO
000024b7: PUSH2 0x24bf
000024ba: JUMPI
000024bb: PUSH1 0x00
000024bd: DUP1
000024be: REVERT
000024bf: JUMPDEST
000024c0: DUP8
000024c1: DUP5
000024c2: LT
000024c3: ISZERO
000024c4: ISZERO
000024c5: ISZERO
000024c6: PUSH2 0x24ce
000024c9: JUMPI
000024ca: PUSH1 0x00
000024cc: DUP1
000024cd: REVERT
000024ce: JUMPDEST
000024cf: DUP6
000024d0: ISZERO
000024d1: PUSH2 0x267c
000024d4: JUMPI
000024d5: PUSH1 0x00
000024d7: CALLVALUE
000024d8: EQ
000024d9: ISZERO
000024da: ISZERO
000024db: PUSH2 0x24e3
000024de: JUMPI
000024df: PUSH1 0x00
000024e1: DUP1
000024e2: REVERT
000024e3: JUMPDEST
000024e4: DUP5
000024e5: PUSH1 0x04
000024e7: PUSH1 0x00
000024e9: PUSH1 0x01
000024eb: DUP1
000024ec: SLOAD
000024ed: SWAP1
000024ee: POP
000024ef: DUP2
000024f0: MSTORE
000024f1: PUSH1 0x20
000024f3: ADD
000024f4: SWAP1
000024f5: DUP2
000024f6: MSTORE
000024f7: PUSH1 0x20
000024f9: ADD
000024fa: PUSH1 0x00
000024fc: KECCAK256
000024fd: PUSH1 0x00
000024ff: PUSH2 0x0100
00002502: EXP
00002503: DUP2
00002504: SLOAD
00002505: DUP2
00002506: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000251b: MUL
0000251c: NOT
0000251d: AND
0000251e: SWAP1
0000251f: DUP4
00002520: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002535: AND
00002536: MUL
00002537: OR
00002538: SWAP1
00002539: SSTORE
0000253a: POP
0000253b: PUSH1 0x04
0000253d: PUSH1 0x00
0000253f: PUSH1 0x01
00002541: DUP1
00002542: SLOAD
00002543: SWAP1
00002544: POP
00002545: DUP2
00002546: MSTORE
00002547: PUSH1 0x20
00002549: ADD
0000254a: SWAP1
0000254b: DUP2
0000254c: MSTORE
0000254d: PUSH1 0x20
0000254f: ADD
00002550: PUSH1 0x00
00002552: KECCAK256
00002553: PUSH1 0x00
00002555: SWAP1
00002556: SLOAD
00002557: SWAP1
00002558: PUSH2 0x0100
0000255b: EXP
0000255c: SWAP1
0000255d: DIV
0000255e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002573: AND
00002574: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002589: AND
0000258a: PUSH4 0x23b872dd
0000258f: CALLER
00002590: ADDRESS
00002591: DUP8
00002592: PUSH1 0x00
00002594: PUSH1 0x40
00002596: MLOAD
00002597: PUSH1 0x20
00002599: ADD
0000259a: MSTORE
0000259b: PUSH1 0x40
0000259d: MLOAD
0000259e: DUP5
0000259f: PUSH4 0xffffffff
000025a4: AND
000025a5: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000025c3: MUL
000025c4: DUP2
000025c5: MSTORE
000025c6: PUSH1 0x04
000025c8: ADD
000025c9: DUP1
000025ca: DUP5
000025cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025e0: AND
000025e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025f6: AND
000025f7: DUP2
000025f8: MSTORE
000025f9: PUSH1 0x20
000025fb: ADD
000025fc: DUP4
000025fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002612: AND
00002613: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002628: AND
00002629: DUP2
0000262a: MSTORE
0000262b: PUSH1 0x20
0000262d: ADD
0000262e: DUP3
0000262f: DUP2
00002630: MSTORE
00002631: PUSH1 0x20
00002633: ADD
00002634: SWAP4
00002635: POP
00002636: POP
00002637: POP
00002638: POP
00002639: PUSH1 0x20
0000263b: PUSH1 0x40
0000263d: MLOAD
0000263e: DUP1
0000263f: DUP4
00002640: SUB
00002641: DUP2
00002642: PUSH1 0x00
00002644: DUP8
00002645: DUP1
00002646: EXTCODESIZE
00002647: ISZERO
00002648: ISZERO
00002649: PUSH2 0x2651
0000264c: JUMPI
0000264d: PUSH1 0x00
0000264f: DUP1
00002650: REVERT
00002651: JUMPDEST
00002652: PUSH2 0x02c6
00002655: GAS
00002656: SUB
00002657: CALL
00002658: ISZERO
00002659: ISZERO
0000265a: PUSH2 0x2662
0000265d: JUMPI
0000265e: PUSH1 0x00
00002660: DUP1
00002661: REVERT
00002662: JUMPDEST
00002663: POP
00002664: POP
00002665: POP
00002666: PUSH1 0x40
00002668: MLOAD
00002669: DUP1
0000266a: MLOAD
0000266b: SWAP1
0000266c: POP
0000266d: ISZERO
0000266e: ISZERO
0000266f: PUSH2 0x2677
00002672: JUMPI
00002673: PUSH1 0x00
00002675: DUP1
00002676: REVERT
00002677: JUMPDEST
00002678: PUSH2 0x268e
0000267b: JUMP
0000267c: JUMPDEST
0000267d: CALLVALUE
0000267e: PUSH1 0x01
00002680: DUP6
00002681: MUL
00002682: EQ
00002683: ISZERO
00002684: ISZERO
00002685: PUSH2 0x268d
00002688: JUMPI
00002689: PUSH1 0x00
0000268b: DUP1
0000268c: REVERT
0000268d: JUMPDEST
0000268e: JUMPDEST
0000268f: PUSH1 0x01
00002691: DUP1
00002692: SLOAD
00002693: DUP1
00002694: PUSH1 0x01
00002696: ADD
00002697: DUP3
00002698: DUP2
00002699: PUSH2 0x26a2
0000269c: SWAP2
0000269d: SWAP1
0000269e: PUSH2 0x3f1d
000026a1: JUMP
000026a2: JUMPDEST
000026a3: SWAP2
000026a4: PUSH1 0x00
000026a6: MSTORE
000026a7: PUSH1 0x20
000026a9: PUSH1 0x00
000026ab: KECCAK256
000026ac: SWAP1
000026ad: PUSH1 0x06
000026af: MUL
000026b0: ADD
000026b1: PUSH1 0x00
000026b3: PUSH2 0x0100
000026b6: PUSH1 0x40
000026b8: MLOAD
000026b9: SWAP1
000026ba: DUP2
000026bb: ADD
000026bc: PUSH1 0x40
000026be: MSTORE
000026bf: DUP1
000026c0: DUP16
000026c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026d6: AND
000026d7: DUP2
000026d8: MSTORE
000026d9: PUSH1 0x20
000026db: ADD
000026dc: DUP15
000026dd: DUP2
000026de: MSTORE
000026df: PUSH1 0x20
000026e1: ADD
000026e2: DUP14
000026e3: DUP2
000026e4: MSTORE
000026e5: PUSH1 0x20
000026e7: ADD
000026e8: DUP13
000026e9: DUP2
000026ea: MSTORE
000026eb: PUSH1 0x20
000026ed: ADD
000026ee: DUP12
000026ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002704: AND
00002705: DUP2
00002706: MSTORE
00002707: PUSH1 0x20
00002709: ADD
0000270a: DUP11
0000270b: ISZERO
0000270c: ISZERO
0000270d: DUP2
0000270e: MSTORE
0000270f: PUSH1 0x20
00002711: ADD
00002712: PUSH1 0x01
00002714: PUSH1 0x02
00002716: DUP2
00002717: GT
00002718: ISZERO
00002719: PUSH2 0x271e
0000271c: JUMPI
0000271d: INVALID
0000271e: JUMPDEST
0000271f: DUP2
00002720: MSTORE
00002721: PUSH1 0x20
00002723: ADD
00002724: DUP9
00002725: DUP2
00002726: MSTORE
00002727: POP
00002728: SWAP1
00002729: SWAP2
0000272a: SWAP1
0000272b: SWAP2
0000272c: POP
0000272d: PUSH1 0x00
0000272f: DUP3
00002730: ADD
00002731: MLOAD
00002732: DUP2
00002733: PUSH1 0x00
00002735: ADD
00002736: PUSH1 0x00
00002738: PUSH2 0x0100
0000273b: EXP
0000273c: DUP2
0000273d: SLOAD
0000273e: DUP2
0000273f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002754: MUL
00002755: NOT
00002756: AND
00002757: SWAP1
00002758: DUP4
00002759: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000276e: AND
0000276f: MUL
00002770: OR
00002771: SWAP1
00002772: SSTORE
00002773: POP
00002774: PUSH1 0x20
00002776: DUP3
00002777: ADD
00002778: MLOAD
00002779: DUP2
0000277a: PUSH1 0x01
0000277c: ADD
0000277d: SSTORE
0000277e: PUSH1 0x40
00002780: DUP3
00002781: ADD
00002782: MLOAD
00002783: DUP2
00002784: PUSH1 0x02
00002786: ADD
00002787: SWAP1
00002788: DUP1
00002789: MLOAD
0000278a: SWAP1
0000278b: PUSH1 0x20
0000278d: ADD
0000278e: SWAP1
0000278f: PUSH2 0x2799
00002792: SWAP3
00002793: SWAP2
00002794: SWAP1
00002795: PUSH2 0x3e1d
00002798: JUMP
00002799: JUMPDEST
0000279a: POP
0000279b: PUSH1 0x60
0000279d: DUP3
0000279e: ADD
0000279f: MLOAD
000027a0: DUP2
000027a1: PUSH1 0x03
000027a3: ADD
000027a4: SSTORE
000027a5: PUSH1 0x80
000027a7: DUP3
000027a8: ADD
000027a9: MLOAD
000027aa: DUP2
000027ab: PUSH1 0x04
000027ad: ADD
000027ae: PUSH1 0x00
000027b0: PUSH2 0x0100
000027b3: EXP
000027b4: DUP2
000027b5: SLOAD
000027b6: DUP2
000027b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027cc: MUL
000027cd: NOT
000027ce: AND
000027cf: SWAP1
000027d0: DUP4
000027d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027e6: AND
000027e7: MUL
000027e8: OR
000027e9: SWAP1
000027ea: SSTORE
000027eb: POP
000027ec: PUSH1 0xa0
000027ee: DUP3
000027ef: ADD
000027f0: MLOAD
000027f1: DUP2
000027f2: PUSH1 0x04
000027f4: ADD
000027f5: PUSH1 0x14
000027f7: PUSH2 0x0100
000027fa: EXP
000027fb: DUP2
000027fc: SLOAD
000027fd: DUP2
000027fe: PUSH1 0xff
00002800: MUL
00002801: NOT
00002802: AND
00002803: SWAP1
00002804: DUP4
00002805: ISZERO
00002806: ISZERO
00002807: MUL
00002808: OR
00002809: SWAP1
0000280a: SSTORE
0000280b: POP
0000280c: PUSH1 0xc0
0000280e: DUP3
0000280f: ADD
00002810: MLOAD
00002811: DUP2
00002812: PUSH1 0x04
00002814: ADD
00002815: PUSH1 0x15
00002817: PUSH2 0x0100
0000281a: EXP
0000281b: DUP2
0000281c: SLOAD
0000281d: DUP2
0000281e: PUSH1 0xff
00002820: MUL
00002821: NOT
00002822: AND
00002823: SWAP1
00002824: DUP4
00002825: PUSH1 0x02
00002827: DUP2
00002828: GT
00002829: ISZERO
0000282a: PUSH2 0x282f
0000282d: JUMPI
0000282e: INVALID
0000282f: JUMPDEST
00002830: MUL
00002831: OR
00002832: SWAP1
00002833: SSTORE
00002834: POP
00002835: PUSH1 0xe0
00002837: DUP3
00002838: ADD
00002839: MLOAD
0000283a: DUP2
0000283b: PUSH1 0x05
0000283d: ADD
0000283e: SSTORE
0000283f: POP
00002840: POP
00002841: POP
00002842: PUSH32 0xe04ac09e4a49338f40cf62a51ba721823ed22f57bc4d53c6f8684bdb1be8fd10
00002863: PUSH1 0x01
00002865: DUP1
00002866: DUP1
00002867: SLOAD
00002868: SWAP1
00002869: POP
0000286a: SUB
0000286b: PUSH1 0x40
0000286d: MLOAD
0000286e: DUP1
0000286f: DUP3
00002870: DUP2
00002871: MSTORE
00002872: PUSH1 0x20
00002874: ADD
00002875: SWAP2
00002876: POP
00002877: POP
00002878: PUSH1 0x40
0000287a: MLOAD
0000287b: DUP1
0000287c: SWAP2
0000287d: SUB
0000287e: SWAP1
0000287f: LOG1
00002880: CALLER
00002881: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002896: AND
00002897: PUSH32 0x75aecd8d57cb4b1b263271bddb4961b993924dd466e6003c254832572d8a57e1
000028b8: PUSH1 0x01
000028ba: DUP1
000028bb: DUP1
000028bc: SLOAD
000028bd: SWAP1
000028be: POP
000028bf: SUB
000028c0: DUP7
000028c1: PUSH1 0x40
000028c3: MLOAD
000028c4: DUP1
000028c5: DUP4
000028c6: DUP2
000028c7: MSTORE
000028c8: PUSH1 0x20
000028ca: ADD
000028cb: DUP3
000028cc: DUP2
000028cd: MSTORE
000028ce: PUSH1 0x20
000028d0: ADD
000028d1: SWAP3
000028d2: POP
000028d3: POP
000028d4: POP
000028d5: PUSH1 0x40
000028d7: MLOAD
000028d8: DUP1
000028d9: SWAP2
000028da: SUB
000028db: SWAP1
000028dc: LOG2
000028dd: PUSH32 0xe42c1b76efa2e9aa5b354a151174590827beb1ef94bde26787491bf4e7d68a19
000028fe: PUSH1 0x01
00002900: DUP1
00002901: DUP1
00002902: SLOAD
00002903: SWAP1
00002904: POP
00002905: SUB
00002906: CALLER
00002907: PUSH1 0x40
00002909: MLOAD
0000290a: DUP1
0000290b: DUP4
0000290c: DUP2
0000290d: MSTORE
0000290e: PUSH1 0x20
00002910: ADD
00002911: DUP3
00002912: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002927: AND
00002928: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000293d: AND
0000293e: DUP2
0000293f: MSTORE
00002940: PUSH1 0x20
00002942: ADD
00002943: SWAP3
00002944: POP
00002945: POP
00002946: POP
00002947: PUSH1 0x40
00002949: MLOAD
0000294a: DUP1
0000294b: SWAP2
0000294c: SUB
0000294d: SWAP1
0000294e: LOG1
0000294f: PUSH1 0x01
00002951: DUP1
00002952: DUP1
00002953: SLOAD
00002954: SWAP1
00002955: POP
00002956: SUB
00002957: SWAP3
00002958: POP
00002959: POP
0000295a: POP
0000295b: SWAP9
0000295c: SWAP8
0000295d: POP
0000295e: POP
0000295f: POP
00002960: POP
00002961: POP
00002962: POP
00002963: POP
00002964: POP
00002965: JUMP
00002966: JUMPDEST
00002967: PUSH1 0x00
00002969: DUP2
0000296a: PUSH1 0x01
0000296c: DUP1
0000296d: SLOAD
0000296e: SWAP1
0000296f: POP
00002970: DUP2
00002971: LT
00002972: ISZERO
00002973: ISZERO
00002974: PUSH2 0x297c
00002977: JUMPI
00002978: PUSH1 0x00
0000297a: DUP1
0000297b: REVERT
0000297c: JUMPDEST
0000297d: PUSH1 0x01
0000297f: DUP4
00002980: DUP2
00002981: SLOAD
00002982: DUP2
00002983: LT
00002984: ISZERO
00002985: ISZERO
00002986: PUSH2 0x298b
00002989: JUMPI
0000298a: INVALID
0000298b: JUMPDEST
0000298c: SWAP1
0000298d: PUSH1 0x00
0000298f: MSTORE
00002990: PUSH1 0x20
00002992: PUSH1 0x00
00002994: KECCAK256
00002995: SWAP1
00002996: PUSH1 0x06
00002998: MUL
00002999: ADD
0000299a: PUSH1 0x04
0000299c: ADD
0000299d: PUSH1 0x00
0000299f: SWAP1
000029a0: SLOAD
000029a1: SWAP1
000029a2: PUSH2 0x0100
000029a5: EXP
000029a6: SWAP1
000029a7: DIV
000029a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029bd: AND
000029be: SWAP2
000029bf: POP
000029c0: POP
000029c1: SWAP2
000029c2: SWAP1
000029c3: POP
000029c4: JUMP
000029c5: JUMPDEST
000029c6: DUP2
000029c7: PUSH1 0x01
000029c9: DUP1
000029ca: SLOAD
000029cb: SWAP1
000029cc: POP
000029cd: DUP2
000029ce: LT
000029cf: ISZERO
000029d0: ISZERO
000029d1: PUSH2 0x29d9
000029d4: JUMPI
000029d5: PUSH1 0x00
000029d7: DUP1
000029d8: REVERT
000029d9: JUMPDEST
000029da: DUP3
000029db: PUSH1 0x01
000029dd: DUP2
000029de: DUP2
000029df: SLOAD
000029e0: DUP2
000029e1: LT
000029e2: ISZERO
000029e3: ISZERO
000029e4: PUSH2 0x29e9
000029e7: JUMPI
000029e8: INVALID
000029e9: JUMPDEST
000029ea: SWAP1
000029eb: PUSH1 0x00
000029ed: MSTORE
000029ee: PUSH1 0x20
000029f0: PUSH1 0x00
000029f2: KECCAK256
000029f3: SWAP1
000029f4: PUSH1 0x06
000029f6: MUL
000029f7: ADD
000029f8: PUSH1 0x01
000029fa: ADD
000029fb: SLOAD
000029fc: TIMESTAMP
000029fd: LT
000029fe: ISZERO
000029ff: ISZERO
00002a00: PUSH2 0x2a08
00002a03: JUMPI
00002a04: PUSH1 0x00
00002a06: DUP1
00002a07: REVERT
00002a08: JUMPDEST
00002a09: DUP4
00002a0a: PUSH1 0x02
00002a0c: DUP1
00002a0d: DUP2
00002a0e: GT
00002a0f: ISZERO
00002a10: PUSH2 0x2a15
00002a13: JUMPI
00002a14: INVALID
00002a15: JUMPDEST
00002a16: PUSH1 0x01
00002a18: DUP3
00002a19: DUP2
00002a1a: SLOAD
00002a1b: DUP2
00002a1c: LT
00002a1d: ISZERO
00002a1e: ISZERO
00002a1f: PUSH2 0x2a24
00002a22: JUMPI
00002a23: INVALID
00002a24: JUMPDEST
00002a25: SWAP1
00002a26: PUSH1 0x00
00002a28: MSTORE
00002a29: PUSH1 0x20
00002a2b: PUSH1 0x00
00002a2d: KECCAK256
00002a2e: SWAP1
00002a2f: PUSH1 0x06
00002a31: MUL
00002a32: ADD
00002a33: PUSH1 0x04
00002a35: ADD
00002a36: PUSH1 0x15
00002a38: SWAP1
00002a39: SLOAD
00002a3a: SWAP1
00002a3b: PUSH2 0x0100
00002a3e: EXP
00002a3f: SWAP1
00002a40: DIV
00002a41: PUSH1 0xff
00002a43: AND
00002a44: PUSH1 0x02
00002a46: DUP2
00002a47: GT
00002a48: ISZERO
00002a49: PUSH2 0x2a4e
00002a4c: JUMPI
00002a4d: INVALID
00002a4e: JUMPDEST
00002a4f: EQ
00002a50: ISZERO
00002a51: ISZERO
00002a52: ISZERO
00002a53: PUSH2 0x2a5b
00002a56: JUMPI
00002a57: PUSH1 0x00
00002a59: DUP1
00002a5a: REVERT
00002a5b: JUMPDEST
00002a5c: DUP4
00002a5d: PUSH1 0x00
00002a5f: DUP2
00002a60: EQ
00002a61: ISZERO
00002a62: ISZERO
00002a63: ISZERO
00002a64: PUSH2 0x2a6c
00002a67: JUMPI
00002a68: PUSH1 0x00
00002a6a: DUP1
00002a6b: REVERT
00002a6c: JUMPDEST
00002a6d: DUP6
00002a6e: DUP6
00002a6f: PUSH1 0x00
00002a71: PUSH1 0x01
00002a73: DUP4
00002a74: DUP2
00002a75: SLOAD
00002a76: DUP2
00002a77: LT
00002a78: ISZERO
00002a79: ISZERO
00002a7a: PUSH2 0x2a7f
00002a7d: JUMPI
00002a7e: INVALID
00002a7f: JUMPDEST
00002a80: SWAP1
00002a81: PUSH1 0x00
00002a83: MSTORE
00002a84: PUSH1 0x20
00002a86: PUSH1 0x00
00002a88: KECCAK256
00002a89: SWAP1
00002a8a: PUSH1 0x06
00002a8c: MUL
00002a8d: ADD
00002a8e: PUSH1 0x04
00002a90: ADD
00002a91: PUSH1 0x14
00002a93: SWAP1
00002a94: SLOAD
00002a95: SWAP1
00002a96: PUSH2 0x0100
00002a99: EXP
00002a9a: SWAP1
00002a9b: DIV
00002a9c: PUSH1 0xff
00002a9e: AND
00002a9f: ISZERO
00002aa0: PUSH2 0x2ded
00002aa3: JUMPI
00002aa4: PUSH1 0x00
00002aa6: CALLVALUE
00002aa7: EQ
00002aa8: ISZERO
00002aa9: ISZERO
00002aaa: PUSH2 0x2ab2
00002aad: JUMPI
00002aae: PUSH1 0x00
00002ab0: DUP1
00002ab1: REVERT
00002ab2: JUMPDEST
00002ab3: PUSH1 0x04
00002ab5: PUSH1 0x00
00002ab7: DUP5
00002ab8: DUP2
00002ab9: MSTORE
00002aba: PUSH1 0x20
00002abc: ADD
00002abd: SWAP1
00002abe: DUP2
00002abf: MSTORE
00002ac0: PUSH1 0x20
00002ac2: ADD
00002ac3: PUSH1 0x00
00002ac5: KECCAK256
00002ac6: PUSH1 0x00
00002ac8: SWAP1
00002ac9: SLOAD
00002aca: SWAP1
00002acb: PUSH2 0x0100
00002ace: EXP
00002acf: SWAP1
00002ad0: DIV
00002ad1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ae6: AND
00002ae7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002afc: AND
00002afd: PUSH4 0x70a08231
00002b02: ADDRESS
00002b03: PUSH1 0x00
00002b05: PUSH1 0x40
00002b07: MLOAD
00002b08: PUSH1 0x20
00002b0a: ADD
00002b0b: MSTORE
00002b0c: PUSH1 0x40
00002b0e: MLOAD
00002b0f: DUP3
00002b10: PUSH4 0xffffffff
00002b15: AND
00002b16: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002b34: MUL
00002b35: DUP2
00002b36: MSTORE
00002b37: PUSH1 0x04
00002b39: ADD
00002b3a: DUP1
00002b3b: DUP3
00002b3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b51: AND
00002b52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b67: AND
00002b68: DUP2
00002b69: MSTORE
00002b6a: PUSH1 0x20
00002b6c: ADD
00002b6d: SWAP2
00002b6e: POP
00002b6f: POP
00002b70: PUSH1 0x20
00002b72: PUSH1 0x40
00002b74: MLOAD
00002b75: DUP1
00002b76: DUP4
00002b77: SUB
00002b78: DUP2
00002b79: PUSH1 0x00
00002b7b: DUP8
00002b7c: DUP1
00002b7d: EXTCODESIZE
00002b7e: ISZERO
00002b7f: ISZERO
00002b80: PUSH2 0x2b88
00002b83: JUMPI
00002b84: PUSH1 0x00
00002b86: DUP1
00002b87: REVERT
00002b88: JUMPDEST
00002b89: PUSH2 0x02c6
00002b8c: GAS
00002b8d: SUB
00002b8e: CALL
00002b8f: ISZERO
00002b90: ISZERO
00002b91: PUSH2 0x2b99
00002b94: JUMPI
00002b95: PUSH1 0x00
00002b97: DUP1
00002b98: REVERT
00002b99: JUMPDEST
00002b9a: POP
00002b9b: POP
00002b9c: POP
00002b9d: PUSH1 0x40
00002b9f: MLOAD
00002ba0: DUP1
00002ba1: MLOAD
00002ba2: SWAP1
00002ba3: POP
00002ba4: SWAP1
00002ba5: POP
00002ba6: PUSH1 0x00
00002ba8: DUP3
00002ba9: EQ
00002baa: ISZERO
00002bab: ISZERO
00002bac: PUSH2 0x2ce8
00002baf: JUMPI
00002bb0: PUSH1 0x04
00002bb2: PUSH1 0x00
00002bb4: DUP5
00002bb5: DUP2
00002bb6: MSTORE
00002bb7: PUSH1 0x20
00002bb9: ADD
00002bba: SWAP1
00002bbb: DUP2
00002bbc: MSTORE
00002bbd: PUSH1 0x20
00002bbf: ADD
00002bc0: PUSH1 0x00
00002bc2: KECCAK256
00002bc3: PUSH1 0x00
00002bc5: SWAP1
00002bc6: SLOAD
00002bc7: SWAP1
00002bc8: PUSH2 0x0100
00002bcb: EXP
00002bcc: SWAP1
00002bcd: DIV
00002bce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002be3: AND
00002be4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bf9: AND
00002bfa: PUSH4 0x23b872dd
00002bff: CALLER
00002c00: ADDRESS
00002c01: DUP6
00002c02: PUSH1 0x00
00002c04: PUSH1 0x40
00002c06: MLOAD
00002c07: PUSH1 0x20
00002c09: ADD
00002c0a: MSTORE
00002c0b: PUSH1 0x40
00002c0d: MLOAD
00002c0e: DUP5
00002c0f: PUSH4 0xffffffff
00002c14: AND
00002c15: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002c33: MUL
00002c34: DUP2
00002c35: MSTORE
00002c36: PUSH1 0x04
00002c38: ADD
00002c39: DUP1
00002c3a: DUP5
00002c3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c50: AND
00002c51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c66: AND
00002c67: DUP2
00002c68: MSTORE
00002c69: PUSH1 0x20
00002c6b: ADD
00002c6c: DUP4
00002c6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c82: AND
00002c83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c98: AND
00002c99: DUP2
00002c9a: MSTORE
00002c9b: PUSH1 0x20
00002c9d: ADD
00002c9e: DUP3
00002c9f: DUP2
00002ca0: MSTORE
00002ca1: PUSH1 0x20
00002ca3: ADD
00002ca4: SWAP4
00002ca5: POP
00002ca6: POP
00002ca7: POP
00002ca8: POP
00002ca9: PUSH1 0x20
00002cab: PUSH1 0x40
00002cad: MLOAD
00002cae: DUP1
00002caf: DUP4
00002cb0: SUB
00002cb1: DUP2
00002cb2: PUSH1 0x00
00002cb4: DUP8
00002cb5: DUP1
00002cb6: EXTCODESIZE
00002cb7: ISZERO
00002cb8: ISZERO
00002cb9: PUSH2 0x2cc1
00002cbc: JUMPI
00002cbd: PUSH1 0x00
00002cbf: DUP1
00002cc0: REVERT
00002cc1: JUMPDEST
00002cc2: PUSH2 0x02c6
00002cc5: GAS
00002cc6: SUB
00002cc7: CALL
00002cc8: ISZERO
00002cc9: ISZERO
00002cca: PUSH2 0x2cd2
00002ccd: JUMPI
00002cce: PUSH1 0x00
00002cd0: DUP1
00002cd1: REVERT
00002cd2: JUMPDEST
00002cd3: POP
00002cd4: POP
00002cd5: POP
00002cd6: PUSH1 0x40
00002cd8: MLOAD
00002cd9: DUP1
00002cda: MLOAD
00002cdb: SWAP1
00002cdc: POP
00002cdd: ISZERO
00002cde: ISZERO
00002cdf: PUSH2 0x2ce7
00002ce2: JUMPI
00002ce3: PUSH1 0x00
00002ce5: DUP1
00002ce6: REVERT
00002ce7: JUMPDEST
00002ce8: JUMPDEST
00002ce9: DUP2
00002cea: DUP2
00002ceb: PUSH1 0x04
00002ced: PUSH1 0x00
00002cef: DUP7
00002cf0: DUP2
00002cf1: MSTORE
00002cf2: PUSH1 0x20
00002cf4: ADD
00002cf5: SWAP1
00002cf6: DUP2
00002cf7: MSTORE
00002cf8: PUSH1 0x20
00002cfa: ADD
00002cfb: PUSH1 0x00
00002cfd: KECCAK256
00002cfe: PUSH1 0x00
00002d00: SWAP1
00002d01: SLOAD
00002d02: SWAP1
00002d03: PUSH2 0x0100
00002d06: EXP
00002d07: SWAP1
00002d08: DIV
00002d09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d1e: AND
00002d1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d34: AND
00002d35: PUSH4 0x70a08231
00002d3a: ADDRESS
00002d3b: PUSH1 0x00
00002d3d: PUSH1 0x40
00002d3f: MLOAD
00002d40: PUSH1 0x20
00002d42: ADD
00002d43: MSTORE
00002d44: PUSH1 0x40
00002d46: MLOAD
00002d47: DUP3
00002d48: PUSH4 0xffffffff
00002d4d: AND
00002d4e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002d6c: MUL
00002d6d: DUP2
00002d6e: MSTORE
00002d6f: PUSH1 0x04
00002d71: ADD
00002d72: DUP1
00002d73: DUP3
00002d74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d89: AND
00002d8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d9f: AND
00002da0: DUP2
00002da1: MSTORE
00002da2: PUSH1 0x20
00002da4: ADD
00002da5: SWAP2
00002da6: POP
00002da7: POP
00002da8: PUSH1 0x20
00002daa: PUSH1 0x40
00002dac: MLOAD
00002dad: DUP1
00002dae: DUP4
00002daf: SUB
00002db0: DUP2
00002db1: PUSH1 0x00
00002db3: DUP8
00002db4: DUP1
00002db5: EXTCODESIZE
00002db6: ISZERO
00002db7: ISZERO
00002db8: PUSH2 0x2dc0
00002dbb: JUMPI
00002dbc: PUSH1 0x00
00002dbe: DUP1
00002dbf: REVERT
00002dc0: JUMPDEST
00002dc1: PUSH2 0x02c6
00002dc4: GAS
00002dc5: SUB
00002dc6: CALL
00002dc7: ISZERO
00002dc8: ISZERO
00002dc9: PUSH2 0x2dd1
00002dcc: JUMPI
00002dcd: PUSH1 0x00
00002dcf: DUP1
00002dd0: REVERT
00002dd1: JUMPDEST
00002dd2: POP
00002dd3: POP
00002dd4: POP
00002dd5: PUSH1 0x40
00002dd7: MLOAD
00002dd8: DUP1
00002dd9: MLOAD
00002dda: SWAP1
00002ddb: POP
00002ddc: SUB
00002ddd: EQ
00002dde: ISZERO
00002ddf: ISZERO
00002de0: PUSH2 0x2de8
00002de3: JUMPI
00002de4: PUSH1 0x00
00002de6: DUP1
00002de7: REVERT
00002de8: JUMPDEST
00002de9: PUSH2 0x2dff
00002dec: JUMP
00002ded: JUMPDEST
00002dee: CALLVALUE
00002def: PUSH1 0x01
00002df1: DUP4
00002df2: MUL
00002df3: EQ
00002df4: ISZERO
00002df5: ISZERO
00002df6: PUSH2 0x2dfe
00002df9: JUMPI
00002dfa: PUSH1 0x00
00002dfc: DUP1
00002dfd: REVERT
00002dfe: JUMPDEST
00002dff: JUMPDEST
00002e00: DUP8
00002e01: PUSH1 0x01
00002e03: DUP11
00002e04: DUP2
00002e05: SLOAD
00002e06: DUP2
00002e07: LT
00002e08: ISZERO
00002e09: ISZERO
00002e0a: PUSH2 0x2e0f
00002e0d: JUMPI
00002e0e: INVALID
00002e0f: JUMPDEST
00002e10: SWAP1
00002e11: PUSH1 0x00
00002e13: MSTORE
00002e14: PUSH1 0x20
00002e16: PUSH1 0x00
00002e18: KECCAK256
00002e19: SWAP1
00002e1a: PUSH1 0x06
00002e1c: MUL
00002e1d: ADD
00002e1e: PUSH1 0x05
00002e20: ADD
00002e21: PUSH1 0x00
00002e23: DUP3
00002e24: DUP3
00002e25: SLOAD
00002e26: ADD
00002e27: SWAP3
00002e28: POP
00002e29: POP
00002e2a: DUP2
00002e2b: SWAP1
00002e2c: SSTORE
00002e2d: POP
00002e2e: CALLER
00002e2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e44: AND
00002e45: PUSH32 0x75aecd8d57cb4b1b263271bddb4961b993924dd466e6003c254832572d8a57e1
00002e66: DUP11
00002e67: DUP11
00002e68: PUSH1 0x40
00002e6a: MLOAD
00002e6b: DUP1
00002e6c: DUP4
00002e6d: DUP2
00002e6e: MSTORE
00002e6f: PUSH1 0x20
00002e71: ADD
00002e72: DUP3
00002e73: DUP2
00002e74: MSTORE
00002e75: PUSH1 0x20
00002e77: ADD
00002e78: SWAP3
00002e79: POP
00002e7a: POP
00002e7b: POP
00002e7c: PUSH1 0x40
00002e7e: MLOAD
00002e7f: DUP1
00002e80: SWAP2
00002e81: SUB
00002e82: SWAP1
00002e83: LOG2
00002e84: POP
00002e85: POP
00002e86: POP
00002e87: POP
00002e88: POP
00002e89: POP
00002e8a: POP
00002e8b: POP
00002e8c: POP
00002e8d: JUMP
00002e8e: JUMPDEST
00002e8f: PUSH1 0x00
00002e91: DUP1
00002e92: SWAP1
00002e93: SLOAD
00002e94: SWAP1
00002e95: PUSH2 0x0100
00002e98: EXP
00002e99: SWAP1
00002e9a: DIV
00002e9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002eb0: AND
00002eb1: DUP2
00002eb2: JUMP
00002eb3: JUMPDEST
00002eb4: PUSH2 0x2ebb
00002eb7: PUSH2 0x3f4f
00002eba: JUMP
00002ebb: JUMPDEST
00002ebc: DUP2
00002ebd: PUSH1 0x01
00002ebf: DUP1
00002ec0: SLOAD
00002ec1: SWAP1
00002ec2: POP
00002ec3: DUP2
00002ec4: LT
00002ec5: ISZERO
00002ec6: ISZERO
00002ec7: PUSH2 0x2ecf
00002eca: JUMPI
00002ecb: PUSH1 0x00
00002ecd: DUP1
00002ece: REVERT
00002ecf: JUMPDEST
00002ed0: PUSH1 0x01
00002ed2: DUP4
00002ed3: DUP2
00002ed4: SLOAD
00002ed5: DUP2
00002ed6: LT
00002ed7: ISZERO
00002ed8: ISZERO
00002ed9: PUSH2 0x2ede
00002edc: JUMPI
00002edd: INVALID
00002ede: JUMPDEST
00002edf: SWAP1
00002ee0: PUSH1 0x00
00002ee2: MSTORE
00002ee3: PUSH1 0x20
00002ee5: PUSH1 0x00
00002ee7: KECCAK256
00002ee8: SWAP1
00002ee9: PUSH1 0x06
00002eeb: MUL
00002eec: ADD
00002eed: PUSH1 0x02
00002eef: ADD
00002ef0: DUP1
00002ef1: SLOAD
00002ef2: PUSH1 0x01
00002ef4: DUP2
00002ef5: PUSH1 0x01
00002ef7: AND
00002ef8: ISZERO
00002ef9: PUSH2 0x0100
00002efc: MUL
00002efd: SUB
00002efe: AND
00002eff: PUSH1 0x02
00002f01: SWAP1
00002f02: DIV
00002f03: DUP1
00002f04: PUSH1 0x1f
00002f06: ADD
00002f07: PUSH1 0x20
00002f09: DUP1
00002f0a: SWAP2
00002f0b: DIV
00002f0c: MUL
00002f0d: PUSH1 0x20
00002f0f: ADD
00002f10: PUSH1 0x40
00002f12: MLOAD
00002f13: SWAP1
00002f14: DUP2
00002f15: ADD
00002f16: PUSH1 0x40
00002f18: MSTORE
00002f19: DUP1
00002f1a: SWAP3
00002f1b: SWAP2
00002f1c: SWAP1
00002f1d: DUP2
00002f1e: DUP2
00002f1f: MSTORE
00002f20: PUSH1 0x20
00002f22: ADD
00002f23: DUP3
00002f24: DUP1
00002f25: SLOAD
00002f26: PUSH1 0x01
00002f28: DUP2
00002f29: PUSH1 0x01
00002f2b: AND
00002f2c: ISZERO
00002f2d: PUSH2 0x0100
00002f30: MUL
00002f31: SUB
00002f32: AND
00002f33: PUSH1 0x02
00002f35: SWAP1
00002f36: DIV
00002f37: DUP1
00002f38: ISZERO
00002f39: PUSH2 0x2f83
00002f3c: JUMPI
00002f3d: DUP1
00002f3e: PUSH1 0x1f
00002f40: LT
00002f41: PUSH2 0x2f58
00002f44: JUMPI
00002f45: PUSH2 0x0100
00002f48: DUP1
00002f49: DUP4
00002f4a: SLOAD
00002f4b: DIV
00002f4c: MUL
00002f4d: DUP4
00002f4e: MSTORE
00002f4f: SWAP2
00002f50: PUSH1 0x20
00002f52: ADD
00002f53: SWAP2
00002f54: PUSH2 0x2f83
00002f57: JUMP
00002f58: JUMPDEST
00002f59: DUP3
00002f5a: ADD
00002f5b: SWAP2
00002f5c: SWAP1
00002f5d: PUSH1 0x00
00002f5f: MSTORE
00002f60: PUSH1 0x20
00002f62: PUSH1 0x00
00002f64: KECCAK256
00002f65: SWAP1
00002f66: JUMPDEST
00002f67: DUP2
00002f68: SLOAD
00002f69: DUP2
00002f6a: MSTORE
00002f6b: SWAP1
00002f6c: PUSH1 0x01
00002f6e: ADD
00002f6f: SWAP1
00002f70: PUSH1 0x20
00002f72: ADD
00002f73: DUP1
00002f74: DUP4
00002f75: GT
00002f76: PUSH2 0x2f66
00002f79: JUMPI
00002f7a: DUP3
00002f7b: SWAP1
00002f7c: SUB
00002f7d: PUSH1 0x1f
00002f7f: AND
00002f80: DUP3
00002f81: ADD
00002f82: SWAP2
00002f83: JUMPDEST
00002f84: POP
00002f85: POP
00002f86: POP
00002f87: POP
00002f88: POP
00002f89: SWAP2
00002f8a: POP
00002f8b: POP
00002f8c: SWAP2
00002f8d: SWAP1
00002f8e: POP
00002f8f: JUMP
00002f90: JUMPDEST
00002f91: PUSH1 0x00
00002f93: DUP1
00002f94: PUSH2 0x2f9b
00002f97: PUSH2 0x3f4f
00002f9a: JUMP
00002f9b: JUMPDEST
00002f9c: DUP5
00002f9d: PUSH1 0x01
00002f9f: DUP1
00002fa0: SLOAD
00002fa1: SWAP1
00002fa2: POP
00002fa3: DUP2
00002fa4: LT
00002fa5: ISZERO
00002fa6: ISZERO
00002fa7: PUSH2 0x2faf
00002faa: JUMPI
00002fab: PUSH1 0x00
00002fad: DUP1
00002fae: REVERT
00002faf: JUMPDEST
00002fb0: DUP6
00002fb1: DUP6
00002fb2: PUSH1 0x02
00002fb4: PUSH1 0x00
00002fb6: DUP4
00002fb7: DUP2
00002fb8: MSTORE
00002fb9: PUSH1 0x20
00002fbb: ADD
00002fbc: SWAP1
00002fbd: DUP2
00002fbe: MSTORE
00002fbf: PUSH1 0x20
00002fc1: ADD
00002fc2: PUSH1 0x00
00002fc4: KECCAK256
00002fc5: DUP1
00002fc6: SLOAD
00002fc7: SWAP1
00002fc8: POP
00002fc9: DUP2
00002fca: LT
00002fcb: ISZERO
00002fcc: ISZERO
00002fcd: PUSH2 0x2fd5
00002fd0: JUMPI
00002fd1: PUSH1 0x00
00002fd3: DUP1
00002fd4: REVERT
00002fd5: JUMPDEST
00002fd6: PUSH1 0x02
00002fd8: PUSH1 0x00
00002fda: DUP10
00002fdb: DUP2
00002fdc: MSTORE
00002fdd: PUSH1 0x20
00002fdf: ADD
00002fe0: SWAP1
00002fe1: DUP2
00002fe2: MSTORE
00002fe3: PUSH1 0x20
00002fe5: ADD
00002fe6: PUSH1 0x00
00002fe8: KECCAK256
00002fe9: DUP8
00002fea: DUP2
00002feb: SLOAD
00002fec: DUP2
00002fed: LT
00002fee: ISZERO
00002fef: ISZERO
00002ff0: PUSH2 0x2ff5
00002ff3: JUMPI
00002ff4: INVALID
00002ff5: JUMPDEST
00002ff6: SWAP1
00002ff7: PUSH1 0x00
00002ff9: MSTORE
00002ffa: PUSH1 0x20
00002ffc: PUSH1 0x00
00002ffe: KECCAK256
00002fff: SWAP1
00003000: PUSH1 0x02
00003002: MUL
00003003: ADD
00003004: PUSH1 0x00
00003006: ADD
00003007: PUSH1 0x00
00003009: SWAP1
0000300a: SLOAD
0000300b: SWAP1
0000300c: PUSH2 0x0100
0000300f: EXP
00003010: SWAP1
00003011: DIV
00003012: PUSH1 0xff
00003014: AND
00003015: PUSH1 0x02
00003017: PUSH1 0x00
00003019: DUP11
0000301a: DUP2
0000301b: MSTORE
0000301c: PUSH1 0x20
0000301e: ADD
0000301f: SWAP1
00003020: DUP2
00003021: MSTORE
00003022: PUSH1 0x20
00003024: ADD
00003025: PUSH1 0x00
00003027: KECCAK256
00003028: DUP9
00003029: DUP2
0000302a: SLOAD
0000302b: DUP2
0000302c: LT
0000302d: ISZERO
0000302e: ISZERO
0000302f: PUSH2 0x3034
00003032: JUMPI
00003033: INVALID
00003034: JUMPDEST
00003035: SWAP1
00003036: PUSH1 0x00
00003038: MSTORE
00003039: PUSH1 0x20
0000303b: PUSH1 0x00
0000303d: KECCAK256
0000303e: SWAP1
0000303f: PUSH1 0x02
00003041: MUL
00003042: ADD
00003043: PUSH1 0x00
00003045: ADD
00003046: PUSH1 0x01
00003048: SWAP1
00003049: SLOAD
0000304a: SWAP1
0000304b: PUSH2 0x0100
0000304e: EXP
0000304f: SWAP1
00003050: DIV
00003051: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003066: AND
00003067: PUSH1 0x02
00003069: PUSH1 0x00
0000306b: DUP12
0000306c: DUP2
0000306d: MSTORE
0000306e: PUSH1 0x20
00003070: ADD
00003071: SWAP1
00003072: DUP2
00003073: MSTORE
00003074: PUSH1 0x20
00003076: ADD
00003077: PUSH1 0x00
00003079: KECCAK256
0000307a: DUP10
0000307b: DUP2
0000307c: SLOAD
0000307d: DUP2
0000307e: LT
0000307f: ISZERO
00003080: ISZERO
00003081: PUSH2 0x3086
00003084: JUMPI
00003085: INVALID
00003086: JUMPDEST
00003087: SWAP1
00003088: PUSH1 0x00
0000308a: MSTORE
0000308b: PUSH1 0x20
0000308d: PUSH1 0x00
0000308f: KECCAK256
00003090: SWAP1
00003091: PUSH1 0x02
00003093: MUL
00003094: ADD
00003095: PUSH1 0x01
00003097: ADD
00003098: DUP1
00003099: DUP1
0000309a: SLOAD
0000309b: PUSH1 0x01
0000309d: DUP2
0000309e: PUSH1 0x01
000030a0: AND
000030a1: ISZERO
000030a2: PUSH2 0x0100
000030a5: MUL
000030a6: SUB
000030a7: AND
000030a8: PUSH1 0x02
000030aa: SWAP1
000030ab: DIV
000030ac: DUP1
000030ad: PUSH1 0x1f
000030af: ADD
000030b0: PUSH1 0x20
000030b2: DUP1
000030b3: SWAP2
000030b4: DIV
000030b5: MUL
000030b6: PUSH1 0x20
000030b8: ADD
000030b9: PUSH1 0x40
000030bb: MLOAD
000030bc: SWAP1
000030bd: DUP2
000030be: ADD
000030bf: PUSH1 0x40
000030c1: MSTORE
000030c2: DUP1
000030c3: SWAP3
000030c4: SWAP2
000030c5: SWAP1
000030c6: DUP2
000030c7: DUP2
000030c8: MSTORE
000030c9: PUSH1 0x20
000030cb: ADD
000030cc: DUP3
000030cd: DUP1
000030ce: SLOAD
000030cf: PUSH1 0x01
000030d1: DUP2
000030d2: PUSH1 0x01
000030d4: AND
000030d5: ISZERO
000030d6: PUSH2 0x0100
000030d9: MUL
000030da: SUB
000030db: AND
000030dc: PUSH1 0x02
000030de: SWAP1
000030df: DIV
000030e0: DUP1
000030e1: ISZERO
000030e2: PUSH2 0x312c
000030e5: JUMPI
000030e6: DUP1
000030e7: PUSH1 0x1f
000030e9: LT
000030ea: PUSH2 0x3101
000030ed: JUMPI
000030ee: PUSH2 0x0100
000030f1: DUP1
000030f2: DUP4
000030f3: SLOAD
000030f4: DIV
000030f5: MUL
000030f6: DUP4
000030f7: MSTORE
000030f8: SWAP2
000030f9: PUSH1 0x20
000030fb: ADD
000030fc: SWAP2
000030fd: PUSH2 0x312c
00003100: JUMP
00003101: JUMPDEST
00003102: DUP3
00003103: ADD
00003104: SWAP2
00003105: SWAP1
00003106: PUSH1 0x00
00003108: MSTORE
00003109: PUSH1 0x20
0000310b: PUSH1 0x00
0000310d: KECCAK256
0000310e: SWAP1
0000310f: JUMPDEST
00003110: DUP2
00003111: SLOAD
00003112: DUP2
00003113: MSTORE
00003114: SWAP1
00003115: PUSH1 0x01
00003117: ADD
00003118: SWAP1
00003119: PUSH1 0x20
0000311b: ADD
0000311c: DUP1
0000311d: DUP4
0000311e: GT
0000311f: PUSH2 0x310f
00003122: JUMPI
00003123: DUP3
00003124: SWAP1
00003125: SUB
00003126: PUSH1 0x1f
00003128: AND
00003129: DUP3
0000312a: ADD
0000312b: SWAP2
0000312c: JUMPDEST
0000312d: POP
0000312e: POP
0000312f: POP
00003130: POP
00003131: POP
00003132: SWAP1
00003133: POP
00003134: SWAP6
00003135: POP
00003136: SWAP6
00003137: POP
00003138: SWAP6
00003139: POP
0000313a: POP
0000313b: POP
0000313c: POP
0000313d: SWAP3
0000313e: POP
0000313f: SWAP3
00003140: POP
00003141: SWAP3
00003142: JUMP
00003143: JUMPDEST
00003144: DUP2
00003145: PUSH1 0x01
00003147: DUP1
00003148: SLOAD
00003149: SWAP1
0000314a: POP
0000314b: DUP2
0000314c: LT
0000314d: ISZERO
0000314e: ISZERO
0000314f: PUSH2 0x3157
00003152: JUMPI
00003153: PUSH1 0x00
00003155: DUP1
00003156: REVERT
00003157: JUMPDEST
00003158: DUP3
00003159: PUSH1 0x01
0000315b: DUP2
0000315c: DUP2
0000315d: SLOAD
0000315e: DUP2
0000315f: LT
00003160: ISZERO
00003161: ISZERO
00003162: PUSH2 0x3167
00003165: JUMPI
00003166: INVALID
00003167: JUMPDEST
00003168: SWAP1
00003169: PUSH1 0x00
0000316b: MSTORE
0000316c: PUSH1 0x20
0000316e: PUSH1 0x00
00003170: KECCAK256
00003171: SWAP1
00003172: PUSH1 0x06
00003174: MUL
00003175: ADD
00003176: PUSH1 0x00
00003178: ADD
00003179: PUSH1 0x00
0000317b: SWAP1
0000317c: SLOAD
0000317d: SWAP1
0000317e: PUSH2 0x0100
00003181: EXP
00003182: SWAP1
00003183: DIV
00003184: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003199: AND
0000319a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031af: AND
000031b0: CALLER
000031b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031c6: AND
000031c7: EQ
000031c8: ISZERO
000031c9: ISZERO
000031ca: PUSH2 0x31d2
000031cd: JUMPI
000031ce: PUSH1 0x00
000031d0: DUP1
000031d1: REVERT
000031d2: JUMPDEST
000031d3: DUP4
000031d4: PUSH1 0x00
000031d6: DUP1
000031d7: PUSH1 0x02
000031d9: DUP2
000031da: GT
000031db: ISZERO
000031dc: PUSH2 0x31e1
000031df: JUMPI
000031e0: INVALID
000031e1: JUMPDEST
000031e2: PUSH1 0x01
000031e4: DUP4
000031e5: DUP2
000031e6: SLOAD
000031e7: DUP2
000031e8: LT
000031e9: ISZERO
000031ea: ISZERO
000031eb: PUSH2 0x31f0
000031ee: JUMPI
000031ef: INVALID
000031f0: JUMPDEST
000031f1: SWAP1
000031f2: PUSH1 0x00
000031f4: MSTORE
000031f5: PUSH1 0x20
000031f7: PUSH1 0x00
000031f9: KECCAK256
000031fa: SWAP1
000031fb: PUSH1 0x06
000031fd: MUL
000031fe: ADD
000031ff: PUSH1 0x04
00003201: ADD
00003202: PUSH1 0x15
00003204: SWAP1
00003205: SLOAD
00003206: SWAP1
00003207: PUSH2 0x0100
0000320a: EXP
0000320b: SWAP1
0000320c: DIV
0000320d: PUSH1 0xff
0000320f: AND
00003210: PUSH1 0x02
00003212: DUP2
00003213: GT
00003214: ISZERO
00003215: PUSH2 0x321a
00003218: JUMPI
00003219: INVALID
0000321a: JUMPDEST
0000321b: EQ
0000321c: ISZERO
0000321d: ISZERO
0000321e: PUSH2 0x3226
00003221: JUMPI
00003222: PUSH1 0x00
00003224: DUP1
00003225: REVERT
00003226: JUMPDEST
00003227: DUP5
00003228: PUSH1 0x01
0000322a: DUP8
0000322b: DUP2
0000322c: SLOAD
0000322d: DUP2
0000322e: LT
0000322f: ISZERO
00003230: ISZERO
00003231: PUSH2 0x3236
00003234: JUMPI
00003235: INVALID
00003236: JUMPDEST
00003237: SWAP1
00003238: PUSH1 0x00
0000323a: MSTORE
0000323b: PUSH1 0x20
0000323d: PUSH1 0x00
0000323f: KECCAK256
00003240: SWAP1
00003241: PUSH1 0x06
00003243: MUL
00003244: ADD
00003245: PUSH1 0x04
00003247: ADD
00003248: PUSH1 0x00
0000324a: PUSH2 0x0100
0000324d: EXP
0000324e: DUP2
0000324f: SLOAD
00003250: DUP2
00003251: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003266: MUL
00003267: NOT
00003268: AND
00003269: SWAP1
0000326a: DUP4
0000326b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003280: AND
00003281: MUL
00003282: OR
00003283: SWAP1
00003284: SSTORE
00003285: POP
00003286: PUSH32 0xfb8e4f1ace1b37ebd0423cd75b120660780cc08a9414e04fe6b50f96a9482dde
000032a7: DUP7
000032a8: PUSH1 0x40
000032aa: MLOAD
000032ab: DUP1
000032ac: DUP3
000032ad: DUP2
000032ae: MSTORE
000032af: PUSH1 0x20
000032b1: ADD
000032b2: SWAP2
000032b3: POP
000032b4: POP
000032b5: PUSH1 0x40
000032b7: MLOAD
000032b8: DUP1
000032b9: SWAP2
000032ba: SUB
000032bb: SWAP1
000032bc: LOG1
000032bd: POP
000032be: POP
000032bf: POP
000032c0: POP
000032c1: POP
000032c2: POP
000032c3: JUMP
000032c4: JUMPDEST
000032c5: DUP2
000032c6: PUSH1 0x01
000032c8: DUP1
000032c9: SLOAD
000032ca: SWAP1
000032cb: POP
000032cc: DUP2
000032cd: LT
000032ce: ISZERO
000032cf: ISZERO
000032d0: PUSH2 0x32d8
000032d3: JUMPI
000032d4: PUSH1 0x00
000032d6: DUP1
000032d7: REVERT
000032d8: JUMPDEST
000032d9: DUP3
000032da: PUSH1 0x01
000032dc: DUP2
000032dd: DUP2
000032de: SLOAD
000032df: DUP2
000032e0: LT
000032e1: ISZERO
000032e2: ISZERO
000032e3: PUSH2 0x32e8
000032e6: JUMPI
000032e7: INVALID
000032e8: JUMPDEST
000032e9: SWAP1
000032ea: PUSH1 0x00
000032ec: MSTORE
000032ed: PUSH1 0x20
000032ef: PUSH1 0x00
000032f1: KECCAK256
000032f2: SWAP1
000032f3: PUSH1 0x06
000032f5: MUL
000032f6: ADD
000032f7: PUSH1 0x00
000032f9: ADD
000032fa: PUSH1 0x00
000032fc: SWAP1
000032fd: SLOAD
000032fe: SWAP1
000032ff: PUSH2 0x0100
00003302: EXP
00003303: SWAP1
00003304: DIV
00003305: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000331a: AND
0000331b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003330: AND
00003331: CALLER
00003332: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003347: AND
00003348: EQ
00003349: ISZERO
0000334a: ISZERO
0000334b: PUSH2 0x3353
0000334e: JUMPI
0000334f: PUSH1 0x00
00003351: DUP1
00003352: REVERT
00003353: JUMPDEST
00003354: DUP3
00003355: TIMESTAMP
00003356: DUP2
00003357: GT
00003358: ISZERO
00003359: ISZERO
0000335a: PUSH2 0x3362
0000335d: JUMPI
0000335e: PUSH1 0x00
00003360: DUP1
00003361: REVERT
00003362: JUMPDEST
00003363: DUP5
00003364: PUSH1 0x00
00003366: DUP1
00003367: PUSH1 0x02
00003369: DUP2
0000336a: GT
0000336b: ISZERO
0000336c: PUSH2 0x3371
0000336f: JUMPI
00003370: INVALID
00003371: JUMPDEST
00003372: PUSH1 0x01
00003374: DUP4
00003375: DUP2
00003376: SLOAD
00003377: DUP2
00003378: LT
00003379: ISZERO
0000337a: ISZERO
0000337b: PUSH2 0x3380
0000337e: JUMPI
0000337f: INVALID
00003380: JUMPDEST
00003381: SWAP1
00003382: PUSH1 0x00
00003384: MSTORE
00003385: PUSH1 0x20
00003387: PUSH1 0x00
00003389: KECCAK256
0000338a: SWAP1
0000338b: PUSH1 0x06
0000338d: MUL
0000338e: ADD
0000338f: PUSH1 0x04
00003391: ADD
00003392: PUSH1 0x15
00003394: SWAP1
00003395: SLOAD
00003396: SWAP1
00003397: PUSH2 0x0100
0000339a: EXP
0000339b: SWAP1
0000339c: DIV
0000339d: PUSH1 0xff
0000339f: AND
000033a0: PUSH1 0x02
000033a2: DUP2
000033a3: GT
000033a4: ISZERO
000033a5: PUSH2 0x33aa
000033a8: JUMPI
000033a9: INVALID
000033aa: JUMPDEST
000033ab: EQ
000033ac: ISZERO
000033ad: ISZERO
000033ae: PUSH2 0x33b6
000033b1: JUMPI
000033b2: PUSH1 0x00
000033b4: DUP1
000033b5: REVERT
000033b6: JUMPDEST
000033b7: DUP6
000033b8: PUSH1 0x01
000033ba: DUP9
000033bb: DUP2
000033bc: SLOAD
000033bd: DUP2
000033be: LT
000033bf: ISZERO
000033c0: ISZERO
000033c1: PUSH2 0x33c6
000033c4: JUMPI
000033c5: INVALID
000033c6: JUMPDEST
000033c7: SWAP1
000033c8: PUSH1 0x00
000033ca: MSTORE
000033cb: PUSH1 0x20
000033cd: PUSH1 0x00
000033cf: KECCAK256
000033d0: SWAP1
000033d1: PUSH1 0x06
000033d3: MUL
000033d4: ADD
000033d5: PUSH1 0x01
000033d7: ADD
000033d8: DUP2
000033d9: SWAP1
000033da: SSTORE
000033db: POP
000033dc: PUSH32 0xfb8e4f1ace1b37ebd0423cd75b120660780cc08a9414e04fe6b50f96a9482dde
000033fd: DUP8
000033fe: PUSH1 0x40
00003400: MLOAD
00003401: DUP1
00003402: DUP3
00003403: DUP2
00003404: MSTORE
00003405: PUSH1 0x20
00003407: ADD
00003408: SWAP2
00003409: POP
0000340a: POP
0000340b: PUSH1 0x40
0000340d: MLOAD
0000340e: DUP1
0000340f: SWAP2
00003410: SUB
00003411: SWAP1
00003412: LOG1
00003413: POP
00003414: POP
00003415: POP
00003416: POP
00003417: POP
00003418: POP
00003419: POP
0000341a: JUMP
0000341b: JUMPDEST
0000341c: DUP2
0000341d: PUSH1 0x01
0000341f: DUP1
00003420: SLOAD
00003421: SWAP1
00003422: POP
00003423: DUP2
00003424: LT
00003425: ISZERO
00003426: ISZERO
00003427: PUSH2 0x342f
0000342a: JUMPI
0000342b: PUSH1 0x00
0000342d: DUP1
0000342e: REVERT
0000342f: JUMPDEST
00003430: DUP3
00003431: DUP3
00003432: PUSH1 0x02
00003434: PUSH1 0x00
00003436: DUP4
00003437: DUP2
00003438: MSTORE
00003439: PUSH1 0x20
0000343b: ADD
0000343c: SWAP1
0000343d: DUP2
0000343e: MSTORE
0000343f: PUSH1 0x20
00003441: ADD
00003442: PUSH1 0x00
00003444: KECCAK256
00003445: DUP1
00003446: SLOAD
00003447: SWAP1
00003448: POP
00003449: DUP2
0000344a: LT
0000344b: ISZERO
0000344c: ISZERO
0000344d: PUSH2 0x3455
00003450: JUMPI
00003451: PUSH1 0x00
00003453: DUP1
00003454: REVERT
00003455: JUMPDEST
00003456: DUP5
00003457: PUSH1 0x01
00003459: DUP2
0000345a: DUP2
0000345b: SLOAD
0000345c: DUP2
0000345d: LT
0000345e: ISZERO
0000345f: ISZERO
00003460: PUSH2 0x3465
00003463: JUMPI
00003464: INVALID
00003465: JUMPDEST
00003466: SWAP1
00003467: PUSH1 0x00
00003469: MSTORE
0000346a: PUSH1 0x20
0000346c: PUSH1 0x00
0000346e: KECCAK256
0000346f: SWAP1
00003470: PUSH1 0x06
00003472: MUL
00003473: ADD
00003474: PUSH1 0x00
00003476: ADD
00003477: PUSH1 0x00
00003479: SWAP1
0000347a: SLOAD
0000347b: SWAP1
0000347c: PUSH2 0x0100
0000347f: EXP
00003480: SWAP1
00003481: DIV
00003482: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003497: AND
00003498: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034ad: AND
000034ae: CALLER
000034af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034c4: AND
000034c5: EQ
000034c6: DUP1
000034c7: PUSH2 0x35b4
000034ca: JUMPI
000034cb: POP
000034cc: PUSH1 0x01
000034ce: DUP2
000034cf: DUP2
000034d0: SLOAD
000034d1: DUP2
000034d2: LT
000034d3: ISZERO
000034d4: ISZERO
000034d5: PUSH2 0x34da
000034d8: JUMPI
000034d9: INVALID
000034da: JUMPDEST
000034db: SWAP1
000034dc: PUSH1 0x00
000034de: MSTORE
000034df: PUSH1 0x20
000034e1: PUSH1 0x00
000034e3: KECCAK256
000034e4: SWAP1
000034e5: PUSH1 0x06
000034e7: MUL
000034e8: ADD
000034e9: PUSH1 0x04
000034eb: ADD
000034ec: PUSH1 0x00
000034ee: SWAP1
000034ef: SLOAD
000034f0: SWAP1
000034f1: PUSH2 0x0100
000034f4: EXP
000034f5: SWAP1
000034f6: DIV
000034f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000350c: AND
0000350d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003522: AND
00003523: CALLER
00003524: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003539: AND
0000353a: EQ
0000353b: DUP1
0000353c: ISZERO
0000353d: PUSH2 0x35b3
00003540: JUMPI
00003541: POP
00003542: PUSH1 0x00
00003544: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003559: AND
0000355a: PUSH1 0x01
0000355c: DUP3
0000355d: DUP2
0000355e: SLOAD
0000355f: DUP2
00003560: LT
00003561: ISZERO
00003562: ISZERO
00003563: PUSH2 0x3568
00003566: JUMPI
00003567: INVALID
00003568: JUMPDEST
00003569: SWAP1
0000356a: PUSH1 0x00
0000356c: MSTORE
0000356d: PUSH1 0x20
0000356f: PUSH1 0x00
00003571: KECCAK256
00003572: SWAP1
00003573: PUSH1 0x06
00003575: MUL
00003576: ADD
00003577: PUSH1 0x04
00003579: ADD
0000357a: PUSH1 0x00
0000357c: SWAP1
0000357d: SLOAD
0000357e: SWAP1
0000357f: PUSH2 0x0100
00003582: EXP
00003583: SWAP1
00003584: DIV
00003585: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000359a: AND
0000359b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035b0: AND
000035b1: EQ
000035b2: ISZERO
000035b3: JUMPDEST
000035b4: JUMPDEST
000035b5: ISZERO
000035b6: ISZERO
000035b7: PUSH2 0x35bf
000035ba: JUMPI
000035bb: PUSH1 0x00
000035bd: DUP1
000035be: REVERT
000035bf: JUMPDEST
000035c0: DUP6
000035c1: PUSH1 0x01
000035c3: DUP1
000035c4: PUSH1 0x02
000035c6: DUP2
000035c7: GT
000035c8: ISZERO
000035c9: PUSH2 0x35ce
000035cc: JUMPI
000035cd: INVALID
000035ce: JUMPDEST
000035cf: PUSH1 0x01
000035d1: DUP4
000035d2: DUP2
000035d3: SLOAD
000035d4: DUP2
000035d5: LT
000035d6: ISZERO
000035d7: ISZERO
000035d8: PUSH2 0x35dd
000035db: JUMPI
000035dc: INVALID
000035dd: JUMPDEST
000035de: SWAP1
000035df: PUSH1 0x00
000035e1: MSTORE
000035e2: PUSH1 0x20
000035e4: PUSH1 0x00
000035e6: KECCAK256
000035e7: SWAP1
000035e8: PUSH1 0x06
000035ea: MUL
000035eb: ADD
000035ec: PUSH1 0x04
000035ee: ADD
000035ef: PUSH1 0x15
000035f1: SWAP1
000035f2: SLOAD
000035f3: SWAP1
000035f4: PUSH2 0x0100
000035f7: EXP
000035f8: SWAP1
000035f9: DIV
000035fa: PUSH1 0xff
000035fc: AND
000035fd: PUSH1 0x02
000035ff: DUP2
00003600: GT
00003601: ISZERO
00003602: PUSH2 0x3607
00003605: JUMPI
00003606: INVALID
00003607: JUMPDEST
00003608: EQ
00003609: ISZERO
0000360a: ISZERO
0000360b: PUSH2 0x3613
0000360e: JUMPI
0000360f: PUSH1 0x00
00003611: DUP1
00003612: REVERT
00003613: JUMPDEST
00003614: DUP8
00003615: DUP8
00003616: PUSH1 0x00
00003618: ISZERO
00003619: ISZERO
0000361a: PUSH1 0x02
0000361c: PUSH1 0x00
0000361e: DUP5
0000361f: DUP2
00003620: MSTORE
00003621: PUSH1 0x20
00003623: ADD
00003624: SWAP1
00003625: DUP2
00003626: MSTORE
00003627: PUSH1 0x20
00003629: ADD
0000362a: PUSH1 0x00
0000362c: KECCAK256
0000362d: DUP3
0000362e: DUP2
0000362f: SLOAD
00003630: DUP2
00003631: LT
00003632: ISZERO
00003633: ISZERO
00003634: PUSH2 0x3639
00003637: JUMPI
00003638: INVALID
00003639: JUMPDEST
0000363a: SWAP1
0000363b: PUSH1 0x00
0000363d: MSTORE
0000363e: PUSH1 0x20
00003640: PUSH1 0x00
00003642: KECCAK256
00003643: SWAP1
00003644: PUSH1 0x02
00003646: MUL
00003647: ADD
00003648: PUSH1 0x00
0000364a: ADD
0000364b: PUSH1 0x00
0000364d: SWAP1
0000364e: SLOAD
0000364f: SWAP1
00003650: PUSH2 0x0100
00003653: EXP
00003654: SWAP1
00003655: DIV
00003656: PUSH1 0xff
00003658: AND
00003659: ISZERO
0000365a: ISZERO
0000365b: EQ
0000365c: ISZERO
0000365d: ISZERO
0000365e: PUSH2 0x3666
00003661: JUMPI
00003662: PUSH1 0x00
00003664: DUP1
00003665: REVERT
00003666: JUMPDEST
00003667: DUP10
00003668: PUSH1 0x01
0000366a: DUP2
0000366b: DUP2
0000366c: SLOAD
0000366d: DUP2
0000366e: LT
0000366f: ISZERO
00003670: ISZERO
00003671: PUSH2 0x3676
00003674: JUMPI
00003675: INVALID
00003676: JUMPDEST
00003677: SWAP1
00003678: PUSH1 0x00
0000367a: MSTORE
0000367b: PUSH1 0x20
0000367d: PUSH1 0x00
0000367f: KECCAK256
00003680: SWAP1
00003681: PUSH1 0x06
00003683: MUL
00003684: ADD
00003685: PUSH1 0x03
00003687: ADD
00003688: SLOAD
00003689: PUSH1 0x01
0000368b: DUP3
0000368c: DUP2
0000368d: SLOAD
0000368e: DUP2
0000368f: LT
00003690: ISZERO
00003691: ISZERO
00003692: PUSH2 0x3697
00003695: JUMPI
00003696: INVALID
00003697: JUMPDEST
00003698: SWAP1
00003699: PUSH1 0x00
0000369b: MSTORE
0000369c: PUSH1 0x20
0000369e: PUSH1 0x00
000036a0: KECCAK256
000036a1: SWAP1
000036a2: PUSH1 0x06
000036a4: MUL
000036a5: ADD
000036a6: PUSH1 0x05
000036a8: ADD
000036a9: SLOAD
000036aa: LT
000036ab: ISZERO
000036ac: ISZERO
000036ad: ISZERO
000036ae: PUSH2 0x36b6
000036b1: JUMPI
000036b2: PUSH1 0x00
000036b4: DUP1
000036b5: REVERT
000036b6: JUMPDEST
000036b7: PUSH1 0x01
000036b9: PUSH1 0x02
000036bb: PUSH1 0x00
000036bd: DUP14
000036be: DUP2
000036bf: MSTORE
000036c0: PUSH1 0x20
000036c2: ADD
000036c3: SWAP1
000036c4: DUP2
000036c5: MSTORE
000036c6: PUSH1 0x20
000036c8: ADD
000036c9: PUSH1 0x00
000036cb: KECCAK256
000036cc: DUP12
000036cd: DUP2
000036ce: SLOAD
000036cf: DUP2
000036d0: LT
000036d1: ISZERO
000036d2: ISZERO
000036d3: PUSH2 0x36d8
000036d6: JUMPI
000036d7: INVALID
000036d8: JUMPDEST
000036d9: SWAP1
000036da: PUSH1 0x00
000036dc: MSTORE
000036dd: PUSH1 0x20
000036df: PUSH1 0x00
000036e1: KECCAK256
000036e2: SWAP1
000036e3: PUSH1 0x02
000036e5: MUL
000036e6: ADD
000036e7: PUSH1 0x00
000036e9: ADD
000036ea: PUSH1 0x00
000036ec: PUSH2 0x0100
000036ef: EXP
000036f0: DUP2
000036f1: SLOAD
000036f2: DUP2
000036f3: PUSH1 0xff
000036f5: MUL
000036f6: NOT
000036f7: AND
000036f8: SWAP1
000036f9: DUP4
000036fa: ISZERO
000036fb: ISZERO
000036fc: MUL
000036fd: OR
000036fe: SWAP1
000036ff: SSTORE
00003700: POP
00003701: PUSH1 0x03
00003703: PUSH1 0x00
00003705: DUP13
00003706: DUP2
00003707: MSTORE
00003708: PUSH1 0x20
0000370a: ADD
0000370b: SWAP1
0000370c: DUP2
0000370d: MSTORE
0000370e: PUSH1 0x20
00003710: ADD
00003711: PUSH1 0x00
00003713: KECCAK256
00003714: PUSH1 0x00
00003716: DUP2
00003717: SLOAD
00003718: DUP1
00003719: SWAP3
0000371a: SWAP2
0000371b: SWAP1
0000371c: PUSH1 0x01
0000371e: ADD
0000371f: SWAP2
00003720: SWAP1
00003721: POP
00003722: SSTORE
00003723: POP
00003724: PUSH1 0x01
00003726: DUP12
00003727: DUP2
00003728: SLOAD
00003729: DUP2
0000372a: LT
0000372b: ISZERO
0000372c: ISZERO
0000372d: PUSH2 0x3732
00003730: JUMPI
00003731: INVALID
00003732: JUMPDEST
00003733: SWAP1
00003734: PUSH1 0x00
00003736: MSTORE
00003737: PUSH1 0x20
00003739: PUSH1 0x00
0000373b: KECCAK256
0000373c: SWAP1
0000373d: PUSH1 0x06
0000373f: MUL
00003740: ADD
00003741: PUSH1 0x03
00003743: ADD
00003744: SLOAD
00003745: PUSH1 0x01
00003747: DUP13
00003748: DUP2
00003749: SLOAD
0000374a: DUP2
0000374b: LT
0000374c: ISZERO
0000374d: ISZERO
0000374e: PUSH2 0x3753
00003751: JUMPI
00003752: INVALID
00003753: JUMPDEST
00003754: SWAP1
00003755: PUSH1 0x00
00003757: MSTORE
00003758: PUSH1 0x20
0000375a: PUSH1 0x00
0000375c: KECCAK256
0000375d: SWAP1
0000375e: PUSH1 0x06
00003760: MUL
00003761: ADD
00003762: PUSH1 0x05
00003764: ADD
00003765: PUSH1 0x00
00003767: DUP3
00003768: DUP3
00003769: SLOAD
0000376a: SUB
0000376b: SWAP3
0000376c: POP
0000376d: POP
0000376e: DUP2
0000376f: SWAP1
00003770: SSTORE
00003771: POP
00003772: PUSH1 0x01
00003774: DUP12
00003775: DUP2
00003776: SLOAD
00003777: DUP2
00003778: LT
00003779: ISZERO
0000377a: ISZERO
0000377b: PUSH2 0x3780
0000377e: JUMPI
0000377f: INVALID
00003780: JUMPDEST
00003781: SWAP1
00003782: PUSH1 0x00
00003784: MSTORE
00003785: PUSH1 0x20
00003787: PUSH1 0x00
00003789: KECCAK256
0000378a: SWAP1
0000378b: PUSH1 0x06
0000378d: MUL
0000378e: ADD
0000378f: PUSH1 0x04
00003791: ADD
00003792: PUSH1 0x14
00003794: SWAP1
00003795: SLOAD
00003796: SWAP1
00003797: PUSH2 0x0100
0000379a: EXP
0000379b: SWAP1
0000379c: DIV
0000379d: PUSH1 0xff
0000379f: AND
000037a0: ISZERO
000037a1: PUSH2 0x391e
000037a4: JUMPI
000037a5: PUSH1 0x04
000037a7: PUSH1 0x00
000037a9: DUP13
000037aa: DUP2
000037ab: MSTORE
000037ac: PUSH1 0x20
000037ae: ADD
000037af: SWAP1
000037b0: DUP2
000037b1: MSTORE
000037b2: PUSH1 0x20
000037b4: ADD
000037b5: PUSH1 0x00
000037b7: KECCAK256
000037b8: PUSH1 0x00
000037ba: SWAP1
000037bb: SLOAD
000037bc: SWAP1
000037bd: PUSH2 0x0100
000037c0: EXP
000037c1: SWAP1
000037c2: DIV
000037c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037d8: AND
000037d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037ee: AND
000037ef: PUSH4 0xa9059cbb
000037f4: PUSH1 0x02
000037f6: PUSH1 0x00
000037f8: DUP15
000037f9: DUP2
000037fa: MSTORE
000037fb: PUSH1 0x20
000037fd: ADD
000037fe: SWAP1
000037ff: DUP2
00003800: MSTORE
00003801: PUSH1 0x20
00003803: ADD
00003804: PUSH1 0x00
00003806: KECCAK256
00003807: DUP13
00003808: DUP2
00003809: SLOAD
0000380a: DUP2
0000380b: LT
0000380c: ISZERO
0000380d: ISZERO
0000380e: PUSH2 0x3813
00003811: JUMPI
00003812: INVALID
00003813: JUMPDEST
00003814: SWAP1
00003815: PUSH1 0x00
00003817: MSTORE
00003818: PUSH1 0x20
0000381a: PUSH1 0x00
0000381c: KECCAK256
0000381d: SWAP1
0000381e: PUSH1 0x02
00003820: MUL
00003821: ADD
00003822: PUSH1 0x00
00003824: ADD
00003825: PUSH1 0x01
00003827: SWAP1
00003828: SLOAD
00003829: SWAP1
0000382a: PUSH2 0x0100
0000382d: EXP
0000382e: SWAP1
0000382f: DIV
00003830: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003845: AND
00003846: PUSH1 0x01
00003848: DUP15
00003849: DUP2
0000384a: SLOAD
0000384b: DUP2
0000384c: LT
0000384d: ISZERO
0000384e: ISZERO
0000384f: PUSH2 0x3854
00003852: JUMPI
00003853: INVALID
00003854: JUMPDEST
00003855: SWAP1
00003856: PUSH1 0x00
00003858: MSTORE
00003859: PUSH1 0x20
0000385b: PUSH1 0x00
0000385d: KECCAK256
0000385e: SWAP1
0000385f: PUSH1 0x06
00003861: MUL
00003862: ADD
00003863: PUSH1 0x03
00003865: ADD
00003866: SLOAD
00003867: PUSH1 0x00
00003869: PUSH1 0x40
0000386b: MLOAD
0000386c: PUSH1 0x20
0000386e: ADD
0000386f: MSTORE
00003870: PUSH1 0x40
00003872: MLOAD
00003873: DUP4
00003874: PUSH4 0xffffffff
00003879: AND
0000387a: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00003898: MUL
00003899: DUP2
0000389a: MSTORE
0000389b: PUSH1 0x04
0000389d: ADD
0000389e: DUP1
0000389f: DUP4
000038a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038b5: AND
000038b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038cb: AND
000038cc: DUP2
000038cd: MSTORE
000038ce: PUSH1 0x20
000038d0: ADD
000038d1: DUP3
000038d2: DUP2
000038d3: MSTORE
000038d4: PUSH1 0x20
000038d6: ADD
000038d7: SWAP3
000038d8: POP
000038d9: POP
000038da: POP
000038db: PUSH1 0x20
000038dd: PUSH1 0x40
000038df: MLOAD
000038e0: DUP1
000038e1: DUP4
000038e2: SUB
000038e3: DUP2
000038e4: PUSH1 0x00
000038e6: DUP8
000038e7: DUP1
000038e8: EXTCODESIZE
000038e9: ISZERO
000038ea: ISZERO
000038eb: PUSH2 0x38f3
000038ee: JUMPI
000038ef: PUSH1 0x00
000038f1: DUP1
000038f2: REVERT
000038f3: JUMPDEST
000038f4: PUSH2 0x02c6
000038f7: GAS
000038f8: SUB
000038f9: CALL
000038fa: ISZERO
000038fb: ISZERO
000038fc: PUSH2 0x3904
000038ff: JUMPI
00003900: PUSH1 0x00
00003902: DUP1
00003903: REVERT
00003904: JUMPDEST
00003905: POP
00003906: POP
00003907: POP
00003908: PUSH1 0x40
0000390a: MLOAD
0000390b: DUP1
0000390c: MLOAD
0000390d: SWAP1
0000390e: POP
0000390f: ISZERO
00003910: ISZERO
00003911: PUSH2 0x3919
00003914: JUMPI
00003915: PUSH1 0x00
00003917: DUP1
00003918: REVERT
00003919: JUMPDEST
0000391a: PUSH2 0x39d0
0000391d: JUMP
0000391e: JUMPDEST
0000391f: PUSH1 0x02
00003921: PUSH1 0x00
00003923: DUP13
00003924: DUP2
00003925: MSTORE
00003926: PUSH1 0x20
00003928: ADD
00003929: SWAP1
0000392a: DUP2
0000392b: MSTORE
0000392c: PUSH1 0x20
0000392e: ADD
0000392f: PUSH1 0x00
00003931: KECCAK256
00003932: DUP11
00003933: DUP2
00003934: SLOAD
00003935: DUP2
00003936: LT
00003937: ISZERO
00003938: ISZERO
00003939: PUSH2 0x393e
0000393c: JUMPI
0000393d: INVALID
0000393e: JUMPDEST
0000393f: SWAP1
00003940: PUSH1 0x00
00003942: MSTORE
00003943: PUSH1 0x20
00003945: PUSH1 0x00
00003947: KECCAK256
00003948: SWAP1
00003949: PUSH1 0x02
0000394b: MUL
0000394c: ADD
0000394d: PUSH1 0x00
0000394f: ADD
00003950: PUSH1 0x01
00003952: SWAP1
00003953: SLOAD
00003954: SWAP1
00003955: PUSH2 0x0100
00003958: EXP
00003959: SWAP1
0000395a: DIV
0000395b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003970: AND
00003971: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003986: AND
00003987: PUSH2 0x08fc
0000398a: PUSH1 0x01
0000398c: DUP14
0000398d: DUP2
0000398e: SLOAD
0000398f: DUP2
00003990: LT
00003991: ISZERO
00003992: ISZERO
00003993: PUSH2 0x3998
00003996: JUMPI
00003997: INVALID
00003998: JUMPDEST
00003999: SWAP1
0000399a: PUSH1 0x00
0000399c: MSTORE
0000399d: PUSH1 0x20
0000399f: PUSH1 0x00
000039a1: KECCAK256
000039a2: SWAP1
000039a3: PUSH1 0x06
000039a5: MUL
000039a6: ADD
000039a7: PUSH1 0x03
000039a9: ADD
000039aa: SLOAD
000039ab: SWAP1
000039ac: DUP2
000039ad: ISZERO
000039ae: MUL
000039af: SWAP1
000039b0: PUSH1 0x40
000039b2: MLOAD
000039b3: PUSH1 0x00
000039b5: PUSH1 0x40
000039b7: MLOAD
000039b8: DUP1
000039b9: DUP4
000039ba: SUB
000039bb: DUP2
000039bc: DUP6
000039bd: DUP9
000039be: DUP9
000039bf: CALL
000039c0: SWAP4
000039c1: POP
000039c2: POP
000039c3: POP
000039c4: POP
000039c5: ISZERO
000039c6: ISZERO
000039c7: PUSH2 0x39cf
000039ca: JUMPI
000039cb: PUSH1 0x00
000039cd: DUP1
000039ce: REVERT
000039cf: JUMPDEST
000039d0: JUMPDEST
000039d1: DUP10
000039d2: CALLER
000039d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000039e8: AND
000039e9: PUSH32 0x7b9dbf959e54bb2ff6e9d505ef00d6b7fb3ce97880816181aecca973c1da31e6
00003a0a: DUP14
00003a0b: PUSH1 0x40
00003a0d: MLOAD
00003a0e: DUP1
00003a0f: DUP3
00003a10: DUP2
00003a11: MSTORE
00003a12: PUSH1 0x20
00003a14: ADD
00003a15: SWAP2
00003a16: POP
00003a17: POP
00003a18: PUSH1 0x40
00003a1a: MLOAD
00003a1b: DUP1
00003a1c: SWAP2
00003a1d: SUB
00003a1e: SWAP1
00003a1f: LOG3
00003a20: POP
00003a21: POP
00003a22: POP
00003a23: POP
00003a24: POP
00003a25: POP
00003a26: POP
00003a27: POP
00003a28: POP
00003a29: POP
00003a2a: POP
00003a2b: JUMP
00003a2c: JUMPDEST
00003a2d: PUSH1 0x01
00003a2f: DUP2
00003a30: DUP2
00003a31: SLOAD
00003a32: DUP2
00003a33: LT
00003a34: ISZERO
00003a35: ISZERO
00003a36: PUSH2 0x3a3b
00003a39: JUMPI
00003a3a: INVALID
00003a3b: JUMPDEST
00003a3c: SWAP1
00003a3d: PUSH1 0x00
00003a3f: MSTORE
00003a40: PUSH1 0x20
00003a42: PUSH1 0x00
00003a44: KECCAK256
00003a45: SWAP1
00003a46: PUSH1 0x06
00003a48: MUL
00003a49: ADD
00003a4a: PUSH1 0x00
00003a4c: SWAP2
00003a4d: POP
00003a4e: SWAP1
00003a4f: POP
00003a50: DUP1
00003a51: PUSH1 0x00
00003a53: ADD
00003a54: PUSH1 0x00
00003a56: SWAP1
00003a57: SLOAD
00003a58: SWAP1
00003a59: PUSH2 0x0100
00003a5c: EXP
00003a5d: SWAP1
00003a5e: DIV
00003a5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a74: AND
00003a75: SWAP1
00003a76: DUP1
00003a77: PUSH1 0x01
00003a79: ADD
00003a7a: SLOAD
00003a7b: SWAP1
00003a7c: DUP1
00003a7d: PUSH1 0x02
00003a7f: ADD
00003a80: SWAP1
00003a81: DUP1
00003a82: PUSH1 0x03
00003a84: ADD
00003a85: SLOAD
00003a86: SWAP1
00003a87: DUP1
00003a88: PUSH1 0x04
00003a8a: ADD
00003a8b: PUSH1 0x00
00003a8d: SWAP1
00003a8e: SLOAD
00003a8f: SWAP1
00003a90: PUSH2 0x0100
00003a93: EXP
00003a94: SWAP1
00003a95: DIV
00003a96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003aab: AND
00003aac: SWAP1
00003aad: DUP1
00003aae: PUSH1 0x04
00003ab0: ADD
00003ab1: PUSH1 0x14
00003ab3: SWAP1
00003ab4: SLOAD
00003ab5: SWAP1
00003ab6: PUSH2 0x0100
00003ab9: EXP
00003aba: SWAP1
00003abb: DIV
00003abc: PUSH1 0xff
00003abe: AND
00003abf: SWAP1
00003ac0: DUP1
00003ac1: PUSH1 0x04
00003ac3: ADD
00003ac4: PUSH1 0x15
00003ac6: SWAP1
00003ac7: SLOAD
00003ac8: SWAP1
00003ac9: PUSH2 0x0100
00003acc: EXP
00003acd: SWAP1
00003ace: DIV
00003acf: PUSH1 0xff
00003ad1: AND
00003ad2: SWAP1
00003ad3: DUP1
00003ad4: PUSH1 0x05
00003ad6: ADD
00003ad7: SLOAD
00003ad8: SWAP1
00003ad9: POP
00003ada: DUP9
00003adb: JUMP
00003adc: JUMPDEST
00003add: PUSH1 0x00
00003adf: DUP1
00003ae0: PUSH1 0x00
00003ae2: DUP1
00003ae3: PUSH1 0x00
00003ae5: DUP1
00003ae6: DUP7
00003ae7: PUSH1 0x01
00003ae9: DUP1
00003aea: SLOAD
00003aeb: SWAP1
00003aec: POP
00003aed: DUP2
00003aee: LT
00003aef: ISZERO
00003af0: ISZERO
00003af1: PUSH2 0x3af9
00003af4: JUMPI
00003af5: PUSH1 0x00
00003af7: DUP1
00003af8: REVERT
00003af9: JUMPDEST
00003afa: PUSH1 0x01
00003afc: DUP9
00003afd: DUP2
00003afe: SLOAD
00003aff: DUP2
00003b00: LT
00003b01: ISZERO
00003b02: ISZERO
00003b03: PUSH2 0x3b08
00003b06: JUMPI
00003b07: INVALID
00003b08: JUMPDEST
00003b09: SWAP1
00003b0a: PUSH1 0x00
00003b0c: MSTORE
00003b0d: PUSH1 0x20
00003b0f: PUSH1 0x00
00003b11: KECCAK256
00003b12: SWAP1
00003b13: PUSH1 0x06
00003b15: MUL
00003b16: ADD
00003b17: PUSH1 0x00
00003b19: ADD
00003b1a: PUSH1 0x00
00003b1c: SWAP1
00003b1d: SLOAD
00003b1e: SWAP1
00003b1f: PUSH2 0x0100
00003b22: EXP
00003b23: SWAP1
00003b24: DIV
00003b25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b3a: AND
00003b3b: PUSH1 0x01
00003b3d: DUP10
00003b3e: DUP2
00003b3f: SLOAD
00003b40: DUP2
00003b41: LT
00003b42: ISZERO
00003b43: ISZERO
00003b44: PUSH2 0x3b49
00003b47: JUMPI
00003b48: INVALID
00003b49: JUMPDEST
00003b4a: SWAP1
00003b4b: PUSH1 0x00
00003b4d: MSTORE
00003b4e: PUSH1 0x20
00003b50: PUSH1 0x00
00003b52: KECCAK256
00003b53: SWAP1
00003b54: PUSH1 0x06
00003b56: MUL
00003b57: ADD
00003b58: PUSH1 0x01
00003b5a: ADD
00003b5b: SLOAD
00003b5c: PUSH1 0x01
00003b5e: DUP11
00003b5f: DUP2
00003b60: SLOAD
00003b61: DUP2
00003b62: LT
00003b63: ISZERO
00003b64: ISZERO
00003b65: PUSH2 0x3b6a
00003b68: JUMPI
00003b69: INVALID
00003b6a: JUMPDEST
00003b6b: SWAP1
00003b6c: PUSH1 0x00
00003b6e: MSTORE
00003b6f: PUSH1 0x20
00003b71: PUSH1 0x00
00003b73: KECCAK256
00003b74: SWAP1
00003b75: PUSH1 0x06
00003b77: MUL
00003b78: ADD
00003b79: PUSH1 0x03
00003b7b: ADD
00003b7c: SLOAD
00003b7d: PUSH1 0x01
00003b7f: DUP12
00003b80: DUP2
00003b81: SLOAD
00003b82: DUP2
00003b83: LT
00003b84: ISZERO
00003b85: ISZERO
00003b86: PUSH2 0x3b8b
00003b89: JUMPI
00003b8a: INVALID
00003b8b: JUMPDEST
00003b8c: SWAP1
00003b8d: PUSH1 0x00
00003b8f: MSTORE
00003b90: PUSH1 0x20
00003b92: PUSH1 0x00
00003b94: KECCAK256
00003b95: SWAP1
00003b96: PUSH1 0x06
00003b98: MUL
00003b99: ADD
00003b9a: PUSH1 0x04
00003b9c: ADD
00003b9d: PUSH1 0x14
00003b9f: SWAP1
00003ba0: SLOAD
00003ba1: SWAP1
00003ba2: PUSH2 0x0100
00003ba5: EXP
00003ba6: SWAP1
00003ba7: DIV
00003ba8: PUSH1 0xff
00003baa: AND
00003bab: PUSH1 0x01
00003bad: DUP13
00003bae: DUP2
00003baf: SLOAD
00003bb0: DUP2
00003bb1: LT
00003bb2: ISZERO
00003bb3: ISZERO
00003bb4: PUSH2 0x3bb9
00003bb7: JUMPI
00003bb8: INVALID
00003bb9: JUMPDEST
00003bba: SWAP1
00003bbb: PUSH1 0x00
00003bbd: MSTORE
00003bbe: PUSH1 0x20
00003bc0: PUSH1 0x00
00003bc2: KECCAK256
00003bc3: SWAP1
00003bc4: PUSH1 0x06
00003bc6: MUL
00003bc7: ADD
00003bc8: PUSH1 0x04
00003bca: ADD
00003bcb: PUSH1 0x15
00003bcd: SWAP1
00003bce: SLOAD
00003bcf: SWAP1
00003bd0: PUSH2 0x0100
00003bd3: EXP
00003bd4: SWAP1
00003bd5: DIV
00003bd6: PUSH1 0xff
00003bd8: AND
00003bd9: PUSH1 0x02
00003bdb: DUP2
00003bdc: GT
00003bdd: ISZERO
00003bde: PUSH2 0x3be3
00003be1: JUMPI
00003be2: INVALID
00003be3: JUMPDEST
00003be4: PUSH1 0x01
00003be6: DUP14
00003be7: DUP2
00003be8: SLOAD
00003be9: DUP2
00003bea: LT
00003beb: ISZERO
00003bec: ISZERO
00003bed: PUSH2 0x3bf2
00003bf0: JUMPI
00003bf1: INVALID
00003bf2: JUMPDEST
00003bf3: SWAP1
00003bf4: PUSH1 0x00
00003bf6: MSTORE
00003bf7: PUSH1 0x20
00003bf9: PUSH1 0x00
00003bfb: KECCAK256
00003bfc: SWAP1
00003bfd: PUSH1 0x06
00003bff: MUL
00003c00: ADD
00003c01: PUSH1 0x05
00003c03: ADD
00003c04: SLOAD
00003c05: SWAP7
00003c06: POP
00003c07: SWAP7
00003c08: POP
00003c09: SWAP7
00003c0a: POP
00003c0b: SWAP7
00003c0c: POP
00003c0d: SWAP7
00003c0e: POP
00003c0f: SWAP7
00003c10: POP
00003c11: POP
00003c12: SWAP2
00003c13: SWAP4
00003c14: SWAP6
00003c15: POP
00003c16: SWAP2
00003c17: SWAP4
00003c18: SWAP6
00003c19: JUMP
00003c1a: JUMPDEST
00003c1b: DUP2
00003c1c: PUSH1 0x01
00003c1e: DUP1
00003c1f: SLOAD
00003c20: SWAP1
00003c21: POP
00003c22: DUP2
00003c23: LT
00003c24: ISZERO
00003c25: ISZERO
00003c26: PUSH2 0x3c2e
00003c29: JUMPI
00003c2a: PUSH1 0x00
00003c2c: DUP1
00003c2d: REVERT
00003c2e: JUMPDEST
00003c2f: DUP3
00003c30: PUSH1 0x01
00003c32: DUP2
00003c33: DUP2
00003c34: SLOAD
00003c35: DUP2
00003c36: LT
00003c37: ISZERO
00003c38: ISZERO
00003c39: PUSH2 0x3c3e
00003c3c: JUMPI
00003c3d: INVALID
00003c3e: JUMPDEST
00003c3f: SWAP1
00003c40: PUSH1 0x00
00003c42: MSTORE
00003c43: PUSH1 0x20
00003c45: PUSH1 0x00
00003c47: KECCAK256
00003c48: SWAP1
00003c49: PUSH1 0x06
00003c4b: MUL
00003c4c: ADD
00003c4d: PUSH1 0x00
00003c4f: ADD
00003c50: PUSH1 0x00
00003c52: SWAP1
00003c53: SLOAD
00003c54: SWAP1
00003c55: PUSH2 0x0100
00003c58: EXP
00003c59: SWAP1
00003c5a: DIV
00003c5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c70: AND
00003c71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c86: AND
00003c87: CALLER
00003c88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c9d: AND
00003c9e: EQ
00003c9f: ISZERO
00003ca0: ISZERO
00003ca1: PUSH2 0x3ca9
00003ca4: JUMPI
00003ca5: PUSH1 0x00
00003ca7: DUP1
00003ca8: REVERT
00003ca9: JUMPDEST
00003caa: DUP4
00003cab: PUSH1 0x00
00003cad: DUP1
00003cae: PUSH1 0x02
00003cb0: DUP2
00003cb1: GT
00003cb2: ISZERO
00003cb3: PUSH2 0x3cb8
00003cb6: JUMPI
00003cb7: INVALID
00003cb8: JUMPDEST
00003cb9: PUSH1 0x01
00003cbb: DUP4
00003cbc: DUP2
00003cbd: SLOAD
00003cbe: DUP2
00003cbf: LT
00003cc0: ISZERO
00003cc1: ISZERO
00003cc2: PUSH2 0x3cc7
00003cc5: JUMPI
00003cc6: INVALID
00003cc7: JUMPDEST
00003cc8: SWAP1
00003cc9: PUSH1 0x00
00003ccb: MSTORE
00003ccc: PUSH1 0x20
00003cce: PUSH1 0x00
00003cd0: KECCAK256
00003cd1: SWAP1
00003cd2: PUSH1 0x06
00003cd4: MUL
00003cd5: ADD
00003cd6: PUSH1 0x04
00003cd8: ADD
00003cd9: PUSH1 0x15
00003cdb: SWAP1
00003cdc: SLOAD
00003cdd: SWAP1
00003cde: PUSH2 0x0100
00003ce1: EXP
00003ce2: SWAP1
00003ce3: DIV
00003ce4: PUSH1 0xff
00003ce6: AND
00003ce7: PUSH1 0x02
00003ce9: DUP2
00003cea: GT
00003ceb: ISZERO
00003cec: PUSH2 0x3cf1
00003cef: JUMPI
00003cf0: INVALID
00003cf1: JUMPDEST
00003cf2: EQ
00003cf3: ISZERO
00003cf4: ISZERO
00003cf5: PUSH2 0x3cfd
00003cf8: JUMPI
00003cf9: PUSH1 0x00
00003cfb: DUP1
00003cfc: REVERT
00003cfd: JUMPDEST
00003cfe: DUP5
00003cff: PUSH1 0x01
00003d01: DUP8
00003d02: DUP2
00003d03: SLOAD
00003d04: DUP2
00003d05: LT
00003d06: ISZERO
00003d07: ISZERO
00003d08: PUSH2 0x3d0d
00003d0b: JUMPI
00003d0c: INVALID
00003d0d: JUMPDEST
00003d0e: SWAP1
00003d0f: PUSH1 0x00
00003d11: MSTORE
00003d12: PUSH1 0x20
00003d14: PUSH1 0x00
00003d16: KECCAK256
00003d17: SWAP1
00003d18: PUSH1 0x06
00003d1a: MUL
00003d1b: ADD
00003d1c: PUSH1 0x02
00003d1e: ADD
00003d1f: SWAP1
00003d20: DUP1
00003d21: MLOAD
00003d22: SWAP1
00003d23: PUSH1 0x20
00003d25: ADD
00003d26: SWAP1
00003d27: PUSH2 0x3d31
00003d2a: SWAP3
00003d2b: SWAP2
00003d2c: SWAP1
00003d2d: PUSH2 0x3e9d
00003d30: JUMP
00003d31: JUMPDEST
00003d32: POP
00003d33: PUSH32 0xfb8e4f1ace1b37ebd0423cd75b120660780cc08a9414e04fe6b50f96a9482dde
00003d54: DUP7
00003d55: PUSH1 0x40
00003d57: MLOAD
00003d58: DUP1
00003d59: DUP3
00003d5a: DUP2
00003d5b: MSTORE
00003d5c: PUSH1 0x20
00003d5e: ADD
00003d5f: SWAP2
00003d60: POP
00003d61: POP
00003d62: PUSH1 0x40
00003d64: MLOAD
00003d65: DUP1
00003d66: SWAP2
00003d67: SUB
00003d68: SWAP1
00003d69: LOG1
00003d6a: POP
00003d6b: POP
00003d6c: POP
00003d6d: POP
00003d6e: POP
00003d6f: POP
00003d70: JUMP
00003d71: JUMPDEST
00003d72: PUSH1 0x00
00003d74: DUP2
00003d75: PUSH1 0x01
00003d77: DUP1
00003d78: SLOAD
00003d79: SWAP1
00003d7a: POP
00003d7b: DUP2
00003d7c: LT
00003d7d: ISZERO
00003d7e: ISZERO
00003d7f: PUSH2 0x3d87
00003d82: JUMPI
00003d83: PUSH1 0x00
00003d85: DUP1
00003d86: REVERT
00003d87: JUMPDEST
00003d88: PUSH1 0x02
00003d8a: PUSH1 0x00
00003d8c: DUP5
00003d8d: DUP2
00003d8e: MSTORE
00003d8f: PUSH1 0x20
00003d91: ADD
00003d92: SWAP1
00003d93: DUP2
00003d94: MSTORE
00003d95: PUSH1 0x20
00003d97: ADD
00003d98: PUSH1 0x00
00003d9a: KECCAK256
00003d9b: DUP1
00003d9c: SLOAD
00003d9d: SWAP1
00003d9e: POP
00003d9f: SWAP2
00003da0: POP
00003da1: POP
00003da2: SWAP2
00003da3: SWAP1
00003da4: POP
00003da5: JUMP
00003da6: JUMPDEST
00003da7: DUP1
00003da8: PUSH1 0x01
00003daa: DUP4
00003dab: DUP2
00003dac: SLOAD
00003dad: DUP2
00003dae: LT
00003daf: ISZERO
00003db0: ISZERO
00003db1: PUSH2 0x3db6
00003db4: JUMPI
00003db5: INVALID
00003db6: JUMPDEST
00003db7: SWAP1
00003db8: PUSH1 0x00
00003dba: MSTORE
00003dbb: PUSH1 0x20
00003dbd: PUSH1 0x00
00003dbf: KECCAK256
00003dc0: SWAP1
00003dc1: PUSH1 0x06
00003dc3: MUL
00003dc4: ADD
00003dc5: PUSH1 0x04
00003dc7: ADD
00003dc8: PUSH1 0x15
00003dca: PUSH2 0x0100
00003dcd: EXP
00003dce: DUP2
00003dcf: SLOAD
00003dd0: DUP2
00003dd1: PUSH1 0xff
00003dd3: MUL
00003dd4: NOT
00003dd5: AND
00003dd6: SWAP1
00003dd7: DUP4
00003dd8: PUSH1 0x02
00003dda: DUP2
00003ddb: GT
00003ddc: ISZERO
00003ddd: PUSH2 0x3de2
00003de0: JUMPI
00003de1: INVALID
00003de2: JUMPDEST
00003de3: MUL
00003de4: OR
00003de5: SWAP1
00003de6: SSTORE
00003de7: POP
00003de8: POP
00003de9: POP
00003dea: JUMP
00003deb: JUMPDEST
00003dec: DUP2
00003ded: SLOAD
00003dee: DUP2
00003def: DUP4
00003df0: SSTORE
00003df1: DUP2
00003df2: DUP2
00003df3: ISZERO
00003df4: GT
00003df5: PUSH2 0x3e18
00003df8: JUMPI
00003df9: PUSH1 0x02
00003dfb: MUL
00003dfc: DUP2
00003dfd: PUSH1 0x02
00003dff: MUL
00003e00: DUP4
00003e01: PUSH1 0x00
00003e03: MSTORE
00003e04: PUSH1 0x20
00003e06: PUSH1 0x00
00003e08: KECCAK256
00003e09: SWAP2
00003e0a: DUP3
00003e0b: ADD
00003e0c: SWAP2
00003e0d: ADD
00003e0e: PUSH2 0x3e17
00003e11: SWAP2
00003e12: SWAP1
00003e13: PUSH2 0x3f63
00003e16: JUMP
00003e17: JUMPDEST
00003e18: JUMPDEST
00003e19: POP
00003e1a: POP
00003e1b: POP
00003e1c: JUMP
00003e1d: JUMPDEST
00003e1e: DUP3
00003e1f: DUP1
00003e20: SLOAD
00003e21: PUSH1 0x01
00003e23: DUP2
00003e24: PUSH1 0x01
00003e26: AND
00003e27: ISZERO
00003e28: PUSH2 0x0100
00003e2b: MUL
00003e2c: SUB
00003e2d: AND
00003e2e: PUSH1 0x02
00003e30: SWAP1
00003e31: DIV
00003e32: SWAP1
00003e33: PUSH1 0x00
00003e35: MSTORE
00003e36: PUSH1 0x20
00003e38: PUSH1 0x00
00003e3a: KECCAK256
00003e3b: SWAP1
00003e3c: PUSH1 0x1f
00003e3e: ADD
00003e3f: PUSH1 0x20
00003e41: SWAP1
00003e42: DIV
00003e43: DUP2
00003e44: ADD
00003e45: SWAP3
00003e46: DUP3
00003e47: PUSH1 0x1f
00003e49: LT
00003e4a: PUSH2 0x3e5e
00003e4d: JUMPI
00003e4e: DUP1
00003e4f: MLOAD
00003e50: PUSH1 0xff
00003e52: NOT
00003e53: AND
00003e54: DUP4
00003e55: DUP1
00003e56: ADD
00003e57: OR
00003e58: DUP6
00003e59: SSTORE
00003e5a: PUSH2 0x3e8c
00003e5d: JUMP
00003e5e: JUMPDEST
00003e5f: DUP3
00003e60: DUP1
00003e61: ADD
00003e62: PUSH1 0x01
00003e64: ADD
00003e65: DUP6
00003e66: SSTORE
00003e67: DUP3
00003e68: ISZERO
00003e69: PUSH2 0x3e8c
00003e6c: JUMPI
00003e6d: SWAP2
00003e6e: DUP3
00003e6f: ADD
00003e70: JUMPDEST
00003e71: DUP3
00003e72: DUP2
00003e73: GT
00003e74: ISZERO
00003e75: PUSH2 0x3e8b
00003e78: JUMPI
00003e79: DUP3
00003e7a: MLOAD
00003e7b: DUP3
00003e7c: SSTORE
00003e7d: SWAP2
00003e7e: PUSH1 0x20
00003e80: ADD
00003e81: SWAP2
00003e82: SWAP1
00003e83: PUSH1 0x01
00003e85: ADD
00003e86: SWAP1
00003e87: PUSH2 0x3e70
00003e8a: JUMP
00003e8b: JUMPDEST
00003e8c: JUMPDEST
00003e8d: POP
00003e8e: SWAP1
00003e8f: POP
00003e90: PUSH2 0x3e99
00003e93: SWAP2
00003e94: SWAP1
00003e95: PUSH2 0x3fcd
00003e98: JUMP
00003e99: JUMPDEST
00003e9a: POP
00003e9b: SWAP1
00003e9c: JUMP
00003e9d: JUMPDEST
00003e9e: DUP3
00003e9f: DUP1
00003ea0: SLOAD
00003ea1: PUSH1 0x01
00003ea3: DUP2
00003ea4: PUSH1 0x01
00003ea6: AND
00003ea7: ISZERO
00003ea8: PUSH2 0x0100
00003eab: MUL
00003eac: SUB
00003ead: AND
00003eae: PUSH1 0x02
00003eb0: SWAP1
00003eb1: DIV
00003eb2: SWAP1
00003eb3: PUSH1 0x00
00003eb5: MSTORE
00003eb6: PUSH1 0x20
00003eb8: PUSH1 0x00
00003eba: KECCAK256
00003ebb: SWAP1
00003ebc: PUSH1 0x1f
00003ebe: ADD
00003ebf: PUSH1 0x20
00003ec1: SWAP1
00003ec2: DIV
00003ec3: DUP2
00003ec4: ADD
00003ec5: SWAP3
00003ec6: DUP3
00003ec7: PUSH1 0x1f
00003ec9: LT
00003eca: PUSH2 0x3ede
00003ecd: JUMPI
00003ece: DUP1
00003ecf: MLOAD
00003ed0: PUSH1 0xff
00003ed2: NOT
00003ed3: AND
00003ed4: DUP4
00003ed5: DUP1
00003ed6: ADD
00003ed7: OR
00003ed8: DUP6
00003ed9: SSTORE
00003eda: PUSH2 0x3f0c
00003edd: JUMP
00003ede: JUMPDEST
00003edf: DUP3
00003ee0: DUP1
00003ee1: ADD
00003ee2: PUSH1 0x01
00003ee4: ADD
00003ee5: DUP6
00003ee6: SSTORE
00003ee7: DUP3
00003ee8: ISZERO
00003ee9: PUSH2 0x3f0c
00003eec: JUMPI
00003eed: SWAP2
00003eee: DUP3
00003eef: ADD
00003ef0: JUMPDEST
00003ef1: DUP3
00003ef2: DUP2
00003ef3: GT
00003ef4: ISZERO
00003ef5: PUSH2 0x3f0b
00003ef8: JUMPI
00003ef9: DUP3
00003efa: MLOAD
00003efb: DUP3
00003efc: SSTORE
00003efd: SWAP2
00003efe: PUSH1 0x20
00003f00: ADD
00003f01: SWAP2
00003f02: SWAP1
00003f03: PUSH1 0x01
00003f05: ADD
00003f06: SWAP1
00003f07: PUSH2 0x3ef0
00003f0a: JUMP
00003f0b: JUMPDEST
00003f0c: JUMPDEST
00003f0d: POP
00003f0e: SWAP1
00003f0f: POP
00003f10: PUSH2 0x3f19
00003f13: SWAP2
00003f14: SWAP1
00003f15: PUSH2 0x3fcd
00003f18: JUMP
00003f19: JUMPDEST
00003f1a: POP
00003f1b: SWAP1
00003f1c: JUMP
00003f1d: JUMPDEST
00003f1e: DUP2
00003f1f: SLOAD
00003f20: DUP2
00003f21: DUP4
00003f22: SSTORE
00003f23: DUP2
00003f24: DUP2
00003f25: ISZERO
00003f26: GT
00003f27: PUSH2 0x3f4a
00003f2a: JUMPI
00003f2b: PUSH1 0x06
00003f2d: MUL
00003f2e: DUP2
00003f2f: PUSH1 0x06
00003f31: MUL
00003f32: DUP4
00003f33: PUSH1 0x00
00003f35: MSTORE
00003f36: PUSH1 0x20
00003f38: PUSH1 0x00
00003f3a: KECCAK256
00003f3b: SWAP2
00003f3c: DUP3
00003f3d: ADD
00003f3e: SWAP2
00003f3f: ADD
00003f40: PUSH2 0x3f49
00003f43: SWAP2
00003f44: SWAP1
00003f45: PUSH2 0x3ff2
00003f48: JUMP
00003f49: JUMPDEST
00003f4a: JUMPDEST
00003f4b: POP
00003f4c: POP
00003f4d: POP
00003f4e: JUMP
00003f4f: JUMPDEST
00003f50: PUSH1 0x20
00003f52: PUSH1 0x40
00003f54: MLOAD
00003f55: SWAP1
00003f56: DUP2
00003f57: ADD
00003f58: PUSH1 0x40
00003f5a: MSTORE
00003f5b: DUP1
00003f5c: PUSH1 0x00
00003f5e: DUP2
00003f5f: MSTORE
00003f60: POP
00003f61: SWAP1
00003f62: JUMP
00003f63: JUMPDEST
00003f64: PUSH2 0x3fca
00003f67: SWAP2
00003f68: SWAP1
00003f69: JUMPDEST
00003f6a: DUP1
00003f6b: DUP3
00003f6c: GT
00003f6d: ISZERO
00003f6e: PUSH2 0x3fc6
00003f71: JUMPI
00003f72: PUSH1 0x00
00003f74: DUP1
00003f75: DUP3
00003f76: ADD
00003f77: PUSH1 0x00
00003f79: PUSH2 0x0100
00003f7c: EXP
00003f7d: DUP2
00003f7e: SLOAD
00003f7f: SWAP1
00003f80: PUSH1 0xff
00003f82: MUL
00003f83: NOT
00003f84: AND
00003f85: SWAP1
00003f86: SSTORE
00003f87: PUSH1 0x00
00003f89: DUP3
00003f8a: ADD
00003f8b: PUSH1 0x01
00003f8d: PUSH2 0x0100
00003f90: EXP
00003f91: DUP2
00003f92: SLOAD
00003f93: SWAP1
00003f94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003fa9: MUL
00003faa: NOT
00003fab: AND
00003fac: SWAP1
00003fad: SSTORE
00003fae: PUSH1 0x01
00003fb0: DUP3
00003fb1: ADD
00003fb2: PUSH1 0x00
00003fb4: PUSH2 0x3fbd
00003fb7: SWAP2
00003fb8: SWAP1
00003fb9: PUSH2 0x40af
00003fbc: JUMP
00003fbd: JUMPDEST
00003fbe: POP
00003fbf: PUSH1 0x02
00003fc1: ADD
00003fc2: PUSH2 0x3f69
00003fc5: JUMP
00003fc6: JUMPDEST
00003fc7: POP
00003fc8: SWAP1
00003fc9: JUMP
00003fca: JUMPDEST
00003fcb: SWAP1
00003fcc: JUMP
00003fcd: JUMPDEST
00003fce: PUSH2 0x3fef
00003fd1: SWAP2
00003fd2: SWAP1
00003fd3: JUMPDEST
00003fd4: DUP1
00003fd5: DUP3
00003fd6: GT
00003fd7: ISZERO
00003fd8: PUSH2 0x3feb
00003fdb: JUMPI
00003fdc: PUSH1 0x00
00003fde: DUP2
00003fdf: PUSH1 0x00
00003fe1: SWAP1
00003fe2: SSTORE
00003fe3: POP
00003fe4: PUSH1 0x01
00003fe6: ADD
00003fe7: PUSH2 0x3fd3
00003fea: JUMP
00003feb: JUMPDEST
00003fec: POP
00003fed: SWAP1
00003fee: JUMP
00003fef: JUMPDEST
00003ff0: SWAP1
00003ff1: JUMP
00003ff2: JUMPDEST
00003ff3: PUSH2 0x40ac
00003ff6: SWAP2
00003ff7: SWAP1
00003ff8: JUMPDEST
00003ff9: DUP1
00003ffa: DUP3
00003ffb: GT
00003ffc: ISZERO
00003ffd: PUSH2 0x40a8
00004000: JUMPI
00004001: PUSH1 0x00
00004003: DUP1
00004004: DUP3
00004005: ADD
00004006: PUSH1 0x00
00004008: PUSH2 0x0100
0000400b: EXP
0000400c: DUP2
0000400d: SLOAD
0000400e: SWAP1
0000400f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004024: MUL
00004025: NOT
00004026: AND
00004027: SWAP1
00004028: SSTORE
00004029: PUSH1 0x01
0000402b: DUP3
0000402c: ADD
0000402d: PUSH1 0x00
0000402f: SWAP1
00004030: SSTORE
00004031: PUSH1 0x02
00004033: DUP3
00004034: ADD
00004035: PUSH1 0x00
00004037: PUSH2 0x4040
0000403a: SWAP2
0000403b: SWAP1
0000403c: PUSH2 0x40af
0000403f: JUMP
00004040: JUMPDEST
00004041: PUSH1 0x03
00004043: DUP3
00004044: ADD
00004045: PUSH1 0x00
00004047: SWAP1
00004048: SSTORE
00004049: PUSH1 0x04
0000404b: DUP3
0000404c: ADD
0000404d: PUSH1 0x00
0000404f: PUSH2 0x0100
00004052: EXP
00004053: DUP2
00004054: SLOAD
00004055: SWAP1
00004056: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000406b: MUL
0000406c: NOT
0000406d: AND
0000406e: SWAP1
0000406f: SSTORE
00004070: PUSH1 0x04
00004072: DUP3
00004073: ADD
00004074: PUSH1 0x14
00004076: PUSH2 0x0100
00004079: EXP
0000407a: DUP2
0000407b: SLOAD
0000407c: SWAP1
0000407d: PUSH1 0xff
0000407f: MUL
00004080: NOT
00004081: AND
00004082: SWAP1
00004083: SSTORE
00004084: PUSH1 0x04
00004086: DUP3
00004087: ADD
00004088: PUSH1 0x15
0000408a: PUSH2 0x0100
0000408d: EXP
0000408e: DUP2
0000408f: SLOAD
00004090: SWAP1
00004091: PUSH1 0xff
00004093: MUL
00004094: NOT
00004095: AND
00004096: SWAP1
00004097: SSTORE
00004098: PUSH1 0x05
0000409a: DUP3
0000409b: ADD
0000409c: PUSH1 0x00
0000409e: SWAP1
0000409f: SSTORE
000040a0: POP
000040a1: PUSH1 0x06
000040a3: ADD
000040a4: PUSH2 0x3ff8
000040a7: JUMP
000040a8: JUMPDEST
000040a9: POP
000040aa: SWAP1
000040ab: JUMP
000040ac: JUMPDEST
000040ad: SWAP1
000040ae: JUMP
000040af: JUMPDEST
000040b0: POP
000040b1: DUP1
000040b2: SLOAD
000040b3: PUSH1 0x01
000040b5: DUP2
000040b6: PUSH1 0x01
000040b8: AND
000040b9: ISZERO
000040ba: PUSH2 0x0100
000040bd: MUL
000040be: SUB
000040bf: AND
000040c0: PUSH1 0x02
000040c2: SWAP1
000040c3: DIV
000040c4: PUSH1 0x00
000040c6: DUP3
000040c7: SSTORE
000040c8: DUP1
000040c9: PUSH1 0x1f
000040cb: LT
000040cc: PUSH2 0x40d5
000040cf: JUMPI
000040d0: POP
000040d1: PUSH2 0x40f4
000040d4: JUMP
000040d5: JUMPDEST
000040d6: PUSH1 0x1f
000040d8: ADD
000040d9: PUSH1 0x20
000040db: SWAP1
000040dc: DIV
000040dd: SWAP1
000040de: PUSH1 0x00
000040e0: MSTORE
000040e1: PUSH1 0x20
000040e3: PUSH1 0x00
000040e5: KECCAK256
000040e6: SWAP1
000040e7: DUP2
000040e8: ADD
000040e9: SWAP1
000040ea: PUSH2 0x40f3
000040ed: SWAP2
000040ee: SWAP1
000040ef: PUSH2 0x3fcd
000040f2: JUMP
000040f3: JUMPDEST
000040f4: JUMPDEST
000040f5: POP
000040f6: JUMP
000040f7: STOP
000040f8: LOG1
000040f9: PUSH6 0x627a7a723058
00004100: KECCAK256
00004101: PUSH5 0x3b981454e8
00004107: SWAP10
00004108: UNKNOWN(0xB5)
00004109: UNKNOWN(0xC3)
0000410a: NOT
0000410b: STOP
0000410c: UNKNOWN(0x25)
0000410d: SWAP5
0000410e: EXTCODECOPY
0000410f: MCOPY
00004110: UNKNOWN(0xBC)
00004111: UNKNOWN(0xE4)
00004112: LOG2
00004113: UNKNOWN(0xE6)
00004114: CREATE
00004115: UNKNOWN(0xBB)
00004116: UNKNOWN(0xB9)
00004117: CODECOPY
00004118: MOD
00004119: UNKNOWN(0xAB)
0000411a: SELFBALANCE
0000411b: UNKNOWN(0x2F)
0000411c: PUSH27