Analysis Run

[codex:222132] OpenAI Codex v0.77.0 (research preview)
[codex:222132] --------
[codex:222132] workdir: /tmp/codex-multi-7m0oucm9
[codex:222132] model: gpt-5.2-codex
[codex:222132] provider: openai
[codex:222132] approval: never
[codex:222132] sandbox: read-only
[codex:222132] reasoning effort: xhigh
[codex:222132] reasoning summaries: auto
[codex:222132] session id: 019b8677-d5a2-73c2-a6a5-7a7bf6fb75d5
[codex:222132] --------
[codex:222132] user
[codex:222132] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:222132] 
[codex:222132] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:222132] 
[codex:222132] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:222132] - Gas inefficiency, code quality, naming, or best practices
[codex:222132] - Theoretical vulnerabilities without a clear extraction path
[codex:222132] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:222132] - Front-running unless it enables theft beyond MEV
[codex:222132] - DoS, griefing, or issues that don't result in attacker profit
[codex:222132] - Missing events, view function issues, or informational findings
[codex:222132] 
[codex:222132] HIGH-VALUE PATTERNS TO HUNT:
[codex:222132] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:222132] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:222132] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:222132] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:222132] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:222132] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:222132] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:222132] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:222132] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:222132] 
[codex:222132] For each finding, you MUST provide:
[codex:222132] 1. Exact file and line numbers of vulnerable code
[codex:222132] 2. Step-by-step exploit transaction sequence
[codex:222132] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:222132] 
[codex:222132] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:222132] 
[codex:222132] Output MUST be valid JSON matching the provided schema.
[codex:222132] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:222132] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:222132] mcp startup: no servers
[codex:222132] 
[codex:222132] thinking
[codex:222132] **Reading instructions from AUDIT_BUNDLE.txt**
[codex:222132] exec
[codex:222132] /bin/bash -lc ls in /tmp/codex-multi-7m0oucm9 succeeded in 6ms:
[codex:222132] AUDIT_BUNDLE.txt
[codex:222132] codex-output-schema.json
[codex:222132] contracts
[codex:222132] exec
[codex:222132] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-7m0oucm9 succeeded in 5ms:
[codex:222132] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:222132] 
[codex:222132] ================================================================================
[codex:222132] FILE: contracts/Contract.sol
[codex:222132] ================================================================================
[codex:222132] pragma solidity ^0.4.18;
[codex:222132] 
[codex:222132] 
[codex:222132] contract FUTR {
[codex:222132] 
[codex:222132]     uint256 constant MAX_UINT256 = 2**256 - 1;
[codex:222132]     
[codex:222132]     uint256 MAX_SUBMITTED = 500067157619455000000000;
[codex:222132] 
[codex:222132]     // (no premine)
[codex:222132]     uint256 _totalSupply = 0;
[codex:222132]     
[codex:222132]     // The following 2 variables are essentially a lookup table.
[codex:222132]     // They are not constant because they are memory.
[codex:222132]     // I came up with this because calculating it was expensive,
[codex:222132] 
[codex:222132] 
[codex:222132] thinking
[codex:222132] **Analyzing potential refund and rounding vulnerabilities**
[codex:222132] thinking
[codex:222132] **Evaluating rounding impact and uninitialized refund risk**
[codex:222132] 
[codex:222132] There is a subtle rounding issue that can let early redeemers withdraw slightly more than their exact share when total supply isn’t a whole number, especially with small supplies. I’m also considering if the refund variable could default safely to zero or if using it uninitialized might lead to erroneous large values causing token inflation via underflow, so I’m thinking through the Solidity 0.4.18 scoping and initialization behavior to clarify if that’s exploitable.
[codex:222132] exec
[codex:222132] /bin/bash -lc 'solc --version' in /tmp/codex-multi-7m0oucm9 exited 127 in 5ms:
[codex:222132] /bin/bash: line 1: solc: command not found
[codex:222132] 
[codex:222132] 
[codex:222132] 
[codex:222132] thinking
[codex:222132] **Analyzing potential contract vulnerabilities**
[codex:222132] 
[codex:222132] I'm carefully examining the contract for exploitable issues, focusing on recursive token calculations, state updates, and variable scoping. I'm evaluating whether uninitialized variables, arithmetic overflows, or timing/state update flaws could allow unfair token minting or ETH extraction, and weighing if reentrancy or fee manipulations present true risks.
[codex:222132] thinking
[codex:222132] **Evaluating fee and payout mechanisms**
[codex:222132] 
[codex:222132] I'm parsing the fee payment flow and payout rate calculations for subtle ways an attacker might manipulate fee states or balances to gain advantage—considering timing of payFees calls, rounding issues, flashloan attacks, and state resets—to confirm if any concrete profit exploits exist or just minor residual risks remain.
[codex:222132] thinking
[codex:222132] **Finalizing audit summary**
[codex:222132] 
[codex:222132] I'll wrap up by stating no clear profitable exploits were found, while noting residual risks from untested rounding edge cases and lack of compilation or runtime verification.
[codex:222132] codex
[codex:222132] {"no_findings":true,"summary":"No concrete exploitable profit paths found. Residual risk: not compiled or simulated; edge-case rounding in swap payout math (integer division in `calulateRate`) not exhaustively tested.","findings":[]}
[codex:222132] tokens used
[codex:222132] 18,851
[codex:222132] {"no_findings":true,"summary":"No concrete exploitable profit paths found. Residual risk: not compiled or simulated; edge-case rounding in swap payout math (integer division in `calulateRate`) not exhaustively tested.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-04T00:50:30.224306+00:00",
        "returncode": 0
    },
    "summary": "No concrete exploitable profit paths found. Residual risk: not compiled or simulated; edge-case rounding in swap payout math (integer division in `calulateRate`) not exhaustively tested.",
    "raw_final": {
        "summary": "No concrete exploitable profit paths found. Residual risk: not compiled or simulated; edge-case rounding in swap payout math (integer division in `calulateRate`) not exhaustively tested.",
        "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 0x015f
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH4 0x06fdde03
0000003c: EQ
0000003d: PUSH2 0x02ab
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x095ea7b3
00000047: EQ
00000048: PUSH2 0x0339
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x16f4d022
00000052: EQ
00000053: PUSH2 0x0393
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x18160ddd
0000005d: EQ
0000005e: PUSH2 0x03bc
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x1ef3755d
00000068: EQ
00000069: PUSH2 0x03e5
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x23b872dd
00000073: EQ
00000074: PUSH2 0x03fa
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x24bb49d6
0000007e: EQ
0000007f: PUSH2 0x0473
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x313ce567
00000089: EQ
0000008a: PUSH2 0x049c
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x3197cbb6
00000094: EQ
00000095: PUSH2 0x04cb
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x41fbb050
0000009f: EQ
000000a0: PUSH2 0x04f4
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0x62779e15
000000aa: EQ
000000ab: PUSH2 0x0549
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0x64bd7013
000000b5: EQ
000000b6: PUSH2 0x055e
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0x65a5f1cd
000000c0: EQ
000000c1: PUSH2 0x058b
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0x6f3921ee
000000cb: EQ
000000cc: PUSH2 0x05c4
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0x708ddf7b
000000d6: EQ
000000d7: PUSH2 0x05f1
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0x70a08231
000000e1: EQ
000000e2: PUSH2 0x061a
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0x8119c065
000000ec: EQ
000000ed: PUSH2 0x0667
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0x88a8c95c
000000f7: EQ
000000f8: PUSH2 0x0694
000000fb: JUMPI
000000fc: DUP1
000000fd: PUSH4 0x8da5cb5b
00000102: EQ
00000103: PUSH2 0x06cd
00000106: JUMPI
00000107: DUP1
00000108: PUSH4 0x91cca3db
0000010d: EQ
0000010e: PUSH2 0x0722
00000111: JUMPI
00000112: DUP1
00000113: PUSH4 0x95d89b41
00000118: EQ
00000119: PUSH2 0x0777
0000011c: JUMPI
0000011d: DUP1
0000011e: PUSH4 0xa6f9dae1
00000123: EQ
00000124: PUSH2 0x0805
00000127: JUMPI
00000128: DUP1
00000129: PUSH4 0xa9059cbb
0000012e: EQ
0000012f: PUSH2 0x083e
00000132: JUMPI
00000133: DUP1
00000134: PUSH4 0xd679677a
00000139: EQ
0000013a: PUSH2 0x0898
0000013d: JUMPI
0000013e: DUP1
0000013f: PUSH4 0xdd62ed3e
00000144: EQ
00000145: PUSH2 0x08c1
00000148: JUMPI
00000149: DUP1
0000014a: PUSH4 0xf51fb6a1
0000014f: EQ
00000150: PUSH2 0x092d
00000153: JUMPI
00000154: DUP1
00000155: PUSH4 0xf97e17d9
0000015a: EQ
0000015b: PUSH2 0x0956
0000015e: JUMPI
0000015f: JUMPDEST
00000160: PUSH1 0x00
00000162: DUP1
00000163: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000178: AND
00000179: CALLER
0000017a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000018f: AND
00000190: EQ
00000191: ISZERO
00000192: DUP1
00000193: ISZERO
00000194: PUSH2 0x01a0
00000197: JUMPI
00000198: POP
00000199: PUSH1 0x0a
0000019b: PUSH1 0x05
0000019d: SLOAD
0000019e: EQ
0000019f: ISZERO
000001a0: JUMPDEST
000001a1: DUP1
000001a2: ISZERO
000001a3: PUSH2 0x01bf
000001a6: JUMPI
000001a7: POP
000001a8: PUSH1 0x00
000001aa: ISZERO
000001ab: ISZERO
000001ac: PUSH1 0x09
000001ae: PUSH1 0x00
000001b0: SWAP1
000001b1: SLOAD
000001b2: SWAP1
000001b3: PUSH2 0x0100
000001b6: EXP
000001b7: SWAP1
000001b8: DIV
000001b9: PUSH1 0xff
000001bb: AND
000001bc: ISZERO
000001bd: ISZERO
000001be: EQ
000001bf: JUMPDEST
000001c0: DUP1
000001c1: ISZERO
000001c2: PUSH2 0x01de
000001c5: JUMPI
000001c6: POP
000001c7: PUSH1 0x00
000001c9: ISZERO
000001ca: ISZERO
000001cb: PUSH1 0x09
000001cd: PUSH1 0x01
000001cf: SWAP1
000001d0: SLOAD
000001d1: SWAP1
000001d2: PUSH2 0x0100
000001d5: EXP
000001d6: SWAP1
000001d7: DIV
000001d8: PUSH1 0xff
000001da: AND
000001db: ISZERO
000001dc: ISZERO
000001dd: EQ
000001de: JUMPDEST
000001df: ISZERO
000001e0: ISZERO
000001e1: PUSH2 0x01e9
000001e4: JUMPI
000001e5: PUSH1 0x00
000001e7: DUP1
000001e8: REVERT
000001e9: JUMPDEST
000001ea: PUSH2 0x01f3
000001ed: CALLER
000001ee: CALLVALUE
000001ef: PUSH2 0x097f
000001f2: JUMP
000001f3: JUMPDEST
000001f4: SWAP1
000001f5: POP
000001f6: CALLER
000001f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000020c: AND
0000020d: PUSH32 0x3ad10ba9777a3bc21180a465e5459861d07cbdb271af9a0f10c993b365b760f8
0000022e: DUP3
0000022f: PUSH1 0x40
00000231: MLOAD
00000232: DUP1
00000233: DUP3
00000234: DUP2
00000235: MSTORE
00000236: PUSH1 0x20
00000238: ADD
00000239: SWAP2
0000023a: POP
0000023b: POP
0000023c: PUSH1 0x40
0000023e: MLOAD
0000023f: DUP1
00000240: SWAP2
00000241: SUB
00000242: SWAP1
00000243: LOG2
00000244: CALLER
00000245: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000025a: AND
0000025b: ADDRESS
0000025c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000271: AND
00000272: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000293: DUP4
00000294: PUSH1 0x40
00000296: MLOAD
00000297: DUP1
00000298: DUP3
00000299: DUP2
0000029a: MSTORE
0000029b: PUSH1 0x20
0000029d: ADD
0000029e: SWAP2
0000029f: POP
000002a0: POP
000002a1: PUSH1 0x40
000002a3: MLOAD
000002a4: DUP1
000002a5: SWAP2
000002a6: SUB
000002a7: SWAP1
000002a8: LOG3
000002a9: POP
000002aa: STOP
000002ab: JUMPDEST
000002ac: CALLVALUE
000002ad: ISZERO
000002ae: PUSH2 0x02b6
000002b1: JUMPI
000002b2: PUSH1 0x00
000002b4: DUP1
000002b5: REVERT
000002b6: JUMPDEST
000002b7: PUSH2 0x02be
000002ba: PUSH2 0x0a70
000002bd: JUMP
000002be: JUMPDEST
000002bf: PUSH1 0x40
000002c1: MLOAD
000002c2: DUP1
000002c3: DUP1
000002c4: PUSH1 0x20
000002c6: ADD
000002c7: DUP3
000002c8: DUP2
000002c9: SUB
000002ca: DUP3
000002cb: MSTORE
000002cc: DUP4
000002cd: DUP2
000002ce: DUP2
000002cf: MLOAD
000002d0: DUP2
000002d1: MSTORE
000002d2: PUSH1 0x20
000002d4: ADD
000002d5: SWAP2
000002d6: POP
000002d7: DUP1
000002d8: MLOAD
000002d9: SWAP1
000002da: PUSH1 0x20
000002dc: ADD
000002dd: SWAP1
000002de: DUP1
000002df: DUP4
000002e0: DUP4
000002e1: PUSH1 0x00
000002e3: JUMPDEST
000002e4: DUP4
000002e5: DUP2
000002e6: LT
000002e7: ISZERO
000002e8: PUSH2 0x02fe
000002eb: JUMPI
000002ec: DUP1
000002ed: DUP3
000002ee: ADD
000002ef: MLOAD
000002f0: DUP2
000002f1: DUP5
000002f2: ADD
000002f3: MSTORE
000002f4: PUSH1 0x20
000002f6: DUP2
000002f7: ADD
000002f8: SWAP1
000002f9: POP
000002fa: PUSH2 0x02e3
000002fd: JUMP
000002fe: JUMPDEST
000002ff: POP
00000300: POP
00000301: POP
00000302: POP
00000303: SWAP1
00000304: POP
00000305: SWAP1
00000306: DUP2
00000307: ADD
00000308: SWAP1
00000309: PUSH1 0x1f
0000030b: AND
0000030c: DUP1
0000030d: ISZERO
0000030e: PUSH2 0x032b
00000311: JUMPI
00000312: DUP1
00000313: DUP3
00000314: SUB
00000315: DUP1
00000316: MLOAD
00000317: PUSH1 0x01
00000319: DUP4
0000031a: PUSH1 0x20
0000031c: SUB
0000031d: PUSH2 0x0100
00000320: EXP
00000321: SUB
00000322: NOT
00000323: AND
00000324: DUP2
00000325: MSTORE
00000326: PUSH1 0x20
00000328: ADD
00000329: SWAP2
0000032a: POP
0000032b: JUMPDEST
0000032c: POP
0000032d: SWAP3
0000032e: POP
0000032f: POP
00000330: POP
00000331: PUSH1 0x40
00000333: MLOAD
00000334: DUP1
00000335: SWAP2
00000336: SUB
00000337: SWAP1
00000338: RETURN
00000339: JUMPDEST
0000033a: CALLVALUE
0000033b: ISZERO
0000033c: PUSH2 0x0344
0000033f: JUMPI
00000340: PUSH1 0x00
00000342: DUP1
00000343: REVERT
00000344: JUMPDEST
00000345: PUSH2 0x0379
00000348: PUSH1 0x04
0000034a: DUP1
0000034b: DUP1
0000034c: CALLDATALOAD
0000034d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000362: AND
00000363: SWAP1
00000364: PUSH1 0x20
00000366: ADD
00000367: SWAP1
00000368: SWAP2
00000369: SWAP1
0000036a: DUP1
0000036b: CALLDATALOAD
0000036c: SWAP1
0000036d: PUSH1 0x20
0000036f: ADD
00000370: SWAP1
00000371: SWAP2
00000372: SWAP1
00000373: POP
00000374: POP
00000375: PUSH2 0x0b0e
00000378: JUMP
00000379: JUMPDEST
0000037a: PUSH1 0x40
0000037c: MLOAD
0000037d: DUP1
0000037e: DUP3
0000037f: ISZERO
00000380: ISZERO
00000381: ISZERO
00000382: ISZERO
00000383: DUP2
00000384: MSTORE
00000385: PUSH1 0x20
00000387: ADD
00000388: SWAP2
00000389: POP
0000038a: POP
0000038b: PUSH1 0x40
0000038d: MLOAD
0000038e: DUP1
0000038f: SWAP2
00000390: SUB
00000391: SWAP1
00000392: RETURN
00000393: JUMPDEST
00000394: CALLVALUE
00000395: ISZERO
00000396: PUSH2 0x039e
00000399: JUMPI
0000039a: PUSH1 0x00
0000039c: DUP1
0000039d: REVERT
0000039e: JUMPDEST
0000039f: PUSH2 0x03a6
000003a2: PUSH2 0x0c00
000003a5: JUMP
000003a6: JUMPDEST
000003a7: PUSH1 0x40
000003a9: MLOAD
000003aa: DUP1
000003ab: DUP3
000003ac: DUP2
000003ad: MSTORE
000003ae: PUSH1 0x20
000003b0: ADD
000003b1: SWAP2
000003b2: POP
000003b3: POP
000003b4: PUSH1 0x40
000003b6: MLOAD
000003b7: DUP1
000003b8: SWAP2
000003b9: SUB
000003ba: SWAP1
000003bb: RETURN
000003bc: JUMPDEST
000003bd: CALLVALUE
000003be: ISZERO
000003bf: PUSH2 0x03c7
000003c2: JUMPI
000003c3: PUSH1 0x00
000003c5: DUP1
000003c6: REVERT
000003c7: JUMPDEST
000003c8: PUSH2 0x03cf
000003cb: PUSH2 0x0c06
000003ce: JUMP
000003cf: JUMPDEST
000003d0: PUSH1 0x40
000003d2: MLOAD
000003d3: DUP1
000003d4: DUP3
000003d5: DUP2
000003d6: MSTORE
000003d7: PUSH1 0x20
000003d9: ADD
000003da: SWAP2
000003db: POP
000003dc: POP
000003dd: PUSH1 0x40
000003df: MLOAD
000003e0: DUP1
000003e1: SWAP2
000003e2: SUB
000003e3: SWAP1
000003e4: RETURN
000003e5: JUMPDEST
000003e6: CALLVALUE
000003e7: ISZERO
000003e8: PUSH2 0x03f0
000003eb: JUMPI
000003ec: PUSH1 0x00
000003ee: DUP1
000003ef: REVERT
000003f0: JUMPDEST
000003f1: PUSH2 0x03f8
000003f4: PUSH2 0x0c10
000003f7: JUMP
000003f8: JUMPDEST
000003f9: STOP
000003fa: JUMPDEST
000003fb: CALLVALUE
000003fc: ISZERO
000003fd: PUSH2 0x0405
00000400: JUMPI
00000401: PUSH1 0x00
00000403: DUP1
00000404: REVERT
00000405: JUMPDEST
00000406: PUSH2 0x0459
00000409: PUSH1 0x04
0000040b: DUP1
0000040c: DUP1
0000040d: CALLDATALOAD
0000040e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000423: AND
00000424: SWAP1
00000425: PUSH1 0x20
00000427: ADD
00000428: SWAP1
00000429: SWAP2
0000042a: SWAP1
0000042b: DUP1
0000042c: CALLDATALOAD
0000042d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000442: AND
00000443: SWAP1
00000444: PUSH1 0x20
00000446: ADD
00000447: SWAP1
00000448: SWAP2
00000449: SWAP1
0000044a: DUP1
0000044b: CALLDATALOAD
0000044c: SWAP1
0000044d: PUSH1 0x20
0000044f: ADD
00000450: SWAP1
00000451: SWAP2
00000452: SWAP1
00000453: POP
00000454: POP
00000455: PUSH2 0x0c7a
00000458: JUMP
00000459: JUMPDEST
0000045a: PUSH1 0x40
0000045c: MLOAD
0000045d: DUP1
0000045e: DUP3
0000045f: ISZERO
00000460: ISZERO
00000461: ISZERO
00000462: ISZERO
00000463: DUP2
00000464: MSTORE
00000465: PUSH1 0x20
00000467: ADD
00000468: SWAP2
00000469: POP
0000046a: POP
0000046b: PUSH1 0x40
0000046d: MLOAD
0000046e: DUP1
0000046f: SWAP2
00000470: SUB
00000471: SWAP1
00000472: RETURN
00000473: JUMPDEST
00000474: CALLVALUE
00000475: ISZERO
00000476: PUSH2 0x047e
00000479: JUMPI
0000047a: PUSH1 0x00
0000047c: DUP1
0000047d: REVERT
0000047e: JUMPDEST
0000047f: PUSH2 0x0486
00000482: PUSH2 0x0f14
00000485: JUMP
00000486: JUMPDEST
00000487: PUSH1 0x40
00000489: MLOAD
0000048a: DUP1
0000048b: DUP3
0000048c: DUP2
0000048d: MSTORE
0000048e: PUSH1 0x20
00000490: ADD
00000491: SWAP2
00000492: POP
00000493: POP
00000494: PUSH1 0x40
00000496: MLOAD
00000497: DUP1
00000498: SWAP2
00000499: SUB
0000049a: SWAP1
0000049b: RETURN
0000049c: JUMPDEST
0000049d: CALLVALUE
0000049e: ISZERO
0000049f: PUSH2 0x04a7
000004a2: JUMPI
000004a3: PUSH1 0x00
000004a5: DUP1
000004a6: REVERT
000004a7: JUMPDEST
000004a8: PUSH2 0x04af
000004ab: PUSH2 0x0f50
000004ae: JUMP
000004af: JUMPDEST
000004b0: PUSH1 0x40
000004b2: MLOAD
000004b3: DUP1
000004b4: DUP3
000004b5: PUSH1 0xff
000004b7: AND
000004b8: PUSH1 0xff
000004ba: AND
000004bb: DUP2
000004bc: MSTORE
000004bd: PUSH1 0x20
000004bf: ADD
000004c0: SWAP2
000004c1: POP
000004c2: POP
000004c3: PUSH1 0x40
000004c5: MLOAD
000004c6: DUP1
000004c7: SWAP2
000004c8: SUB
000004c9: SWAP1
000004ca: RETURN
000004cb: JUMPDEST
000004cc: CALLVALUE
000004cd: ISZERO
000004ce: PUSH2 0x04d6
000004d1: JUMPI
000004d2: PUSH1 0x00
000004d4: DUP1
000004d5: REVERT
000004d6: JUMPDEST
000004d7: PUSH2 0x04de
000004da: PUSH2 0x0f63
000004dd: JUMP
000004de: JUMPDEST
000004df: PUSH1 0x40
000004e1: MLOAD
000004e2: DUP1
000004e3: DUP3
000004e4: DUP2
000004e5: MSTORE
000004e6: PUSH1 0x20
000004e8: ADD
000004e9: SWAP2
000004ea: POP
000004eb: POP
000004ec: PUSH1 0x40
000004ee: MLOAD
000004ef: DUP1
000004f0: SWAP2
000004f1: SUB
000004f2: SWAP1
000004f3: RETURN
000004f4: JUMPDEST
000004f5: CALLVALUE
000004f6: ISZERO
000004f7: PUSH2 0x04ff
000004fa: JUMPI
000004fb: PUSH1 0x00
000004fd: DUP1
000004fe: REVERT
000004ff: JUMPDEST
00000500: PUSH2 0x0507
00000503: PUSH2 0x0f69
00000506: JUMP
00000507: JUMPDEST
00000508: PUSH1 0x40
0000050a: MLOAD
0000050b: DUP1
0000050c: DUP3
0000050d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000522: AND
00000523: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000538: AND
00000539: DUP2
0000053a: MSTORE
0000053b: PUSH1 0x20
0000053d: ADD
0000053e: SWAP2
0000053f: POP
00000540: POP
00000541: PUSH1 0x40
00000543: MLOAD
00000544: DUP1
00000545: SWAP2
00000546: SUB
00000547: SWAP1
00000548: RETURN
00000549: JUMPDEST
0000054a: CALLVALUE
0000054b: ISZERO
0000054c: PUSH2 0x0554
0000054f: JUMPI
00000550: PUSH1 0x00
00000552: DUP1
00000553: REVERT
00000554: JUMPDEST
00000555: PUSH2 0x055c
00000558: PUSH2 0x0f8f
0000055b: JUMP
0000055c: JUMPDEST
0000055d: STOP
0000055e: JUMPDEST
0000055f: CALLVALUE
00000560: ISZERO
00000561: PUSH2 0x0569
00000564: JUMPI
00000565: PUSH1 0x00
00000567: DUP1
00000568: REVERT
00000569: JUMPDEST
0000056a: PUSH2 0x0571
0000056d: PUSH2 0x1127
00000570: JUMP
00000571: JUMPDEST
00000572: PUSH1 0x40
00000574: MLOAD
00000575: DUP1
00000576: DUP3
00000577: ISZERO
00000578: ISZERO
00000579: ISZERO
0000057a: ISZERO
0000057b: DUP2
0000057c: MSTORE
0000057d: PUSH1 0x20
0000057f: ADD
00000580: SWAP2
00000581: POP
00000582: POP
00000583: PUSH1 0x40
00000585: MLOAD
00000586: DUP1
00000587: SWAP2
00000588: SUB
00000589: SWAP1
0000058a: RETURN
0000058b: JUMPDEST
0000058c: CALLVALUE
0000058d: ISZERO
0000058e: PUSH2 0x0596
00000591: JUMPI
00000592: PUSH1 0x00
00000594: DUP1
00000595: REVERT
00000596: JUMPDEST
00000597: PUSH2 0x05c2
0000059a: PUSH1 0x04
0000059c: DUP1
0000059d: DUP1
0000059e: CALLDATALOAD
0000059f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005b4: AND
000005b5: SWAP1
000005b6: PUSH1 0x20
000005b8: ADD
000005b9: SWAP1
000005ba: SWAP2
000005bb: SWAP1
000005bc: POP
000005bd: POP
000005be: PUSH2 0x113a
000005c1: JUMP
000005c2: JUMPDEST
000005c3: STOP
000005c4: JUMPDEST
000005c5: CALLVALUE
000005c6: ISZERO
000005c7: PUSH2 0x05cf
000005ca: JUMPI
000005cb: PUSH1 0x00
000005cd: DUP1
000005ce: REVERT
000005cf: JUMPDEST
000005d0: PUSH2 0x05d7
000005d3: PUSH2 0x11da
000005d6: JUMP
000005d7: JUMPDEST
000005d8: PUSH1 0x40
000005da: MLOAD
000005db: DUP1
000005dc: DUP3
000005dd: ISZERO
000005de: ISZERO
000005df: ISZERO
000005e0: ISZERO
000005e1: DUP2
000005e2: MSTORE
000005e3: PUSH1 0x20
000005e5: ADD
000005e6: SWAP2
000005e7: POP
000005e8: POP
000005e9: PUSH1 0x40
000005eb: MLOAD
000005ec: DUP1
000005ed: SWAP2
000005ee: SUB
000005ef: SWAP1
000005f0: RETURN
000005f1: JUMPDEST
000005f2: CALLVALUE
000005f3: ISZERO
000005f4: PUSH2 0x05fc
000005f7: JUMPI
000005f8: PUSH1 0x00
000005fa: DUP1
000005fb: REVERT
000005fc: JUMPDEST
000005fd: PUSH2 0x0604
00000600: PUSH2 0x11ed
00000603: JUMP
00000604: JUMPDEST
00000605: PUSH1 0x40
00000607: MLOAD
00000608: DUP1
00000609: DUP3
0000060a: DUP2
0000060b: MSTORE
0000060c: PUSH1 0x20
0000060e: ADD
0000060f: SWAP2
00000610: POP
00000611: POP
00000612: PUSH1 0x40
00000614: MLOAD
00000615: DUP1
00000616: SWAP2
00000617: SUB
00000618: SWAP1
00000619: RETURN
0000061a: JUMPDEST
0000061b: CALLVALUE
0000061c: ISZERO
0000061d: PUSH2 0x0625
00000620: JUMPI
00000621: PUSH1 0x00
00000623: DUP1
00000624: REVERT
00000625: JUMPDEST
00000626: PUSH2 0x0651
00000629: PUSH1 0x04
0000062b: DUP1
0000062c: DUP1
0000062d: CALLDATALOAD
0000062e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000643: AND
00000644: SWAP1
00000645: PUSH1 0x20
00000647: ADD
00000648: SWAP1
00000649: SWAP2
0000064a: SWAP1
0000064b: POP
0000064c: POP
0000064d: PUSH2 0x11f7
00000650: JUMP
00000651: JUMPDEST
00000652: PUSH1 0x40
00000654: MLOAD
00000655: DUP1
00000656: DUP3
00000657: DUP2
00000658: MSTORE
00000659: PUSH1 0x20
0000065b: ADD
0000065c: SWAP2
0000065d: POP
0000065e: POP
0000065f: PUSH1 0x40
00000661: MLOAD
00000662: DUP1
00000663: SWAP2
00000664: SUB
00000665: SWAP1
00000666: RETURN
00000667: JUMPDEST
00000668: CALLVALUE
00000669: ISZERO
0000066a: PUSH2 0x0672
0000066d: JUMPI
0000066e: PUSH1 0x00
00000670: DUP1
00000671: REVERT
00000672: JUMPDEST
00000673: PUSH2 0x067a
00000676: PUSH2 0x1240
00000679: JUMP
0000067a: JUMPDEST
0000067b: PUSH1 0x40
0000067d: MLOAD
0000067e: DUP1
0000067f: DUP3
00000680: ISZERO
00000681: ISZERO
00000682: ISZERO
00000683: ISZERO
00000684: DUP2
00000685: MSTORE
00000686: PUSH1 0x20
00000688: ADD
00000689: SWAP2
0000068a: POP
0000068b: POP
0000068c: PUSH1 0x40
0000068e: MLOAD
0000068f: DUP1
00000690: SWAP2
00000691: SUB
00000692: SWAP1
00000693: RETURN
00000694: JUMPDEST
00000695: CALLVALUE
00000696: ISZERO
00000697: PUSH2 0x069f
0000069a: JUMPI
0000069b: PUSH1 0x00
0000069d: DUP1
0000069e: REVERT
0000069f: JUMPDEST
000006a0: PUSH2 0x06cb
000006a3: PUSH1 0x04
000006a5: DUP1
000006a6: DUP1
000006a7: CALLDATALOAD
000006a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006bd: AND
000006be: SWAP1
000006bf: PUSH1 0x20
000006c1: ADD
000006c2: SWAP1
000006c3: SWAP2
000006c4: SWAP1
000006c5: POP
000006c6: POP
000006c7: PUSH2 0x1253
000006ca: JUMP
000006cb: JUMPDEST
000006cc: STOP
000006cd: JUMPDEST
000006ce: CALLVALUE
000006cf: ISZERO
000006d0: PUSH2 0x06d8
000006d3: JUMPI
000006d4: PUSH1 0x00
000006d6: DUP1
000006d7: REVERT
000006d8: JUMPDEST
000006d9: PUSH2 0x06e0
000006dc: PUSH2 0x12f3
000006df: JUMP
000006e0: JUMPDEST
000006e1: PUSH1 0x40
000006e3: MLOAD
000006e4: DUP1
000006e5: DUP3
000006e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006fb: AND
000006fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000711: AND
00000712: DUP2
00000713: MSTORE
00000714: PUSH1 0x20
00000716: ADD
00000717: SWAP2
00000718: POP
00000719: POP
0000071a: PUSH1 0x40
0000071c: MLOAD
0000071d: DUP1
0000071e: SWAP2
0000071f: SUB
00000720: SWAP1
00000721: RETURN
00000722: JUMPDEST
00000723: CALLVALUE
00000724: ISZERO
00000725: PUSH2 0x072d
00000728: JUMPI
00000729: PUSH1 0x00
0000072b: DUP1
0000072c: REVERT
0000072d: JUMPDEST
0000072e: PUSH2 0x0735
00000731: PUSH2 0x1319
00000734: JUMP
00000735: JUMPDEST
00000736: PUSH1 0x40
00000738: MLOAD
00000739: DUP1
0000073a: DUP3
0000073b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000750: AND
00000751: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000766: AND
00000767: DUP2
00000768: MSTORE
00000769: PUSH1 0x20
0000076b: ADD
0000076c: SWAP2
0000076d: POP
0000076e: POP
0000076f: PUSH1 0x40
00000771: MLOAD
00000772: DUP1
00000773: SWAP2
00000774: SUB
00000775: SWAP1
00000776: RETURN
00000777: JUMPDEST
00000778: CALLVALUE
00000779: ISZERO
0000077a: PUSH2 0x0782
0000077d: JUMPI
0000077e: PUSH1 0x00
00000780: DUP1
00000781: REVERT
00000782: JUMPDEST
00000783: PUSH2 0x078a
00000786: PUSH2 0x133f
00000789: JUMP
0000078a: JUMPDEST
0000078b: PUSH1 0x40
0000078d: MLOAD
0000078e: DUP1
0000078f: DUP1
00000790: PUSH1 0x20
00000792: ADD
00000793: DUP3
00000794: DUP2
00000795: SUB
00000796: DUP3
00000797: MSTORE
00000798: DUP4
00000799: DUP2
0000079a: DUP2
0000079b: MLOAD
0000079c: DUP2
0000079d: MSTORE
0000079e: PUSH1 0x20
000007a0: ADD
000007a1: SWAP2
000007a2: POP
000007a3: DUP1
000007a4: MLOAD
000007a5: SWAP1
000007a6: PUSH1 0x20
000007a8: ADD
000007a9: SWAP1
000007aa: DUP1
000007ab: DUP4
000007ac: DUP4
000007ad: PUSH1 0x00
000007af: JUMPDEST
000007b0: DUP4
000007b1: DUP2
000007b2: LT
000007b3: ISZERO
000007b4: PUSH2 0x07ca
000007b7: JUMPI
000007b8: DUP1
000007b9: DUP3
000007ba: ADD
000007bb: MLOAD
000007bc: DUP2
000007bd: DUP5
000007be: ADD
000007bf: MSTORE
000007c0: PUSH1 0x20
000007c2: DUP2
000007c3: ADD
000007c4: SWAP1
000007c5: POP
000007c6: PUSH2 0x07af
000007c9: JUMP
000007ca: JUMPDEST
000007cb: POP
000007cc: POP
000007cd: POP
000007ce: POP
000007cf: SWAP1
000007d0: POP
000007d1: SWAP1
000007d2: DUP2
000007d3: ADD
000007d4: SWAP1
000007d5: PUSH1 0x1f
000007d7: AND
000007d8: DUP1
000007d9: ISZERO
000007da: PUSH2 0x07f7
000007dd: JUMPI
000007de: DUP1
000007df: DUP3
000007e0: SUB
000007e1: DUP1
000007e2: MLOAD
000007e3: PUSH1 0x01
000007e5: DUP4
000007e6: PUSH1 0x20
000007e8: SUB
000007e9: PUSH2 0x0100
000007ec: EXP
000007ed: SUB
000007ee: NOT
000007ef: AND
000007f0: DUP2
000007f1: MSTORE
000007f2: PUSH1 0x20
000007f4: ADD
000007f5: SWAP2
000007f6: POP
000007f7: JUMPDEST
000007f8: POP
000007f9: SWAP3
000007fa: POP
000007fb: POP
000007fc: POP
000007fd: PUSH1 0x40
000007ff: MLOAD
00000800: DUP1
00000801: SWAP2
00000802: SUB
00000803: SWAP1
00000804: RETURN
00000805: JUMPDEST
00000806: CALLVALUE
00000807: ISZERO
00000808: PUSH2 0x0810
0000080b: JUMPI
0000080c: PUSH1 0x00
0000080e: DUP1
0000080f: REVERT
00000810: JUMPDEST
00000811: PUSH2 0x083c
00000814: PUSH1 0x04
00000816: DUP1
00000817: DUP1
00000818: CALLDATALOAD
00000819: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000082e: AND
0000082f: SWAP1
00000830: PUSH1 0x20
00000832: ADD
00000833: SWAP1
00000834: SWAP2
00000835: SWAP1
00000836: POP
00000837: POP
00000838: PUSH2 0x13dd
0000083b: JUMP
0000083c: JUMPDEST
0000083d: STOP
0000083e: JUMPDEST
0000083f: CALLVALUE
00000840: ISZERO
00000841: PUSH2 0x0849
00000844: JUMPI
00000845: PUSH1 0x00
00000847: DUP1
00000848: REVERT
00000849: JUMPDEST
0000084a: PUSH2 0x087e
0000084d: PUSH1 0x04
0000084f: DUP1
00000850: DUP1
00000851: CALLDATALOAD
00000852: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000867: AND
00000868: SWAP1
00000869: PUSH1 0x20
0000086b: ADD
0000086c: SWAP1
0000086d: SWAP2
0000086e: SWAP1
0000086f: DUP1
00000870: CALLDATALOAD
00000871: SWAP1
00000872: PUSH1 0x20
00000874: ADD
00000875: SWAP1
00000876: SWAP2
00000877: SWAP1
00000878: POP
00000879: POP
0000087a: PUSH2 0x147d
0000087d: JUMP
0000087e: JUMPDEST
0000087f: PUSH1 0x40
00000881: MLOAD
00000882: DUP1
00000883: DUP3
00000884: ISZERO
00000885: ISZERO
00000886: ISZERO
00000887: ISZERO
00000888: DUP2
00000889: MSTORE
0000088a: PUSH1 0x20
0000088c: ADD
0000088d: SWAP2
0000088e: POP
0000088f: POP
00000890: PUSH1 0x40
00000892: MLOAD
00000893: DUP1
00000894: SWAP2
00000895: SUB
00000896: SWAP1
00000897: RETURN
00000898: JUMPDEST
00000899: CALLVALUE
0000089a: ISZERO
0000089b: PUSH2 0x08a3
0000089e: JUMPI
0000089f: PUSH1 0x00
000008a1: DUP1
000008a2: REVERT
000008a3: JUMPDEST
000008a4: PUSH2 0x08ab
000008a7: PUSH2 0x1768
000008aa: JUMP
000008ab: JUMPDEST
000008ac: PUSH1 0x40
000008ae: MLOAD
000008af: DUP1
000008b0: DUP3
000008b1: DUP2
000008b2: MSTORE
000008b3: PUSH1 0x20
000008b5: ADD
000008b6: SWAP2
000008b7: POP
000008b8: POP
000008b9: PUSH1 0x40
000008bb: MLOAD
000008bc: DUP1
000008bd: SWAP2
000008be: SUB
000008bf: SWAP1
000008c0: RETURN
000008c1: JUMPDEST
000008c2: CALLVALUE
000008c3: ISZERO
000008c4: PUSH2 0x08cc
000008c7: JUMPI
000008c8: PUSH1 0x00
000008ca: DUP1
000008cb: REVERT
000008cc: JUMPDEST
000008cd: PUSH2 0x0917
000008d0: PUSH1 0x04
000008d2: DUP1
000008d3: DUP1
000008d4: CALLDATALOAD
000008d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ea: AND
000008eb: SWAP1
000008ec: PUSH1 0x20
000008ee: ADD
000008ef: SWAP1
000008f0: SWAP2
000008f1: SWAP1
000008f2: DUP1
000008f3: CALLDATALOAD
000008f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000909: AND
0000090a: SWAP1
0000090b: PUSH1 0x20
0000090d: ADD
0000090e: SWAP1
0000090f: SWAP2
00000910: SWAP1
00000911: POP
00000912: POP
00000913: PUSH2 0x178a
00000916: JUMP
00000917: JUMPDEST
00000918: PUSH1 0x40
0000091a: MLOAD
0000091b: DUP1
0000091c: DUP3
0000091d: DUP2
0000091e: MSTORE
0000091f: PUSH1 0x20
00000921: ADD
00000922: SWAP2
00000923: POP
00000924: POP
00000925: PUSH1 0x40
00000927: MLOAD
00000928: DUP1
00000929: SWAP2
0000092a: SUB
0000092b: SWAP1
0000092c: RETURN
0000092d: JUMPDEST
0000092e: CALLVALUE
0000092f: ISZERO
00000930: PUSH2 0x0938
00000933: JUMPI
00000934: PUSH1 0x00
00000936: DUP1
00000937: REVERT
00000938: JUMPDEST
00000939: PUSH2 0x0940
0000093c: PUSH2 0x1811
0000093f: JUMP
00000940: JUMPDEST
00000941: PUSH1 0x40
00000943: MLOAD
00000944: DUP1
00000945: DUP3
00000946: DUP2
00000947: MSTORE
00000948: PUSH1 0x20
0000094a: ADD
0000094b: SWAP2
0000094c: POP
0000094d: POP
0000094e: PUSH1 0x40
00000950: MLOAD
00000951: DUP1
00000952: SWAP2
00000953: SUB
00000954: SWAP1
00000955: RETURN
00000956: JUMPDEST
00000957: CALLVALUE
00000958: ISZERO
00000959: PUSH2 0x0961
0000095c: JUMPI
0000095d: PUSH1 0x00
0000095f: DUP1
00000960: REVERT
00000961: JUMPDEST
00000962: PUSH2 0x0969
00000965: PUSH2 0x184e
00000968: JUMP
00000969: JUMPDEST
0000096a: PUSH1 0x40
0000096c: MLOAD
0000096d: DUP1
0000096e: DUP3
0000096f: DUP2
00000970: MSTORE
00000971: PUSH1 0x20
00000973: ADD
00000974: SWAP2
00000975: POP
00000976: POP
00000977: PUSH1 0x40
00000979: MLOAD
0000097a: DUP1
0000097b: SWAP2
0000097c: SUB
0000097d: SWAP1
0000097e: RETURN
0000097f: JUMPDEST
00000980: PUSH1 0x00
00000982: DUP1
00000983: PUSH1 0x00
00000985: DUP1
00000986: DUP5
00000987: PUSH1 0x04
00000989: SLOAD
0000098a: ADD
0000098b: SWAP3
0000098c: POP
0000098d: PUSH1 0x00
0000098f: SLOAD
00000990: DUP4
00000991: GT
00000992: ISZERO
00000993: PUSH2 0x09e6
00000996: JUMPI
00000997: PUSH1 0x01
00000999: PUSH1 0x00
0000099b: SLOAD
0000099c: DUP5
0000099d: SUB
0000099e: SUB
0000099f: SWAP2
000009a0: POP
000009a1: DUP2
000009a2: DUP6
000009a3: SUB
000009a4: SWAP5
000009a5: POP
000009a6: DUP6
000009a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009bc: AND
000009bd: PUSH2 0x08fc
000009c0: DUP4
000009c1: SWAP1
000009c2: DUP2
000009c3: ISZERO
000009c4: MUL
000009c5: SWAP1
000009c6: PUSH1 0x40
000009c8: MLOAD
000009c9: PUSH1 0x00
000009cb: PUSH1 0x40
000009cd: MLOAD
000009ce: DUP1
000009cf: DUP4
000009d0: SUB
000009d1: DUP2
000009d2: DUP6
000009d3: DUP9
000009d4: DUP9
000009d5: CALL
000009d6: SWAP4
000009d7: POP
000009d8: POP
000009d9: POP
000009da: POP
000009db: ISZERO
000009dc: ISZERO
000009dd: PUSH2 0x09e5
000009e0: JUMPI
000009e1: PUSH1 0x00
000009e3: DUP1
000009e4: REVERT
000009e5: JUMPDEST
000009e6: JUMPDEST
000009e7: DUP5
000009e8: PUSH1 0x04
000009ea: PUSH1 0x00
000009ec: DUP3
000009ed: DUP3
000009ee: SLOAD
000009ef: ADD
000009f0: SWAP3
000009f1: POP
000009f2: POP
000009f3: DUP2
000009f4: SWAP1
000009f5: SSTORE
000009f6: POP
000009f7: DUP2
000009f8: DUP4
000009f9: SUB
000009fa: SWAP3
000009fb: POP
000009fc: PUSH2 0x0a05
000009ff: DUP4
00000a00: DUP7
00000a01: PUSH2 0x1854
00000a04: JUMP
00000a05: JUMPDEST
00000a06: SWAP1
00000a07: POP
00000a08: DUP1
00000a09: PUSH1 0x14
00000a0b: PUSH1 0x00
00000a0d: DUP9
00000a0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a23: AND
00000a24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a39: AND
00000a3a: DUP2
00000a3b: MSTORE
00000a3c: PUSH1 0x20
00000a3e: ADD
00000a3f: SWAP1
00000a40: DUP2
00000a41: MSTORE
00000a42: PUSH1 0x20
00000a44: ADD
00000a45: PUSH1 0x00
00000a47: KECCAK256
00000a48: PUSH1 0x00
00000a4a: DUP3
00000a4b: DUP3
00000a4c: SLOAD
00000a4d: ADD
00000a4e: SWAP3
00000a4f: POP
00000a50: POP
00000a51: DUP2
00000a52: SWAP1
00000a53: SSTORE
00000a54: POP
00000a55: DUP1
00000a56: PUSH1 0x01
00000a58: PUSH1 0x00
00000a5a: DUP3
00000a5b: DUP3
00000a5c: SLOAD
00000a5d: ADD
00000a5e: SWAP3
00000a5f: POP
00000a60: POP
00000a61: DUP2
00000a62: SWAP1
00000a63: SSTORE
00000a64: POP
00000a65: DUP1
00000a66: SWAP4
00000a67: POP
00000a68: POP
00000a69: POP
00000a6a: POP
00000a6b: SWAP3
00000a6c: SWAP2
00000a6d: POP
00000a6e: POP
00000a6f: JUMP
00000a70: JUMPDEST
00000a71: PUSH1 0x06
00000a73: DUP1
00000a74: SLOAD
00000a75: PUSH1 0x01
00000a77: DUP2
00000a78: PUSH1 0x01
00000a7a: AND
00000a7b: ISZERO
00000a7c: PUSH2 0x0100
00000a7f: MUL
00000a80: SUB
00000a81: AND
00000a82: PUSH1 0x02
00000a84: SWAP1
00000a85: DIV
00000a86: DUP1
00000a87: PUSH1 0x1f
00000a89: ADD
00000a8a: PUSH1 0x20
00000a8c: DUP1
00000a8d: SWAP2
00000a8e: DIV
00000a8f: MUL
00000a90: PUSH1 0x20
00000a92: ADD
00000a93: PUSH1 0x40
00000a95: MLOAD
00000a96: SWAP1
00000a97: DUP2
00000a98: ADD
00000a99: PUSH1 0x40
00000a9b: MSTORE
00000a9c: DUP1
00000a9d: SWAP3
00000a9e: SWAP2
00000a9f: SWAP1
00000aa0: DUP2
00000aa1: DUP2
00000aa2: MSTORE
00000aa3: PUSH1 0x20
00000aa5: ADD
00000aa6: DUP3
00000aa7: DUP1
00000aa8: SLOAD
00000aa9: PUSH1 0x01
00000aab: DUP2
00000aac: PUSH1 0x01
00000aae: AND
00000aaf: ISZERO
00000ab0: PUSH2 0x0100
00000ab3: MUL
00000ab4: SUB
00000ab5: AND
00000ab6: PUSH1 0x02
00000ab8: SWAP1
00000ab9: DIV
00000aba: DUP1
00000abb: ISZERO
00000abc: PUSH2 0x0b06
00000abf: JUMPI
00000ac0: DUP1
00000ac1: PUSH1 0x1f
00000ac3: LT
00000ac4: PUSH2 0x0adb
00000ac7: JUMPI
00000ac8: PUSH2 0x0100
00000acb: DUP1
00000acc: DUP4
00000acd: SLOAD
00000ace: DIV
00000acf: MUL
00000ad0: DUP4
00000ad1: MSTORE
00000ad2: SWAP2
00000ad3: PUSH1 0x20
00000ad5: ADD
00000ad6: SWAP2
00000ad7: PUSH2 0x0b06
00000ada: JUMP
00000adb: JUMPDEST
00000adc: DUP3
00000add: ADD
00000ade: SWAP2
00000adf: SWAP1
00000ae0: PUSH1 0x00
00000ae2: MSTORE
00000ae3: PUSH1 0x20
00000ae5: PUSH1 0x00
00000ae7: KECCAK256
00000ae8: SWAP1
00000ae9: JUMPDEST
00000aea: DUP2
00000aeb: SLOAD
00000aec: DUP2
00000aed: MSTORE
00000aee: SWAP1
00000aef: PUSH1 0x01
00000af1: ADD
00000af2: SWAP1
00000af3: PUSH1 0x20
00000af5: ADD
00000af6: DUP1
00000af7: DUP4
00000af8: GT
00000af9: PUSH2 0x0ae9
00000afc: JUMPI
00000afd: DUP3
00000afe: SWAP1
00000aff: SUB
00000b00: PUSH1 0x1f
00000b02: AND
00000b03: DUP3
00000b04: ADD
00000b05: SWAP2
00000b06: JUMPDEST
00000b07: POP
00000b08: POP
00000b09: POP
00000b0a: POP
00000b0b: POP
00000b0c: DUP2
00000b0d: JUMP
00000b0e: JUMPDEST
00000b0f: PUSH1 0x00
00000b11: DUP2
00000b12: PUSH1 0x15
00000b14: PUSH1 0x00
00000b16: CALLER
00000b17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b2c: AND
00000b2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b42: AND
00000b43: DUP2
00000b44: MSTORE
00000b45: PUSH1 0x20
00000b47: ADD
00000b48: SWAP1
00000b49: DUP2
00000b4a: MSTORE
00000b4b: PUSH1 0x20
00000b4d: ADD
00000b4e: PUSH1 0x00
00000b50: KECCAK256
00000b51: PUSH1 0x00
00000b53: DUP6
00000b54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b69: AND
00000b6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b7f: AND
00000b80: DUP2
00000b81: MSTORE
00000b82: PUSH1 0x20
00000b84: ADD
00000b85: SWAP1
00000b86: DUP2
00000b87: MSTORE
00000b88: PUSH1 0x20
00000b8a: ADD
00000b8b: PUSH1 0x00
00000b8d: KECCAK256
00000b8e: DUP2
00000b8f: SWAP1
00000b90: SSTORE
00000b91: POP
00000b92: DUP3
00000b93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba8: AND
00000ba9: CALLER
00000baa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bbf: AND
00000bc0: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000be1: DUP5
00000be2: PUSH1 0x40
00000be4: MLOAD
00000be5: DUP1
00000be6: DUP3
00000be7: DUP2
00000be8: MSTORE
00000be9: PUSH1 0x20
00000beb: ADD
00000bec: SWAP2
00000bed: POP
00000bee: POP
00000bef: PUSH1 0x40
00000bf1: MLOAD
00000bf2: DUP1
00000bf3: SWAP2
00000bf4: SUB
00000bf5: SWAP1
00000bf6: LOG3
00000bf7: PUSH1 0x01
00000bf9: SWAP1
00000bfa: POP
00000bfb: SWAP3
00000bfc: SWAP2
00000bfd: POP
00000bfe: POP
00000bff: JUMP
00000c00: JUMPDEST
00000c01: PUSH1 0x05
00000c03: SLOAD
00000c04: DUP2
00000c05: JUMP
00000c06: JUMPDEST
00000c07: PUSH1 0x00
00000c09: PUSH1 0x01
00000c0b: SLOAD
00000c0c: SWAP1
00000c0d: POP
00000c0e: SWAP1
00000c0f: JUMP
00000c10: JUMPDEST
00000c11: PUSH1 0x09
00000c13: PUSH1 0x00
00000c15: SWAP1
00000c16: SLOAD
00000c17: SWAP1
00000c18: PUSH2 0x0100
00000c1b: EXP
00000c1c: SWAP1
00000c1d: DIV
00000c1e: PUSH1 0xff
00000c20: AND
00000c21: DUP1
00000c22: ISZERO
00000c23: PUSH2 0x0c2e
00000c26: JUMPI
00000c27: POP
00000c28: PUSH1 0x0a
00000c2a: SLOAD
00000c2b: TIMESTAMP
00000c2c: LT
00000c2d: ISZERO
00000c2e: JUMPDEST
00000c2f: ISZERO
00000c30: ISZERO
00000c31: PUSH2 0x0c39
00000c34: JUMPI
00000c35: PUSH1 0x00
00000c37: DUP1
00000c38: REVERT
00000c39: JUMPDEST
00000c3a: PUSH2 0x2710
00000c3d: PUSH2 0x07d0
00000c40: ADDRESS
00000c41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c56: AND
00000c57: BALANCE
00000c58: MUL
00000c59: DUP2
00000c5a: ISZERO
00000c5b: ISZERO
00000c5c: PUSH2 0x0c61
00000c5f: JUMPI
00000c60: INVALID
00000c61: JUMPDEST
00000c62: DIV
00000c63: PUSH1 0x12
00000c65: DUP2
00000c66: SWAP1
00000c67: SSTORE
00000c68: POP
00000c69: PUSH2 0x0c70
00000c6c: PUSH2 0x0f8f
00000c6f: JUMP
00000c70: JUMPDEST
00000c71: PUSH2 0x0c78
00000c74: PUSH2 0x1932
00000c77: JUMP
00000c78: JUMPDEST
00000c79: JUMP
00000c7a: JUMPDEST
00000c7b: PUSH1 0x00
00000c7d: DUP1
00000c7e: PUSH1 0x15
00000c80: PUSH1 0x00
00000c82: DUP7
00000c83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c98: AND
00000c99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cae: AND
00000caf: DUP2
00000cb0: MSTORE
00000cb1: PUSH1 0x20
00000cb3: ADD
00000cb4: SWAP1
00000cb5: DUP2
00000cb6: MSTORE
00000cb7: PUSH1 0x20
00000cb9: ADD
00000cba: PUSH1 0x00
00000cbc: KECCAK256
00000cbd: PUSH1 0x00
00000cbf: CALLER
00000cc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cd5: AND
00000cd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ceb: AND
00000cec: DUP2
00000ced: MSTORE
00000cee: PUSH1 0x20
00000cf0: ADD
00000cf1: SWAP1
00000cf2: DUP2
00000cf3: MSTORE
00000cf4: PUSH1 0x20
00000cf6: ADD
00000cf7: PUSH1 0x00
00000cf9: KECCAK256
00000cfa: SLOAD
00000cfb: SWAP1
00000cfc: POP
00000cfd: DUP3
00000cfe: PUSH1 0x14
00000d00: PUSH1 0x00
00000d02: DUP8
00000d03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d18: AND
00000d19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d2e: AND
00000d2f: DUP2
00000d30: MSTORE
00000d31: PUSH1 0x20
00000d33: ADD
00000d34: SWAP1
00000d35: DUP2
00000d36: MSTORE
00000d37: PUSH1 0x20
00000d39: ADD
00000d3a: PUSH1 0x00
00000d3c: KECCAK256
00000d3d: SLOAD
00000d3e: LT
00000d3f: ISZERO
00000d40: DUP1
00000d41: ISZERO
00000d42: PUSH2 0x0d4b
00000d45: JUMPI
00000d46: POP
00000d47: DUP3
00000d48: DUP2
00000d49: LT
00000d4a: ISZERO
00000d4b: JUMPDEST
00000d4c: ISZERO
00000d4d: ISZERO
00000d4e: PUSH2 0x0d56
00000d51: JUMPI
00000d52: PUSH1 0x00
00000d54: DUP1
00000d55: REVERT
00000d56: JUMPDEST
00000d57: DUP3
00000d58: PUSH1 0x14
00000d5a: PUSH1 0x00
00000d5c: DUP7
00000d5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d72: AND
00000d73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d88: AND
00000d89: DUP2
00000d8a: MSTORE
00000d8b: PUSH1 0x20
00000d8d: ADD
00000d8e: SWAP1
00000d8f: DUP2
00000d90: MSTORE
00000d91: PUSH1 0x20
00000d93: ADD
00000d94: PUSH1 0x00
00000d96: KECCAK256
00000d97: PUSH1 0x00
00000d99: DUP3
00000d9a: DUP3
00000d9b: SLOAD
00000d9c: ADD
00000d9d: SWAP3
00000d9e: POP
00000d9f: POP
00000da0: DUP2
00000da1: SWAP1
00000da2: SSTORE
00000da3: POP
00000da4: DUP3
00000da5: PUSH1 0x14
00000da7: PUSH1 0x00
00000da9: DUP8
00000daa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dbf: AND
00000dc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dd5: AND
00000dd6: DUP2
00000dd7: MSTORE
00000dd8: PUSH1 0x20
00000dda: ADD
00000ddb: SWAP1
00000ddc: DUP2
00000ddd: MSTORE
00000dde: PUSH1 0x20
00000de0: ADD
00000de1: PUSH1 0x00
00000de3: KECCAK256
00000de4: PUSH1 0x00
00000de6: DUP3
00000de7: DUP3
00000de8: SLOAD
00000de9: SUB
00000dea: SWAP3
00000deb: POP
00000dec: POP
00000ded: DUP2
00000dee: SWAP1
00000def: SSTORE
00000df0: POP
00000df1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000e12: DUP2
00000e13: LT
00000e14: ISZERO
00000e15: PUSH2 0x0ea3
00000e18: JUMPI
00000e19: DUP3
00000e1a: PUSH1 0x15
00000e1c: PUSH1 0x00
00000e1e: DUP8
00000e1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e34: AND
00000e35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e4a: AND
00000e4b: DUP2
00000e4c: MSTORE
00000e4d: PUSH1 0x20
00000e4f: ADD
00000e50: SWAP1
00000e51: DUP2
00000e52: MSTORE
00000e53: PUSH1 0x20
00000e55: ADD
00000e56: PUSH1 0x00
00000e58: KECCAK256
00000e59: PUSH1 0x00
00000e5b: CALLER
00000e5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e71: AND
00000e72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e87: AND
00000e88: DUP2
00000e89: MSTORE
00000e8a: PUSH1 0x20
00000e8c: ADD
00000e8d: SWAP1
00000e8e: DUP2
00000e8f: MSTORE
00000e90: PUSH1 0x20
00000e92: ADD
00000e93: PUSH1 0x00
00000e95: KECCAK256
00000e96: PUSH1 0x00
00000e98: DUP3
00000e99: DUP3
00000e9a: SLOAD
00000e9b: SUB
00000e9c: SWAP3
00000e9d: POP
00000e9e: POP
00000e9f: DUP2
00000ea0: SWAP1
00000ea1: SSTORE
00000ea2: POP
00000ea3: JUMPDEST
00000ea4: DUP4
00000ea5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eba: AND
00000ebb: DUP6
00000ebc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ed1: AND
00000ed2: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000ef3: DUP6
00000ef4: PUSH1 0x40
00000ef6: MLOAD
00000ef7: DUP1
00000ef8: DUP3
00000ef9: DUP2
00000efa: MSTORE
00000efb: PUSH1 0x20
00000efd: ADD
00000efe: SWAP2
00000eff: POP
00000f00: POP
00000f01: PUSH1 0x40
00000f03: MLOAD
00000f04: DUP1
00000f05: SWAP2
00000f06: SUB
00000f07: SWAP1
00000f08: LOG3
00000f09: PUSH1 0x01
00000f0b: SWAP2
00000f0c: POP
00000f0d: POP
00000f0e: SWAP4
00000f0f: SWAP3
00000f10: POP
00000f11: POP
00000f12: POP
00000f13: JUMP
00000f14: JUMPDEST
00000f15: PUSH1 0x00
00000f17: PUSH2 0x2710
00000f1a: PUSH2 0x05fa
00000f1d: PUSH1 0x11
00000f1f: SLOAD
00000f20: PUSH1 0x04
00000f22: SLOAD
00000f23: SUB
00000f24: MUL
00000f25: DUP2
00000f26: ISZERO
00000f27: ISZERO
00000f28: PUSH2 0x0f2d
00000f2b: JUMPI
00000f2c: INVALID
00000f2d: JUMPDEST
00000f2e: DIV
00000f2f: PUSH1 0x12
00000f31: SLOAD
00000f32: ADD
00000f33: ADDRESS
00000f34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f49: AND
00000f4a: BALANCE
00000f4b: SUB
00000f4c: SWAP1
00000f4d: POP
00000f4e: SWAP1
00000f4f: JUMP
00000f50: JUMPDEST
00000f51: PUSH1 0x07
00000f53: PUSH1 0x00
00000f55: SWAP1
00000f56: SLOAD
00000f57: SWAP1
00000f58: PUSH2 0x0100
00000f5b: EXP
00000f5c: SWAP1
00000f5d: DIV
00000f5e: PUSH1 0xff
00000f60: AND
00000f61: DUP2
00000f62: JUMP
00000f63: JUMPDEST
00000f64: PUSH1 0x0a
00000f66: SLOAD
00000f67: DUP2
00000f68: JUMP
00000f69: JUMPDEST
00000f6a: PUSH1 0x16
00000f6c: PUSH1 0x00
00000f6e: SWAP1
00000f6f: SLOAD
00000f70: SWAP1
00000f71: PUSH2 0x0100
00000f74: EXP
00000f75: SWAP1
00000f76: DIV
00000f77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f8c: AND
00000f8d: DUP2
00000f8e: JUMP
00000f8f: JUMPDEST
00000f90: PUSH1 0x00
00000f92: PUSH2 0x0f99
00000f95: PUSH2 0x1a4c
00000f98: JUMP
00000f99: JUMPDEST
00000f9a: PUSH2 0x2710
00000f9d: PUSH2 0x05fa
00000fa0: PUSH1 0x11
00000fa2: SLOAD
00000fa3: PUSH1 0x04
00000fa5: SLOAD
00000fa6: SUB
00000fa7: MUL
00000fa8: DUP2
00000fa9: ISZERO
00000faa: ISZERO
00000fab: PUSH2 0x0fb0
00000fae: JUMPI
00000faf: INVALID
00000fb0: JUMPDEST
00000fb1: DIV
00000fb2: PUSH1 0x12
00000fb4: SLOAD
00000fb5: ADD
00000fb6: SWAP1
00000fb7: POP
00000fb8: PUSH1 0x04
00000fba: SLOAD
00000fbb: PUSH1 0x11
00000fbd: DUP2
00000fbe: SWAP1
00000fbf: SSTORE
00000fc0: POP
00000fc1: PUSH1 0x00
00000fc3: PUSH1 0x13
00000fc5: DUP2
00000fc6: SWAP1
00000fc7: SSTORE
00000fc8: POP
00000fc9: PUSH1 0x00
00000fcb: PUSH1 0x12
00000fcd: DUP2
00000fce: SWAP1
00000fcf: SSTORE
00000fd0: POP
00000fd1: PUSH1 0x00
00000fd3: DUP2
00000fd4: GT
00000fd5: ISZERO
00000fd6: PUSH2 0x1124
00000fd9: JUMPI
00000fda: PUSH1 0x16
00000fdc: PUSH1 0x00
00000fde: SWAP1
00000fdf: SLOAD
00000fe0: SWAP1
00000fe1: PUSH2 0x0100
00000fe4: EXP
00000fe5: SWAP1
00000fe6: DIV
00000fe7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ffc: AND
00000ffd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001012: AND
00001013: PUSH2 0x08fc
00001016: PUSH1 0x02
00001018: DUP4
00001019: DUP2
0000101a: ISZERO
0000101b: ISZERO
0000101c: PUSH2 0x1021
0000101f: JUMPI
00001020: INVALID
00001021: JUMPDEST
00001022: DIV
00001023: SWAP1
00001024: DUP2
00001025: ISZERO
00001026: MUL
00001027: SWAP1
00001028: PUSH1 0x40
0000102a: MLOAD
0000102b: PUSH1 0x00
0000102d: PUSH1 0x40
0000102f: MLOAD
00001030: DUP1
00001031: DUP4
00001032: SUB
00001033: DUP2
00001034: DUP6
00001035: DUP9
00001036: DUP9
00001037: CALL
00001038: SWAP4
00001039: POP
0000103a: POP
0000103b: POP
0000103c: POP
0000103d: ISZERO
0000103e: ISZERO
0000103f: PUSH2 0x1047
00001042: JUMPI
00001043: PUSH1 0x00
00001045: DUP1
00001046: REVERT
00001047: JUMPDEST
00001048: PUSH1 0x17
0000104a: PUSH1 0x00
0000104c: SWAP1
0000104d: SLOAD
0000104e: SWAP1
0000104f: PUSH2 0x0100
00001052: EXP
00001053: SWAP1
00001054: DIV
00001055: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000106a: AND
0000106b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001080: AND
00001081: PUSH2 0x08fc
00001084: PUSH1 0x04
00001086: DUP4
00001087: DUP2
00001088: ISZERO
00001089: ISZERO
0000108a: PUSH2 0x108f
0000108d: JUMPI
0000108e: INVALID
0000108f: JUMPDEST
00001090: DIV
00001091: SWAP1
00001092: DUP2
00001093: ISZERO
00001094: MUL
00001095: SWAP1
00001096: PUSH1 0x40
00001098: MLOAD
00001099: PUSH1 0x00
0000109b: PUSH1 0x40
0000109d: MLOAD
0000109e: DUP1
0000109f: DUP4
000010a0: SUB
000010a1: DUP2
000010a2: DUP6
000010a3: DUP9
000010a4: DUP9
000010a5: CALL
000010a6: SWAP4
000010a7: POP
000010a8: POP
000010a9: POP
000010aa: POP
000010ab: ISZERO
000010ac: ISZERO
000010ad: PUSH2 0x10b5
000010b0: JUMPI
000010b1: PUSH1 0x00
000010b3: DUP1
000010b4: REVERT
000010b5: JUMPDEST
000010b6: PUSH1 0x18
000010b8: PUSH1 0x00
000010ba: SWAP1
000010bb: SLOAD
000010bc: SWAP1
000010bd: PUSH2 0x0100
000010c0: EXP
000010c1: SWAP1
000010c2: DIV
000010c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d8: AND
000010d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ee: AND
000010ef: PUSH2 0x08fc
000010f2: PUSH1 0x04
000010f4: DUP4
000010f5: DUP2
000010f6: ISZERO
000010f7: ISZERO
000010f8: PUSH2 0x10fd
000010fb: JUMPI
000010fc: INVALID
000010fd: JUMPDEST
000010fe: DIV
000010ff: SWAP1
00001100: DUP2
00001101: ISZERO
00001102: MUL
00001103: SWAP1
00001104: PUSH1 0x40
00001106: MLOAD
00001107: PUSH1 0x00
00001109: PUSH1 0x40
0000110b: MLOAD
0000110c: DUP1
0000110d: DUP4
0000110e: SUB
0000110f: DUP2
00001110: DUP6
00001111: DUP9
00001112: DUP9
00001113: CALL
00001114: SWAP4
00001115: POP
00001116: POP
00001117: POP
00001118: POP
00001119: ISZERO
0000111a: ISZERO
0000111b: PUSH2 0x1123
0000111e: JUMPI
0000111f: PUSH1 0x00
00001121: DUP1
00001122: REVERT
00001123: JUMPDEST
00001124: JUMPDEST
00001125: POP
00001126: JUMP
00001127: JUMPDEST
00001128: PUSH1 0x09
0000112a: PUSH1 0x01
0000112c: SWAP1
0000112d: SLOAD
0000112e: SWAP1
0000112f: PUSH2 0x0100
00001132: EXP
00001133: SWAP1
00001134: DIV
00001135: PUSH1 0xff
00001137: AND
00001138: DUP2
00001139: JUMP
0000113a: JUMPDEST
0000113b: PUSH1 0x16
0000113d: PUSH1 0x00
0000113f: SWAP1
00001140: SLOAD
00001141: SWAP1
00001142: PUSH2 0x0100
00001145: EXP
00001146: SWAP1
00001147: DIV
00001148: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000115d: AND
0000115e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001173: AND
00001174: CALLER
00001175: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000118a: AND
0000118b: EQ
0000118c: ISZERO
0000118d: ISZERO
0000118e: PUSH2 0x1196
00001191: JUMPI
00001192: PUSH1 0x00
00001194: DUP1
00001195: REVERT
00001196: JUMPDEST
00001197: DUP1
00001198: PUSH1 0x16
0000119a: PUSH1 0x00
0000119c: PUSH2 0x0100
0000119f: EXP
000011a0: DUP2
000011a1: SLOAD
000011a2: DUP2
000011a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011b8: MUL
000011b9: NOT
000011ba: AND
000011bb: SWAP1
000011bc: DUP4
000011bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d2: AND
000011d3: MUL
000011d4: OR
000011d5: SWAP1
000011d6: SSTORE
000011d7: POP
000011d8: POP
000011d9: JUMP
000011da: JUMPDEST
000011db: PUSH1 0x09
000011dd: PUSH1 0x02
000011df: SWAP1
000011e0: SLOAD
000011e1: SWAP1
000011e2: PUSH2 0x0100
000011e5: EXP
000011e6: SWAP1
000011e7: DIV
000011e8: PUSH1 0xff
000011ea: AND
000011eb: DUP2
000011ec: JUMP
000011ed: JUMPDEST
000011ee: PUSH1 0x00
000011f0: PUSH1 0x04
000011f2: SLOAD
000011f3: SWAP1
000011f4: POP
000011f5: SWAP1
000011f6: JUMP
000011f7: JUMPDEST
000011f8: PUSH1 0x00
000011fa: PUSH1 0x14
000011fc: PUSH1 0x00
000011fe: DUP4
000011ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001214: AND
00001215: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000122a: AND
0000122b: DUP2
0000122c: MSTORE
0000122d: PUSH1 0x20
0000122f: ADD
00001230: SWAP1
00001231: DUP2
00001232: MSTORE
00001233: PUSH1 0x20
00001235: ADD
00001236: PUSH1 0x00
00001238: KECCAK256
00001239: SLOAD
0000123a: SWAP1
0000123b: POP
0000123c: SWAP2
0000123d: SWAP1
0000123e: POP
0000123f: JUMP
00001240: JUMPDEST
00001241: PUSH1 0x09
00001243: PUSH1 0x00
00001245: SWAP1
00001246: SLOAD
00001247: SWAP1
00001248: PUSH2 0x0100
0000124b: EXP
0000124c: SWAP1
0000124d: DIV
0000124e: PUSH1 0xff
00001250: AND
00001251: DUP2
00001252: JUMP
00001253: JUMPDEST
00001254: PUSH1 0x18
00001256: PUSH1 0x00
00001258: SWAP1
00001259: SLOAD
0000125a: SWAP1
0000125b: PUSH2 0x0100
0000125e: EXP
0000125f: SWAP1
00001260: DIV
00001261: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001276: AND
00001277: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000128c: AND
0000128d: CALLER
0000128e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012a3: AND
000012a4: EQ
000012a5: ISZERO
000012a6: ISZERO
000012a7: PUSH2 0x12af
000012aa: JUMPI
000012ab: PUSH1 0x00
000012ad: DUP1
000012ae: REVERT
000012af: JUMPDEST
000012b0: DUP1
000012b1: PUSH1 0x18
000012b3: PUSH1 0x00
000012b5: PUSH2 0x0100
000012b8: EXP
000012b9: DUP2
000012ba: SLOAD
000012bb: DUP2
000012bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012d1: MUL
000012d2: NOT
000012d3: AND
000012d4: SWAP1
000012d5: DUP4
000012d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012eb: AND
000012ec: MUL
000012ed: OR
000012ee: SWAP1
000012ef: SSTORE
000012f0: POP
000012f1: POP
000012f2: JUMP
000012f3: JUMPDEST
000012f4: PUSH1 0x17
000012f6: PUSH1 0x00
000012f8: SWAP1
000012f9: SLOAD
000012fa: SWAP1
000012fb: PUSH2 0x0100
000012fe: EXP
000012ff: SWAP1
00001300: DIV
00001301: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001316: AND
00001317: DUP2
00001318: JUMP
00001319: JUMPDEST
0000131a: PUSH1 0x18
0000131c: PUSH1 0x00
0000131e: SWAP1
0000131f: SLOAD
00001320: SWAP1
00001321: PUSH2 0x0100
00001324: EXP
00001325: SWAP1
00001326: DIV
00001327: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000133c: AND
0000133d: DUP2
0000133e: JUMP
0000133f: JUMPDEST
00001340: PUSH1 0x08
00001342: DUP1
00001343: SLOAD
00001344: PUSH1 0x01
00001346: DUP2
00001347: PUSH1 0x01
00001349: AND
0000134a: ISZERO
0000134b: PUSH2 0x0100
0000134e: MUL
0000134f: SUB
00001350: AND
00001351: PUSH1 0x02
00001353: SWAP1
00001354: DIV
00001355: DUP1
00001356: PUSH1 0x1f
00001358: ADD
00001359: PUSH1 0x20
0000135b: DUP1
0000135c: SWAP2
0000135d: DIV
0000135e: MUL
0000135f: PUSH1 0x20
00001361: ADD
00001362: PUSH1 0x40
00001364: MLOAD
00001365: SWAP1
00001366: DUP2
00001367: ADD
00001368: PUSH1 0x40
0000136a: MSTORE
0000136b: DUP1
0000136c: SWAP3
0000136d: SWAP2
0000136e: SWAP1
0000136f: DUP2
00001370: DUP2
00001371: MSTORE
00001372: PUSH1 0x20
00001374: ADD
00001375: DUP3
00001376: DUP1
00001377: SLOAD
00001378: PUSH1 0x01
0000137a: DUP2
0000137b: PUSH1 0x01
0000137d: AND
0000137e: ISZERO
0000137f: PUSH2 0x0100
00001382: MUL
00001383: SUB
00001384: AND
00001385: PUSH1 0x02
00001387: SWAP1
00001388: DIV
00001389: DUP1
0000138a: ISZERO
0000138b: PUSH2 0x13d5
0000138e: JUMPI
0000138f: DUP1
00001390: PUSH1 0x1f
00001392: LT
00001393: PUSH2 0x13aa
00001396: JUMPI
00001397: PUSH2 0x0100
0000139a: DUP1
0000139b: DUP4
0000139c: SLOAD
0000139d: DIV
0000139e: MUL
0000139f: DUP4
000013a0: MSTORE
000013a1: SWAP2
000013a2: PUSH1 0x20
000013a4: ADD
000013a5: SWAP2
000013a6: PUSH2 0x13d5
000013a9: JUMP
000013aa: JUMPDEST
000013ab: DUP3
000013ac: ADD
000013ad: SWAP2
000013ae: SWAP1
000013af: PUSH1 0x00
000013b1: MSTORE
000013b2: PUSH1 0x20
000013b4: PUSH1 0x00
000013b6: KECCAK256
000013b7: SWAP1
000013b8: JUMPDEST
000013b9: DUP2
000013ba: SLOAD
000013bb: DUP2
000013bc: MSTORE
000013bd: SWAP1
000013be: PUSH1 0x01
000013c0: ADD
000013c1: SWAP1
000013c2: PUSH1 0x20
000013c4: ADD
000013c5: DUP1
000013c6: DUP4
000013c7: GT
000013c8: PUSH2 0x13b8
000013cb: JUMPI
000013cc: DUP3
000013cd: SWAP1
000013ce: SUB
000013cf: PUSH1 0x1f
000013d1: AND
000013d2: DUP3
000013d3: ADD
000013d4: SWAP2
000013d5: JUMPDEST
000013d6: POP
000013d7: POP
000013d8: POP
000013d9: POP
000013da: POP
000013db: DUP2
000013dc: JUMP
000013dd: JUMPDEST
000013de: PUSH1 0x17
000013e0: PUSH1 0x00
000013e2: SWAP1
000013e3: SLOAD
000013e4: SWAP1
000013e5: PUSH2 0x0100
000013e8: EXP
000013e9: SWAP1
000013ea: DIV
000013eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001400: AND
00001401: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001416: AND
00001417: CALLER
00001418: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000142d: AND
0000142e: EQ
0000142f: ISZERO
00001430: ISZERO
00001431: PUSH2 0x1439
00001434: JUMPI
00001435: PUSH1 0x00
00001437: DUP1
00001438: REVERT
00001439: JUMPDEST
0000143a: DUP1
0000143b: PUSH1 0x17
0000143d: PUSH1 0x00
0000143f: PUSH2 0x0100
00001442: EXP
00001443: DUP2
00001444: SLOAD
00001445: DUP2
00001446: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000145b: MUL
0000145c: NOT
0000145d: AND
0000145e: SWAP1
0000145f: DUP4
00001460: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001475: AND
00001476: MUL
00001477: OR
00001478: SWAP1
00001479: SSTORE
0000147a: POP
0000147b: POP
0000147c: JUMP
0000147d: JUMPDEST
0000147e: PUSH1 0x00
00001480: DUP1
00001481: DUP3
00001482: PUSH1 0x14
00001484: PUSH1 0x00
00001486: CALLER
00001487: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000149c: AND
0000149d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014b2: AND
000014b3: DUP2
000014b4: MSTORE
000014b5: PUSH1 0x20
000014b7: ADD
000014b8: SWAP1
000014b9: DUP2
000014ba: MSTORE
000014bb: PUSH1 0x20
000014bd: ADD
000014be: PUSH1 0x00
000014c0: KECCAK256
000014c1: SLOAD
000014c2: LT
000014c3: ISZERO
000014c4: ISZERO
000014c5: ISZERO
000014c6: PUSH2 0x14ce
000014c9: JUMPI
000014ca: PUSH1 0x00
000014cc: DUP1
000014cd: REVERT
000014ce: JUMPDEST
000014cf: PUSH2 0x14d6
000014d2: PUSH2 0x1a4c
000014d5: JUMP
000014d6: JUMPDEST
000014d7: ADDRESS
000014d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014ed: AND
000014ee: DUP5
000014ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001504: AND
00001505: EQ
00001506: ISZERO
00001507: PUSH2 0x165d
0000150a: JUMPI
0000150b: PUSH1 0x09
0000150d: PUSH1 0x00
0000150f: SWAP1
00001510: SLOAD
00001511: SWAP1
00001512: PUSH2 0x0100
00001515: EXP
00001516: SWAP1
00001517: DIV
00001518: PUSH1 0xff
0000151a: AND
0000151b: ISZERO
0000151c: ISZERO
0000151d: PUSH2 0x1525
00001520: JUMPI
00001521: PUSH1 0x00
00001523: DUP1
00001524: REVERT
00001525: JUMPDEST
00001526: PUSH1 0x00
00001528: PUSH1 0x10
0000152a: SLOAD
0000152b: EQ
0000152c: ISZERO
0000152d: PUSH2 0x1539
00001530: JUMPI
00001531: PUSH2 0x1538
00001534: PUSH2 0x1c98
00001537: JUMP
00001538: JUMPDEST
00001539: JUMPDEST
0000153a: PUSH1 0x10
0000153c: SLOAD
0000153d: DUP4
0000153e: MUL
0000153f: SWAP1
00001540: POP
00001541: PUSH8 0x0de0b6b3a7640000
0000154a: DUP2
0000154b: DUP2
0000154c: ISZERO
0000154d: ISZERO
0000154e: PUSH2 0x1553
00001551: JUMPI
00001552: INVALID
00001553: JUMPDEST
00001554: DIV
00001555: SWAP1
00001556: POP
00001557: DUP3
00001558: PUSH1 0x14
0000155a: PUSH1 0x00
0000155c: CALLER
0000155d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001572: AND
00001573: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001588: AND
00001589: DUP2
0000158a: MSTORE
0000158b: PUSH1 0x20
0000158d: ADD
0000158e: SWAP1
0000158f: DUP2
00001590: MSTORE
00001591: PUSH1 0x20
00001593: ADD
00001594: PUSH1 0x00
00001596: KECCAK256
00001597: PUSH1 0x00
00001599: DUP3
0000159a: DUP3
0000159b: SLOAD
0000159c: SUB
0000159d: SWAP3
0000159e: POP
0000159f: POP
000015a0: DUP2
000015a1: SWAP1
000015a2: SSTORE
000015a3: POP
000015a4: DUP3
000015a5: PUSH1 0x01
000015a7: PUSH1 0x00
000015a9: DUP3
000015aa: DUP3
000015ab: SLOAD
000015ac: SUB
000015ad: SWAP3
000015ae: POP
000015af: POP
000015b0: DUP2
000015b1: SWAP1
000015b2: SSTORE
000015b3: POP
000015b4: DUP4
000015b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ca: AND
000015cb: CALLER
000015cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015e1: AND
000015e2: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001603: DUP6
00001604: PUSH1 0x40
00001606: MLOAD
00001607: DUP1
00001608: DUP3
00001609: DUP2
0000160a: MSTORE
0000160b: PUSH1 0x20
0000160d: ADD
0000160e: SWAP2
0000160f: POP
00001610: POP
00001611: PUSH1 0x40
00001613: MLOAD
00001614: DUP1
00001615: SWAP2
00001616: SUB
00001617: SWAP1
00001618: LOG3
00001619: CALLER
0000161a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000162f: AND
00001630: PUSH2 0x08fc
00001633: DUP3
00001634: SWAP1
00001635: DUP2
00001636: ISZERO
00001637: MUL
00001638: SWAP1
00001639: PUSH1 0x40
0000163b: MLOAD
0000163c: PUSH1 0x00
0000163e: PUSH1 0x40
00001640: MLOAD
00001641: DUP1
00001642: DUP4
00001643: SUB
00001644: DUP2
00001645: DUP6
00001646: DUP9
00001647: DUP9
00001648: CALL
00001649: SWAP4
0000164a: POP
0000164b: POP
0000164c: POP
0000164d: POP
0000164e: ISZERO
0000164f: ISZERO
00001650: PUSH2 0x1658
00001653: JUMPI
00001654: PUSH1 0x00
00001656: DUP1
00001657: REVERT
00001658: JUMPDEST
00001659: PUSH2 0x175d
0000165c: JUMP
0000165d: JUMPDEST
0000165e: DUP3
0000165f: PUSH1 0x14
00001661: PUSH1 0x00
00001663: CALLER
00001664: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001679: AND
0000167a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000168f: AND
00001690: DUP2
00001691: MSTORE
00001692: PUSH1 0x20
00001694: ADD
00001695: SWAP1
00001696: DUP2
00001697: MSTORE
00001698: PUSH1 0x20
0000169a: ADD
0000169b: PUSH1 0x00
0000169d: KECCAK256
0000169e: PUSH1 0x00
000016a0: DUP3
000016a1: DUP3
000016a2: SLOAD
000016a3: SUB
000016a4: SWAP3
000016a5: POP
000016a6: POP
000016a7: DUP2
000016a8: SWAP1
000016a9: SSTORE
000016aa: POP
000016ab: DUP3
000016ac: PUSH1 0x14
000016ae: PUSH1 0x00
000016b0: DUP7
000016b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016c6: AND
000016c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016dc: AND
000016dd: DUP2
000016de: MSTORE
000016df: PUSH1 0x20
000016e1: ADD
000016e2: SWAP1
000016e3: DUP2
000016e4: MSTORE
000016e5: PUSH1 0x20
000016e7: ADD
000016e8: PUSH1 0x00
000016ea: KECCAK256
000016eb: PUSH1 0x00
000016ed: DUP3
000016ee: DUP3
000016ef: SLOAD
000016f0: ADD
000016f1: SWAP3
000016f2: POP
000016f3: POP
000016f4: DUP2
000016f5: SWAP1
000016f6: SSTORE
000016f7: POP
000016f8: DUP4
000016f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000170e: AND
0000170f: CALLER
00001710: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001725: AND
00001726: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001747: DUP6
00001748: PUSH1 0x40
0000174a: MLOAD
0000174b: DUP1
0000174c: DUP3
0000174d: DUP2
0000174e: MSTORE
0000174f: PUSH1 0x20
00001751: ADD
00001752: SWAP2
00001753: POP
00001754: POP
00001755: PUSH1 0x40
00001757: MLOAD
00001758: DUP1
00001759: SWAP2
0000175a: SUB
0000175b: SWAP1
0000175c: LOG3
0000175d: JUMPDEST
0000175e: PUSH1 0x01
00001760: SWAP2
00001761: POP
00001762: POP
00001763: SWAP3
00001764: SWAP2
00001765: POP
00001766: POP
00001767: JUMP
00001768: JUMPDEST
00001769: PUSH1 0x00
0000176b: PUSH1 0x0a
0000176d: PUSH1 0x05
0000176f: SLOAD
00001770: EQ
00001771: ISZERO
00001772: PUSH2 0x177e
00001775: JUMPI
00001776: PUSH1 0x0a
00001778: SWAP1
00001779: POP
0000177a: PUSH2 0x1787
0000177d: JUMP
0000177e: JUMPDEST
0000177f: PUSH1 0x01
00001781: PUSH1 0x05
00001783: SLOAD
00001784: ADD
00001785: SWAP1
00001786: POP
00001787: JUMPDEST
00001788: SWAP1
00001789: JUMP
0000178a: JUMPDEST
0000178b: PUSH1 0x00
0000178d: PUSH1 0x15
0000178f: PUSH1 0x00
00001791: DUP5
00001792: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017a7: AND
000017a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017bd: AND
000017be: DUP2
000017bf: MSTORE
000017c0: PUSH1 0x20
000017c2: ADD
000017c3: SWAP1
000017c4: DUP2
000017c5: MSTORE
000017c6: PUSH1 0x20
000017c8: ADD
000017c9: PUSH1 0x00
000017cb: KECCAK256
000017cc: PUSH1 0x00
000017ce: DUP4
000017cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017e4: AND
000017e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017fa: AND
000017fb: DUP2
000017fc: MSTORE
000017fd: PUSH1 0x20
000017ff: ADD
00001800: SWAP1
00001801: DUP2
00001802: MSTORE
00001803: PUSH1 0x20
00001805: ADD
00001806: PUSH1 0x00
00001808: KECCAK256
00001809: SLOAD
0000180a: SWAP1
0000180b: POP
0000180c: SWAP3
0000180d: SWAP2
0000180e: POP
0000180f: POP
00001810: JUMP
00001811: JUMPDEST
00001812: PUSH1 0x00
00001814: PUSH1 0x0a
00001816: PUSH1 0x05
00001818: SLOAD
00001819: EQ
0000181a: ISZERO
0000181b: PUSH2 0x1827
0000181e: JUMPI
0000181f: PUSH1 0x00
00001821: SWAP1
00001822: POP
00001823: PUSH2 0x184b
00001826: JUMP
00001827: JUMPDEST
00001828: PUSH1 0x04
0000182a: SLOAD
0000182b: PUSH1 0x02
0000182d: PUSH1 0x05
0000182f: SLOAD
00001830: DUP2
00001831: SLOAD
00001832: DUP2
00001833: LT
00001834: ISZERO
00001835: ISZERO
00001836: PUSH2 0x183b
00001839: JUMPI
0000183a: INVALID
0000183b: JUMPDEST
0000183c: SWAP1
0000183d: PUSH1 0x00
0000183f: MSTORE
00001840: PUSH1 0x20
00001842: PUSH1 0x00
00001844: KECCAK256
00001845: SWAP1
00001846: ADD
00001847: SLOAD
00001848: SUB
00001849: SWAP1
0000184a: POP
0000184b: JUMPDEST
0000184c: SWAP1
0000184d: JUMP
0000184e: JUMPDEST
0000184f: PUSH1 0x10
00001851: SLOAD
00001852: DUP2
00001853: JUMP
00001854: JUMPDEST
00001855: PUSH1 0x00
00001857: DUP1
00001858: PUSH1 0x00
0000185a: PUSH1 0x0a
0000185c: PUSH1 0x05
0000185e: SLOAD
0000185f: EQ
00001860: ISZERO
00001861: PUSH2 0x1871
00001864: JUMPI
00001865: PUSH5 0x01b9130a00
0000186b: SWAP3
0000186c: POP
0000186d: PUSH2 0x192a
00001870: JUMP
00001871: JUMPDEST
00001872: PUSH1 0x00
00001874: SWAP2
00001875: POP
00001876: PUSH1 0x02
00001878: PUSH1 0x05
0000187a: SLOAD
0000187b: DUP2
0000187c: SLOAD
0000187d: DUP2
0000187e: LT
0000187f: ISZERO
00001880: ISZERO
00001881: PUSH2 0x1886
00001884: JUMPI
00001885: INVALID
00001886: JUMPDEST
00001887: SWAP1
00001888: PUSH1 0x00
0000188a: MSTORE
0000188b: PUSH1 0x20
0000188d: PUSH1 0x00
0000188f: KECCAK256
00001890: SWAP1
00001891: ADD
00001892: SLOAD
00001893: DUP6
00001894: GT
00001895: ISZERO
00001896: PUSH2 0x1904
00001899: JUMPI
0000189a: PUSH1 0x02
0000189c: PUSH1 0x05
0000189e: SLOAD
0000189f: DUP2
000018a0: SLOAD
000018a1: DUP2
000018a2: LT
000018a3: ISZERO
000018a4: ISZERO
000018a5: PUSH2 0x18aa
000018a8: JUMPI
000018a9: INVALID
000018aa: JUMPDEST
000018ab: SWAP1
000018ac: PUSH1 0x00
000018ae: MSTORE
000018af: PUSH1 0x20
000018b1: PUSH1 0x00
000018b3: KECCAK256
000018b4: SWAP1
000018b5: ADD
000018b6: SLOAD
000018b7: DUP6
000018b8: SUB
000018b9: SWAP1
000018ba: POP
000018bb: DUP1
000018bc: DUP5
000018bd: SUB
000018be: SWAP4
000018bf: POP
000018c0: PUSH1 0x03
000018c2: PUSH1 0x05
000018c4: SLOAD
000018c5: DUP2
000018c6: SLOAD
000018c7: DUP2
000018c8: LT
000018c9: ISZERO
000018ca: ISZERO
000018cb: PUSH2 0x18d0
000018ce: JUMPI
000018cf: INVALID
000018d0: JUMPDEST
000018d1: SWAP1
000018d2: PUSH1 0x00
000018d4: MSTORE
000018d5: PUSH1 0x20
000018d7: PUSH1 0x00
000018d9: KECCAK256
000018da: SWAP1
000018db: ADD
000018dc: SLOAD
000018dd: DUP5
000018de: MUL
000018df: SWAP2
000018e0: POP
000018e1: PUSH1 0x01
000018e3: PUSH1 0x05
000018e5: PUSH1 0x00
000018e7: DUP3
000018e8: DUP3
000018e9: SLOAD
000018ea: ADD
000018eb: SWAP3
000018ec: POP
000018ed: POP
000018ee: DUP2
000018ef: SWAP1
000018f0: SSTORE
000018f1: POP
000018f2: PUSH2 0x18fb
000018f5: DUP6
000018f6: DUP3
000018f7: PUSH2 0x1854
000018fa: JUMP
000018fb: JUMPDEST
000018fc: DUP3
000018fd: ADD
000018fe: SWAP2
000018ff: POP
00001900: PUSH2 0x1926
00001903: JUMP
00001904: JUMPDEST
00001905: PUSH1 0x03
00001907: PUSH1 0x05
00001909: SLOAD
0000190a: DUP2
0000190b: SLOAD
0000190c: DUP2
0000190d: LT
0000190e: ISZERO
0000190f: ISZERO
00001910: PUSH2 0x1915
00001913: JUMPI
00001914: INVALID
00001915: JUMPDEST
00001916: SWAP1
00001917: PUSH1 0x00
00001919: MSTORE
0000191a: PUSH1 0x20
0000191c: PUSH1 0x00
0000191e: KECCAK256
0000191f: SWAP1
00001920: ADD
00001921: SLOAD
00001922: DUP5
00001923: MUL
00001924: SWAP2
00001925: POP
00001926: JUMPDEST
00001927: DUP2
00001928: SWAP3
00001929: POP
0000192a: JUMPDEST
0000192b: POP
0000192c: POP
0000192d: SWAP3
0000192e: SWAP2
0000192f: POP
00001930: POP
00001931: JUMP
00001932: JUMPDEST
00001933: PUSH1 0x00
00001935: PUSH1 0x09
00001937: PUSH1 0x00
00001939: PUSH2 0x0100
0000193c: EXP
0000193d: DUP2
0000193e: SLOAD
0000193f: DUP2
00001940: PUSH1 0xff
00001942: MUL
00001943: NOT
00001944: AND
00001945: SWAP1
00001946: DUP4
00001947: ISZERO
00001948: ISZERO
00001949: MUL
0000194a: OR
0000194b: SWAP1
0000194c: SSTORE
0000194d: POP
0000194e: PUSH1 0x00
00001950: PUSH1 0x09
00001952: PUSH1 0x01
00001954: PUSH2 0x0100
00001957: EXP
00001958: DUP2
00001959: SLOAD
0000195a: DUP2
0000195b: PUSH1 0xff
0000195d: MUL
0000195e: NOT
0000195f: AND
00001960: SWAP1
00001961: DUP4
00001962: ISZERO
00001963: ISZERO
00001964: MUL
00001965: OR
00001966: SWAP1
00001967: SSTORE
00001968: POP
00001969: PUSH1 0x00
0000196b: PUSH1 0x09
0000196d: PUSH1 0x02
0000196f: PUSH2 0x0100
00001972: EXP
00001973: DUP2
00001974: SLOAD
00001975: DUP2
00001976: PUSH1 0xff
00001978: MUL
00001979: NOT
0000197a: AND
0000197b: SWAP1
0000197c: DUP4
0000197d: ISZERO
0000197e: ISZERO
0000197f: MUL
00001980: OR
00001981: SWAP1
00001982: SSTORE
00001983: POP
00001984: PUSH4 0x01e28500
00001989: TIMESTAMP
0000198a: ADD
0000198b: PUSH1 0x0a
0000198d: DUP2
0000198e: SWAP1
0000198f: SSTORE
00001990: POP
00001991: PUSH3 0x278d00
00001995: PUSH1 0x0a
00001997: SLOAD
00001998: ADD
00001999: PUSH1 0x0b
0000199b: DUP2
0000199c: SWAP1
0000199d: SSTORE
0000199e: POP
0000199f: PUSH3 0x069780
000019a3: PUSH1 0x0b
000019a5: SLOAD
000019a6: ADD
000019a7: PUSH1 0x0c
000019a9: DUP2
000019aa: SWAP1
000019ab: SSTORE
000019ac: POP
000019ad: PUSH4 0x05a4ec00
000019b2: TIMESTAMP
000019b3: ADD
000019b4: PUSH1 0x0d
000019b6: DUP2
000019b7: SWAP1
000019b8: SSTORE
000019b9: POP
000019ba: PUSH3 0x278d00
000019be: PUSH1 0x0d
000019c0: SLOAD
000019c1: ADD
000019c2: PUSH1 0x0e
000019c4: DUP2
000019c5: SWAP1
000019c6: SSTORE
000019c7: POP
000019c8: PUSH3 0x069780
000019cc: PUSH1 0x0e
000019ce: SLOAD
000019cf: ADD
000019d0: PUSH1 0x0f
000019d2: DUP2
000019d3: SWAP1
000019d4: SSTORE
000019d5: POP
000019d6: PUSH1 0x00
000019d8: PUSH1 0x11
000019da: DUP2
000019db: SWAP1
000019dc: SSTORE
000019dd: POP
000019de: PUSH1 0x00
000019e0: PUSH1 0x04
000019e2: DUP2
000019e3: SWAP1
000019e4: SSTORE
000019e5: POP
000019e6: PUSH1 0x00
000019e8: PUSH1 0x13
000019ea: DUP2
000019eb: SWAP1
000019ec: SSTORE
000019ed: POP
000019ee: PUSH1 0x00
000019f0: PUSH1 0x10
000019f2: DUP2
000019f3: SWAP1
000019f4: SSTORE
000019f5: POP
000019f6: PUSH1 0x00
000019f8: PUSH1 0x05
000019fa: DUP2
000019fb: SWAP1
000019fc: SSTORE
000019fd: POP
000019fe: PUSH32 0x938e6fcc245d7476cacd79a5032e14b706e6a7ead38fab7a0d73c4feaded40eb
00001a1f: PUSH1 0x0a
00001a21: SLOAD
00001a22: PUSH1 0x0b
00001a24: SLOAD
00001a25: PUSH1 0x0c
00001a27: SLOAD
00001a28: PUSH1 0x40
00001a2a: MLOAD
00001a2b: DUP1
00001a2c: DUP5
00001a2d: DUP2
00001a2e: MSTORE
00001a2f: PUSH1 0x20
00001a31: ADD
00001a32: DUP4
00001a33: DUP2
00001a34: MSTORE
00001a35: PUSH1 0x20
00001a37: ADD
00001a38: DUP3
00001a39: DUP2
00001a3a: MSTORE
00001a3b: PUSH1 0x20
00001a3d: ADD
00001a3e: SWAP4
00001a3f: POP
00001a40: POP
00001a41: POP
00001a42: POP
00001a43: PUSH1 0x40
00001a45: MLOAD
00001a46: DUP1
00001a47: SWAP2
00001a48: SUB
00001a49: SWAP1
00001a4a: LOG1
00001a4b: JUMP
00001a4c: JUMPDEST
00001a4d: PUSH1 0x0a
00001a4f: SLOAD
00001a50: TIMESTAMP
00001a51: LT
00001a52: ISZERO
00001a53: ISZERO
00001a54: PUSH2 0x1c96
00001a57: JUMPI
00001a58: PUSH1 0x09
00001a5a: PUSH1 0x00
00001a5c: SWAP1
00001a5d: SLOAD
00001a5e: SWAP1
00001a5f: PUSH2 0x0100
00001a62: EXP
00001a63: SWAP1
00001a64: DIV
00001a65: PUSH1 0xff
00001a67: AND
00001a68: ISZERO
00001a69: DUP1
00001a6a: ISZERO
00001a6b: PUSH2 0x1a81
00001a6e: JUMPI
00001a6f: POP
00001a70: PUSH1 0x09
00001a72: PUSH1 0x01
00001a74: SWAP1
00001a75: SLOAD
00001a76: SWAP1
00001a77: PUSH2 0x0100
00001a7a: EXP
00001a7b: SWAP1
00001a7c: DIV
00001a7d: PUSH1 0xff
00001a7f: AND
00001a80: ISZERO
00001a81: JUMPDEST
00001a82: ISZERO
00001a83: PUSH2 0x1be2
00001a86: JUMPI
00001a87: PUSH1 0x09
00001a89: PUSH1 0x02
00001a8b: SWAP1
00001a8c: SLOAD
00001a8d: SWAP1
00001a8e: PUSH2 0x0100
00001a91: EXP
00001a92: SWAP1
00001a93: DIV
00001a94: PUSH1 0xff
00001a96: AND
00001a97: ISZERO
00001a98: PUSH2 0x1afd
00001a9b: JUMPI
00001a9c: PUSH1 0x01
00001a9e: PUSH1 0x09
00001aa0: PUSH1 0x01
00001aa2: PUSH2 0x0100
00001aa5: EXP
00001aa6: DUP2
00001aa7: SLOAD
00001aa8: DUP2
00001aa9: PUSH1 0xff
00001aab: MUL
00001aac: NOT
00001aad: AND
00001aae: SWAP1
00001aaf: DUP4
00001ab0: ISZERO
00001ab1: ISZERO
00001ab2: MUL
00001ab3: OR
00001ab4: SWAP1
00001ab5: SSTORE
00001ab6: POP
00001ab7: PUSH1 0x0e
00001ab9: SLOAD
00001aba: PUSH1 0x0a
00001abc: DUP2
00001abd: SWAP1
00001abe: SSTORE
00001abf: POP
00001ac0: PUSH32 0x24f7a980d4f032f59e7197d51a3cd619f138504a9b0da6fee19a08985863775e
00001ae1: PUSH1 0x0a
00001ae3: SLOAD
00001ae4: PUSH1 0x40
00001ae6: MLOAD
00001ae7: DUP1
00001ae8: DUP3
00001ae9: DUP2
00001aea: MSTORE
00001aeb: PUSH1 0x20
00001aed: ADD
00001aee: SWAP2
00001aef: POP
00001af0: POP
00001af1: PUSH1 0x40
00001af3: MLOAD
00001af4: DUP1
00001af5: SWAP2
00001af6: SUB
00001af7: SWAP1
00001af8: LOG1
00001af9: PUSH2 0x1bdd
00001afc: JUMP
00001afd: JUMPDEST
00001afe: PUSH1 0x0a
00001b00: PUSH1 0x05
00001b02: SLOAD
00001b03: EQ
00001b04: ISZERO
00001b05: PUSH2 0x1b6a
00001b08: JUMPI
00001b09: PUSH1 0x01
00001b0b: PUSH1 0x09
00001b0d: PUSH1 0x01
00001b0f: PUSH2 0x0100
00001b12: EXP
00001b13: DUP2
00001b14: SLOAD
00001b15: DUP2
00001b16: PUSH1 0xff
00001b18: MUL
00001b19: NOT
00001b1a: AND
00001b1b: SWAP1
00001b1c: DUP4
00001b1d: ISZERO
00001b1e: ISZERO
00001b1f: MUL
00001b20: OR
00001b21: SWAP1
00001b22: SSTORE
00001b23: POP
00001b24: PUSH1 0x0b
00001b26: SLOAD
00001b27: PUSH1 0x0a
00001b29: DUP2
00001b2a: SWAP1
00001b2b: SSTORE
00001b2c: POP
00001b2d: PUSH32 0x24f7a980d4f032f59e7197d51a3cd619f138504a9b0da6fee19a08985863775e
00001b4e: PUSH1 0x0a
00001b50: SLOAD
00001b51: PUSH1 0x40
00001b53: MLOAD
00001b54: DUP1
00001b55: DUP3
00001b56: DUP2
00001b57: MSTORE
00001b58: PUSH1 0x20
00001b5a: ADD
00001b5b: SWAP2
00001b5c: POP
00001b5d: POP
00001b5e: PUSH1 0x40
00001b60: MLOAD
00001b61: DUP1
00001b62: SWAP2
00001b63: SUB
00001b64: SWAP1
00001b65: LOG1
00001b66: PUSH2 0x1bdc
00001b69: JUMP
00001b6a: JUMPDEST
00001b6b: PUSH1 0x0d
00001b6d: SLOAD
00001b6e: PUSH1 0x0a
00001b70: DUP2
00001b71: SWAP1
00001b72: SSTORE
00001b73: POP
00001b74: PUSH1 0x01
00001b76: PUSH1 0x09
00001b78: PUSH1 0x02
00001b7a: PUSH2 0x0100
00001b7d: EXP
00001b7e: DUP2
00001b7f: SLOAD
00001b80: DUP2
00001b81: PUSH1 0xff
00001b83: MUL
00001b84: NOT
00001b85: AND
00001b86: SWAP1
00001b87: DUP4
00001b88: ISZERO
00001b89: ISZERO
00001b8a: MUL
00001b8b: OR
00001b8c: SWAP1
00001b8d: SSTORE
00001b8e: POP
00001b8f: PUSH32 0xd157e8167dfe7e28a6a152fd1fa166e7e3404cf58c49c769442efce28d387e00
00001bb0: PUSH1 0x0a
00001bb2: SLOAD
00001bb3: PUSH1 0x0b
00001bb5: SLOAD
00001bb6: PUSH1 0x0c
00001bb8: SLOAD
00001bb9: PUSH1 0x40
00001bbb: MLOAD
00001bbc: DUP1
00001bbd: DUP5
00001bbe: DUP2
00001bbf: MSTORE
00001bc0: PUSH1 0x20
00001bc2: ADD
00001bc3: DUP4
00001bc4: DUP2
00001bc5: MSTORE
00001bc6: PUSH1 0x20
00001bc8: ADD
00001bc9: DUP3
00001bca: DUP2
00001bcb: MSTORE
00001bcc: PUSH1 0x20
00001bce: ADD
00001bcf: SWAP4
00001bd0: POP
00001bd1: POP
00001bd2: POP
00001bd3: POP
00001bd4: PUSH1 0x40
00001bd6: MLOAD
00001bd7: DUP1
00001bd8: SWAP2
00001bd9: SUB
00001bda: SWAP1
00001bdb: LOG1
00001bdc: JUMPDEST
00001bdd: JUMPDEST
00001bde: PUSH2 0x1c95
00001be1: JUMP
00001be2: JUMPDEST
00001be3: PUSH1 0x09
00001be5: PUSH1 0x01
00001be7: SWAP1
00001be8: SLOAD
00001be9: SWAP1
00001bea: PUSH2 0x0100
00001bed: EXP
00001bee: SWAP1
00001bef: DIV
00001bf0: PUSH1 0xff
00001bf2: AND
00001bf3: ISZERO
00001bf4: PUSH2 0x1c94
00001bf7: JUMPI
00001bf8: PUSH1 0x01
00001bfa: PUSH1 0x09
00001bfc: PUSH1 0x00
00001bfe: PUSH2 0x0100
00001c01: EXP
00001c02: DUP2
00001c03: SLOAD
00001c04: DUP2
00001c05: PUSH1 0xff
00001c07: MUL
00001c08: NOT
00001c09: AND
00001c0a: SWAP1
00001c0b: DUP4
00001c0c: ISZERO
00001c0d: ISZERO
00001c0e: MUL
00001c0f: OR
00001c10: SWAP1
00001c11: SSTORE
00001c12: POP
00001c13: PUSH1 0x00
00001c15: PUSH1 0x09
00001c17: PUSH1 0x01
00001c19: PUSH2 0x0100
00001c1c: EXP
00001c1d: DUP2
00001c1e: SLOAD
00001c1f: DUP2
00001c20: PUSH1 0xff
00001c22: MUL
00001c23: NOT
00001c24: AND
00001c25: SWAP1
00001c26: DUP4
00001c27: ISZERO
00001c28: ISZERO
00001c29: MUL
00001c2a: OR
00001c2b: SWAP1
00001c2c: SSTORE
00001c2d: POP
00001c2e: PUSH1 0x09
00001c30: PUSH1 0x02
00001c32: SWAP1
00001c33: SLOAD
00001c34: SWAP1
00001c35: PUSH2 0x0100
00001c38: EXP
00001c39: SWAP1
00001c3a: DIV
00001c3b: PUSH1 0xff
00001c3d: AND
00001c3e: ISZERO
00001c3f: PUSH2 0x1c50
00001c42: JUMPI
00001c43: PUSH1 0x0f
00001c45: SLOAD
00001c46: PUSH1 0x0a
00001c48: DUP2
00001c49: SWAP1
00001c4a: SSTORE
00001c4b: POP
00001c4c: PUSH2 0x1c5a
00001c4f: JUMP
00001c50: JUMPDEST
00001c51: PUSH1 0x0c
00001c53: SLOAD
00001c54: PUSH1 0x0a
00001c56: DUP2
00001c57: SWAP1
00001c58: SSTORE
00001c59: POP
00001c5a: JUMPDEST
00001c5b: PUSH32 0x4ebcdc2b14eacac39cf3ffaa28fc33f98e82cb4ce5d3002187b611b4d7a8b398
00001c7c: PUSH1 0x0a
00001c7e: SLOAD
00001c7f: PUSH1 0x40
00001c81: MLOAD
00001c82: DUP1
00001c83: DUP3
00001c84: DUP2
00001c85: MSTORE
00001c86: PUSH1 0x20
00001c88: ADD
00001c89: SWAP2
00001c8a: POP
00001c8b: POP
00001c8c: PUSH1 0x40
00001c8e: MLOAD
00001c8f: DUP1
00001c90: SWAP2
00001c91: SUB
00001c92: SWAP1
00001c93: LOG1
00001c94: JUMPDEST
00001c95: JUMPDEST
00001c96: JUMPDEST
00001c97: JUMP
00001c98: JUMPDEST
00001c99: PUSH1 0x00
00001c9b: PUSH2 0x2710
00001c9e: PUSH2 0x05fa
00001ca1: PUSH1 0x11
00001ca3: SLOAD
00001ca4: PUSH1 0x04
00001ca6: SLOAD
00001ca7: SUB
00001ca8: MUL
00001ca9: DUP2
00001caa: ISZERO
00001cab: ISZERO
00001cac: PUSH2 0x1cb1
00001caf: JUMPI
00001cb0: INVALID
00001cb1: JUMPDEST
00001cb2: DIV
00001cb3: PUSH1 0x12
00001cb5: SLOAD
00001cb6: ADD
00001cb7: PUSH1 0x13
00001cb9: DUP2
00001cba: SWAP1
00001cbb: SSTORE
00001cbc: POP
00001cbd: PUSH8 0x0de0b6b3a7640000
00001cc6: PUSH1 0x01
00001cc8: SLOAD
00001cc9: DUP2
00001cca: ISZERO
00001ccb: ISZERO
00001ccc: PUSH2 0x1cd1
00001ccf: JUMPI
00001cd0: INVALID
00001cd1: JUMPDEST
00001cd2: DIV
00001cd3: SWAP1
00001cd4: POP
00001cd5: PUSH1 0x13
00001cd7: SLOAD
00001cd8: ADDRESS
00001cd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cee: AND
00001cef: BALANCE
00001cf0: SUB
00001cf1: PUSH1 0x10
00001cf3: DUP2
00001cf4: SWAP1
00001cf5: SSTORE
00001cf6: POP
00001cf7: DUP1
00001cf8: PUSH1 0x10
00001cfa: SLOAD
00001cfb: DUP2
00001cfc: ISZERO
00001cfd: ISZERO
00001cfe: PUSH2 0x1d03
00001d01: JUMPI
00001d02: INVALID
00001d03: JUMPDEST
00001d04: DIV
00001d05: PUSH1 0x10
00001d07: DUP2
00001d08: SWAP1
00001d09: SSTORE
00001d0a: POP
00001d0b: POP
00001d0c: JUMP
00001d0d: STOP
00001d0e: LOG1
00001d0f: PUSH6 0x627a7a723058
00001d16: KECCAK256
00001d17: UNKNOWN(0x0E)
00001d18: UNKNOWN(0x1F)
00001d19: PUSH15 0xf7222650f9aa3fc1a5c68b59e82746
00001d29: ISZERO
00001d2a: UNKNOWN(0xBE)
00001d2b: UNKNOWN(0xFC)
00001d2c: UNKNOWN(0xE0)
00001d2d: UNKNOWN(0xB7)
00001d2e: SWAP16
00001d2f: PUSH7 0x062dc0b5c00df4
00001d37: STOP
00001d38: UNKNOWN(0x29)