Contract Source Code (Solidity)

IDE

• Blockscan IDE

Outline

library ABDKMath64x64    - function fromInt (int256 x)    - function toInt (int128 x)    - function fromUInt (uint256 x)    - function toUInt (int128 x)    - function from128x128 (int256 x)    - function to128x128 (int128 x)    - function add (int128 x, int128 y)    - function sub (int128 x, int128 y)    - function mul (int128 x, int128 y)    - function muli (int128 x, int256 y)    - function mulu (int128 x, uint256 y)    - function div (int128 x, int128 y)    - function divi (int256 x, int256 y)    - function divu (uint256 x, uint256 y)    - function neg (int128 x)    - function abs (int128 x)    - function inv (int128 x)    - function avg (int128 x, int128 y)    - function gavg (int128 x, int128 y)    - function pow (int128 x, uint256 y)    - function sqrt (int128 x)    - function log_2 (int128 x)    - function ln (int128 x)    - function exp_2 (int128 x)    - function exp (int128 x)    - function divuu (uint256 x, uint256 y)    - function sqrtu (uint256 x) library Math    - function min(uint256 a, uint256 b)    - function max(uint256 a, uint256 b)    - function logX64(uint256 x) interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address to, uint256 ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom( interface IERC20Metadata is IERC20    - function name()    - function symbol()    - function decimals()    - function _msgSender()    - function _msgData()  contract ERC20 is Context, IERC20, ...    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address to, uint256 ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(    - function _spendAllowance(    - function _beforeTokenTransfer(    - function _afterTokenTransfer( interface IERC165    - function supportsInterface(bytes4 int ... interface IStakingToken    - function stake(uint256 amount, uint25 ...    - function withdraw() interface IRankedMintingToken    - function claimRank(uint256 term)    - function claimMintReward() interface IBurnableToken    - function burn(address user, uint256 a ... interface IBurnRedeemable    - function onTokenBurned(address user, ...  contract XENCrypto is Context, IRa ... *    - function _calculateMaxTerm()    - function _penalty(uint256 secsLate)    - function _calculateMintReward(    - function _cleanUpUserMint()    - function _calculateStakeReward(    - function _calculateRewardAmplifier()    - function _calculateEAARate()    - function _calculateAPY()    - function _createStake(uint256 amount, ...    - function getGrossReward(    - function getUserMint()    - function getUserStake()    - function getCurrentAMP()    - function getCurrentEAAR()    - function getCurrentAPY()    - function getCurrentMaxTerm()    - function claimRank(uint256 term)    - function claimMintReward()    - function claimMintRewardAndShare(addr ...    - function claimMintRewardAndStake(uint ...    - function stake(uint256 amount, uint25 ...    - function withdraw()    - function burn(address user, uint256 a ...

More Options

• Is this a proxy?
• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at testnet.ftmscan.com on 2023-02-16
*/

// File: abdk-libraries-solidity/ABDKMath64x64.sol

/*
 * ABDK Math 64.64 Smart Contract Library.  Copyright © 2019 by ABDK Consulting.
 * Author: Mikhail Vladimirov <[email protected]>
 */
pragma solidity ^0.8.0;

/**
 * Smart contract library of mathematical functions operating with signed
 * 64.64-bit fixed point numbers.  Signed 64.64-bit fixed point number is
 * basically a simple fraction whose numerator is signed 128-bit integer and
 * denominator is 2^64.  As long as denominator is always the same, there is no
 * need to store it, thus in Solidity signed 64.64-bit fixed point numbers are
 * represented by int128 type holding only the numerator.
 */
library ABDKMath64x64 {
  /*
   * Minimum value signed 64.64-bit fixed point number may have.
   */
  int128 private constant MIN_64x64 = -0x80000000000000000000000000000000;

  /*
   * Maximum value signed 64.64-bit fixed point number may have.
   */
  int128 private constant MAX_64x64 = 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF;

  /**
   * Convert signed 256-bit integer number into signed 64.64-bit fixed point
   * number.  Revert on overflow.
   *
   * @param x signed 256-bit integer number
   * @return signed 64.64-bit fixed point number
   */
  function fromInt (int256 x) internal pure returns (int128) {
    unchecked {
      require (x >= -0x8000000000000000 && x <= 0x7FFFFFFFFFFFFFFF);
      return int128 (x << 64);
    }
  }

  /**
   * Convert signed 64.64 fixed point number into signed 64-bit integer number
   * rounding down.
   *
   * @param x signed 64.64-bit fixed point number
   * @return signed 64-bit integer number
   */
  function toInt (int128 x) internal pure returns (int64) {
    unchecked {
      return int64 (x >> 64);
    }
  }

  /**
   * Convert unsigned 256-bit integer number into signed 64.64-bit fixed point
   * number.  Revert on overflow.
   *
   * @param x unsigned 256-bit integer number
   * @return signed 64.64-bit fixed point number
   */
  function fromUInt (uint256 x) internal pure returns (int128) {
    unchecked {
      require (x <= 0x7FFFFFFFFFFFFFFF);
      return int128 (int256 (x << 64));
    }
  }

  /**
   * Convert signed 64.64 fixed point number into unsigned 64-bit integer
   * number rounding down.  Revert on underflow.
   *
   * @param x signed 64.64-bit fixed point number
   * @return unsigned 64-bit integer number
   */
  function toUInt (int128 x) internal pure returns (uint64) {
    unchecked {
      require (x >= 0);
      return uint64 (uint128 (x >> 64));
    }
  }

  /**
   * Convert signed 128.128 fixed point number into signed 64.64-bit fixed point
   * number rounding down.  Revert on overflow.
   *
   * @param x signed 128.128-bin fixed point number
   * @return signed 64.64-bit fixed point number
   */
  function from128x128 (int256 x) internal pure returns (int128) {
    unchecked {
      int256 result = x >> 64;
      require (result >= MIN_64x64 && result <= MAX_64x64);
      return int128 (result);
    }
  }

  /**
   * Convert signed 64.64 fixed point number into signed 128.128 fixed point
   * number.
   *
   * @param x signed 64.64-bit fixed point number
   * @return signed 128.128 fixed point number
   */
  function to128x128 (int128 x) internal pure returns (int256) {
    unchecked {
      return int256 (x) << 64;
    }
  }

  /**
   * Calculate x + y.  Revert on overflow.
   *
   * @param x signed 64.64-bit fixed point number
   * @param y signed 64.64-bit fixed point number
   * @return signed 64.64-bit fixed point number
   */
  function add (int128 x, int128 y) internal pure returns (int128) {
    unchecked {
      int256 result = int256(x) + y;
      require (result >= MIN_64x64 && result <= MAX_64x64);
      return int128 (result);
    }
  }

  /**
   * Calculate x - y.  Revert on overflow.
   *
   * @param x signed 64.64-bit fixed point number
   * @param y signed 64.64-bit fixed point number
   * @return signed 64.64-bit fixed point number
   */
  function sub (int128 x, int128 y) internal pure returns (int128) {
    unchecked {
      int256 result = int256(x) - y;
      require (result >= MIN_64x64 && result <= MAX_64x64);
      return int128 (result);
    }
  }

  /**
   * Calculate x * y rounding down.  Revert on overflow.
   *
   * @param x signed 64.64-bit fixed point number
   * @param y signed 64.64-bit fixed point number
   * @return signed 64.64-bit fixed point number
   */
  function mul (int128 x, int128 y) internal pure returns (int128) {
    unchecked {
      int256 result = int256(x) * y >> 64;
      require (result >= MIN_64x64 && result <= MAX_64x64);
      return int128 (result);
    }
  }

  /**
   * Calculate x * y rounding towards zero, where x is signed 64.64 fixed point
   * number and y is signed 256-bit integer number.  Revert on overflow.
   *
   * @param x signed 64.64 fixed point number
   * @param y signed 256-bit integer number
   * @return signed 256-bit integer number
   */
  function muli (int128 x, int256 y) internal pure returns (int256) {
    unchecked {
      if (x == MIN_64x64) {
        require (y >= -0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF &&
          y <= 0x1000000000000000000000000000000000000000000000000);
        return -y << 63;
      } else {
        bool negativeResult = false;
        if (x < 0) {
          x = -x;
          negativeResult = true;
        }
        if (y < 0) {
          y = -y; // We rely on overflow behavior here
          negativeResult = !negativeResult;
        }
        uint256 absoluteResult = mulu (x, uint256 (y));
        if (negativeResult) {
          require (absoluteResult <=
            0x8000000000000000000000000000000000000000000000000000000000000000);
          return -int256 (absoluteResult); // We rely on overflow behavior here
        } else {
          require (absoluteResult <=
            0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF);
          return int256 (absoluteResult);
        }
      }
    }
  }

  /**
   * Calculate x * y rounding down, where x is signed 64.64 fixed point number
   * and y is unsigned 256-bit integer number.  Revert on overflow.
   *
   * @param x signed 64.64 fixed point number
   * @param y unsigned 256-bit integer number
   * @return unsigned 256-bit integer number
   */
  function mulu (int128 x, uint256 y) internal pure returns (uint256) {
    unchecked {
      if (y == 0) return 0;

      require (x >= 0);

      uint256 lo = (uint256 (int256 (x)) * (y & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF)) >> 64;
      uint256 hi = uint256 (int256 (x)) * (y >> 128);

      require (hi <= 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF);
      hi <<= 64;

      require (hi <=
        0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF - lo);
      return hi + lo;
    }
  }

  /**
   * Calculate x / y rounding towards zero.  Revert on overflow or when y is
   * zero.
   *
   * @param x signed 64.64-bit fixed point number
   * @param y signed 64.64-bit fixed point number
   * @return signed 64.64-bit fixed point number
   */
  function div (int128 x, int128 y) internal pure returns (int128) {
    unchecked {
      require (y != 0);
      int256 result = (int256 (x) << 64) / y;
      require (result >= MIN_64x64 && result <= MAX_64x64);
      return int128 (result);
    }
  }

  /**
   * Calculate x / y rounding towards zero, where x and y are signed 256-bit
   * integer numbers.  Revert on overflow or when y is zero.
   *
   * @param x signed 256-bit integer number
   * @param y signed 256-bit integer number
   * @return signed 64.64-bit fixed point number
   */
  function divi (int256 x, int256 y) internal pure returns (int128) {
    unchecked {
      require (y != 0);

      bool negativeResult = false;
      if (x < 0) {
        x = -x; // We rely on overflow behavior here
        negativeResult = true;
      }
      if (y < 0) {
        y = -y; // We rely on overflow behavior here
        negativeResult = !negativeResult;
      }
      uint128 absoluteResult = divuu (uint256 (x), uint256 (y));
      if (negativeResult) {
        require (absoluteResult <= 0x80000000000000000000000000000000);
        return -int128 (absoluteResult); // We rely on overflow behavior here
      } else {
        require (absoluteResult <= 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF);
        return int128 (absoluteResult); // We rely on overflow behavior here
      }
    }
  }

  /**
   * Calculate x / y rounding towards zero, where x and y are unsigned 256-bit
   * integer numbers.  Revert on overflow or when y is zero.
   *
   * @param x unsigned 256-bit integer number
   * @param y unsigned 256-bit integer number
   * @return signed 64.64-bit fixed point number
   */
  function divu (uint256 x, uint256 y) internal pure returns (int128) {
    unchecked {
      require (y != 0);
      uint128 result = divuu (x, y);
      require (result <= uint128 (MAX_64x64));
      return int128 (result);
    }
  }

  /**
   * Calculate -x.  Revert on overflow.
   *
   * @param x signed 64.64-bit fixed point number
   * @return signed 64.64-bit fixed point number
   */
  function neg (int128 x) internal pure returns (int128) {
    unchecked {
      require (x != MIN_64x64);
      return -x;
    }
  }

  /**
   * Calculate |x|.  Revert on overflow.
   *
   * @param x signed 64.64-bit fixed point number
   * @return signed 64.64-bit fixed point number
   */
  function abs (int128 x) internal pure returns (int128) {
    unchecked {
      require (x != MIN_64x64);
      return x < 0 ? -x : x;
    }
  }

  /**
   * Calculate 1 / x rounding towards zero.  Revert on overflow or when x is
   * zero.
   *
   * @param x signed 64.64-bit fixed point number
   * @return signed 64.64-bit fixed point number
   */
  function inv (int128 x) internal pure returns (int128) {
    unchecked {
      require (x != 0);
      int256 result = int256 (0x100000000000000000000000000000000) / x;
      require (result >= MIN_64x64 && result <= MAX_64x64);
      return int128 (result);
    }
  }

  /**
   * Calculate arithmetics average of x and y, i.e. (x + y) / 2 rounding down.
   *
   * @param x signed 64.64-bit fixed point number
   * @param y signed 64.64-bit fixed point number
   * @return signed 64.64-bit fixed point number
   */
  function avg (int128 x, int128 y) internal pure returns (int128) {
    unchecked {
      return int128 ((int256 (x) + int256 (y)) >> 1);
    }
  }

  /**
   * Calculate geometric average of x and y, i.e. sqrt (x * y) rounding down.
   * Revert on overflow or in case x * y is negative.
   *
   * @param x signed 64.64-bit fixed point number
   * @param y signed 64.64-bit fixed point number
   * @return signed 64.64-bit fixed point number
   */
  function gavg (int128 x, int128 y) internal pure returns (int128) {
    unchecked {
      int256 m = int256 (x) * int256 (y);
      require (m >= 0);
      require (m <
          0x4000000000000000000000000000000000000000000000000000000000000000);
      return int128 (sqrtu (uint256 (m)));
    }
  }

  /**
   * Calculate x^y assuming 0^0 is 1, where x is signed 64.64 fixed point number
   * and y is unsigned 256-bit integer number.  Revert on overflow.
   *
   * @param x signed 64.64-bit fixed point number
   * @param y uint256 value
   * @return signed 64.64-bit fixed point number
   */
  function pow (int128 x, uint256 y) internal pure returns (int128) {
    unchecked {
      bool negative = x < 0 && y & 1 == 1;

      uint256 absX = uint128 (x < 0 ? -x : x);
      uint256 absResult;
      absResult = 0x100000000000000000000000000000000;

      if (absX <= 0x10000000000000000) {
        absX <<= 63;
        while (y != 0) {
          if (y & 0x1 != 0) {
            absResult = absResult * absX >> 127;
          }
          absX = absX * absX >> 127;

          if (y & 0x2 != 0) {
            absResult = absResult * absX >> 127;
          }
          absX = absX * absX >> 127;

          if (y & 0x4 != 0) {
            absResult = absResult * absX >> 127;
          }
          absX = absX * absX >> 127;

          if (y & 0x8 != 0) {
            absResult = absResult * absX >> 127;
          }
          absX = absX * absX >> 127;

          y >>= 4;
        }

        absResult >>= 64;
      } else {
        uint256 absXShift = 63;
        if (absX < 0x1000000000000000000000000) { absX <<= 32; absXShift -= 32; }
        if (absX < 0x10000000000000000000000000000) { absX <<= 16; absXShift -= 16; }
        if (absX < 0x1000000000000000000000000000000) { absX <<= 8; absXShift -= 8; }
        if (absX < 0x10000000000000000000000000000000) { absX <<= 4; absXShift -= 4; }
        if (absX < 0x40000000000000000000000000000000) { absX <<= 2; absXShift -= 2; }
        if (absX < 0x80000000000000000000000000000000) { absX <<= 1; absXShift -= 1; }

        uint256 resultShift = 0;
        while (y != 0) {
          require (absXShift < 64);

          if (y & 0x1 != 0) {
            absResult = absResult * absX >> 127;
            resultShift += absXShift;
            if (absResult > 0x100000000000000000000000000000000) {
              absResult >>= 1;
              resultShift += 1;
            }
          }
          absX = absX * absX >> 127;
          absXShift <<= 1;
          if (absX >= 0x100000000000000000000000000000000) {
              absX >>= 1;
              absXShift += 1;
          }

          y >>= 1;
        }

        require (resultShift < 64);
        absResult >>= 64 - resultShift;
      }
      int256 result = negative ? -int256 (absResult) : int256 (absResult);
      require (result >= MIN_64x64 && result <= MAX_64x64);
      return int128 (result);
    }
  }

  /**
   * Calculate sqrt (x) rounding down.  Revert if x < 0.
   *
   * @param x signed 64.64-bit fixed point number
   * @return signed 64.64-bit fixed point number
   */
  function sqrt (int128 x) internal pure returns (int128) {
    unchecked {
      require (x >= 0);
      return int128 (sqrtu (uint256 (int256 (x)) << 64));
    }
  }

  /**
   * Calculate binary logarithm of x.  Revert if x <= 0.
   *
   * @param x signed 64.64-bit fixed point number
   * @return signed 64.64-bit fixed point number
   */
  function log_2 (int128 x) internal pure returns (int128) {
    unchecked {
      require (x > 0);

      int256 msb = 0;
      int256 xc = x;
      if (xc >= 0x10000000000000000) { xc >>= 64; msb += 64; }
      if (xc >= 0x100000000) { xc >>= 32; msb += 32; }
      if (xc >= 0x10000) { xc >>= 16; msb += 16; }
      if (xc >= 0x100) { xc >>= 8; msb += 8; }
      if (xc >= 0x10) { xc >>= 4; msb += 4; }
      if (xc >= 0x4) { xc >>= 2; msb += 2; }
      if (xc >= 0x2) msb += 1;  // No need to shift xc anymore

      int256 result = msb - 64 << 64;
      uint256 ux = uint256 (int256 (x)) << uint256 (127 - msb);
      for (int256 bit = 0x8000000000000000; bit > 0; bit >>= 1) {
        ux *= ux;
        uint256 b = ux >> 255;
        ux >>= 127 + b;
        result += bit * int256 (b);
      }

      return int128 (result);
    }
  }

  /**
   * Calculate natural logarithm of x.  Revert if x <= 0.
   *
   * @param x signed 64.64-bit fixed point number
   * @return signed 64.64-bit fixed point number
   */
  function ln (int128 x) internal pure returns (int128) {
    unchecked {
      require (x > 0);

      return int128 (int256 (
          uint256 (int256 (log_2 (x))) * 0xB17217F7D1CF79ABC9E3B39803F2F6AF >> 128));
    }
  }

  /**
   * Calculate binary exponent of x.  Revert on overflow.
   *
   * @param x signed 64.64-bit fixed point number
   * @return signed 64.64-bit fixed point number
   */
  function exp_2 (int128 x) internal pure returns (int128) {
    unchecked {
      require (x < 0x400000000000000000); // Overflow

      if (x < -0x400000000000000000) return 0; // Underflow

      uint256 result = 0x80000000000000000000000000000000;

      if (x & 0x8000000000000000 > 0)
        result = result * 0x16A09E667F3BCC908B2FB1366EA957D3E >> 128;
      if (x & 0x4000000000000000 > 0)
        result = result * 0x1306FE0A31B7152DE8D5A46305C85EDEC >> 128;
      if (x & 0x2000000000000000 > 0)
        result = result * 0x1172B83C7D517ADCDF7C8C50EB14A791F >> 128;
      if (x & 0x1000000000000000 > 0)
        result = result * 0x10B5586CF9890F6298B92B71842A98363 >> 128;
      if (x & 0x800000000000000 > 0)
        result = result * 0x1059B0D31585743AE7C548EB68CA417FD >> 128;
      if (x & 0x400000000000000 > 0)
        result = result * 0x102C9A3E778060EE6F7CACA4F7A29BDE8 >> 128;
      if (x & 0x200000000000000 > 0)
        result = result * 0x10163DA9FB33356D84A66AE336DCDFA3F >> 128;
      if (x & 0x100000000000000 > 0)
        result = result * 0x100B1AFA5ABCBED6129AB13EC11DC9543 >> 128;
      if (x & 0x80000000000000 > 0)
        result = result * 0x10058C86DA1C09EA1FF19D294CF2F679B >> 128;
      if (x & 0x40000000000000 > 0)
        result = result * 0x1002C605E2E8CEC506D21BFC89A23A00F >> 128;
      if (x & 0x20000000000000 > 0)
        result = result * 0x100162F3904051FA128BCA9C55C31E5DF >> 128;
      if (x & 0x10000000000000 > 0)
        result = result * 0x1000B175EFFDC76BA38E31671CA939725 >> 128;
      if (x & 0x8000000000000 > 0)
        result = result * 0x100058BA01FB9F96D6CACD4B180917C3D >> 128;
      if (x & 0x4000000000000 > 0)
        result = result * 0x10002C5CC37DA9491D0985C348C68E7B3 >> 128;
      if (x & 0x2000000000000 > 0)
        result = result * 0x1000162E525EE054754457D5995292026 >> 128;
      if (x & 0x1000000000000 > 0)
        result = result * 0x10000B17255775C040618BF4A4ADE83FC >> 128;
      if (x & 0x800000000000 > 0)
        result = result * 0x1000058B91B5BC9AE2EED81E9B7D4CFAB >> 128;
      if (x & 0x400000000000 > 0)
        result = result * 0x100002C5C89D5EC6CA4D7C8ACC017B7C9 >> 128;
      if (x & 0x200000000000 > 0)
        result = result * 0x10000162E43F4F831060E02D839A9D16D >> 128;
      if (x & 0x100000000000 > 0)
        result = result * 0x100000B1721BCFC99D9F890EA06911763 >> 128;
      if (x & 0x80000000000 > 0)
        result = result * 0x10000058B90CF1E6D97F9CA14DBCC1628 >> 128;
      if (x & 0x40000000000 > 0)
        result = result * 0x1000002C5C863B73F016468F6BAC5CA2B >> 128;
      if (x & 0x20000000000 > 0)
        result = result * 0x100000162E430E5A18F6119E3C02282A5 >> 128;
      if (x & 0x10000000000 > 0)
        result = result * 0x1000000B1721835514B86E6D96EFD1BFE >> 128;
      if (x & 0x8000000000 > 0)
        result = result * 0x100000058B90C0B48C6BE5DF846C5B2EF >> 128;
      if (x & 0x4000000000 > 0)
        result = result * 0x10000002C5C8601CC6B9E94213C72737A >> 128;
      if (x & 0x2000000000 > 0)
        result = result * 0x1000000162E42FFF037DF38AA2B219F06 >> 128;
      if (x & 0x1000000000 > 0)
        result = result * 0x10000000B17217FBA9C739AA5819F44F9 >> 128;
      if (x & 0x800000000 > 0)
        result = result * 0x1000000058B90BFCDEE5ACD3C1CEDC823 >> 128;
      if (x & 0x400000000 > 0)
        result = result * 0x100000002C5C85FE31F35A6A30DA1BE50 >> 128;
      if (x & 0x200000000 > 0)
        result = result * 0x10000000162E42FF0999CE3541B9FFFCF >> 128;
      if (x & 0x100000000 > 0)
        result = result * 0x100000000B17217F80F4EF5AADDA45554 >> 128;
      if (x & 0x80000000 > 0)
        result = result * 0x10000000058B90BFBF8479BD5A81B51AD >> 128;
      if (x & 0x40000000 > 0)
        result = result * 0x1000000002C5C85FDF84BD62AE30A74CC >> 128;
      if (x & 0x20000000 > 0)
        result = result * 0x100000000162E42FEFB2FED257559BDAA >> 128;
      if (x & 0x10000000 > 0)
        result = result * 0x1000000000B17217F7D5A7716BBA4A9AE >> 128;
      if (x & 0x8000000 > 0)
        result = result * 0x100000000058B90BFBE9DDBAC5E109CCE >> 128;
      if (x & 0x4000000 > 0)
        result = result * 0x10000000002C5C85FDF4B15DE6F17EB0D >> 128;
      if (x & 0x2000000 > 0)
        result = result * 0x1000000000162E42FEFA494F1478FDE05 >> 128;
      if (x & 0x1000000 > 0)
        result = result * 0x10000000000B17217F7D20CF927C8E94C >> 128;
      if (x & 0x800000 > 0)
        result = result * 0x1000000000058B90BFBE8F71CB4E4B33D >> 128;
      if (x & 0x400000 > 0)
        result = result * 0x100000000002C5C85FDF477B662B26945 >> 128;
      if (x & 0x200000 > 0)
        result = result * 0x10000000000162E42FEFA3AE53369388C >> 128;
      if (x & 0x100000 > 0)
        result = result * 0x100000000000B17217F7D1D351A389D40 >> 128;
      if (x & 0x80000 > 0)
        result = result * 0x10000000000058B90BFBE8E8B2D3D4EDE >> 128;
      if (x & 0x40000 > 0)
        result = result * 0x1000000000002C5C85FDF4741BEA6E77E >> 128;
      if (x & 0x20000 > 0)
        result = result * 0x100000000000162E42FEFA39FE95583C2 >> 128;
      if (x & 0x10000 > 0)
        result = result * 0x1000000000000B17217F7D1CFB72B45E1 >> 128;
      if (x & 0x8000 > 0)
        result = result * 0x100000000000058B90BFBE8E7CC35C3F0 >> 128;
      if (x & 0x4000 > 0)
        result = result * 0x10000000000002C5C85FDF473E242EA38 >> 128;
      if (x & 0x2000 > 0)
        result = result * 0x1000000000000162E42FEFA39F02B772C >> 128;
      if (x & 0x1000 > 0)
        result = result * 0x10000000000000B17217F7D1CF7D83C1A >> 128;
      if (x & 0x800 > 0)
        result = result * 0x1000000000000058B90BFBE8E7BDCBE2E >> 128;
      if (x & 0x400 > 0)
        result = result * 0x100000000000002C5C85FDF473DEA871F >> 128;
      if (x & 0x200 > 0)
        result = result * 0x10000000000000162E42FEFA39EF44D91 >> 128;
      if (x & 0x100 > 0)
        result = result * 0x100000000000000B17217F7D1CF79E949 >> 128;
      if (x & 0x80 > 0)
        result = result * 0x10000000000000058B90BFBE8E7BCE544 >> 128;
      if (x & 0x40 > 0)
        result = result * 0x1000000000000002C5C85FDF473DE6ECA >> 128;
      if (x & 0x20 > 0)
        result = result * 0x100000000000000162E42FEFA39EF366F >> 128;
      if (x & 0x10 > 0)
        result = result * 0x1000000000000000B17217F7D1CF79AFA >> 128;
      if (x & 0x8 > 0)
        result = result * 0x100000000000000058B90BFBE8E7BCD6D >> 128;
      if (x & 0x4 > 0)
        result = result * 0x10000000000000002C5C85FDF473DE6B2 >> 128;
      if (x & 0x2 > 0)
        result = result * 0x1000000000000000162E42FEFA39EF358 >> 128;
      if (x & 0x1 > 0)
        result = result * 0x10000000000000000B17217F7D1CF79AB >> 128;

      result >>= uint256 (int256 (63 - (x >> 64)));
      require (result <= uint256 (int256 (MAX_64x64)));

      return int128 (int256 (result));
    }
  }

  /**
   * Calculate natural exponent of x.  Revert on overflow.
   *
   * @param x signed 64.64-bit fixed point number
   * @return signed 64.64-bit fixed point number
   */
  function exp (int128 x) internal pure returns (int128) {
    unchecked {
      require (x < 0x400000000000000000); // Overflow

      if (x < -0x400000000000000000) return 0; // Underflow

      return exp_2 (
          int128 (int256 (x) * 0x171547652B82FE1777D0FFDA0D23A7D12 >> 128));
    }
  }

  /**
   * Calculate x / y rounding towards zero, where x and y are unsigned 256-bit
   * integer numbers.  Revert on overflow or when y is zero.
   *
   * @param x unsigned 256-bit integer number
   * @param y unsigned 256-bit integer number
   * @return unsigned 64.64-bit fixed point number
   */
  function divuu (uint256 x, uint256 y) private pure returns (uint128) {
    unchecked {
      require (y != 0);

      uint256 result;

      if (x <= 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF)
        result = (x << 64) / y;
      else {
        uint256 msb = 192;
        uint256 xc = x >> 192;
        if (xc >= 0x100000000) { xc >>= 32; msb += 32; }
        if (xc >= 0x10000) { xc >>= 16; msb += 16; }
        if (xc >= 0x100) { xc >>= 8; msb += 8; }
        if (xc >= 0x10) { xc >>= 4; msb += 4; }
        if (xc >= 0x4) { xc >>= 2; msb += 2; }
        if (xc >= 0x2) msb += 1;  // No need to shift xc anymore

        result = (x << 255 - msb) / ((y - 1 >> msb - 191) + 1);
        require (result <= 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF);

        uint256 hi = result * (y >> 128);
        uint256 lo = result * (y & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF);

        uint256 xh = x >> 192;
        uint256 xl = x << 64;

        if (xl < lo) xh -= 1;
        xl -= lo; // We rely on overflow behavior here
        lo = hi << 128;
        if (xl < lo) xh -= 1;
        xl -= lo; // We rely on overflow behavior here

        assert (xh == hi >> 128);

        result += xl / y;
      }

      require (result <= 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF);
      return uint128 (result);
    }
  }

  /**
   * Calculate sqrt (x) rounding down, where x is unsigned 256-bit integer
   * number.
   *
   * @param x unsigned 256-bit integer number
   * @return unsigned 128-bit integer number
   */
  function sqrtu (uint256 x) private pure returns (uint128) {
    unchecked {
      if (x == 0) return 0;
      else {
        uint256 xx = x;
        uint256 r = 1;
        if (xx >= 0x100000000000000000000000000000000) { xx >>= 128; r <<= 64; }
        if (xx >= 0x10000000000000000) { xx >>= 64; r <<= 32; }
        if (xx >= 0x100000000) { xx >>= 32; r <<= 16; }
        if (xx >= 0x10000) { xx >>= 16; r <<= 8; }
        if (xx >= 0x100) { xx >>= 8; r <<= 4; }
        if (xx >= 0x10) { xx >>= 4; r <<= 2; }
        if (xx >= 0x8) { r <<= 1; }
        r = (r + x / r) >> 1;
        r = (r + x / r) >> 1;
        r = (r + x / r) >> 1;
        r = (r + x / r) >> 1;
        r = (r + x / r) >> 1;
        r = (r + x / r) >> 1;
        r = (r + x / r) >> 1; // Seven iterations should be enough
        uint256 r1 = x / r;
        return uint128 (r < r1 ? r : r1);
      }
    }
  }
}

// File: contracts/Math.sol

pragma solidity ^0.8.10;

library Math {
    function min(uint256 a, uint256 b) external pure returns (uint256) {
        if (a > b) return b;
        return a;
    }

    function max(uint256 a, uint256 b) external pure returns (uint256) {
        if (a > b) return a;
        return b;
    }

    function logX64(uint256 x) external pure returns (int128) {
        return ABDKMath64x64.log_2(ABDKMath64x64.fromUInt(x));
    }
}

// File: @openzeppelin/contracts/token/ERC20/IERC20.sol

// OpenZeppelin Contracts (last updated v4.6.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);

    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `to`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address to, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `from` to `to` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) external returns (bool);
}

// File: @openzeppelin/contracts/token/ERC20/extensions/IERC20Metadata.sol

// OpenZeppelin Contracts v4.4.1 (token/ERC20/extensions/IERC20Metadata.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface for the optional metadata functions from the ERC20 standard.
 *
 * _Available since v4.1._
 */
interface IERC20Metadata is IERC20 {
    /**
     * @dev Returns the name of the token.
     */
    function name() external view returns (string memory);

    /**
     * @dev Returns the symbol of the token.
     */
    function symbol() external view returns (string memory);

    /**
     * @dev Returns the decimals places of the token.
     */
    function decimals() external view returns (uint8);
}

// File: @openzeppelin/contracts/utils/Context.sol

// OpenZeppelin Contracts v4.4.1 (utils/Context.sol)

pragma solidity ^0.8.0;

/**
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes calldata) {
        return msg.data;
    }
}

// File: @openzeppelin/contracts/token/ERC20/ERC20.sol

// OpenZeppelin Contracts (last updated v4.7.0) (token/ERC20/ERC20.sol)

pragma solidity ^0.8.0;



/**
 * @dev Implementation of the {IERC20} interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using {_mint}.
 * For a generic mechanism see {ERC20PresetMinterPauser}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * We have followed general OpenZeppelin Contracts guidelines: functions revert
 * instead returning `false` on failure. This behavior is nonetheless
 * conventional and does not conflict with the expectations of ERC20
 * applications.
 *
 * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 *
 * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See {IERC20-approve}.
 */
contract ERC20 is Context, IERC20, IERC20Metadata {
    mapping(address => uint256) private _balances;

    mapping(address => mapping(address => uint256)) private _allowances;

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * The default value of {decimals} is 18. To select a different value for
     * {decimals} you should overload it.
     *
     * All two of these values are immutable: they can only be set once during
     * construction.
     */
    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

    /**
     * @dev Returns the name of the token.
     */
    function name() public view virtual override returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view virtual override returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5.05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei. This is the value {ERC20} uses, unless this function is
     * overridden;
     *
     * NOTE: This information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * {IERC20-balanceOf} and {IERC20-transfer}.
     */
    function decimals() public view virtual override returns (uint8) {
        return 18;
    }

    /**
     * @dev See {IERC20-totalSupply}.
     */
    function totalSupply() public view virtual override returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public view virtual override returns (uint256) {
        return _balances[account];
    }

    /**
     * @dev See {IERC20-transfer}.
     *
     * Requirements:
     *
     * - `to` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address to, uint256 amount) public virtual override returns (bool) {
        address owner = _msgSender();
        _transfer(owner, to, amount);
        return true;
    }

    /**
     * @dev See {IERC20-allowance}.
     */
    function allowance(address owner, address spender) public view virtual override returns (uint256) {
        return _allowances[owner][spender];
    }

    /**
     * @dev See {IERC20-approve}.
     *
     * NOTE: If `amount` is the maximum `uint256`, the allowance is not updated on
     * `transferFrom`. This is semantically equivalent to an infinite approval.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        address owner = _msgSender();
        _approve(owner, spender, amount);
        return true;
    }

    /**
     * @dev See {IERC20-transferFrom}.
     *
     * Emits an {Approval} event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of {ERC20}.
     *
     * NOTE: Does not update the allowance if the current allowance
     * is the maximum `uint256`.
     *
     * Requirements:
     *
     * - `from` and `to` cannot be the zero address.
     * - `from` must have a balance of at least `amount`.
     * - the caller must have allowance for ``from``'s tokens of at least
     * `amount`.
     */
    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) public virtual override returns (bool) {
        address spender = _msgSender();
        _spendAllowance(from, spender, amount);
        _transfer(from, to, amount);
        return true;
    }

    /**
     * @dev Atomically increases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {
        address owner = _msgSender();
        _approve(owner, spender, allowance(owner, spender) + addedValue);
        return true;
    }

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `spender` must have allowance for the caller of at least
     * `subtractedValue`.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public virtual returns (bool) {
        address owner = _msgSender();
        uint256 currentAllowance = allowance(owner, spender);
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(owner, spender, currentAllowance - subtractedValue);
        }

        return true;
    }

    /**
     * @dev Moves `amount` of tokens from `from` to `to`.
     *
     * This internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * Requirements:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `from` must have a balance of at least `amount`.
     */
    function _transfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");

        _beforeTokenTransfer(from, to, amount);

        uint256 fromBalance = _balances[from];
        require(fromBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[from] = fromBalance - amount;
        }
        _balances[to] += amount;

        emit Transfer(from, to, amount);

        _afterTokenTransfer(from, to, amount);
    }

    /** @dev Creates `amount` tokens and assigns them to `account`, increasing
     * the total supply.
     *
     * Emits a {Transfer} event with `from` set to the zero address.
     *
     * Requirements:
     *
     * - `account` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: mint to the zero address");

        _beforeTokenTransfer(address(0), account, amount);

        _totalSupply += amount;
        _balances[account] += amount;
        emit Transfer(address(0), account, amount);

        _afterTokenTransfer(address(0), account, amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`, reducing the
     * total supply.
     *
     * Emits a {Transfer} event with `to` set to the zero address.
     *
     * Requirements:
     *
     * - `account` cannot be the zero address.
     * - `account` must have at least `amount` tokens.
     */
    function _burn(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: burn from the zero address");

        _beforeTokenTransfer(account, address(0), amount);

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn amount exceeds balance");
        unchecked {
            _balances[account] = accountBalance - amount;
        }
        _totalSupply -= amount;

        emit Transfer(account, address(0), amount);

        _afterTokenTransfer(account, address(0), amount);
    }

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner` s tokens.
     *
     * This internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     */
    function _approve(
        address owner,
        address spender,
        uint256 amount
    ) internal virtual {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    /**
     * @dev Updates `owner` s allowance for `spender` based on spent `amount`.
     *
     * Does not update the allowance amount in case of infinite allowance.
     * Revert if not enough allowance is available.
     *
     * Might emit an {Approval} event.
     */
    function _spendAllowance(
        address owner,
        address spender,
        uint256 amount
    ) internal virtual {
        uint256 currentAllowance = allowance(owner, spender);
        if (currentAllowance != type(uint256).max) {
            require(currentAllowance >= amount, "ERC20: insufficient allowance");
            unchecked {
                _approve(owner, spender, currentAllowance - amount);
            }
        }
    }

    /**
     * @dev Hook that is called before any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * will be transferred to `to`.
     * - when `from` is zero, `amount` tokens will be minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens will be burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}

    /**
     * @dev Hook that is called after any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * has been transferred to `to`.
     * - when `from` is zero, `amount` tokens have been minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens have been burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _afterTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}
}

// File: @openzeppelin/contracts/utils/introspection/IERC165.sol

// OpenZeppelin Contracts v4.4.1 (utils/introspection/IERC165.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC165 standard, as defined in the
 * https://eips.ethereum.org/EIPS/eip-165[EIP].
 *
 * Implementers can declare support of contract interfaces, which can then be
 * queried by others ({ERC165Checker}).
 *
 * For an implementation, see {ERC165}.
 */
interface IERC165 {
    /**
     * @dev Returns true if this contract implements the interface defined by
     * `interfaceId`. See the corresponding
     * https://eips.ethereum.org/EIPS/eip-165#how-interfaces-are-identified[EIP section]
     * to learn more about how these ids are created.
     *
     * This function call must use less than 30 000 gas.
     */
    function supportsInterface(bytes4 interfaceId) external view returns (bool);
}

// File: @openzeppelin/contracts/interfaces/IERC165.sol

// OpenZeppelin Contracts v4.4.1 (interfaces/IERC165.sol)

pragma solidity ^0.8.0;

// File: contracts/interfaces/IStakingToken.sol

pragma solidity ^0.8.10;

interface IStakingToken {
    event Staked(address indexed user, uint256 amount, uint256 term);

    event Withdrawn(address indexed user, uint256 amount, uint256 reward);

    function stake(uint256 amount, uint256 term) external;

    function withdraw() external;
}

// File: contracts/interfaces/IRankedMintingToken.sol

pragma solidity ^0.8.10;

interface IRankedMintingToken {
    event RankClaimed(address indexed user, uint256 term, uint256 rank);

    event MintClaimed(address indexed user, uint256 rewardAmount);

    function claimRank(uint256 term) external;

    function claimMintReward() external;
}

// File: contracts/interfaces/IBurnableToken.sol

pragma solidity ^0.8.10;

interface IBurnableToken {
    function burn(address user, uint256 amount) external;
}

// File: contracts/interfaces/IBurnRedeemable.sol

pragma solidity ^0.8.10;

interface IBurnRedeemable {
    event Redeemed(
        address indexed user,
        address indexed xenContract,
        address indexed tokenContract,
        uint256 xenAmount,
        uint256 tokenAmount
    );

    function onTokenBurned(address user, uint256 amount) external;
}

// File: contracts/XENCrypto.sol

pragma solidity ^0.8.10;








contract XENCrypto is Context, IRankedMintingToken, IStakingToken, IBurnableToken, ERC20("XEN Crypto", "fmXEN") {
    using Math for uint256;
    using ABDKMath64x64 for int128;
    using ABDKMath64x64 for uint256;

    // INTERNAL TYPE TO DESCRIBE A XEN MINT INFO
    struct MintInfo {
        address user;
        uint256 term;
        uint256 maturityTs;
        uint256 rank;
        uint256 amplifier;
        uint256 eaaRate;
    }

    // INTERNAL TYPE TO DESCRIBE A XEN STAKE
    struct StakeInfo {
        uint256 term;
        uint256 maturityTs;
        uint256 amount;
        uint256 apy;
    }

    // PUBLIC CONSTANTS

    uint256 public constant SECONDS_IN_DAY = 3_600 * 24;
    uint256 public constant DAYS_IN_YEAR = 365;

    uint256 public constant GENESIS_RANK = 1;

    uint256 public constant MIN_TERM = 1 * SECONDS_IN_DAY - 1;
    uint256 public constant MAX_TERM_START = 100 * SECONDS_IN_DAY;
    uint256 public constant MAX_TERM_END = 1_000 * SECONDS_IN_DAY;
    uint256 public constant TERM_AMPLIFIER = 15;
    uint256 public constant TERM_AMPLIFIER_THRESHOLD = 5_000;
    uint256 public constant REWARD_AMPLIFIER_START = 3_000;
    uint256 public constant REWARD_AMPLIFIER_END = 1;
    uint256 public constant EAA_PM_START = 100;
    uint256 public constant EAA_PM_STEP = 1;
    uint256 public constant EAA_RANK_STEP = 100_000;
    uint256 public constant WITHDRAWAL_WINDOW_DAYS = 7;
    uint256 public constant MAX_PENALTY_PCT = 99;

    uint256 public constant XEN_MIN_STAKE = 0;

    uint256 public constant XEN_MIN_BURN = 0;

    uint256 public constant XEN_APY_START = 20;
    uint256 public constant XEN_APY_DAYS_STEP = 90;
    uint256 public constant XEN_APY_END = 2;

    string public constant AUTHORS = "@MrJackLevin @lbelyaev faircrypto.org";

    // PUBLIC STATE, READABLE VIA NAMESAKE GETTERS

    uint256 public immutable genesisTs;
    uint256 public globalRank = GENESIS_RANK;
    uint256 public activeMinters;
    uint256 public activeStakes;
    uint256 public totalXenStaked;
    // user address => XEN mint info
    mapping(address => MintInfo) public userMints;
    // user address => XEN stake info
    mapping(address => StakeInfo) public userStakes;
    // user address => XEN burn amount
    mapping(address => uint256) public userBurns;

    // CONSTRUCTOR
    constructor() {
        genesisTs = block.timestamp;
    }

    // PRIVATE METHODS

    /**
     * @dev calculates current MaxTerm based on Global Rank
     *      (if Global Rank crosses over TERM_AMPLIFIER_THRESHOLD)
     */
    function _calculateMaxTerm() private view returns (uint256) {
        if (globalRank > TERM_AMPLIFIER_THRESHOLD) {
            uint256 delta = globalRank.fromUInt().log_2().mul(TERM_AMPLIFIER.fromUInt()).toUInt();
            uint256 newMax = MAX_TERM_START + delta * SECONDS_IN_DAY;
            return Math.min(newMax, MAX_TERM_END);
        }
        return MAX_TERM_START;
    }

    /**
     * @dev calculates Withdrawal Penalty depending on lateness
     */
    function _penalty(uint256 secsLate) private pure returns (uint256) {
        // =MIN(2^(daysLate+3)/window-1,99)
        uint256 daysLate = secsLate / SECONDS_IN_DAY;
        if (daysLate > WITHDRAWAL_WINDOW_DAYS - 1) return MAX_PENALTY_PCT;
        uint256 penalty = (uint256(1) << (daysLate + 3)) / WITHDRAWAL_WINDOW_DAYS - 1;
        return Math.min(penalty, MAX_PENALTY_PCT);
    }

    /**
     * @dev calculates net Mint Reward (adjusted for Penalty)
     */
    function _calculateMintReward(
        uint256 cRank,
        uint256 term,
        uint256 maturityTs,
        uint256 amplifier,
        uint256 eeaRate
    ) private view returns (uint256) {
        uint256 secsLate = block.timestamp - maturityTs;
        uint256 penalty = _penalty(secsLate);
        uint256 rankDelta = Math.max(globalRank - cRank, 2);
        uint256 EAA = (1_000 + eeaRate);
        uint256 reward = getGrossReward(rankDelta, amplifier, term, EAA);
        return (reward * (100 - penalty)) / 100;
    }

    /**
     * @dev cleans up User Mint storage (gets some Gas credit;))
     */
    function _cleanUpUserMint() private {
        delete userMints[_msgSender()];
        activeMinters--;
    }

    /**
     * @dev calculates XEN Stake Reward
     */
    function _calculateStakeReward(
        uint256 amount,
        uint256 term,
        uint256 maturityTs,
        uint256 apy
    ) private view returns (uint256) {
        if (block.timestamp > maturityTs) {
            uint256 rate = (apy * term * 1_000_000) / DAYS_IN_YEAR;
            return (amount * rate) / 100_000_000;
        }
        return 0;
    }

    /**
     * @dev calculates Reward Amplifier
     */
    function _calculateRewardAmplifier() private view returns (uint256) {
        uint256 amplifierDecrease = (block.timestamp - genesisTs) / SECONDS_IN_DAY;
        if (amplifierDecrease < REWARD_AMPLIFIER_START) {
            return Math.max(REWARD_AMPLIFIER_START - amplifierDecrease, REWARD_AMPLIFIER_END);
        } else {
            return REWARD_AMPLIFIER_END;
        }
    }

    /**
     * @dev calculates Early Adopter Amplifier Rate (in 1/000ths)
     *      actual EAA is (1_000 + EAAR) / 1_000
     */
    function _calculateEAARate() private view returns (uint256) {
        uint256 decrease = (EAA_PM_STEP * globalRank) / EAA_RANK_STEP;
        if (decrease > EAA_PM_START) return 0;
        return EAA_PM_START - decrease;
    }

    /**
     * @dev calculates APY (in %)
     */
    function _calculateAPY() private view returns (uint256) {
        uint256 decrease = (block.timestamp - genesisTs) / (SECONDS_IN_DAY * XEN_APY_DAYS_STEP);
        if (XEN_APY_START - XEN_APY_END < decrease) return XEN_APY_END;
        return XEN_APY_START - decrease;
    }

    /**
     * @dev creates User Stake
     */
    function _createStake(uint256 amount, uint256 term) private {
        userStakes[_msgSender()] = StakeInfo({
            term: term,
            maturityTs: block.timestamp + term * SECONDS_IN_DAY,
            amount: amount,
            apy: _calculateAPY()
        });
        activeStakes++;
        totalXenStaked += amount;
    }

    // PUBLIC CONVENIENCE GETTERS

    /**
     * @dev calculates gross Mint Reward
     */
    function getGrossReward(
        uint256 rankDelta,
        uint256 amplifier,
        uint256 term,
        uint256 eaa
    ) public pure returns (uint256) {
        int128 log128 = rankDelta.fromUInt().log_2();
        int128 reward128 = log128.mul(amplifier.fromUInt()).mul(term.fromUInt()).mul(eaa.fromUInt());
        return reward128.div(uint256(1_000).fromUInt()).toUInt();
    }

    /**
     * @dev returns User Mint object associated with User account address
     */
    function getUserMint() external view returns (MintInfo memory) {
        return userMints[_msgSender()];
    }

    /**
     * @dev returns XEN Stake object associated with User account address
     */
    function getUserStake() external view returns (StakeInfo memory) {
        return userStakes[_msgSender()];
    }

    /**
     * @dev returns current AMP
     */
    function getCurrentAMP() external view returns (uint256) {
        return _calculateRewardAmplifier();
    }

    /**
     * @dev returns current EAA Rate
     */
    function getCurrentEAAR() external view returns (uint256) {
        return _calculateEAARate();
    }

    /**
     * @dev returns current APY
     */
    function getCurrentAPY() external view returns (uint256) {
        return _calculateAPY();
    }

    /**
     * @dev returns current MaxTerm
     */
    function getCurrentMaxTerm() external view returns (uint256) {
        return _calculateMaxTerm();
    }

    // PUBLIC STATE-CHANGING METHODS

    /**
     * @dev accepts User cRank claim provided all checks pass (incl. no current claim exists)
     */
    function claimRank(uint256 term) external {
        uint256 termSec = term * SECONDS_IN_DAY;
        require(termSec > MIN_TERM, "CRank: Term less than min");
        require(termSec < _calculateMaxTerm() + 1, "CRank: Term more than current max term");
        require(userMints[_msgSender()].rank == 0, "CRank: Mint already in progress");

        // create and store new MintInfo
        MintInfo memory mintInfo = MintInfo({
            user: _msgSender(),
            term: term,
            maturityTs: block.timestamp + termSec,
            rank: globalRank,
            amplifier: _calculateRewardAmplifier(),
            eaaRate: _calculateEAARate()
        });
        userMints[_msgSender()] = mintInfo;
        activeMinters++;
        emit RankClaimed(_msgSender(), term, globalRank++);
    }

    /**
     * @dev ends minting upon maturity (and within permitted Withdrawal Time Window), gets minted XEN
     */
    function claimMintReward() external {
        MintInfo memory mintInfo = userMints[_msgSender()];
        require(mintInfo.rank > 0, "CRank: No mint exists");
        require(block.timestamp > mintInfo.maturityTs, "CRank: Mint maturity not reached");

        // calculate reward and mint tokens
        uint256 rewardAmount = _calculateMintReward(
            mintInfo.rank,
            mintInfo.term,
            mintInfo.maturityTs,
            mintInfo.amplifier,
            mintInfo.eaaRate
        ) * 1 ether;
        _mint(_msgSender(), rewardAmount);

        _cleanUpUserMint();
        emit MintClaimed(_msgSender(), rewardAmount);
    }

    /**
     * @dev  ends minting upon maturity (and within permitted Withdrawal time Window)
     *       mints XEN coins and splits them between User and designated other address
     */
    function claimMintRewardAndShare(address other, uint256 pct) external {
        MintInfo memory mintInfo = userMints[_msgSender()];
        require(other != address(0), "CRank: Cannot share with zero address");
        require(pct > 0, "CRank: Cannot share zero percent");
        require(pct < 101, "CRank: Cannot share 100+ percent");
        require(mintInfo.rank > 0, "CRank: No mint exists");
        require(block.timestamp > mintInfo.maturityTs, "CRank: Mint maturity not reached");

        // calculate reward
        uint256 rewardAmount = _calculateMintReward(
            mintInfo.rank,
            mintInfo.term,
            mintInfo.maturityTs,
            mintInfo.amplifier,
            mintInfo.eaaRate
        ) * 1 ether;
        uint256 sharedReward = (rewardAmount * pct) / 100;
        uint256 ownReward = rewardAmount - sharedReward;

        // mint reward tokens
        _mint(_msgSender(), ownReward);
        _mint(other, sharedReward);

        _cleanUpUserMint();
        emit MintClaimed(_msgSender(), rewardAmount);
    }

    /**
     * @dev  ends minting upon maturity (and within permitted Withdrawal time Window)
     *       mints XEN coins and stakes 'pct' of it for 'term'
     */
    function claimMintRewardAndStake(uint256 pct, uint256 term) external {
        MintInfo memory mintInfo = userMints[_msgSender()];
        // require(pct > 0, "CRank: Cannot share zero percent");
        require(pct < 101, "CRank: Cannot share >100 percent");
        require(mintInfo.rank > 0, "CRank: No mint exists");
        require(block.timestamp > mintInfo.maturityTs, "CRank: Mint maturity not reached");

        // calculate reward
        uint256 rewardAmount = _calculateMintReward(
            mintInfo.rank,
            mintInfo.term,
            mintInfo.maturityTs,
            mintInfo.amplifier,
            mintInfo.eaaRate
        ) * 1 ether;
        uint256 stakedReward = (rewardAmount * pct) / 100;
        uint256 ownReward = rewardAmount - stakedReward;

        // mint reward tokens part
        _mint(_msgSender(), ownReward);
        _cleanUpUserMint();
        emit MintClaimed(_msgSender(), rewardAmount);

        // nothing to burn since we haven't minted this part yet
        // stake extra tokens part
        require(stakedReward > XEN_MIN_STAKE, "XEN: Below min stake");
        require(term * SECONDS_IN_DAY > MIN_TERM, "XEN: Below min stake term");
        require(term * SECONDS_IN_DAY < MAX_TERM_END + 1, "XEN: Above max stake term");
        require(userStakes[_msgSender()].amount == 0, "XEN: stake exists");

        _createStake(stakedReward, term);
        emit Staked(_msgSender(), stakedReward, term);
    }

    /**
     * @dev initiates XEN Stake in amount for a term (days)
     */
    function stake(uint256 amount, uint256 term) external {
        require(balanceOf(_msgSender()) >= amount, "XEN: not enough balance");
        require(amount > XEN_MIN_STAKE, "XEN: Below min stake");
        require(term * SECONDS_IN_DAY > MIN_TERM, "XEN: Below min stake term");
        require(term * SECONDS_IN_DAY < MAX_TERM_END + 1, "XEN: Above max stake term");
        require(userStakes[_msgSender()].amount == 0, "XEN: stake exists");

        // burn staked XEN
        _burn(_msgSender(), amount);
        // create XEN Stake
        _createStake(amount, term);
        emit Staked(_msgSender(), amount, term);
    }

    /**
     * @dev ends XEN Stake and gets reward if the Stake is mature
     */
    function withdraw() external {
        StakeInfo memory userStake = userStakes[_msgSender()];
        require(userStake.amount > 0, "XEN: no stake exists");

        uint256 xenReward = _calculateStakeReward(
            userStake.amount,
            userStake.term,
            userStake.maturityTs,
            userStake.apy
        );
        activeStakes--;
        totalXenStaked -= userStake.amount;

        // mint staked XEN (+ reward)
        _mint(_msgSender(), userStake.amount + xenReward);
        emit Withdrawn(_msgSender(), userStake.amount, xenReward);
        delete userStakes[_msgSender()];
    }

    /**
     * @dev burns XEN tokens and creates Proof-Of-Burn record to be used by connected DeFi services
     */
    function burn(address user, uint256 amount) public {
        require(amount > XEN_MIN_BURN, "Burn: Below min limit");
        require(
            IERC165(_msgSender()).supportsInterface(type(IBurnRedeemable).interfaceId),
            "Burn: not a supported contract"
        );

        _spendAllowance(user, _msgSender(), amount);
        _burn(user, amount);
        userBurns[user] += amount;
        IBurnRedeemable(_msgSender()).onTokenBurned(user, amount);
    }
}

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"rewardAmount","type":"uint256"}],"name":"MintClaimed","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"term","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"rank","type":"uint256"}],"name":"RankClaimed","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"term","type":"uint256"}],"name":"Staked","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"reward","type":"uint256"}],"name":"Withdrawn","type":"event"},{"inputs":[],"name":"AUTHORS","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"DAYS_IN_YEAR","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"EAA_PM_START","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"EAA_PM_STEP","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"EAA_RANK_STEP","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"GENESIS_RANK","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MAX_PENALTY_PCT","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MAX_TERM_END","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MAX_TERM_START","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MIN_TERM","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"REWARD_AMPLIFIER_END","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"REWARD_AMPLIFIER_START","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"SECONDS_IN_DAY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"TERM_AMPLIFIER","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"TERM_AMPLIFIER_THRESHOLD","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"WITHDRAWAL_WINDOW_DAYS","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"XEN_APY_DAYS_STEP","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"XEN_APY_END","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"XEN_APY_START","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"XEN_MIN_BURN","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"XEN_MIN_STAKE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"activeMinters","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"activeStakes","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"claimMintReward","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"other","type":"address"},{"internalType":"uint256","name":"pct","type":"uint256"}],"name":"claimMintRewardAndShare","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"pct","type":"uint256"},{"internalType":"uint256","name":"term","type":"uint256"}],"name":"claimMintRewardAndStake","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"term","type":"uint256"}],"name":"claimRank","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"genesisTs","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getCurrentAMP","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getCurrentAPY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getCurrentEAAR","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getCurrentMaxTerm","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"rankDelta","type":"uint256"},{"internalType":"uint256","name":"amplifier","type":"uint256"},{"internalType":"uint256","name":"term","type":"uint256"},{"internalType":"uint256","name":"eaa","type":"uint256"}],"name":"getGrossReward","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"getUserMint","outputs":[{"components":[{"internalType":"address","name":"user","type":"address"},{"internalType":"uint256","name":"term","type":"uint256"},{"internalType":"uint256","name":"maturityTs","type":"uint256"},{"internalType":"uint256","name":"rank","type":"uint256"},{"internalType":"uint256","name":"amplifier","type":"uint256"},{"internalType":"uint256","name":"eaaRate","type":"uint256"}],"internalType":"struct XENCrypto.MintInfo","name":"","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getUserStake","outputs":[{"components":[{"internalType":"uint256","name":"term","type":"uint256"},{"internalType":"uint256","name":"maturityTs","type":"uint256"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"apy","type":"uint256"}],"internalType":"struct XENCrypto.StakeInfo","name":"","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"globalRank","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"term","type":"uint256"}],"name":"stake","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalXenStaked","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"userBurns","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"userMints","outputs":[{"internalType":"address","name":"user","type":"address"},{"internalType":"uint256","name":"term","type":"uint256"},{"internalType":"uint256","name":"maturityTs","type":"uint256"},{"internalType":"uint256","name":"rank","type":"uint256"},{"internalType":"uint256","name":"amplifier","type":"uint256"},{"internalType":"uint256","name":"eaaRate","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"userStakes","outputs":[{"internalType":"uint256","name":"term","type":"uint256"},{"internalType":"uint256","name":"maturityTs","type":"uint256"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"apy","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60a060405260016005553480156200001657600080fd5b506040518060400160405280600a81526020016958454e2043727970746f60b01b815250604051806040016040528060058152602001643336ac22a760d91b81525081600390816200006991906200012a565b5060046200007882826200012a565b50504260805250620001f6565b634e487b7160e01b600052604160045260246000fd5b600181811c90821680620000b057607f821691505b602082108103620000d157634e487b7160e01b600052602260045260246000fd5b50919050565b601f8211156200012557600081815260208120601f850160051c81016020861015620001005750805b601f850160051c820191505b8181101562000121578281556001016200010c565b5050505b505050565b81516001600160401b0381111562000146576200014662000085565b6200015e816200015784546200009b565b84620000d7565b602080601f8311600181146200019657600084156200017d5750858301515b600019600386901b1c1916600185901b17855562000121565b600085815260208120601f198616915b82811015620001c757888601518255948401946001909101908401620001a6565b5085821015620001e65787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b608051612892620002206000396000818161063d0152818161206801526120cb01526128926000f3fe608060405234801561001057600080fd5b50600436106102825760003560e01c80637e7aa62e116101585780637e7aa62e146104735780638979c87c1461047b5780638da7ad2314610483578063909a2ff6146104d857806395d89b41146104e0578063962ca496146104e857806399202454146104f05780639dc29fac146104f85780639ff054df1461050b578063a457c2d71461051e578063a9059cbb14610531578063b0fd1fc214610544578063b21d35f214610557578063b4800cdc14610560578063ba3ec74114610569578063bcfe394f1461035d578063c0c6525914610571578063c56f0bab14610579578063ce653d5f14610581578063dd62ed3e146105a1578063df282331146105b4578063e3af6d0a14610638578063e81917b41461065f578063ed2f236914610668578063f060482914610671578063f340faed14610679578063fed742691461068357600080fd5b80630237893214610287578063069612a5146102a357806306fdde03146102ac578063095ea7b3146102c15780630bfae56b146102e45780630f2e1228146102ec578063110d7fc2146102f457806316f9c8fd146102fc57806318160ddd146103375780631c2440821461033f5780631c560305146103485780631c6f212e1461035d57806323b872dd146103655780632a62d966146102f4578063313ce5671461037857806332870fda14610387578063395093511461038f5780633ccfd60b146103a257806345125715146103aa57806352c7f8dc146103b2578063543d36521461035d5780635bccb4c4146103ba57806361a52a36146103cd5780637010d7a1146103d757806370a082311461042f57806372475f94146104585780637b0472f014610460575b600080fd5b61029061016d81565b6040519081526020015b60405180910390f35b61029060085481565b6102b461068b565b60405161029a9190612419565b6102d46102cf366004612483565b61071d565b604051901515815260200161029a565b610290610737565b610290606381565b610290600081565b610304610748565b60405161029a91908151815260208083015190820152604080830151908201526060918201519181019190915260800190565b600254610290565b61029060055481565b61035b610356366004612483565b6107b9565b005b610290600181565b6102d46103733660046124ad565b610a08565b6040516012815260200161029a565b610290605a81565b6102d461039d366004612483565b610a2c565b61035b610a4e565b610290610ba2565b61035b610bb1565b61035b6103c83660046124e9565b610cc2565b6102906201518081565b6103df610f64565b60405161029a919081516001600160a01b031681526020808301519082015260408083015190820152606080830151908201526080808301519082015260a0918201519181019190915260c00190565b61029061043d36600461250b565b6001600160a01b031660009081526020819052604090205490565b610290600f81565b61035b61046e3660046124e9565b611009565b610290600281565b61029061117e565b6104b861049136600461250b565b600a6020526000908152604090208054600182015460028301546003909301549192909184565b60408051948552602085019390935291830152606082015260800161029a565b610290606481565b6102b4611188565b610290611197565b6102906111a1565b61035b610506366004612483565b6111ab565b61035b610519366004612526565b61135d565b6102d461052c366004612483565b6115d2565b6102d461053f366004612483565b61164d565b61029061055236600461253f565b61165b565b61029061138881565b61029060065481565b6102b46116ea565b610290611706565b610290600781565b61029061058f36600461250b565b600b6020526000908152604090205481565b6102906105af366004612571565b611715565b6106016105c236600461250b565b6009602052600090815260409020805460018201546002830154600384015460048501546005909501546001600160a01b039094169492939192909186565b604080516001600160a01b0390971687526020870195909552938501929092526060840152608083015260a082015260c00161029a565b6102907f000000000000000000000000000000000000000000000000000000000000000081565b610290610bb881565b61029060075481565b610290611740565b610290620186a081565b610290601481565b60606003805461069a906125a4565b80601f01602080910402602001604051908101604052809291908181526020018280546106c6906125a4565b80156107135780601f106106e857610100808354040283529160200191610713565b820191906000526020600020905b8154815290600101906020018083116106f657829003601f168201915b5050505050905090565b60003361072b818585611759565b60019150505b92915050565b6107456201518060646125f4565b81565b6107736040518060800160405280600081526020016000815260200160008152602001600081525090565b50336000908152600a6020908152604091829020825160808101845281548152600182015492810192909252600281015492820192909252600390910154606082015290565b33600090815260096020908152604091829020825160c08101845281546001600160a01b03908116825260018301549382019390935260028201549381019390935260038101546060840152600481015460808401526005015460a083015283166108795760405162461bcd60e51b815260206004820152602560248201527f4352616e6b3a2043616e6e6f742073686172652077697468207a65726f206164604482015264647265737360d81b60648201526084015b60405180910390fd5b600082116108c95760405162461bcd60e51b815260206004820181905260248201527f4352616e6b3a2043616e6e6f74207368617265207a65726f2070657263656e746044820152606401610870565b606582106109195760405162461bcd60e51b815260206004820181905260248201527f4352616e6b3a2043616e6e6f74207368617265203130302b2070657263656e746044820152606401610870565b600081606001511161093d5760405162461bcd60e51b81526004016108709061260b565b806040015142116109605760405162461bcd60e51b81526004016108709061263a565b600061098382606001518360200151846040015185608001518660a0015161187e565b61099590670de0b6b3a76400006125f4565b9050600060646109a585846125f4565b6109af9190612685565b905060006109bd82846126a7565b90506109ca335b8261197c565b6109d4868361197c565b6109dc611a49565b60405183815233906000805160206127f8833981519152906020015b60405180910390a2505050505050565b600033610a16858285611a9d565b610a21858585611b17565b506001949350505050565b60003361072b818585610a3f8383611715565b610a4991906126ba565b611759565b336000908152600a6020908152604091829020825160808101845281548152600182015492810192909252600281015492820183905260030154606082015290610ad15760405162461bcd60e51b815260206004820152601460248201527358454e3a206e6f207374616b652065786973747360601b6044820152606401610870565b6000610aef8260400151836000015184602001518560600151611cd3565b600780549192506000610b01836126cd565b9190505550816040015160086000828254610b1c91906126a7565b90915550610b3b905033828460400151610b3691906126ba565b61197c565b60408083015181519081526020810183905233917f92ccf450a286a957af52509bc1c9939d1a6a481783e142e41e2499f0bb66ebc6910160405180910390a25050336000908152600a60205260408120818155600181018290556002810182905560030155565b6000610bac611d31565b905090565b33600090815260096020908152604091829020825160c08101845281546001600160a01b031681526001820154928101929092526002810154928201929092526003820154606082018190526004830154608083015260059092015460a082015290610c2f5760405162461bcd60e51b81526004016108709061260b565b80604001514211610c525760405162461bcd60e51b81526004016108709061263a565b6000610c7582606001518360200151846040015185608001518660a0015161187e565b610c8790670de0b6b3a76400006125f4565b9050610c92336109c4565b610c9a611a49565b60405181815233906000805160206127f8833981519152906020015b60405180910390a25050565b33600090815260096020908152604091829020825160c08101845281546001600160a01b03168152600182015492810192909252600281015492820192909252600382015460608201526004820154608082015260059091015460a082015260658310610d715760405162461bcd60e51b815260206004820181905260248201527f4352616e6b3a2043616e6e6f74207368617265203e3130302070657263656e746044820152606401610870565b6000816060015111610d955760405162461bcd60e51b81526004016108709061260b565b80604001514211610db85760405162461bcd60e51b81526004016108709061263a565b6000610ddb82606001518360200151846040015185608001518660a0015161187e565b610ded90670de0b6b3a76400006125f4565b905060006064610dfd86846125f4565b610e079190612685565b90506000610e1582846126a7565b9050610e20336109c4565b610e28611a49565b60405183815233906000805160206127f88339815191529060200160405180910390a260008211610e6b5760405162461bcd60e51b8152600401610870906126e4565b6001610e7a62015180826125f4565b610e8491906126a7565b610e9162015180876125f4565b11610eae5760405162461bcd60e51b815260040161087090612712565b610ebd620151806103e86125f4565b610ec89060016126ba565b610ed562015180876125f4565b10610ef25760405162461bcd60e51b815260040161087090612745565b336000908152600a602052604090206002015415610f225760405162461bcd60e51b815260040161087090612778565b610f2c8286611e37565b604080518381526020810187905233917f1449c6dd7851abc30abf37f57715f492010519147cc2652fbc38202c18a6ee9091016109f8565b610fa66040518060c0016040528060006001600160a01b0316815260200160008152602001600081526020016000815260200160008152602001600081525090565b5033600090815260096020908152604091829020825160c08101845281546001600160a01b03168152600182015492810192909252600281015492820192909252600382015460608201526004820154608082015260059091015460a082015290565b816110133361043d565b101561105b5760405162461bcd60e51b815260206004820152601760248201527658454e3a206e6f7420656e6f7567682062616c616e636560481b6044820152606401610870565b6000821161107b5760405162461bcd60e51b8152600401610870906126e4565b600161108a62015180826125f4565b61109491906126a7565b6110a162015180836125f4565b116110be5760405162461bcd60e51b815260040161087090612712565b6110cd620151806103e86125f4565b6110d89060016126ba565b6110e562015180836125f4565b106111025760405162461bcd60e51b815260040161087090612745565b336000908152600a6020526040902060020154156111325760405162461bcd60e51b815260040161087090612778565b61113c3383611eda565b6111468282611e37565b604080518381526020810183905233917f1449c6dd7851abc30abf37f57715f492010519147cc2652fbc38202c18a6ee909101610cb6565b6000610bac61200e565b60606004805461069a906125a4565b6000610bac612052565b6000610bac6120bf565b600081116111f35760405162461bcd60e51b8152602060048201526015602482015274109d5c9b8e8810995b1bddc81b5a5b881b1a5b5a5d605a1b6044820152606401610870565b336040516301ffc9a760e01b815263543746b160e01b60048201526001600160a01b0391909116906301ffc9a790602401602060405180830381865afa158015611241573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061126591906127a3565b6112b15760405162461bcd60e51b815260206004820152601e60248201527f4275726e3a206e6f74206120737570706f7274656420636f6e747261637400006044820152606401610870565b6112bc823383611a9d565b6112c68282611eda565b6001600160a01b0382166000908152600b6020526040812080548392906112ee9084906126ba565b9091555033905060405163543746b160e01b81526001600160a01b03848116600483015260248201849052919091169063543746b190604401600060405180830381600087803b15801561134157600080fd5b505af1158015611355573d6000803e3d6000fd5b505050505050565b600061136c62015180836125f4565b9050600161137d62015180826125f4565b61138791906126a7565b81116113d15760405162461bcd60e51b815260206004820152601960248201527821a930b7359d102a32b936903632b9b9903a3430b71036b4b760391b6044820152606401610870565b6113d9611d31565b6113e49060016126ba565b81106114415760405162461bcd60e51b815260206004820152602660248201527f4352616e6b3a205465726d206d6f7265207468616e2063757272656e74206d6160448201526578207465726d60d01b6064820152608401610870565b33600090815260096020526040902060030154156114a15760405162461bcd60e51b815260206004820152601f60248201527f4352616e6b3a204d696e7420616c726561647920696e2070726f6772657373006044820152606401610870565b60006040518060c001604052806114b53390565b6001600160a01b03168152602081018590526040016114d484426126ba565b815260200160055481526020016114e96120bf565b81526020016114f661200e565b9052336000908152600960209081526040808320845181546001600160a01b0319166001600160a01b039091161781559184015160018301558301516002820155606083015160038201556080830151600482015560a08301516005909101556006805492935090611567836127c5565b91905055506115733390565b6001600160a01b03167fe9149e1b5059238baed02fa659dbf4bd932fbcf760a431330df4d934bc942f3784600560008154809291906115b1906127c5565b909155506040805192835260208301919091520160405180910390a2505050565b600033816115e08286611715565b9050838110156116405760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b6064820152608401610870565b610a218286868403611759565b60003361072b818585611b17565b60008061167261166a8761219b565b600f0b6121b9565b905060006116ae6116828561219b565b6116a561168e8861219b565b6116a561169a8b61219b565b600f88900b90612293565b600f0b90612293565b90506116d46116cc6116c16103e861219b565b600f84900b906122d1565b600f0b612328565b6001600160401b0316925050505b949350505050565b6040518060600160405280602581526020016128386025913981565b610745620151806103e86125f4565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b600161174f62015180826125f4565b61074591906126a7565b6001600160a01b0383166117bb5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610870565b6001600160a01b03821661181c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610870565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b60008061188b85426126a7565b9050600061189882612344565b90506000736204463abb400959c929ac431dff152113b1c643636d5433e68a6005546118c491906126a7565b6040516001600160e01b031960e084901b168152600481019190915260026024820152604401602060405180830381865af4158015611907573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061192b91906127de565b9050600061193b866103e86126ba565b9050600061194b83898c8561165b565b9050606461195985826126a7565b61196390836125f4565b61196d9190612685565b9b9a5050505050505050505050565b6001600160a01b0382166119d25760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f2061646472657373006044820152606401610870565b80600260008282546119e491906126ba565b90915550506001600160a01b03821660009081526020819052604081208054839290611a119084906126ba565b90915550506040518181526001600160a01b038316906000906000805160206128188339815191529060200160405180910390a35050565b33600090815260096020526040812080546001600160a01b0319168155600181018290556002810182905560038101829055600481018290556005018190556006805491611a96836126cd565b9190505550565b6000611aa98484611715565b90506000198114611b115781811015611b045760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000006044820152606401610870565b611b118484848403611759565b50505050565b6001600160a01b038316611b7b5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610870565b6001600160a01b038216611bdd5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610870565b6001600160a01b03831660009081526020819052604090205481811015611c555760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b6064820152608401610870565b6001600160a01b03808516600090815260208190526040808220858503905591851681529081208054849290611c8c9084906126ba565b92505081905550826001600160a01b0316846001600160a01b031660008051602061281883398151915284604051611cc691815260200190565b60405180910390a3611b11565b600082421115611d2657600061016d611cec86856125f4565b611cf990620f42406125f4565b611d039190612685565b90506305f5e100611d1482886125f4565b611d1e9190612685565b9150506116e2565b506000949350505050565b60006113886005541115611e29576000611d5f6116cc611d51600f61219b565b6116a561166a60055461219b565b6001600160401b031690506000611d7962015180836125f4565b611d876201518060646125f4565b611d9191906126ba565b9050736204463abb400959c929ac431dff152113b1c643637ae2b5c782611dbd620151806103e86125f4565b6040516001600160e01b031960e085901b16815260048101929092526024820152604401602060405180830381865af4158015611dfe573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611e2291906127de565b9250505090565b610bac6201518060646125f4565b60405180608001604052808281526020016201518083611e5791906125f4565b611e6190426126ba565b8152602001838152602001611e74612052565b9052336000908152600a602090815260408083208451815591840151600183015583015160028201556060909201516003909201919091556007805491611eba836127c5565b91905055508160086000828254611ed191906126ba565b90915550505050565b6001600160a01b038216611f3a5760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b6064820152608401610870565b6001600160a01b03821660009081526020819052604090205481811015611fae5760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b6064820152608401610870565b6001600160a01b0383166000908152602081905260408120838303905560028054849290611fdd9084906126a7565b90915550506040518281526000906001600160a01b0385169060008051602061281883398151915290602001611871565b600080620186a0600554600161202491906125f4565b61202e9190612685565b9050606481111561204157600091505090565b61204c8160646126a7565b91505090565b600080612063605a620151806125f4565b61208d7f0000000000000000000000000000000000000000000000000000000000000000426126a7565b6120979190612685565b9050806120a6600260146126a7565b10156120b457600291505090565b61204c8160146126a7565b600080620151806120f07f0000000000000000000000000000000000000000000000000000000000000000426126a7565b6120fa9190612685565b9050610bb881101561219357736204463abb400959c929ac431dff152113b1c643636d5433e661212c83610bb86126a7565b6040516001600160e01b031960e084901b168152600481019190915260016024820152604401602060405180830381865af415801561216f573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061204c91906127de565b600191505090565b6000677fffffffffffffff8211156121b257600080fd5b5060401b90565b60008082600f0b136121ca57600080fd5b6000600f83900b600160401b81126121e4576040918201911d5b600160201b81126121f7576020918201911d5b620100008112612209576010918201911d5b610100811261221a576008918201911d5b6010811261222a576004918201911d5b6004811261223a576002918201911d5b60028112612249576001820191505b603f19820160401b600f85900b607f8490031b6001603f1b5b60008113156122885790800260ff81901c8281029390930192607f011c9060011d612262565b509095945050505050565b6000600f83810b9083900b0260401d60016001607f1b031981128015906122c1575060016001607f1b038113155b6122ca57600080fd5b9392505050565b600081600f0b6000036122e357600080fd5b600082600f0b604085600f0b901b816122fe576122fe61266f565b05905060016001607f1b031981128015906122c1575060016001607f1b038113156122ca57600080fd5b60008082600f0b121561233a57600080fd5b50600f0b60401d90565b6000806123546201518084612685565b9050612362600160076126a7565b8111156123725750606392915050565b6000600160076123838460036126ba565b6001901b6123919190612685565b61239b91906126a7565b604051637ae2b5c760e01b81526004810182905260636024820152909150736204463abb400959c929ac431dff152113b1c64390637ae2b5c790604401602060405180830381865af41580156123f5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906116e291906127de565b600060208083528351808285015260005b818110156124465785810183015185820160400152820161242a565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b038116811461247e57600080fd5b919050565b6000806040838503121561249657600080fd5b61249f83612467565b946020939093013593505050565b6000806000606084860312156124c257600080fd5b6124cb84612467565b92506124d960208501612467565b9150604084013590509250925092565b600080604083850312156124fc57600080fd5b50508035926020909101359150565b60006020828403121561251d57600080fd5b6122ca82612467565b60006020828403121561253857600080fd5b5035919050565b6000806000806080858703121561255557600080fd5b5050823594602084013594506040840135936060013592509050565b6000806040838503121561258457600080fd5b61258d83612467565b915061259b60208401612467565b90509250929050565b600181811c908216806125b857607f821691505b6020821081036125d857634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fd5b8082028115828204841417610731576107316125de565b6020808252601590820152744352616e6b3a204e6f206d696e742065786973747360581b604082015260600190565b6020808252818101527f4352616e6b3a204d696e74206d61747572697479206e6f742072656163686564604082015260600190565b634e487b7160e01b600052601260045260246000fd5b6000826126a257634e487b7160e01b600052601260045260246000fd5b500490565b81810381811115610731576107316125de565b80820180821115610731576107316125de565b6000816126dc576126dc6125de565b506000190190565b60208082526014908201527358454e3a2042656c6f77206d696e207374616b6560601b604082015260600190565b60208082526019908201527858454e3a2042656c6f77206d696e207374616b65207465726d60381b604082015260600190565b60208082526019908201527858454e3a2041626f7665206d6178207374616b65207465726d60381b604082015260600190565b60208082526011908201527058454e3a207374616b652065786973747360781b604082015260600190565b6000602082840312156127b557600080fd5b815180151581146122ca57600080fd5b6000600182016127d7576127d76125de565b5060010190565b6000602082840312156127f057600080fd5b505191905056fed74752b13281df13701575f3a507e9b1242e0b5fb040143211c481c1fce573a6ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef404d724a61636b4c6576696e20406c62656c79616576206661697263727970746f2e6f7267a26469706673582212205d99d951935f4dcf8e772260a883ef95a22732bf0de5ba83b350fcd91ec5294864736f6c63430008110033

0x608060405234801561001057600080fd5b50600436106102825760003560e01c80637e7aa62e116101585780637e7aa62e146104735780638979c87c1461047b5780638da7ad2314610483578063909a2ff6146104d857806395d89b41146104e0578063962ca496146104e857806399202454146104f05780639dc29fac146104f85780639ff054df1461050b578063a457c2d71461051e578063a9059cbb14610531578063b0fd1fc214610544578063b21d35f214610557578063b4800cdc14610560578063ba3ec74114610569578063bcfe394f1461035d578063c0c6525914610571578063c56f0bab14610579578063ce653d5f14610581578063dd62ed3e146105a1578063df282331146105b4578063e3af6d0a14610638578063e81917b41461065f578063ed2f236914610668578063f060482914610671578063f340faed14610679578063fed742691461068357600080fd5b80630237893214610287578063069612a5146102a357806306fdde03146102ac578063095ea7b3146102c15780630bfae56b146102e45780630f2e1228146102ec578063110d7fc2146102f457806316f9c8fd146102fc57806318160ddd146103375780631c2440821461033f5780631c560305146103485780631c6f212e1461035d57806323b872dd146103655780632a62d966146102f4578063313ce5671461037857806332870fda14610387578063395093511461038f5780633ccfd60b146103a257806345125715146103aa57806352c7f8dc146103b2578063543d36521461035d5780635bccb4c4146103ba57806361a52a36146103cd5780637010d7a1146103d757806370a082311461042f57806372475f94146104585780637b0472f014610460575b600080fd5b61029061016d81565b6040519081526020015b60405180910390f35b61029060085481565b6102b461068b565b60405161029a9190612419565b6102d46102cf366004612483565b61071d565b604051901515815260200161029a565b610290610737565b610290606381565b610290600081565b610304610748565b60405161029a91908151815260208083015190820152604080830151908201526060918201519181019190915260800190565b600254610290565b61029060055481565b61035b610356366004612483565b6107b9565b005b610290600181565b6102d46103733660046124ad565b610a08565b6040516012815260200161029a565b610290605a81565b6102d461039d366004612483565b610a2c565b61035b610a4e565b610290610ba2565b61035b610bb1565b61035b6103c83660046124e9565b610cc2565b6102906201518081565b6103df610f64565b60405161029a919081516001600160a01b031681526020808301519082015260408083015190820152606080830151908201526080808301519082015260a0918201519181019190915260c00190565b61029061043d36600461250b565b6001600160a01b031660009081526020819052604090205490565b610290600f81565b61035b61046e3660046124e9565b611009565b610290600281565b61029061117e565b6104b861049136600461250b565b600a6020526000908152604090208054600182015460028301546003909301549192909184565b60408051948552602085019390935291830152606082015260800161029a565b610290606481565b6102b4611188565b610290611197565b6102906111a1565b61035b610506366004612483565b6111ab565b61035b610519366004612526565b61135d565b6102d461052c366004612483565b6115d2565b6102d461053f366004612483565b61164d565b61029061055236600461253f565b61165b565b61029061138881565b61029060065481565b6102b46116ea565b610290611706565b610290600781565b61029061058f36600461250b565b600b6020526000908152604090205481565b6102906105af366004612571565b611715565b6106016105c236600461250b565b6009602052600090815260409020805460018201546002830154600384015460048501546005909501546001600160a01b039094169492939192909186565b604080516001600160a01b0390971687526020870195909552938501929092526060840152608083015260a082015260c00161029a565b6102907f0000000000000000000000000000000000000000000000000000000063ee8c7481565b610290610bb881565b61029060075481565b610290611740565b610290620186a081565b610290601481565b60606003805461069a906125a4565b80601f01602080910402602001604051908101604052809291908181526020018280546106c6906125a4565b80156107135780601f106106e857610100808354040283529160200191610713565b820191906000526020600020905b8154815290600101906020018083116106f657829003601f168201915b5050505050905090565b60003361072b818585611759565b60019150505b92915050565b6107456201518060646125f4565b81565b6107736040518060800160405280600081526020016000815260200160008152602001600081525090565b50336000908152600a6020908152604091829020825160808101845281548152600182015492810192909252600281015492820192909252600390910154606082015290565b33600090815260096020908152604091829020825160c08101845281546001600160a01b03908116825260018301549382019390935260028201549381019390935260038101546060840152600481015460808401526005015460a083015283166108795760405162461bcd60e51b815260206004820152602560248201527f4352616e6b3a2043616e6e6f742073686172652077697468207a65726f206164604482015264647265737360d81b60648201526084015b60405180910390fd5b600082116108c95760405162461bcd60e51b815260206004820181905260248201527f4352616e6b3a2043616e6e6f74207368617265207a65726f2070657263656e746044820152606401610870565b606582106109195760405162461bcd60e51b815260206004820181905260248201527f4352616e6b3a2043616e6e6f74207368617265203130302b2070657263656e746044820152606401610870565b600081606001511161093d5760405162461bcd60e51b81526004016108709061260b565b806040015142116109605760405162461bcd60e51b81526004016108709061263a565b600061098382606001518360200151846040015185608001518660a0015161187e565b61099590670de0b6b3a76400006125f4565b9050600060646109a585846125f4565b6109af9190612685565b905060006109bd82846126a7565b90506109ca335b8261197c565b6109d4868361197c565b6109dc611a49565b60405183815233906000805160206127f8833981519152906020015b60405180910390a2505050505050565b600033610a16858285611a9d565b610a21858585611b17565b506001949350505050565b60003361072b818585610a3f8383611715565b610a4991906126ba565b611759565b336000908152600a6020908152604091829020825160808101845281548152600182015492810192909252600281015492820183905260030154606082015290610ad15760405162461bcd60e51b815260206004820152601460248201527358454e3a206e6f207374616b652065786973747360601b6044820152606401610870565b6000610aef8260400151836000015184602001518560600151611cd3565b600780549192506000610b01836126cd565b9190505550816040015160086000828254610b1c91906126a7565b90915550610b3b905033828460400151610b3691906126ba565b61197c565b60408083015181519081526020810183905233917f92ccf450a286a957af52509bc1c9939d1a6a481783e142e41e2499f0bb66ebc6910160405180910390a25050336000908152600a60205260408120818155600181018290556002810182905560030155565b6000610bac611d31565b905090565b33600090815260096020908152604091829020825160c08101845281546001600160a01b031681526001820154928101929092526002810154928201929092526003820154606082018190526004830154608083015260059092015460a082015290610c2f5760405162461bcd60e51b81526004016108709061260b565b80604001514211610c525760405162461bcd60e51b81526004016108709061263a565b6000610c7582606001518360200151846040015185608001518660a0015161187e565b610c8790670de0b6b3a76400006125f4565b9050610c92336109c4565b610c9a611a49565b60405181815233906000805160206127f8833981519152906020015b60405180910390a25050565b33600090815260096020908152604091829020825160c08101845281546001600160a01b03168152600182015492810192909252600281015492820192909252600382015460608201526004820154608082015260059091015460a082015260658310610d715760405162461bcd60e51b815260206004820181905260248201527f4352616e6b3a2043616e6e6f74207368617265203e3130302070657263656e746044820152606401610870565b6000816060015111610d955760405162461bcd60e51b81526004016108709061260b565b80604001514211610db85760405162461bcd60e51b81526004016108709061263a565b6000610ddb82606001518360200151846040015185608001518660a0015161187e565b610ded90670de0b6b3a76400006125f4565b905060006064610dfd86846125f4565b610e079190612685565b90506000610e1582846126a7565b9050610e20336109c4565b610e28611a49565b60405183815233906000805160206127f88339815191529060200160405180910390a260008211610e6b5760405162461bcd60e51b8152600401610870906126e4565b6001610e7a62015180826125f4565b610e8491906126a7565b610e9162015180876125f4565b11610eae5760405162461bcd60e51b815260040161087090612712565b610ebd620151806103e86125f4565b610ec89060016126ba565b610ed562015180876125f4565b10610ef25760405162461bcd60e51b815260040161087090612745565b336000908152600a602052604090206002015415610f225760405162461bcd60e51b815260040161087090612778565b610f2c8286611e37565b604080518381526020810187905233917f1449c6dd7851abc30abf37f57715f492010519147cc2652fbc38202c18a6ee9091016109f8565b610fa66040518060c0016040528060006001600160a01b0316815260200160008152602001600081526020016000815260200160008152602001600081525090565b5033600090815260096020908152604091829020825160c08101845281546001600160a01b03168152600182015492810192909252600281015492820192909252600382015460608201526004820154608082015260059091015460a082015290565b816110133361043d565b101561105b5760405162461bcd60e51b815260206004820152601760248201527658454e3a206e6f7420656e6f7567682062616c616e636560481b6044820152606401610870565b6000821161107b5760405162461bcd60e51b8152600401610870906126e4565b600161108a62015180826125f4565b61109491906126a7565b6110a162015180836125f4565b116110be5760405162461bcd60e51b815260040161087090612712565b6110cd620151806103e86125f4565b6110d89060016126ba565b6110e562015180836125f4565b106111025760405162461bcd60e51b815260040161087090612745565b336000908152600a6020526040902060020154156111325760405162461bcd60e51b815260040161087090612778565b61113c3383611eda565b6111468282611e37565b604080518381526020810183905233917f1449c6dd7851abc30abf37f57715f492010519147cc2652fbc38202c18a6ee909101610cb6565b6000610bac61200e565b60606004805461069a906125a4565b6000610bac612052565b6000610bac6120bf565b600081116111f35760405162461bcd60e51b8152602060048201526015602482015274109d5c9b8e8810995b1bddc81b5a5b881b1a5b5a5d605a1b6044820152606401610870565b336040516301ffc9a760e01b815263543746b160e01b60048201526001600160a01b0391909116906301ffc9a790602401602060405180830381865afa158015611241573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061126591906127a3565b6112b15760405162461bcd60e51b815260206004820152601e60248201527f4275726e3a206e6f74206120737570706f7274656420636f6e747261637400006044820152606401610870565b6112bc823383611a9d565b6112c68282611eda565b6001600160a01b0382166000908152600b6020526040812080548392906112ee9084906126ba565b9091555033905060405163543746b160e01b81526001600160a01b03848116600483015260248201849052919091169063543746b190604401600060405180830381600087803b15801561134157600080fd5b505af1158015611355573d6000803e3d6000fd5b505050505050565b600061136c62015180836125f4565b9050600161137d62015180826125f4565b61138791906126a7565b81116113d15760405162461bcd60e51b815260206004820152601960248201527821a930b7359d102a32b936903632b9b9903a3430b71036b4b760391b6044820152606401610870565b6113d9611d31565b6113e49060016126ba565b81106114415760405162461bcd60e51b815260206004820152602660248201527f4352616e6b3a205465726d206d6f7265207468616e2063757272656e74206d6160448201526578207465726d60d01b6064820152608401610870565b33600090815260096020526040902060030154156114a15760405162461bcd60e51b815260206004820152601f60248201527f4352616e6b3a204d696e7420616c726561647920696e2070726f6772657373006044820152606401610870565b60006040518060c001604052806114b53390565b6001600160a01b03168152602081018590526040016114d484426126ba565b815260200160055481526020016114e96120bf565b81526020016114f661200e565b9052336000908152600960209081526040808320845181546001600160a01b0319166001600160a01b039091161781559184015160018301558301516002820155606083015160038201556080830151600482015560a08301516005909101556006805492935090611567836127c5565b91905055506115733390565b6001600160a01b03167fe9149e1b5059238baed02fa659dbf4bd932fbcf760a431330df4d934bc942f3784600560008154809291906115b1906127c5565b909155506040805192835260208301919091520160405180910390a2505050565b600033816115e08286611715565b9050838110156116405760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b6064820152608401610870565b610a218286868403611759565b60003361072b818585611b17565b60008061167261166a8761219b565b600f0b6121b9565b905060006116ae6116828561219b565b6116a561168e8861219b565b6116a561169a8b61219b565b600f88900b90612293565b600f0b90612293565b90506116d46116cc6116c16103e861219b565b600f84900b906122d1565b600f0b612328565b6001600160401b0316925050505b949350505050565b6040518060600160405280602581526020016128386025913981565b610745620151806103e86125f4565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b600161174f62015180826125f4565b61074591906126a7565b6001600160a01b0383166117bb5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610870565b6001600160a01b03821661181c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610870565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b60008061188b85426126a7565b9050600061189882612344565b90506000736204463abb400959c929ac431dff152113b1c643636d5433e68a6005546118c491906126a7565b6040516001600160e01b031960e084901b168152600481019190915260026024820152604401602060405180830381865af4158015611907573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061192b91906127de565b9050600061193b866103e86126ba565b9050600061194b83898c8561165b565b9050606461195985826126a7565b61196390836125f4565b61196d9190612685565b9b9a5050505050505050505050565b6001600160a01b0382166119d25760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f2061646472657373006044820152606401610870565b80600260008282546119e491906126ba565b90915550506001600160a01b03821660009081526020819052604081208054839290611a119084906126ba565b90915550506040518181526001600160a01b038316906000906000805160206128188339815191529060200160405180910390a35050565b33600090815260096020526040812080546001600160a01b0319168155600181018290556002810182905560038101829055600481018290556005018190556006805491611a96836126cd565b9190505550565b6000611aa98484611715565b90506000198114611b115781811015611b045760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000006044820152606401610870565b611b118484848403611759565b50505050565b6001600160a01b038316611b7b5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610870565b6001600160a01b038216611bdd5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610870565b6001600160a01b03831660009081526020819052604090205481811015611c555760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b6064820152608401610870565b6001600160a01b03808516600090815260208190526040808220858503905591851681529081208054849290611c8c9084906126ba565b92505081905550826001600160a01b0316846001600160a01b031660008051602061281883398151915284604051611cc691815260200190565b60405180910390a3611b11565b600082421115611d2657600061016d611cec86856125f4565b611cf990620f42406125f4565b611d039190612685565b90506305f5e100611d1482886125f4565b611d1e9190612685565b9150506116e2565b506000949350505050565b60006113886005541115611e29576000611d5f6116cc611d51600f61219b565b6116a561166a60055461219b565b6001600160401b031690506000611d7962015180836125f4565b611d876201518060646125f4565b611d9191906126ba565b9050736204463abb400959c929ac431dff152113b1c643637ae2b5c782611dbd620151806103e86125f4565b6040516001600160e01b031960e085901b16815260048101929092526024820152604401602060405180830381865af4158015611dfe573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611e2291906127de565b9250505090565b610bac6201518060646125f4565b60405180608001604052808281526020016201518083611e5791906125f4565b611e6190426126ba565b8152602001838152602001611e74612052565b9052336000908152600a602090815260408083208451815591840151600183015583015160028201556060909201516003909201919091556007805491611eba836127c5565b91905055508160086000828254611ed191906126ba565b90915550505050565b6001600160a01b038216611f3a5760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b6064820152608401610870565b6001600160a01b03821660009081526020819052604090205481811015611fae5760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b6064820152608401610870565b6001600160a01b0383166000908152602081905260408120838303905560028054849290611fdd9084906126a7565b90915550506040518281526000906001600160a01b0385169060008051602061281883398151915290602001611871565b600080620186a0600554600161202491906125f4565b61202e9190612685565b9050606481111561204157600091505090565b61204c8160646126a7565b91505090565b600080612063605a620151806125f4565b61208d7f0000000000000000000000000000000000000000000000000000000063ee8c74426126a7565b6120979190612685565b9050806120a6600260146126a7565b10156120b457600291505090565b61204c8160146126a7565b600080620151806120f07f0000000000000000000000000000000000000000000000000000000063ee8c74426126a7565b6120fa9190612685565b9050610bb881101561219357736204463abb400959c929ac431dff152113b1c643636d5433e661212c83610bb86126a7565b6040516001600160e01b031960e084901b168152600481019190915260016024820152604401602060405180830381865af415801561216f573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061204c91906127de565b600191505090565b6000677fffffffffffffff8211156121b257600080fd5b5060401b90565b60008082600f0b136121ca57600080fd5b6000600f83900b600160401b81126121e4576040918201911d5b600160201b81126121f7576020918201911d5b620100008112612209576010918201911d5b610100811261221a576008918201911d5b6010811261222a576004918201911d5b6004811261223a576002918201911d5b60028112612249576001820191505b603f19820160401b600f85900b607f8490031b6001603f1b5b60008113156122885790800260ff81901c8281029390930192607f011c9060011d612262565b509095945050505050565b6000600f83810b9083900b0260401d60016001607f1b031981128015906122c1575060016001607f1b038113155b6122ca57600080fd5b9392505050565b600081600f0b6000036122e357600080fd5b600082600f0b604085600f0b901b816122fe576122fe61266f565b05905060016001607f1b031981128015906122c1575060016001607f1b038113156122ca57600080fd5b60008082600f0b121561233a57600080fd5b50600f0b60401d90565b6000806123546201518084612685565b9050612362600160076126a7565b8111156123725750606392915050565b6000600160076123838460036126ba565b6001901b6123919190612685565b61239b91906126a7565b604051637ae2b5c760e01b81526004810182905260636024820152909150736204463abb400959c929ac431dff152113b1c64390637ae2b5c790604401602060405180830381865af41580156123f5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906116e291906127de565b600060208083528351808285015260005b818110156124465785810183015185820160400152820161242a565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b038116811461247e57600080fd5b919050565b6000806040838503121561249657600080fd5b61249f83612467565b946020939093013593505050565b6000806000606084860312156124c257600080fd5b6124cb84612467565b92506124d960208501612467565b9150604084013590509250925092565b600080604083850312156124fc57600080fd5b50508035926020909101359150565b60006020828403121561251d57600080fd5b6122ca82612467565b60006020828403121561253857600080fd5b5035919050565b6000806000806080858703121561255557600080fd5b5050823594602084013594506040840135936060013592509050565b6000806040838503121561258457600080fd5b61258d83612467565b915061259b60208401612467565b90509250929050565b600181811c908216806125b857607f821691505b6020821081036125d857634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fd5b8082028115828204841417610731576107316125de565b6020808252601590820152744352616e6b3a204e6f206d696e742065786973747360581b604082015260600190565b6020808252818101527f4352616e6b3a204d696e74206d61747572697479206e6f742072656163686564604082015260600190565b634e487b7160e01b600052601260045260246000fd5b6000826126a257634e487b7160e01b600052601260045260246000fd5b500490565b81810381811115610731576107316125de565b80820180821115610731576107316125de565b6000816126dc576126dc6125de565b506000190190565b60208082526014908201527358454e3a2042656c6f77206d696e207374616b6560601b604082015260600190565b60208082526019908201527858454e3a2042656c6f77206d696e207374616b65207465726d60381b604082015260600190565b60208082526019908201527858454e3a2041626f7665206d6178207374616b65207465726d60381b604082015260600190565b60208082526011908201527058454e3a207374616b652065786973747360781b604082015260600190565b6000602082840312156127b557600080fd5b815180151581146122ca57600080fd5b6000600182016127d7576127d76125de565b5060010190565b6000602082840312156127f057600080fd5b505191905056fed74752b13281df13701575f3a507e9b1242e0b5fb040143211c481c1fce573a6ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef404d724a61636b4c6576696e20406c62656c79616576206661697263727970746f2e6f7267a26469706673582212205d99d951935f4dcf8e772260a883ef95a22732bf0de5ba83b350fcd91ec5294864736f6c63430008110033

Math : 0x6204463abb400959c929ac431dff152113b1c643

46634:14705:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;47356:42;;47395:3;47356:42;;;;;160:25:1;;;148:2;133:18;47356:42:0;;;;;;;;48685:29;;;;;;33436:100;;;:::i;:::-;;;;;;;:::i;35787:201::-;;;;;;:::i;:::-;;:::i;:::-;;;1351:14:1;;1344:22;1326:41;;1314:2;1299:18;35787:201:0;1186:187:1;47520:61:0;;;:::i;48091:44::-;;48133:2;48091:44;;48194:40;;48233:1;48194:40;;53777:115;;;:::i;:::-;;;;;;1597:13:1;;1579:32;;1667:4;1655:17;;;1649:24;1627:20;;;1620:54;1730:4;1718:17;;;1712:24;1690:20;;;1683:54;1793:4;1781:17;;;1775:24;1753:20;;;1746:54;;;;1566:3;1551:19;;1378:428;34556:108:0;34644:12;;34556:108;;48569:40;;;;;;56533:1077;;;;;;:::i;:::-;;:::i;:::-;;47407:40;;47446:1;47407:40;;36568:295;;;;;;:::i;:::-;;:::i;34398:93::-;;;34481:2;2286:36:1;;2274:2;2259:18;34398:93:0;2144:184:1;48292:46:0;;48336:2;48292:46;;37272:238;;;;;;:::i;:::-;;:::i;60095:634::-;;;:::i;54448:106::-;;;:::i;55666:666::-;;;:::i;57787:1489::-;;;;;;:::i;:::-;;:::i;47298:51::-;;47339:10;47298:51;;53564:112;;;:::i;:::-;;;;;;2807:13:1;;-1:-1:-1;;;;;2803:39:1;2785:58;;2899:4;2887:17;;;2881:24;2859:20;;;2852:54;2962:4;2950:17;;;2944:24;2922:20;;;2915:54;3025:4;3013:17;;;3007:24;2985:20;;;2978:54;3088:4;3076:17;;;3070:24;3048:20;;;3041:54;2830:3;3139:17;;;3133:24;3111:20;;;3104:54;;;;2772:3;2757:19;;2586:578;34727:127:0;;;;;;:::i;:::-;-1:-1:-1;;;;;34828:18:0;34801:7;34828:18;;;;;;;;;;;;34727:127;47656:43;;47697:2;47656:43;;59363:639;;;;;;:::i;:::-;;:::i;48345:39::-;;48383:1;48345:39;;54125:103;;;:::i;48850:47::-;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3591:25:1;;;3647:2;3632:18;;3625:34;;;;3675:18;;;3668:34;3733:2;3718:18;;3711:34;3578:3;3563:19;48850:47:0;3360:391:1;47885:42:0;;47924:3;47885:42;;33655:104;;;:::i;54287:98::-;;;:::i;53951:110::-;;;:::i;60856:480::-;;;;;;:::i;:::-;;:::i;54715:822::-;;;;;;:::i;:::-;;:::i;38013:436::-;;;;;;:::i;:::-;;:::i;35060:193::-;;;;;;:::i;:::-;;:::i;53068:395::-;;;;;;:::i;:::-;;:::i;47706:56::-;;47757:5;47706:56;;48616:28;;;;;;48393:72;;;:::i;47588:61::-;;;:::i;48034:50::-;;48083:1;48034:50;;48944:44;;;;;;:::i;:::-;;;;;;;;;;;;;;35316:151;;;;;;:::i;:::-;;:::i;48759:45::-;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;48759:45:0;;;;;;;;;;;;;;;;-1:-1:-1;;;;;4901:32:1;;;4883:51;;4965:2;4950:18;;4943:34;;;;4993:18;;;4986:34;;;;5051:2;5036:18;;5029:34;5094:3;5079:19;;5072:35;4921:3;5123:19;;5116:35;4870:3;4855:19;48759:45:0;4596:561:1;48528:34:0;;;;;47769:54;;47818:5;47769:54;;48651:27;;;;;;47456:57;;;:::i;47980:47::-;;48020:7;47980:47;;48243:42;;48283:2;48243:42;;33436:100;33490:13;33523:5;33516:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;33436:100;:::o;35787:201::-;35870:4;31160:10;35926:32;31160:10;35942:7;35951:6;35926:8;:32::i;:::-;35976:4;35969:11;;;35787:201;;;;;:::o;47520:61::-;47561:20;47339:10;47561:3;:20;:::i;:::-;47520:61;:::o;53777:115::-;53824:16;-1:-1:-1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;53824:16:0;-1:-1:-1;31160:10:0;53860:24;;;;:10;:24;;;;;;;;;53853:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;53777:115::o;56533:1077::-;31160:10;56614:24;56641:23;;;:9;:23;;;;;;;;;56614:50;;;;;;;;;-1:-1:-1;;;;;56614:50:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;56683:19;;56675:69;;;;-1:-1:-1;;;56675:69:0;;6054:2:1;56675:69:0;;;6036:21:1;6093:2;6073:18;;;6066:30;6132:34;6112:18;;;6105:62;-1:-1:-1;;;6183:18:1;;;6176:35;6228:19;;56675:69:0;;;;;;;;;56769:1;56763:3;:7;56755:52;;;;-1:-1:-1;;;56755:52:0;;6460:2:1;56755:52:0;;;6442:21:1;;;6479:18;;;6472:30;6538:34;6518:18;;;6511:62;6590:18;;56755:52:0;6258:356:1;56755:52:0;56832:3;56826;:9;56818:54;;;;-1:-1:-1;;;56818:54:0;;6821:2:1;56818:54:0;;;6803:21:1;;;6840:18;;;6833:30;6899:34;6879:18;;;6872:62;6951:18;;56818:54:0;6619:356:1;56818:54:0;56907:1;56891:8;:13;;;:17;56883:51;;;;-1:-1:-1;;;56883:51:0;;;;;;;:::i;:::-;56971:8;:19;;;56953:15;:37;56945:82;;;;-1:-1:-1;;;56945:82:0;;;;;;;:::i;:::-;57069:20;57092:185;57127:8;:13;;;57155:8;:13;;;57183:8;:19;;;57217:8;:18;;;57250:8;:16;;;57092:20;:185::i;:::-;:195;;57280:7;57092:195;:::i;:::-;57069:218;-1:-1:-1;57298:20:0;57344:3;57322:18;57337:3;57069:218;57322:18;:::i;:::-;57321:26;;;;:::i;:::-;57298:49;-1:-1:-1;57358:17:0;57378:27;57298:49;57378:12;:27;:::i;:::-;57358:47;-1:-1:-1;57449:30:0;31160:10;57455:12;57469:9;57449:5;:30::i;:::-;57490:26;57496:5;57503:12;57490:5;:26::i;:::-;57529:18;:16;:18::i;:::-;57563:39;;160:25:1;;;31160:10:0;;-1:-1:-1;;;;;;;;;;;57563:39:0;148:2:1;133:18;57563:39:0;;;;;;;;56603:1007;;;;56533:1077;;:::o;36568:295::-;36699:4;31160:10;36757:38;36773:4;31160:10;36788:6;36757:15;:38::i;:::-;36806:27;36816:4;36822:2;36826:6;36806:9;:27::i;:::-;-1:-1:-1;36851:4:0;;36568:295;-1:-1:-1;;;;36568:295:0:o;37272:238::-;37360:4;31160:10;37416:64;31160:10;37432:7;37469:10;37441:25;31160:10;37432:7;37441:9;:25::i;:::-;:38;;;;:::i;:::-;37416:8;:64::i;60095:634::-;31160:10;60135:26;60164:24;;;:10;:24;;;;;;;;;60135:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;60199;;;;-1:-1:-1;;;60199:53:0;;8510:2:1;60199:53:0;;;8492:21:1;8549:2;8529:18;;;8522:30;-1:-1:-1;;;8568:18:1;;;8561:50;8628:18;;60199:53:0;8308:344:1;60199:53:0;60265:17;60285:155;60321:9;:16;;;60352:9;:14;;;60381:9;:20;;;60416:9;:13;;;60285:21;:155::i;:::-;60451:12;:14;;60265:175;;-1:-1:-1;60451:12:0;:14;;;:::i;:::-;;;;;;60494:9;:16;;;60476:14;;:34;;;;;;;:::i;:::-;;;;-1:-1:-1;60562:49:0;;-1:-1:-1;31160:10:0;60601:9;60582;:16;;;:28;;;;:::i;:::-;60562:5;:49::i;:::-;60651:16;;;;;60627:52;;8972:25:1;;;9028:2;9013:18;;9006:34;;;31160:10:0;;60627:52;;8945:18:1;60627:52:0;;;;;;;-1:-1:-1;;31160:10:0;60697:24;;;;:10;:24;;;;;60690:31;;;;;;;;;;;;;;;;;;60095:634::o;54448:106::-;54500:7;54527:19;:17;:19::i;:::-;54520:26;;54448:106;:::o;55666:666::-;31160:10;55713:24;55740:23;;;:9;:23;;;;;;;;;55713:50;;;;;;;;;-1:-1:-1;;;;;55713:50:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;55774:51;;;;-1:-1:-1;;;55774:51:0;;;;;;;:::i;:::-;55862:8;:19;;;55844:15;:37;55836:82;;;;-1:-1:-1;;;55836:82:0;;;;;;;:::i;:::-;55976:20;55999:185;56034:8;:13;;;56062:8;:13;;;56090:8;:19;;;56124:8;:18;;;56157:8;:16;;;55999:20;:185::i;:::-;:195;;56187:7;55999:195;:::i;:::-;55976:218;-1:-1:-1;56205:33:0;31160:10;56211:12;31080:98;56205:33;56251:18;:16;:18::i;:::-;56285:39;;160:25:1;;;31160:10:0;;-1:-1:-1;;;;;;;;;;;56285:39:0;148:2:1;133:18;56285:39:0;;;;;;;;55702:630;;55666:666::o;57787:1489::-;31160:10;57867:24;57894:23;;;:9;:23;;;;;;;;;57867:50;;;;;;;;;-1:-1:-1;;;;;57867:50:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;58008:3;58002:9;;57994:54;;;;-1:-1:-1;;;57994:54:0;;9253:2:1;57994:54:0;;;9235:21:1;;;9272:18;;;9265:30;9331:34;9311:18;;;9304:62;9383:18;;57994:54:0;9051:356:1;57994:54:0;58083:1;58067:8;:13;;;:17;58059:51;;;;-1:-1:-1;;;58059:51:0;;;;;;;:::i;:::-;58147:8;:19;;;58129:15;:37;58121:82;;;;-1:-1:-1;;;58121:82:0;;;;;;;:::i;:::-;58245:20;58268:185;58303:8;:13;;;58331:8;:13;;;58359:8;:19;;;58393:8;:18;;;58426:8;:16;;;58268:20;:185::i;:::-;:195;;58456:7;58268:195;:::i;:::-;58245:218;-1:-1:-1;58474:20:0;58520:3;58498:18;58513:3;58245:218;58498:18;:::i;:::-;58497:26;;;;:::i;:::-;58474:49;-1:-1:-1;58534:17:0;58554:27;58474:49;58554:12;:27;:::i;:::-;58534:47;-1:-1:-1;58630:30:0;31160:10;58636:12;31080:98;58630:30;58671:18;:16;:18::i;:::-;58705:39;;160:25:1;;;31160:10:0;;-1:-1:-1;;;;;;;;;;;58705:39:0;148:2:1;133:18;58705:39:0;;;;;;;48184:1;58867:12;:28;58859:61;;;;-1:-1:-1;;;58859:61:0;;;;;;;:::i;:::-;47512:1;47491:18;47339:10;47512:1;47491:18;:::i;:::-;:22;;;;:::i;:::-;58939:21;47339:10;58939:4;:21;:::i;:::-;:32;58931:70;;;;-1:-1:-1;;;58931:70:0;;;;;;;:::i;:::-;47627:22;47339:10;47627:5;:22;:::i;:::-;59044:16;;59059:1;59044:16;:::i;:::-;59020:21;47339:10;59020:4;:21;:::i;:::-;:40;59012:78;;;;-1:-1:-1;;;59012:78:0;;;;;;;:::i;:::-;31160:10;59109:24;;;;:10;:24;;;;;:31;;;:36;59101:66;;;;-1:-1:-1;;;59101:66:0;;;;;;;:::i;:::-;59180:32;59193:12;59207:4;59180:12;:32::i;:::-;59228:40;;;8972:25:1;;;9028:2;9013:18;;9006:34;;;31160:10:0;;59228:40;;8945:18:1;59228:40:0;8798:248:1;53564:112:0;53610:15;-1:-1:-1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;53610:15:0;-1:-1:-1;31160:10:0;53645:23;;;;:9;:23;;;;;;;;;53638:30;;;;;;;;;-1:-1:-1;;;;;53638:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;53564:112::o;59363:639::-;59463:6;59436:23;31160:10;34727:127;:::i;59436:23::-;:33;;59428:69;;;;-1:-1:-1;;;59428:69:0;;11017:2:1;59428:69:0;;;10999:21:1;11056:2;11036:18;;;11029:30;-1:-1:-1;;;11075:18:1;;;11068:53;11138:18;;59428:69:0;10815:347:1;59428:69:0;48184:1;59516:6;:22;59508:55;;;;-1:-1:-1;;;59508:55:0;;;;;;;:::i;:::-;47512:1;47491:18;47339:10;47512:1;47491:18;:::i;:::-;:22;;;;:::i;:::-;59582:21;47339:10;59582:4;:21;:::i;:::-;:32;59574:70;;;;-1:-1:-1;;;59574:70:0;;;;;;;:::i;:::-;47627:22;47339:10;47627:5;:22;:::i;:::-;59687:16;;59702:1;59687:16;:::i;:::-;59663:21;47339:10;59663:4;:21;:::i;:::-;:40;59655:78;;;;-1:-1:-1;;;59655:78:0;;;;;;;:::i;:::-;31160:10;59752:24;;;;:10;:24;;;;;:31;;;:36;59744:66;;;;-1:-1:-1;;;59744:66:0;;;;;;;:::i;:::-;59851:27;31160:10;59871:6;59851:5;:27::i;:::-;59918:26;59931:6;59939:4;59918:12;:26::i;:::-;59960:34;;;8972:25:1;;;9028:2;9013:18;;9006:34;;;31160:10:0;;59960:34;;8945:18:1;59960:34:0;8798:248:1;54125:103:0;54174:7;54201:19;:17;:19::i;33655:104::-;33711:13;33744:7;33737:14;;;;;:::i;54287:98::-;54335:7;54362:15;:13;:15::i;53951:110::-;53999:7;54026:27;:25;:27::i;60856:480::-;48233:1;60926:6;:21;60918:55;;;;-1:-1:-1;;;60918:55:0;;11369:2:1;60918:55:0;;;11351:21:1;11408:2;11388:18;;;11381:30;-1:-1:-1;;;11427:18:1;;;11420:51;11488:18;;60918:55:0;11167:345:1;60918:55:0;31160:10;61006:74;;-1:-1:-1;;;61006:74:0;;-1:-1:-1;;;61006:74:0;;;11661:52:1;-1:-1:-1;;;;;61006:39:0;;;;;;;11634:18:1;;61006:74:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;60984:154;;;;-1:-1:-1;;;60984:154:0;;12208:2:1;60984:154:0;;;12190:21:1;12247:2;12227:18;;;12220:30;12286:32;12266:18;;;12259:60;12336:18;;60984:154:0;12006:354:1;60984:154:0;61151:43;61167:4;31160:10;61187:6;61151:15;:43::i;:::-;61205:19;61211:4;61217:6;61205:5;:19::i;:::-;-1:-1:-1;;;;;61235:15:0;;;;;;:9;:15;;;;;:25;;61254:6;;61235:15;:25;;61254:6;;61235:25;:::i;:::-;;;;-1:-1:-1;31160:10:0;;-1:-1:-1;61271:57:0;;-1:-1:-1;;;61271:57:0;;-1:-1:-1;;;;;12557:32:1;;;61271:57:0;;;12539:51:1;12606:18;;;12599:34;;;61271:43:0;;;;;;;12512:18:1;;61271:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;60856:480;;:::o;54715:822::-;54768:15;54786:21;47339:10;54786:4;:21;:::i;:::-;54768:39;-1:-1:-1;47512:1:0;47491:18;47339:10;47512:1;47491:18;:::i;:::-;:22;;;;:::i;:::-;54826:7;:18;54818:56;;;;-1:-1:-1;;;54818:56:0;;12846:2:1;54818:56:0;;;12828:21:1;12885:2;12865:18;;;12858:30;-1:-1:-1;;;12904:18:1;;;12897:55;12969:18;;54818:56:0;12644:349:1;54818:56:0;54903:19;:17;:19::i;:::-;:23;;54925:1;54903:23;:::i;:::-;54893:7;:33;54885:84;;;;-1:-1:-1;;;54885:84:0;;13200:2:1;54885:84:0;;;13182:21:1;13239:2;13219:18;;;13212:30;13278:34;13258:18;;;13251:62;-1:-1:-1;;;13329:18:1;;;13322:36;13375:19;;54885:84:0;12998:402:1;54885:84:0;31160:10;54988:23;;;;:9;:23;;;;;:28;;;:33;54980:77;;;;-1:-1:-1;;;54980:77:0;;13607:2:1;54980:77:0;;;13589:21:1;13646:2;13626:18;;;13619:30;13685:33;13665:18;;;13658:61;13736:18;;54980:77:0;13405:355:1;54980:77:0;55112:24;55139:258;;;;;;;;55169:12;31160:10;;31080:98;55169:12;-1:-1:-1;;;;;55139:258:0;;;;;;;;;;;55233:25;55251:7;55233:15;:25;:::i;:::-;55139:258;;;;55279:10;;55139:258;;;;55315:27;:25;:27::i;:::-;55139:258;;;;55366:19;:17;:19::i;:::-;55139:258;;31160:10;55408:23;;;;:9;:23;;;;;;;;:34;;;;-1:-1:-1;;;;;;55408:34:0;-1:-1:-1;;;;;55408:34:0;;;;;;;;;;-1:-1:-1;55408:34:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;55453:13;:15;;55408:34;;-1:-1:-1;55453:13:0;:15;;;:::i;:::-;;;;;;55496:12;31160:10;;31080:98;55496:12;-1:-1:-1;;;;;55484:45:0;;55510:4;55516:10;;:12;;;;;;;;;:::i;:::-;;;;-1:-1:-1;55484:45:0;;;8972:25:1;;;9028:2;9013:18;;9006:34;;;;8945:18;55484:45:0;;;;;;;54757:780;;54715:822;:::o;38013:436::-;38106:4;31160:10;38106:4;38189:25;31160:10;38206:7;38189:9;:25::i;:::-;38162:52;;38253:15;38233:16;:35;;38225:85;;;;-1:-1:-1;;;38225:85:0;;14107:2:1;38225:85:0;;;14089:21:1;14146:2;14126:18;;;14119:30;14185:34;14165:18;;;14158:62;-1:-1:-1;;;14236:18:1;;;14229:35;14281:19;;38225:85:0;13905:401:1;38225:85:0;38346:60;38355:5;38362:7;38390:15;38371:16;:34;38346:8;:60::i;35060:193::-;35139:4;31160:10;35195:28;31160:10;35212:2;35216:6;35195:9;:28::i;53068:395::-;53221:7;53241:13;53257:28;:20;:9;:18;:20::i;:::-;:26;;;:28::i;:::-;53241:44;;53296:16;53315:73;53373:14;:3;:12;:14::i;:::-;53315:53;53352:15;:4;:13;:15::i;:::-;53315:32;53326:20;:9;:18;:20::i;:::-;53315:10;;;;;;:32::i;:::-;:36;;;;:53::i;:73::-;53296:92;;53406:49;:40;53420:25;53428:5;53420:23;:25::i;:::-;53406:13;;;;;;:40::i;:::-;:47;;;:49::i;:::-;-1:-1:-1;;;;;53399:56:0;;;;;53068:395;;;;;;;:::o;48393:72::-;;;;;;;;;;;;;;;;;;;:::o;47588:61::-;47627:22;47339:10;47627:5;:22;:::i;35316:151::-;-1:-1:-1;;;;;35432:18:0;;;35405:7;35432:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;35316:151::o;47456:57::-;47512:1;47491:18;47339:10;47512:1;47491:18;:::i;:::-;:22;;;;:::i;41638:380::-;-1:-1:-1;;;;;41774:19:0;;41766:68;;;;-1:-1:-1;;;41766:68:0;;14513:2:1;41766:68:0;;;14495:21:1;14552:2;14532:18;;;14525:30;14591:34;14571:18;;;14564:62;-1:-1:-1;;;14642:18:1;;;14635:34;14686:19;;41766:68:0;14311:400:1;41766:68:0;-1:-1:-1;;;;;41853:21:0;;41845:68;;;;-1:-1:-1;;;41845:68:0;;14918:2:1;41845:68:0;;;14900:21:1;14957:2;14937:18;;;14930:30;14996:34;14976:18;;;14969:62;-1:-1:-1;;;15047:18:1;;;15040:32;15089:19;;41845:68:0;14716:398:1;41845:68:0;-1:-1:-1;;;;;41926:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;41978:32;;160:25:1;;;41978:32:0;;133:18:1;41978:32:0;;;;;;;;41638:380;;;:::o;50217:540::-;50406:7;;50445:28;50463:10;50445:15;:28;:::i;:::-;50426:47;;50484:15;50502:18;50511:8;50502;:18::i;:::-;50484:36;;50531:17;50551:4;:8;50573:5;50560:10;;:18;;;;:::i;:::-;50551:31;;-1:-1:-1;;;;;;50551:31:0;;;;;;;;;;8972:25:1;;;;50580:1:0;9013:18:1;;;9006:34;8945:18;;50551:31:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;50531:51;-1:-1:-1;50593:11:0;50608:15;50616:7;50608:5;:15;:::i;:::-;50593:31;;50635:14;50652:47;50667:9;50678;50689:4;50695:3;50652:14;:47::i;:::-;50635:64;-1:-1:-1;50746:3:0;50728:13;50734:7;50746:3;50728:13;:::i;:::-;50718:24;;:6;:24;:::i;:::-;50717:32;;;;:::i;:::-;50710:39;50217:540;-1:-1:-1;;;;;;;;;;;50217:540:0:o;39877:399::-;-1:-1:-1;;;;;39961:21:0;;39953:65;;;;-1:-1:-1;;;39953:65:0;;15779:2:1;39953:65:0;;;15761:21:1;15818:2;15798:18;;;15791:30;15857:33;15837:18;;;15830:61;15908:18;;39953:65:0;15577:355:1;39953:65:0;40109:6;40093:12;;:22;;;;;;;:::i;:::-;;;;-1:-1:-1;;;;;;;40126:18:0;;:9;:18;;;;;;;;;;:28;;40148:6;;40126:9;:28;;40148:6;;40126:28;:::i;:::-;;;;-1:-1:-1;;40170:37:0;;160:25:1;;;-1:-1:-1;;;;;40170:37:0;;;40187:1;;-1:-1:-1;;;;;;;;;;;40170:37:0;148:2:1;133:18;40170:37:0;;;;;;;39877:399;;:::o;50849:111::-;31160:10;50903:23;;;;:9;:23;;;;;50896:30;;-1:-1:-1;;;;;;50896:30:0;;;-1:-1:-1;50896:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;50937:13;:15;;;;;;:::i;:::-;;;;;;50849:111::o;42309:453::-;42444:24;42471:25;42481:5;42488:7;42471:9;:25::i;:::-;42444:52;;-1:-1:-1;;42511:16:0;:37;42507:248;;42593:6;42573:16;:26;;42565:68;;;;-1:-1:-1;;;42565:68:0;;16139:2:1;42565:68:0;;;16121:21:1;16178:2;16158:18;;;16151:30;16217:31;16197:18;;;16190:59;16266:18;;42565:68:0;15937:353:1;42565:68:0;42677:51;42686:5;42693:7;42721:6;42702:16;:25;42677:8;:51::i;:::-;42433:329;42309:453;;;:::o;38919:671::-;-1:-1:-1;;;;;39050:18:0;;39042:68;;;;-1:-1:-1;;;39042:68:0;;16497:2:1;39042:68:0;;;16479:21:1;16536:2;16516:18;;;16509:30;16575:34;16555:18;;;16548:62;-1:-1:-1;;;16626:18:1;;;16619:35;16671:19;;39042:68:0;16295:401:1;39042:68:0;-1:-1:-1;;;;;39129:16:0;;39121:64;;;;-1:-1:-1;;;39121:64:0;;16903:2:1;39121:64:0;;;16885:21:1;16942:2;16922:18;;;16915:30;16981:34;16961:18;;;16954:62;-1:-1:-1;;;17032:18:1;;;17025:33;17075:19;;39121:64:0;16701:399:1;39121:64:0;-1:-1:-1;;;;;39271:15:0;;39249:19;39271:15;;;;;;;;;;;39305:21;;;;39297:72;;;;-1:-1:-1;;;39297:72:0;;17307:2:1;39297:72:0;;;17289:21:1;17346:2;17326:18;;;17319:30;17385:34;17365:18;;;17358:62;-1:-1:-1;;;17436:18:1;;;17429:36;17482:19;;39297:72:0;17105:402:1;39297:72:0;-1:-1:-1;;;;;39405:15:0;;;:9;:15;;;;;;;;;;;39423:20;;;39405:38;;39465:13;;;;;;;;:23;;39437:6;;39405:9;39465:23;;39437:6;;39465:23;:::i;:::-;;;;;;;;39521:2;-1:-1:-1;;;;;39506:26:0;39515:4;-1:-1:-1;;;;;39506:26:0;-1:-1:-1;;;;;;;;;;;39525:6:0;39506:26;;;;160:25:1;;148:2;133:18;;14:177;39506:26:0;;;;;;;;39545:37;40609:591;51027:371;51186:7;51228:10;51210:15;:28;51206:166;;;51255:12;47395:3;51271:10;51277:4;51271:3;:10;:::i;:::-;:22;;51284:9;51271:22;:::i;:::-;51270:39;;;;:::i;:::-;51255:54;-1:-1:-1;51349:11:0;51332:13;51255:54;51332:6;:13;:::i;:::-;51331:29;;;;:::i;:::-;51324:36;;;;;51206:166;-1:-1:-1;51389:1:0;51027:371;;;;;;:::o;49258:388::-;49309:7;47757:5;49333:10;;:37;49329:278;;;49387:13;49403:69;:60;49437:25;47697:2;49437:23;:25::i;:::-;49403:29;:21;:10;;:19;:21::i;:69::-;-1:-1:-1;;;;;49387:85:0;;-1:-1:-1;49487:14:0;49521:22;47339:10;49387:85;49521:22;:::i;:::-;47561:20;47339:10;47561:3;:20;:::i;:::-;49504:39;;;;:::i;:::-;49487:56;-1:-1:-1;49565:4:0;:8;49487:56;47627:22;47339:10;47627:5;:22;:::i;:::-;49565:30;;-1:-1:-1;;;;;;49565:30:0;;;;;;;;;;8972:25:1;;;;9013:18;;;9006:34;8945:18;;49565:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;49558:37;;;;49258:388;:::o;49329:278::-;47561:20;47339:10;47561:3;:20;:::i;52620:343::-;52718:177;;;;;;;;52749:4;52718:177;;;;47339:10;52798:4;:21;;;;:::i;:::-;52780:39;;:15;:39;:::i;:::-;52718:177;;;;52842:6;52718:177;;;;52868:15;:13;:15::i;:::-;52718:177;;31160:10;52691:24;;;;:10;:24;;;;;;;;:204;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;52906:12;:14;;;;;;:::i;:::-;;;;;;52949:6;52931:14;;:24;;;;;;;:::i;:::-;;;;-1:-1:-1;;;;52620:343:0:o;40609:591::-;-1:-1:-1;;;;;40693:21:0;;40685:67;;;;-1:-1:-1;;;40685:67:0;;17975:2:1;40685:67:0;;;17957:21:1;18014:2;17994:18;;;17987:30;18053:34;18033:18;;;18026:62;-1:-1:-1;;;18104:18:1;;;18097:31;18145:19;;40685:67:0;17773:397:1;40685:67:0;-1:-1:-1;;;;;40852:18:0;;40827:22;40852:18;;;;;;;;;;;40889:24;;;;40881:71;;;;-1:-1:-1;;;40881:71:0;;18377:2:1;40881:71:0;;;18359:21:1;18416:2;18396:18;;;18389:30;18455:34;18435:18;;;18428:62;-1:-1:-1;;;18506:18:1;;;18499:32;18548:19;;40881:71:0;18175:398:1;40881:71:0;-1:-1:-1;;;;;40988:18:0;;:9;:18;;;;;;;;;;41009:23;;;40988:44;;41054:12;:22;;41026:6;;40988:9;41054:22;;41026:6;;41054:22;:::i;:::-;;;;-1:-1:-1;;41094:37:0;;160:25:1;;;41120:1:0;;-1:-1:-1;;;;;41094:37:0;;;-1:-1:-1;;;;;;;;;;;41094:37:0;148:2:1;133:18;41094:37:0;14:177:1;51995:229:0;52046:7;52066:16;48020:7;52100:10;;47972:1;52086:24;;;;:::i;:::-;52085:42;;;;:::i;:::-;52066:61;;47924:3;52142:8;:23;52138:37;;;52174:1;52167:8;;;51995:229;:::o;52138:37::-;52193:23;52208:8;47924:3;52193:23;:::i;:::-;52186:30;;;51995:229;:::o;52285:277::-;52332:7;;52404:34;48336:2;47339:10;52404:34;:::i;:::-;52372:27;52390:9;52372:15;:27;:::i;:::-;52371:68;;;;:::i;:::-;52352:87;-1:-1:-1;52352:87:0;52454:27;48383:1;48283:2;52454:27;:::i;:::-;:38;52450:62;;;48383:1;52494:18;;;52285:277;:::o;52450:62::-;52530:24;52546:8;48283:2;52530:24;:::i;51465:387::-;51524:7;;47339:10;51573:27;51591:9;51573:15;:27;:::i;:::-;51572:46;;;;:::i;:::-;51544:74;;47818:5;51633:17;:42;51629:216;;;51699:4;:8;51708:42;51733:17;47818:5;51708:42;:::i;:::-;51699:74;;-1:-1:-1;;;;;;51699:74:0;;;;;;;;;;8972:25:1;;;;47877:1:0;9013:18:1;;;9006:34;8945:18;;51699:74:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;51629:216::-;47877:1;51806:27;;;51465:387;:::o;2028:174::-;2081:6;2129:18;2124:1;:23;;2115:33;;;;;;-1:-1:-1;2185:2:0;2180:7;;2028:174::o;14603:863::-;14652:6;14699:1;14695;:5;;;14686:15;;;;;;14712:10;14735:13;;;;-1:-1:-1;;;14761:25:0;;14757:56;;14797:2;14801:9;;;;14790;14757:56;-1:-1:-1;;;14825:2:0;:17;14821:48;;14853:2;14857:9;;;;14846;14821:48;14887:7;14881:2;:13;14877:44;;14905:2;14909:9;;;;14898;14877:44;14939:5;14933:2;:11;14929:40;;14955:1;14958:8;;;;14948;14929:40;14987:4;14981:2;:10;14977:39;;15002:1;15005:8;;;;14995;14977:39;15034:3;15028:2;:9;15024:38;;15048:1;15051:8;;;;15041;15024:38;15080:3;15074:2;:9;15070:23;;15092:1;15085:8;;;;15070:23;-1:-1:-1;;15152:8:0;;15164:2;15152:14;15197:10;;;;15221:3;:9;;;15188:43;-1:-1:-1;;;15240:181:0;15284:1;15278:3;:7;15240:181;;;15309:8;;;15346:3;15340:9;;;15395:16;;;15385:26;;;;;15367:3;:7;15360:14;;15295:1;15287:9;15240:181;;;-1:-1:-1;15446:6:0;;14603:863;-1:-1:-1;;;;;14603:863:0:o;4551:231::-;4608:6;4658:13;:9;;;:13;;;;;4675:2;4658:19;-1:-1:-1;;;;;;4695:19:0;;;;;:42;;-1:-1:-1;;;;;;4718:19:0;;;4695:42;4686:52;;;;;;4762:6;4551:231;-1:-1:-1;;;4551:231:0:o;7274:259::-;7331:6;7374:1;:6;;7379:1;7374:6;7365:16;;;;;;7390:13;7427:1;7406:22;;7421:2;7415:1;7407:10;;:16;;7406:22;;;;;:::i;:::-;;;-1:-1:-1;;;;;;;7446:19:0;;;;;:42;;-1:-1:-1;;;;;;7469:19:0;;;7437:52;;;;;2449:155;2499:6;2547:1;2542;:6;;;;2533:16;;;;;;-1:-1:-1;2582:7:0;;2587:2;2582:7;;2449:155::o;49737:391::-;49795:7;;49879:25;47339:10;49879:8;:25;:::i;:::-;49860:44;-1:-1:-1;49930:26:0;49955:1;48083;49930:26;:::i;:::-;49919:8;:37;49915:65;;;-1:-1:-1;48133:2:0;;49737:391;-1:-1:-1;;49737:391:0:o;49915:65::-;49991:15;50067:1;48083;50025:12;:8;50036:1;50025:12;:::i;:::-;50018:1;50010:28;;50009:55;;;;:::i;:::-;:59;;;;:::i;:::-;50086:34;;-1:-1:-1;;;50086:34:0;;;;;8972:25:1;;;48133:2:0;9013:18:1;;;9006:34;49991:77:0;;-1:-1:-1;50086:4:0;;:8;;8945:18:1;;50086:34:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;196:548:1:-;308:4;337:2;366;355:9;348:21;398:6;392:13;441:6;436:2;425:9;421:18;414:34;466:1;476:140;490:6;487:1;484:13;476:140;;;585:14;;;581:23;;575:30;551:17;;;570:2;547:26;540:66;505:10;;476:140;;;480:3;665:1;660:2;651:6;640:9;636:22;632:31;625:42;735:2;728;724:7;719:2;711:6;707:15;703:29;692:9;688:45;684:54;676:62;;;;196:548;;;;:::o;749:173::-;817:20;;-1:-1:-1;;;;;866:31:1;;856:42;;846:70;;912:1;909;902:12;846:70;749:173;;;:::o;927:254::-;995:6;1003;1056:2;1044:9;1035:7;1031:23;1027:32;1024:52;;;1072:1;1069;1062:12;1024:52;1095:29;1114:9;1095:29;:::i;:::-;1085:39;1171:2;1156:18;;;;1143:32;;-1:-1:-1;;;927:254:1:o;1811:328::-;1888:6;1896;1904;1957:2;1945:9;1936:7;1932:23;1928:32;1925:52;;;1973:1;1970;1963:12;1925:52;1996:29;2015:9;1996:29;:::i;:::-;1986:39;;2044:38;2078:2;2067:9;2063:18;2044:38;:::i;:::-;2034:48;;2129:2;2118:9;2114:18;2101:32;2091:42;;1811:328;;;;;:::o;2333:248::-;2401:6;2409;2462:2;2450:9;2441:7;2437:23;2433:32;2430:52;;;2478:1;2475;2468:12;2430:52;-1:-1:-1;;2501:23:1;;;2571:2;2556:18;;;2543:32;;-1:-1:-1;2333:248:1:o;3169:186::-;3228:6;3281:2;3269:9;3260:7;3256:23;3252:32;3249:52;;;3297:1;3294;3287:12;3249:52;3320:29;3339:9;3320:29;:::i;3756:180::-;3815:6;3868:2;3856:9;3847:7;3843:23;3839:32;3836:52;;;3884:1;3881;3874:12;3836:52;-1:-1:-1;3907:23:1;;3756:180;-1:-1:-1;3756:180:1:o;3941:385::-;4027:6;4035;4043;4051;4104:3;4092:9;4083:7;4079:23;4075:33;4072:53;;;4121:1;4118;4111:12;4072:53;-1:-1:-1;;4144:23:1;;;4214:2;4199:18;;4186:32;;-1:-1:-1;4265:2:1;4250:18;;4237:32;;4316:2;4301:18;4288:32;;-1:-1:-1;3941:385:1;-1:-1:-1;3941:385:1:o;4331:260::-;4399:6;4407;4460:2;4448:9;4439:7;4435:23;4431:32;4428:52;;;4476:1;4473;4466:12;4428:52;4499:29;4518:9;4499:29;:::i;:::-;4489:39;;4547:38;4581:2;4570:9;4566:18;4547:38;:::i;:::-;4537:48;;4331:260;;;;;:::o;5162:380::-;5241:1;5237:12;;;;5284;;;5305:61;;5359:4;5351:6;5347:17;5337:27;;5305:61;5412:2;5404:6;5401:14;5381:18;5378:38;5375:161;;5458:10;5453:3;5449:20;5446:1;5439:31;5493:4;5490:1;5483:15;5521:4;5518:1;5511:15;5375:161;;5162:380;;;:::o;5547:127::-;5608:10;5603:3;5599:20;5596:1;5589:31;5639:4;5636:1;5629:15;5663:4;5660:1;5653:15;5679:168;5752:9;;;5783;;5800:15;;;5794:22;;5780:37;5770:71;;5821:18;;:::i;6980:345::-;7182:2;7164:21;;;7221:2;7201:18;;;7194:30;-1:-1:-1;;;7255:2:1;7240:18;;7233:51;7316:2;7301:18;;6980:345::o;7330:356::-;7532:2;7514:21;;;7551:18;;;7544:30;7610:34;7605:2;7590:18;;7583:62;7677:2;7662:18;;7330:356::o;7691:127::-;7752:10;7747:3;7743:20;7740:1;7733:31;7783:4;7780:1;7773:15;7807:4;7804:1;7797:15;7823:217;7863:1;7889;7879:132;;7933:10;7928:3;7924:20;7921:1;7914:31;7968:4;7965:1;7958:15;7996:4;7993:1;7986:15;7879:132;-1:-1:-1;8025:9:1;;7823:217::o;8045:128::-;8112:9;;;8133:11;;;8130:37;;;8147:18;;:::i;8178:125::-;8243:9;;;8264:10;;;8261:36;;;8277:18;;:::i;8657:136::-;8696:3;8724:5;8714:39;;8733:18;;:::i;:::-;-1:-1:-1;;;8769:18:1;;8657:136::o;9412:344::-;9614:2;9596:21;;;9653:2;9633:18;;;9626:30;-1:-1:-1;;;9687:2:1;9672:18;;9665:50;9747:2;9732:18;;9412:344::o;9761:349::-;9963:2;9945:21;;;10002:2;9982:18;;;9975:30;-1:-1:-1;;;10036:2:1;10021:18;;10014:55;10101:2;10086:18;;9761:349::o;10115:::-;10317:2;10299:21;;;10356:2;10336:18;;;10329:30;-1:-1:-1;;;10390:2:1;10375:18;;10368:55;10455:2;10440:18;;10115:349::o;10469:341::-;10671:2;10653:21;;;10710:2;10690:18;;;10683:30;-1:-1:-1;;;10744:2:1;10729:18;;10722:47;10801:2;10786:18;;10469:341::o;11724:277::-;11791:6;11844:2;11832:9;11823:7;11819:23;11815:32;11812:52;;;11860:1;11857;11850:12;11812:52;11892:9;11886:16;11945:5;11938:13;11931:21;11924:5;11921:32;11911:60;;11967:1;11964;11957:12;13765:135;13804:3;13825:17;;;13822:43;;13845:18;;:::i;:::-;-1:-1:-1;13892:1:1;13881:13;;13765:135::o;15388:184::-;15458:6;15511:2;15499:9;15490:7;15486:23;15482:32;15479:52;;;15527:1;15524;15517:12;15479:52;-1:-1:-1;15550:16:1;;15388:184;-1:-1:-1;15388:184:1:o

ipfs://5d99d951935f4dcf8e772260a883ef95a22732bf0de5ba83b350fcd91ec52948