Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract Context    - function _msgSender()    - function _msgData()  contract Ownable is Context    - function owner()    - function isOwner()    - function renounceOwnership()    - function transferOwnership(address ne ...    - function _transferOwnership(address n ... interface IERC20    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function totalSupply()    - function balanceOf(address who)    - function allowance(address owner, add ... library SafeMath    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function add(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b)  contract ERC20 is IERC20    - function totalSupply()    - function balanceOf(address owner)    - function allowance(address owner, add ...    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address from, addr ...    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _burnFrom(address account, u ...  contract Pausable is Ownable    - function pause()    - function unpause()  contract ReentrancyGuard  contract AvastarRepicantToken is E ... *    - function lockUpTokens(uint256 tokensT ...    - function unlockTokens()    - function lockUpTimeRemaining()    - function claimART()    - function pushSnapshot(address[] memor ...    - function getAmountClaimable(address u ...    - function getCirculatingArt()    - function getTotalMinted()    - function getTokensLockedByAddress(add ...    - function burnArt(uint256 artToBurn)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-11-09
*/

pragma solidity ^0.5.17;

/*
 * @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 GSN 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.
 */
contract Context {
    // Empty internal constructor, to prevent people from mistakenly deploying
    // an instance of this contract, which should be used via inheritance.
    constructor () internal { }
    // solhint-disable-previous-line no-empty-blocks

    function _msgSender() internal view returns (address payable) {
        return msg.sender;
    }

    function _msgData() internal view returns (bytes memory) {
        this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
        return msg.data;
    }
}

// File: node_modules\@openzeppelin\contracts\ownership\Ownable.sol


/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
contract Ownable is Context {
    address private _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor () internal {
        _owner = _msgSender();
        emit OwnershipTransferred(address(0), _owner);
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(isOwner(), "Ownable: caller is not the owner");
        _;
    }

    /**
     * @dev Returns true if the caller is the current owner.
     */
    function isOwner() public view returns (bool) {
        return _msgSender() == _owner;
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby removing any functionality that is only available to the owner.
     */
    function renounceOwnership() public onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public onlyOwner {
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     */
    function _transferOwnership(address newOwner) internal {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

/**
 * @title ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/20
 */
interface IERC20 {
    function transfer(address to, uint256 value) external returns (bool);

    function approve(address spender, uint256 value) external returns (bool);

    function transferFrom(address from, address to, uint256 value) external returns (bool);

    function totalSupply() external view returns (uint256);

    function balanceOf(address who) external view returns (uint256);

    function allowance(address owner, address spender) external view returns (uint256);

    event Transfer(address indexed from, address indexed to, uint256 value);

    event Approval(address indexed owner, address indexed spender, uint256 value);
}


/**
 * @title SafeMath
 * @dev Unsigned math operations with safety checks that revert on error
 */
library SafeMath {
    /**
    * @dev Multiplies two unsigned integers, reverts on overflow.
    */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b);

        return c;
    }

    /**
    * @dev Integer division of two unsigned integers truncating the quotient, reverts on division by zero.
    */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
    * @dev Subtracts two unsigned integers, reverts on overflow (i.e. if subtrahend is greater than minuend).
    */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a);
        uint256 c = a - b;

        return c;
    }

    /**
    * @dev Adds two unsigned integers, reverts on overflow.
    */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a);

        return c;
    }

    /**
    * @dev Divides two unsigned integers and returns the remainder (unsigned integer modulo),
    * reverts when dividing by zero.
    */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0);
        return a % b;
    }
}


/**
 * @title Standard ERC20 token
 *
 * @dev Implementation of the basic standard token.
 * https://github.com/ethereum/EIPs/blob/master/EIPS/eip-20.md
 * Originally based on code by FirstBlood:
 * https://github.com/Firstbloodio/token/blob/master/smart_contract/FirstBloodToken.sol
 *
 * This implementation emits additional Approval events, allowing applications to reconstruct the allowance status for
 * all accounts just by listening to said events. Note that this isn't required by the specification, and other
 * compliant implementations may not do it.
 */
contract ERC20 is IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;

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

    uint256 private _totalSupply;

    /**
    * @dev Total number of tokens in existence
    */
    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    /**
    * @dev Gets the balance of the specified address.
    * @param owner The address to query the balance of.
    * @return An uint256 representing the amount owned by the passed address.
    */
    function balanceOf(address owner) public view returns (uint256) {
        return _balances[owner];
    }

    /**
     * @dev Function to check the amount of tokens that an owner allowed to a spender.
     * @param owner address The address which owns the funds.
     * @param spender address The address which will spend the funds.
     * @return A uint256 specifying the amount of tokens still available for the spender.
     */
    function allowance(address owner, address spender) public view returns (uint256) {
        return _allowed[owner][spender];
    }

    /**
    * @dev Transfer token for a specified address
    * @param to The address to transfer to.
    * @param value The amount to be transferred.
    */
    function transfer(address to, uint256 value) public returns (bool) {
        _transfer(msg.sender, to, value);
        return true;
    }

    /**
     * @dev Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
     * 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
     * @param spender The address which will spend the funds.
     * @param value The amount of tokens to be spent.
     */
    function approve(address spender, uint256 value) public returns (bool) {
        require(spender != address(0));

        _allowed[msg.sender][spender] = value;
        emit Approval(msg.sender, spender, value);
        return true;
    }

    /**
     * @dev Transfer tokens from one address to another.
     * Note that while this function emits an Approval event, this is not required as per the specification,
     * and other compliant implementations may not emit the event.
     * @param from address The address which you want to send tokens from
     * @param to address The address which you want to transfer to
     * @param value uint256 the amount of tokens to be transferred
     */
    function transferFrom(address from, address to, uint256 value) public returns (bool) {
        _allowed[from][msg.sender] = _allowed[from][msg.sender].sub(value);
        _transfer(from, to, value);
        emit Approval(from, msg.sender, _allowed[from][msg.sender]);
        return true;
    }

    /**
     * @dev Increase the amount of tokens that an owner allowed to a spender.
     * approve should be called when allowed_[_spender] == 0. To increment
     * allowed value is better to use this function to avoid 2 calls (and wait until
     * the first transaction is mined)
     * From MonolithDAO Token.sol
     * Emits an Approval event.
     * @param spender The address which will spend the funds.
     * @param addedValue The amount of tokens to increase the allowance by.
     */
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        require(spender != address(0));

        _allowed[msg.sender][spender] = _allowed[msg.sender][spender].add(addedValue);
        emit Approval(msg.sender, spender, _allowed[msg.sender][spender]);
        return true;
    }

    /**
     * @dev Decrease the amount of tokens that an owner allowed to a spender.
     * approve should be called when allowed_[_spender] == 0. To decrement
     * allowed value is better to use this function to avoid 2 calls (and wait until
     * the first transaction is mined)
     * From MonolithDAO Token.sol
     * Emits an Approval event.
     * @param spender The address which will spend the funds.
     * @param subtractedValue The amount of tokens to decrease the allowance by.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        require(spender != address(0));

        _allowed[msg.sender][spender] = _allowed[msg.sender][spender].sub(subtractedValue);
        emit Approval(msg.sender, spender, _allowed[msg.sender][spender]);
        return true;
    }

    /**
    * @dev Transfer token for a specified addresses
    * @param from The address to transfer from.
    * @param to The address to transfer to.
    * @param value The amount to be transferred.
    */
    function _transfer(address from, address to, uint256 value) internal {
        require(to != address(0));

        _balances[from] = _balances[from].sub(value);
        _balances[to] = _balances[to].add(value);
        emit Transfer(from, to, value);
    }

    /**
     * @dev Internal function that mints an amount of the token and assigns it to
     * an account. This encapsulates the modification of balances such that the
     * proper events are emitted.
     * @param account The account that will receive the created tokens.
     * @param value The amount that will be created.
     */
    function _mint(address account, uint256 value) internal {
        require(account != address(0));

        _totalSupply = _totalSupply.add(value);
        _balances[account] = _balances[account].add(value);
        emit Transfer(address(0), account, value);
    }

    /**
     * @dev Internal function that burns an amount of the token of a given
     * account.
     * @param account The account whose tokens will be burnt.
     * @param value The amount that will be burnt.
     */
    function _burn(address account, uint256 value) internal {
        require(account != address(0));

        _totalSupply = _totalSupply.sub(value);
        _balances[account] = _balances[account].sub(value);
        emit Transfer(account, address(0), value);
    }

    /**
     * @dev Internal function that burns an amount of the token of a given
     * account, deducting from the sender's allowance for said account. Uses the
     * internal burn function.
     * Emits an Approval event (reflecting the reduced allowance).
     * @param account The account whose tokens will be burnt.
     * @param value The amount that will be burnt.
     */
    function _burnFrom(address account, uint256 value) internal {
        _allowed[account][msg.sender] = _allowed[account][msg.sender].sub(value);
        _burn(account, value);
        emit Approval(account, msg.sender, _allowed[account][msg.sender]);
    }
}

/**
 * @title Pausable
 * @dev Base contract which allows children to implement an emergency stop mechanism.
 */
contract Pausable is Ownable {
  event Pause();
  event Unpause();

  bool public paused = false;


  /**
   * @dev Modifier to make a function callable only when the contract is not paused.
   */
  modifier whenNotPaused() {
    require(!paused);
    _;
  }

  /**
   * @dev Modifier to make a function callable only when the contract is paused.
   */
  modifier whenPaused() {
    require(paused);
    _;
  }

  /**
   * @dev called by the owner to pause, triggers stopped state
   */
  function pause() onlyOwner whenNotPaused public {
    paused = true;
    emit Pause();
  }

  /**
   * @dev called by the owner to unpause, returns to normal state
   */
  function unpause() onlyOwner whenPaused public {
    paused = false;
    emit Unpause();
  }
}

/**
 * @title Helps contracts guard against reentrancy attacks.
 * @author Remco Bloemen <remco@2π.com>, Eenae <[email protected]>
 * @dev If you mark a function `nonReentrant`, you should also
 * mark it `external`.
 */
contract ReentrancyGuard {
    /// @dev counter to allow mutex lock with only one SSTORE operation
    uint256 private _guardCounter;

    constructor() public {
        // The counter starts at one to prevent changing it from zero to a non-zero
        // value, which is a more expensive operation.
        _guardCounter = 1;
    }

    /**
     * @dev Prevents a contract from calling itself, directly or indirectly.
     * Calling a `nonReentrant` function from another `nonReentrant`
     * function is not supported. It is possible to prevent this from happening
     * by making the `nonReentrant` function external, and make it call a
     * `private` function that does the actual work.
     */
    modifier nonReentrant() {
        _guardCounter += 1;
        uint256 localCounter = _guardCounter;
        _;
        require(localCounter == _guardCounter);
    }
}

contract AvastarRepicantToken is ERC20, ReentrancyGuard, Ownable, Pausable {

    using SafeMath for uint256;

    event ARTMinted(address mintingAddress, uint256 amount);
    event ARTBurned(uint256 amount);
    event ARTLocked(uint256 amount);
    event ARTUnlocked(uint256 amount);    

    mapping (address => uint256) internal tokensLockedByAddress;

    uint8 constant public decimals = 18;
    string constant public name = "Avastar Replicant Token";
    string constant public symbol = "ART";
    uint256 constant public artHardCap = 25200;

    uint256 public totalTokensBurned;    
    uint256 public totalTokensLocked;
    uint256 public lockTimeStamp;
    
    mapping (address => uint256) private amountClaimableByAddress;
    uint256 private constant scaleFactor = uint256(10) ** uint256(decimals);
    
    constructor() public {
        totalTokensLocked = 0;
        totalTokensBurned = 0;
        lockTimeStamp = 1672531199; //1672531199 is 12-31-2022 @ 11:59pm (UTC)
    }

    function lockUpTokens(uint256 tokensToLock) public nonReentrant{
        
        require(tokensToLock >= 0);
        
        transfer(address(this), tokensToLock.mul(scaleFactor));
        
        tokensLockedByAddress[msg.sender] = tokensLockedByAddress[msg.sender] + tokensToLock.mul(scaleFactor);
        totalTokensLocked = totalTokensLocked + tokensToLock;
        
        emit ARTLocked(tokensToLock);
        
    }

    function unlockTokens() public nonReentrant whenNotPaused{
        require(lockUpTimeRemaining() <= 0);
        
        uint256 tokensToUnlock = tokensLockedByAddress[msg.sender];
        tokensLockedByAddress[msg.sender] = 0;
        
        _transfer(address(this), msg.sender, tokensToUnlock);
        totalTokensLocked = totalTokensLocked - tokensToUnlock.div(scaleFactor);
        
        emit ARTUnlocked(tokensToUnlock.div(scaleFactor));
        
    }
    
    function lockUpTimeRemaining() public view returns (int256 secondsRemaining) {
        secondsRemaining = int256(lockTimeStamp - block.timestamp);
        
        if (secondsRemaining < 0){
            secondsRemaining = 0;
        }
    }
    
    function claimART() public nonReentrant whenNotPaused{

        uint256 amountToClaim = amountClaimableByAddress[msg.sender];
        amountClaimableByAddress[msg.sender] = 0;
        
        require(getCirculatingArt() + totalTokensBurned + amountToClaim <= artHardCap);
        
        _mint(msg.sender, amountToClaim.mul(scaleFactor));
        
        emit ARTMinted(msg.sender, amountToClaim);
    }    

    function pushSnapshot(address[] memory primeHolder, uint256[] memory amount) public onlyOwner whenPaused{
        
        require(primeHolder.length == amount.length);
        
        for(uint256 i = 0; i < amount.length; i++){
            amountClaimableByAddress[primeHolder[i]] = amountClaimableByAddress[primeHolder[i]] + amount[i];
        }

    }
    
    function getAmountClaimable(address userAddress) public view returns (uint256 amountClaimable) {
        amountClaimable = amountClaimableByAddress[userAddress];
    }

    function getCirculatingArt() public view returns (uint256 circulatingArt) {
        circulatingArt = totalSupply().div(scaleFactor); 
    }

    function getTotalMinted() public view returns (uint256 totalMinted) {
        totalMinted = getCirculatingArt() + totalTokensBurned; 
    }    

    function getTokensLockedByAddress(address userAddress) public view returns (uint256 tokensLocked) {
        tokensLocked = tokensLockedByAddress[userAddress].div(scaleFactor);
    }

    function burnArt(uint256 artToBurn) external {
        _burn(msg.sender, artToBurn.mul(scaleFactor));
        totalTokensBurned = totalTokensBurned + artToBurn;
        emit ARTBurned(artToBurn);
        }
    }

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"ARTBurned","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"ARTLocked","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"mintingAddress","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"ARTMinted","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"ARTUnlocked","type":"event"},{"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":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[],"name":"Pause","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":[],"name":"Unpause","type":"event"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"artHardCap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"artToBurn","type":"uint256"}],"name":"burnArt","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"claimART","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"userAddress","type":"address"}],"name":"getAmountClaimable","outputs":[{"internalType":"uint256","name":"amountClaimable","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getCirculatingArt","outputs":[{"internalType":"uint256","name":"circulatingArt","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"userAddress","type":"address"}],"name":"getTokensLockedByAddress","outputs":[{"internalType":"uint256","name":"tokensLocked","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getTotalMinted","outputs":[{"internalType":"uint256","name":"totalMinted","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"lockTimeStamp","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"lockUpTimeRemaining","outputs":[{"internalType":"int256","name":"secondsRemaining","type":"int256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"tokensToLock","type":"uint256"}],"name":"lockUpTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address[]","name":"primeHolder","type":"address[]"},{"internalType":"uint256[]","name":"amount","type":"uint256[]"}],"name":"pushSnapshot","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalTokensBurned","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalTokensLocked","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unlockTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040526004805460ff60a01b1916905534801561001d57600080fd5b5060016003556100346001600160e01b0361009716565b600480546001600160a01b0319166001600160a01b0392831617908190556040519116906000907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a3600060078190556006556363b0ccff60085561009b565b3390565b6113c8806100aa6000396000f3fe608060405234801561001057600080fd5b50600436106101f05760003560e01c80638f32d59b1161010f578063d157e301116100a2578063dd5a17dd11610071578063dd5a17dd146104e6578063dd62ed3e1461060d578063f2fde38b1461063b578063f968f49314610661576101f0565b8063d157e301146104c6578063d412f175146104ce578063d84c7d8f146104d6578063dc5bf961146104de576101f0565b8063a457c2d7116100de578063a457c2d714610434578063a9059cbb14610460578063abf589c31461048c578063ba6ed308146104a9576101f0565b80638f32d59b146103f657806395d89b41146103fe578063a16283b114610406578063a42bdbfe1461040e576101f0565b8063313ce5671161018757806370a082311161015657806370a082311461039c578063715018a6146103c25780638456cb59146103ca5780638da5cb5b146103d2576101f0565b8063313ce56714610340578063395093511461035e5780633f4ba83a1461038a5780635c975abb14610394576101f0565b806318160ddd116101c357806318160ddd146102f257806319ea812e146102fa57806320a662121461030257806323b872dd1461030a576101f0565b806306fdde03146101f55780630784641314610272578063095ea7b3146102aa5780630ca1c5c9146102ea575b600080fd5b6101fd610669565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561023757818101518382015260200161021f565b50505050905090810190601f1680156102645780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102986004803603602081101561028857600080fd5b50356001600160a01b03166106a2565b60408051918252519081900360200190f35b6102d6600480360360408110156102c057600080fd5b506001600160a01b0381351690602001356106bd565b604080519115158252519081900360200190f35b61029861073a565b61029861074d565b610298610754565b61029861077b565b6102d66004803603606081101561032057600080fd5b506001600160a01b03813581169160208101359091169060400135610790565b610348610859565b6040805160ff9092168252519081900360200190f35b6102d66004803603604081101561037457600080fd5b506001600160a01b03813516906020013561085e565b61039261090c565b005b6102d66109a1565b610298600480360360208110156103b257600080fd5b50356001600160a01b03166109b1565b6103926109cc565b610392610a5d565b6103da610af9565b604080516001600160a01b039092168252519081900360200190f35b6102d6610b08565b6101fd610b2e565b610392610b4d565b6102986004803603602081101561042457600080fd5b50356001600160a01b0316610c0f565b6102d66004803603604081101561044a57600080fd5b506001600160a01b038135169060200135610c40565b6102d66004803603604081101561047657600080fd5b506001600160a01b038135169060200135610c89565b610392600480360360208110156104a257600080fd5b5035610c9f565b610392600480360360208110156104bf57600080fd5b5035610cfe565b610298610dab565b610298610db1565b610298610db7565b610298610dbd565b610392600480360360408110156104fc57600080fd5b81019060208101813564010000000081111561051757600080fd5b82018360208201111561052957600080fd5b8035906020019184602083028401116401000000008311171561054b57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600092019190915250929594936020810193503591505064010000000081111561059b57600080fd5b8201836020820111156105ad57600080fd5b803590602001918460208302840111640100000000831117156105cf57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600092019190915250929550610dc3945050505050565b6102986004803603604081101561062357600080fd5b506001600160a01b0381358116916020013516610ec9565b6103926004803603602081101561065157600080fd5b50356001600160a01b0316610ef4565b610392610f44565b6040518060400160405280601781526020017f41766173746172205265706c6963616e7420546f6b656e00000000000000000081525081565b6001600160a01b031660009081526009602052604090205490565b60006001600160a01b0383166106d257600080fd5b3360008181526001602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b6000600654610747610754565b01905090565b6002545b90565b6000610776670de0b6b3a764000061076a61074d565b9063ffffffff61101716565b905090565b60085442900360008112156107515750600090565b6001600160a01b03831660009081526001602090815260408083203384529091528120546107c4908363ffffffff61103916565b6001600160a01b03851660009081526001602090815260408083203384529091529020556107f384848461104e565b6001600160a01b0384166000818152600160209081526040808320338085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b601281565b60006001600160a01b03831661087357600080fd5b3360009081526001602090815260408083206001600160a01b03871684529091529020546108a7908363ffffffff61111916565b3360008181526001602090815260408083206001600160a01b0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b610914610b08565b610953576040805162461bcd60e51b81526020600482018190526024820152600080516020611374833981519152604482015290519081900360640190fd5b600454600160a01b900460ff1661096957600080fd5b6004805460ff60a01b191690556040517f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3390600090a1565b600454600160a01b900460ff1681565b6001600160a01b031660009081526020819052604090205490565b6109d4610b08565b610a13576040805162461bcd60e51b81526020600482018190526024820152600080516020611374833981519152604482015290519081900360640190fd5b6004546040516000916001600160a01b0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600480546001600160a01b0319169055565b610a65610b08565b610aa4576040805162461bcd60e51b81526020600482018190526024820152600080516020611374833981519152604482015290519081900360640190fd5b600454600160a01b900460ff1615610abb57600080fd5b6004805460ff60a01b1916600160a01b1790556040517f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62590600090a1565b6004546001600160a01b031690565b6004546000906001600160a01b0316610b1f611132565b6001600160a01b031614905090565b6040518060400160405280600381526020016210549560ea1b81525081565b6003805460010190819055600454600160a01b900460ff1615610b6f57600080fd5b3360009081526009602052604081208054919055600654616270908290610b94610754565b01011115610ba157600080fd5b610bc233610bbd83670de0b6b3a764000063ffffffff61113616565b61115d565b604080513381526020810183905281517f85b3f0e9c329ec9f502cf64e6238718248069197d5dc435b27184059f652fec8929181900390910190a1506003548114610c0c57600080fd5b50565b6001600160a01b03811660009081526005602052604081205461073490670de0b6b3a764000063ffffffff61101716565b60006001600160a01b038316610c5557600080fd5b3360009081526001602090815260408083206001600160a01b03871684529091529020546108a7908363ffffffff61103916565b6000610c9633848461104e565b50600192915050565b610cc033610cbb83670de0b6b3a764000063ffffffff61113616565b611205565b60068054820190556040805182815290517f91fb69f4470fff4c2e5deb34ad0acf10e03b32792cb7f6a885cc000d1fe944fd9181900360200190a150565b6003805460010190819055610d2a30610d2584670de0b6b3a764000063ffffffff61113616565b610c89565b50610d4382670de0b6b3a764000063ffffffff61113616565b336000908152600560209081526040918290208054939093019092556007805485019055805184815290517f596fd20e50c9122dbcedcaaf02521d510bff61b5c133ca91f9d4d55047fc13f0929181900390910190a16003548114610da757600080fd5b5050565b60065481565b61627081565b60085481565b60075481565b610dcb610b08565b610e0a576040805162461bcd60e51b81526020600482018190526024820152600080516020611374833981519152604482015290519081900360640190fd5b600454600160a01b900460ff16610e2057600080fd5b8051825114610e2e57600080fd5b60005b8151811015610ec457818181518110610e4657fe5b602002602001015160096000858481518110610e5e57fe5b60200260200101516001600160a01b03166001600160a01b03168152602001908152602001600020540160096000858481518110610e9857fe5b6020908102919091018101516001600160a01b0316825281019190915260400160002055600101610e31565b505050565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b610efc610b08565b610f3b576040805162461bcd60e51b81526020600482018190526024820152600080516020611374833981519152604482015290519081900360640190fd5b610c0c816112ac565b6003805460010190819055600454600160a01b900460ff1615610f6657600080fd5b6000610f7061077b565b1315610f7b57600080fd5b336000818152600560205260408120805491905590610f9c9030908361104e565b610fb481670de0b6b3a764000063ffffffff61101716565b600780549190910390557fe5a1bd1007ec5994f55627608fe6accadd23584a97524429ee675c0f0210b456610ff782670de0b6b3a764000063ffffffff61101716565b60408051918252519081900360200190a1506003548114610c0c57600080fd5b600080821161102557600080fd5b600082848161103057fe5b04949350505050565b60008282111561104857600080fd5b50900390565b6001600160a01b03821661106157600080fd5b6001600160a01b03831660009081526020819052604090205461108a908263ffffffff61103916565b6001600160a01b0380851660009081526020819052604080822093909355908416815220546110bf908263ffffffff61111916565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b60008282018381101561112b57600080fd5b9392505050565b3390565b60008261114557506000610734565b8282028284828161115257fe5b041461112b57600080fd5b6001600160a01b03821661117057600080fd5b600254611183908263ffffffff61111916565b6002556001600160a01b0382166000908152602081905260409020546111af908263ffffffff61111916565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6001600160a01b03821661121857600080fd5b60025461122b908263ffffffff61103916565b6002556001600160a01b038216600090815260208190526040902054611257908263ffffffff61103916565b6001600160a01b038316600081815260208181526040808320949094558351858152935191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a35050565b6001600160a01b0381166112f15760405162461bcd60e51b815260040180806020018281038252602681526020018061134e6026913960400191505060405180910390fd5b6004546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600480546001600160a01b0319166001600160a01b039290921691909117905556fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f20616464726573734f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572a265627a7a72315820d397c5cbd54849a5e24829f194097b9232c5b05cb687202187b910250a8aca6464736f6c63430005110032

0x608060405234801561001057600080fd5b50600436106101f05760003560e01c80638f32d59b1161010f578063d157e301116100a2578063dd5a17dd11610071578063dd5a17dd146104e6578063dd62ed3e1461060d578063f2fde38b1461063b578063f968f49314610661576101f0565b8063d157e301146104c6578063d412f175146104ce578063d84c7d8f146104d6578063dc5bf961146104de576101f0565b8063a457c2d7116100de578063a457c2d714610434578063a9059cbb14610460578063abf589c31461048c578063ba6ed308146104a9576101f0565b80638f32d59b146103f657806395d89b41146103fe578063a16283b114610406578063a42bdbfe1461040e576101f0565b8063313ce5671161018757806370a082311161015657806370a082311461039c578063715018a6146103c25780638456cb59146103ca5780638da5cb5b146103d2576101f0565b8063313ce56714610340578063395093511461035e5780633f4ba83a1461038a5780635c975abb14610394576101f0565b806318160ddd116101c357806318160ddd146102f257806319ea812e146102fa57806320a662121461030257806323b872dd1461030a576101f0565b806306fdde03146101f55780630784641314610272578063095ea7b3146102aa5780630ca1c5c9146102ea575b600080fd5b6101fd610669565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561023757818101518382015260200161021f565b50505050905090810190601f1680156102645780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102986004803603602081101561028857600080fd5b50356001600160a01b03166106a2565b60408051918252519081900360200190f35b6102d6600480360360408110156102c057600080fd5b506001600160a01b0381351690602001356106bd565b604080519115158252519081900360200190f35b61029861073a565b61029861074d565b610298610754565b61029861077b565b6102d66004803603606081101561032057600080fd5b506001600160a01b03813581169160208101359091169060400135610790565b610348610859565b6040805160ff9092168252519081900360200190f35b6102d66004803603604081101561037457600080fd5b506001600160a01b03813516906020013561085e565b61039261090c565b005b6102d66109a1565b610298600480360360208110156103b257600080fd5b50356001600160a01b03166109b1565b6103926109cc565b610392610a5d565b6103da610af9565b604080516001600160a01b039092168252519081900360200190f35b6102d6610b08565b6101fd610b2e565b610392610b4d565b6102986004803603602081101561042457600080fd5b50356001600160a01b0316610c0f565b6102d66004803603604081101561044a57600080fd5b506001600160a01b038135169060200135610c40565b6102d66004803603604081101561047657600080fd5b506001600160a01b038135169060200135610c89565b610392600480360360208110156104a257600080fd5b5035610c9f565b610392600480360360208110156104bf57600080fd5b5035610cfe565b610298610dab565b610298610db1565b610298610db7565b610298610dbd565b610392600480360360408110156104fc57600080fd5b81019060208101813564010000000081111561051757600080fd5b82018360208201111561052957600080fd5b8035906020019184602083028401116401000000008311171561054b57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600092019190915250929594936020810193503591505064010000000081111561059b57600080fd5b8201836020820111156105ad57600080fd5b803590602001918460208302840111640100000000831117156105cf57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600092019190915250929550610dc3945050505050565b6102986004803603604081101561062357600080fd5b506001600160a01b0381358116916020013516610ec9565b6103926004803603602081101561065157600080fd5b50356001600160a01b0316610ef4565b610392610f44565b6040518060400160405280601781526020017f41766173746172205265706c6963616e7420546f6b656e00000000000000000081525081565b6001600160a01b031660009081526009602052604090205490565b60006001600160a01b0383166106d257600080fd5b3360008181526001602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b6000600654610747610754565b01905090565b6002545b90565b6000610776670de0b6b3a764000061076a61074d565b9063ffffffff61101716565b905090565b60085442900360008112156107515750600090565b6001600160a01b03831660009081526001602090815260408083203384529091528120546107c4908363ffffffff61103916565b6001600160a01b03851660009081526001602090815260408083203384529091529020556107f384848461104e565b6001600160a01b0384166000818152600160209081526040808320338085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b601281565b60006001600160a01b03831661087357600080fd5b3360009081526001602090815260408083206001600160a01b03871684529091529020546108a7908363ffffffff61111916565b3360008181526001602090815260408083206001600160a01b0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b610914610b08565b610953576040805162461bcd60e51b81526020600482018190526024820152600080516020611374833981519152604482015290519081900360640190fd5b600454600160a01b900460ff1661096957600080fd5b6004805460ff60a01b191690556040517f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3390600090a1565b600454600160a01b900460ff1681565b6001600160a01b031660009081526020819052604090205490565b6109d4610b08565b610a13576040805162461bcd60e51b81526020600482018190526024820152600080516020611374833981519152604482015290519081900360640190fd5b6004546040516000916001600160a01b0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600480546001600160a01b0319169055565b610a65610b08565b610aa4576040805162461bcd60e51b81526020600482018190526024820152600080516020611374833981519152604482015290519081900360640190fd5b600454600160a01b900460ff1615610abb57600080fd5b6004805460ff60a01b1916600160a01b1790556040517f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62590600090a1565b6004546001600160a01b031690565b6004546000906001600160a01b0316610b1f611132565b6001600160a01b031614905090565b6040518060400160405280600381526020016210549560ea1b81525081565b6003805460010190819055600454600160a01b900460ff1615610b6f57600080fd5b3360009081526009602052604081208054919055600654616270908290610b94610754565b01011115610ba157600080fd5b610bc233610bbd83670de0b6b3a764000063ffffffff61113616565b61115d565b604080513381526020810183905281517f85b3f0e9c329ec9f502cf64e6238718248069197d5dc435b27184059f652fec8929181900390910190a1506003548114610c0c57600080fd5b50565b6001600160a01b03811660009081526005602052604081205461073490670de0b6b3a764000063ffffffff61101716565b60006001600160a01b038316610c5557600080fd5b3360009081526001602090815260408083206001600160a01b03871684529091529020546108a7908363ffffffff61103916565b6000610c9633848461104e565b50600192915050565b610cc033610cbb83670de0b6b3a764000063ffffffff61113616565b611205565b60068054820190556040805182815290517f91fb69f4470fff4c2e5deb34ad0acf10e03b32792cb7f6a885cc000d1fe944fd9181900360200190a150565b6003805460010190819055610d2a30610d2584670de0b6b3a764000063ffffffff61113616565b610c89565b50610d4382670de0b6b3a764000063ffffffff61113616565b336000908152600560209081526040918290208054939093019092556007805485019055805184815290517f596fd20e50c9122dbcedcaaf02521d510bff61b5c133ca91f9d4d55047fc13f0929181900390910190a16003548114610da757600080fd5b5050565b60065481565b61627081565b60085481565b60075481565b610dcb610b08565b610e0a576040805162461bcd60e51b81526020600482018190526024820152600080516020611374833981519152604482015290519081900360640190fd5b600454600160a01b900460ff16610e2057600080fd5b8051825114610e2e57600080fd5b60005b8151811015610ec457818181518110610e4657fe5b602002602001015160096000858481518110610e5e57fe5b60200260200101516001600160a01b03166001600160a01b03168152602001908152602001600020540160096000858481518110610e9857fe5b6020908102919091018101516001600160a01b0316825281019190915260400160002055600101610e31565b505050565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b610efc610b08565b610f3b576040805162461bcd60e51b81526020600482018190526024820152600080516020611374833981519152604482015290519081900360640190fd5b610c0c816112ac565b6003805460010190819055600454600160a01b900460ff1615610f6657600080fd5b6000610f7061077b565b1315610f7b57600080fd5b336000818152600560205260408120805491905590610f9c9030908361104e565b610fb481670de0b6b3a764000063ffffffff61101716565b600780549190910390557fe5a1bd1007ec5994f55627608fe6accadd23584a97524429ee675c0f0210b456610ff782670de0b6b3a764000063ffffffff61101716565b60408051918252519081900360200190a1506003548114610c0c57600080fd5b600080821161102557600080fd5b600082848161103057fe5b04949350505050565b60008282111561104857600080fd5b50900390565b6001600160a01b03821661106157600080fd5b6001600160a01b03831660009081526020819052604090205461108a908263ffffffff61103916565b6001600160a01b0380851660009081526020819052604080822093909355908416815220546110bf908263ffffffff61111916565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b60008282018381101561112b57600080fd5b9392505050565b3390565b60008261114557506000610734565b8282028284828161115257fe5b041461112b57600080fd5b6001600160a01b03821661117057600080fd5b600254611183908263ffffffff61111916565b6002556001600160a01b0382166000908152602081905260409020546111af908263ffffffff61111916565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6001600160a01b03821661121857600080fd5b60025461122b908263ffffffff61103916565b6002556001600160a01b038216600090815260208190526040902054611257908263ffffffff61103916565b6001600160a01b038316600081815260208181526040808320949094558351858152935191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a35050565b6001600160a01b0381166112f15760405162461bcd60e51b815260040180806020018281038252602681526020018061134e6026913960400191505060405180910390fd5b6004546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600480546001600160a01b0319166001600160a01b039290921691909117905556fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f20616464726573734f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572a265627a7a72315820d397c5cbd54849a5e24829f194097b9232c5b05cb687202187b910250a8aca6464736f6c63430005110032

16002:3903:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16002:3903:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16415:55;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;16415:55:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19019:169;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19019:169:0;-1:-1:-1;;;;;19019:169:0;;:::i;:::-;;;;;;;;;;;;;;;;8978:244;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8978:244:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;19345:141;;;:::i;7137:91::-;;;:::i;19196:141::-;;;:::i;17958:246::-;;;:::i;9695:299::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;9695:299:0;;;;;;;;;;;;;;;;;:::i;16373:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10509:323;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;10509:323:0;;;;;;;;:::i;14770:95::-;;;:::i;:::-;;14149:26;;;:::i;7444:106::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7444:106:0;-1:-1:-1;;;;;7444:106:0;;:::i;2857:140::-;;;:::i;14590:93::-;;;:::i;2046:79::-;;;:::i;:::-;;;;-1:-1:-1;;;;;2046:79:0;;;;;;;;;;;;;;2412:94;;;:::i;16477:37::-;;;:::i;18216:416::-;;;:::i;19498:183::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19498:183:0;-1:-1:-1;;;;;19498:183:0;;:::i;11352:333::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;11352:333:0;;;;;;;;:::i;8191:140::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8191:140:0;;;;;;;;:::i;19689:209::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19689:209:0;;:::i;17028:437::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17028:437:0;;:::i;16572:32::-;;;:::i;16521:42::-;;;:::i;16654:28::-;;;:::i;16615:32::-;;;:::i;18644:363::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;18644:363:0;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;18644:363:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;18644:363:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;18644:363:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;18644:363:0;;;;;;;;-1:-1:-1;18644:363:0;;-1:-1:-1;;21:11;5:28;;2:2;;;46:1;43;36:12;2:2;18644:363:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;18644:363:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;18644:363:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;18644:363:0;;-1:-1:-1;18644:363:0;;-1:-1:-1;;;;;18644:363:0:i;7889:131::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;7889:131:0;;;;;;;;;;:::i;3152:109::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3152:109:0;-1:-1:-1;;;;;3152:109:0;;:::i;17473:473::-;;;:::i;16415:55::-;;;;;;;;;;;;;;;;;;;:::o;19019:169::-;-1:-1:-1;;;;;19143:37:0;19089:23;19143:37;;;:24;:37;;;;;;;19019:169::o;8978:244::-;9043:4;-1:-1:-1;;;;;9068:21:0;;9060:30;;;;;;9112:10;9103:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;9103:29:0;;;;;;;;;;;;:37;;;9156:36;;;;;;;9103:29;;9112:10;9156:36;;;;;;;;;;;-1:-1:-1;9210:4:0;8978:244;;;;;:::o;19345:141::-;19392:19;19460:17;;19438:19;:17;:19::i;:::-;:39;19424:53;;19345:141;:::o;7137:91::-;7208:12;;7137:91;;:::o;19196:141::-;19246:22;19298:30;16802:32;19298:13;:11;:13::i;:::-;:17;:30;:17;:30;:::i;:::-;19281:47;;19196:141;:::o;17958:246::-;18072:13;;18088:15;18072:31;;18010:23;18129:20;;18125:72;;;-1:-1:-1;18184:1:0;17958:246;:::o;9695:299::-;-1:-1:-1;;;;;9820:14:0;;9774:4;9820:14;;;:8;:14;;;;;;;;9835:10;9820:26;;;;;;;;:37;;9851:5;9820:37;:30;:37;:::i;:::-;-1:-1:-1;;;;;9791:14:0;;;;;;:8;:14;;;;;;;;9806:10;9791:26;;;;;;;:66;9868:26;9800:4;9884:2;9888:5;9868:9;:26::i;:::-;-1:-1:-1;;;;;9910:54:0;;9937:14;;;;:8;:14;;;;;;;;9925:10;9937:26;;;;;;;;;;;9910:54;;;;;;;9925:10;;9910:54;;;;;;;;;;;;-1:-1:-1;9982:4:0;9695:299;;;;;:::o;16373:35::-;16406:2;16373:35;:::o;10509:323::-;10589:4;-1:-1:-1;;;;;10614:21:0;;10606:30;;;;;;10690:10;10681:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;10681:29:0;;;;;;;;;;:45;;10715:10;10681:45;:33;:45;:::i;:::-;10658:10;10649:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;10649:29:0;;;;;;;;;;;;:77;;;10742:60;;;;;;10649:29;;10742:60;;;;;;;;;;;-1:-1:-1;10820:4:0;10509:323;;;;:::o;14770:95::-;2258:9;:7;:9::i;:::-;2250:54;;;;;-1:-1:-1;;;2250:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;2250:54:0;;;;;;;;;;;;;;;14485:6;;-1:-1:-1;;;14485:6:0;;;;14477:15;;;;;;14824:6;:14;;-1:-1:-1;;;;14824:14:0;;;14850:9;;;;14833:5;;14850:9;14770:95::o;14149:26::-;;;-1:-1:-1;;;14149:26:0;;;;;:::o;7444:106::-;-1:-1:-1;;;;;7526:16:0;7499:7;7526:16;;;;;;;;;;;;7444:106::o;2857:140::-;2258:9;:7;:9::i;:::-;2250:54;;;;;-1:-1:-1;;;2250:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;2250:54:0;;;;;;;;;;;;;;;2940:6;;2919:40;;2956:1;;-1:-1:-1;;;;;2940:6:0;;2919:40;;2956:1;;2919:40;2970:6;:19;;-1:-1:-1;;;;;;2970:19:0;;;2857:140::o;14590:93::-;2258:9;:7;:9::i;:::-;2250:54;;;;;-1:-1:-1;;;2250:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;2250:54:0;;;;;;;;;;;;;;;14325:6;;-1:-1:-1;;;14325:6:0;;;;14324:7;14316:16;;;;;;14645:6;:13;;-1:-1:-1;;;;14645:13:0;-1:-1:-1;;;14645:13:0;;;14670:7;;;;14645:13;;14670:7;14590:93::o;2046:79::-;2111:6;;-1:-1:-1;;;;;2111:6:0;2046:79;:::o;2412:94::-;2492:6;;2452:4;;-1:-1:-1;;;;;2492:6:0;2476:12;:10;:12::i;:::-;-1:-1:-1;;;;;2476:22:0;;2469:29;;2412:94;:::o;16477:37::-;;;;;;;;;;;;;;-1:-1:-1;;;16477:37:0;;;;:::o;18216:416::-;15861:13;:18;;15878:1;15861:18;;;;;14325:6;;-1:-1:-1;;;14325:6:0;;;;14324:7;14316:16;;;;;;18331:10;18282:21;18306:36;;;:24;:36;;;;;;;18353:40;;;18444:17;;16558:5;;18306:36;;18422:19;:17;:19::i;:::-;:39;:55;:69;;18414:78;;;;;;18513:49;18519:10;18531:30;:13;16802:32;18531:30;:17;:30;:::i;:::-;18513:5;:49::i;:::-;18588:36;;;18598:10;18588:36;;;;;;;;;;;;;;;;;;;;;14339:1;15973:13;;15957:12;:29;15949:38;;;;;;18216:416;:::o;19498:183::-;-1:-1:-1;;;;;19622:34:0;;19574:20;19622:34;;;:21;:34;;;;;;:51;;16802:32;19622:51;:38;:51;:::i;11352:333::-;11437:4;-1:-1:-1;;;;;11462:21:0;;11454:30;;;;;;11538:10;11529:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;11529:29:0;;;;;;;;;;:50;;11563:15;11529:50;:33;:50;:::i;8191:140::-;8252:4;8269:32;8279:10;8291:2;8295:5;8269:9;:32::i;:::-;-1:-1:-1;8319:4:0;8191:140;;;;:::o;19689:209::-;19745:45;19751:10;19763:26;:9;16802:32;19763:26;:13;:26;:::i;:::-;19745:5;:45::i;:::-;19821:17;;;:29;;19801:49;;19866:20;;;;;;;;;;;;;;;;;19689:209;:::o;17028:437::-;15861:13;:18;;15878:1;15861:18;;;;;17159:54;17176:4;17183:29;:12;16802:32;17183:29;:16;:29;:::i;:::-;17159:8;:54::i;:::-;-1:-1:-1;17306:29:0;:12;16802:32;17306:29;:16;:29;:::i;:::-;17292:10;17270:33;;;;:21;:33;;;;;;;;;;;:65;;;;17234:101;;;17366:17;;;:32;;17346:52;;17424:23;;;;;;;;;;;;;;;;;;15973:13;;15957:12;:29;15949:38;;;;;;17028:437;;:::o;16572:32::-;;;;:::o;16521:42::-;16558:5;16521:42;:::o;16654:28::-;;;;:::o;16615:32::-;;;;:::o;18644:363::-;2258:9;:7;:9::i;:::-;2250:54;;;;;-1:-1:-1;;;2250:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;2250:54:0;;;;;;;;;;;;;;;14485:6;;-1:-1:-1;;;14485:6:0;;;;14477:15;;;;;;18799:6;:13;18777:11;:18;:35;18769:44;;;;;;18838:9;18834:164;18857:6;:13;18853:1;:17;18834:164;;;18977:6;18984:1;18977:9;;;;;;;;;;;;;;18934:24;:40;18959:11;18971:1;18959:14;;;;;;;;;;;;;;-1:-1:-1;;;;;18934:40:0;-1:-1:-1;;;;;18934:40:0;;;;;;;;;;;;;:52;18891:24;:40;18916:11;18928:1;18916:14;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;18891:40:0;;;;;;;;;;;-1:-1:-1;18891:40:0;:95;18872:3;;18834:164;;;;18644:363;;:::o;7889:131::-;-1:-1:-1;;;;;7988:15:0;;;7961:7;7988:15;;;:8;:15;;;;;;;;:24;;;;;;;;;;;;;7889:131::o;3152:109::-;2258:9;:7;:9::i;:::-;2250:54;;;;;-1:-1:-1;;;2250:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;2250:54:0;;;;;;;;;;;;;;;3225:28;3244:8;3225:18;:28::i;17473:473::-;15861:13;:18;;15878:1;15861:18;;;;;14325:6;;-1:-1:-1;;;14325:6:0;;;;14324:7;14316:16;;;;;;17574:1;17549:21;:19;:21::i;:::-;:26;;17541:35;;;;;;17644:10;17597:22;17622:33;;;:21;:33;;;;;;;17666:37;;;17622:33;17724:52;;17742:4;;17622:33;17724:9;:52::i;:::-;17827:31;:14;16802:32;17827:31;:18;:31;:::i;:::-;17807:17;;;:51;;;;17787:71;;17884:44;17896:31;:14;16802:32;17896:31;:18;:31;:::i;:::-;17884:44;;;;;;;;;;;;;;;14339:1;15973:13;;15957:12;:29;15949:38;;;;;5144:303;5202:7;5301:1;5297;:5;5289:14;;;;;;5314:9;5330:1;5326;:5;;;;;;;5144:303;-1:-1:-1;;;;5144:303:0:o;5583:150::-;5641:7;5674:1;5669;:6;;5661:15;;;;;;-1:-1:-1;5699:5:0;;;5583:150::o;11907:262::-;-1:-1:-1;;;;;11995:16:0;;11987:25;;;;;;-1:-1:-1;;;;;12043:15:0;;:9;:15;;;;;;;;;;;:26;;12063:5;12043:26;:19;:26;:::i;:::-;-1:-1:-1;;;;;12025:15:0;;;:9;:15;;;;;;;;;;;:44;;;;12096:13;;;;;;;:24;;12114:5;12096:24;:17;:24;:::i;:::-;-1:-1:-1;;;;;12080:13:0;;;:9;:13;;;;;;;;;;;;:40;;;;12136:25;;;;;;;12080:13;;12136:25;;;;;;;;;;;;;11907:262;;;:::o;5819:150::-;5877:7;5909:5;;;5933:6;;;;5925:15;;;;;;5960:1;5819:150;-1:-1:-1;;;5819:150:0:o;807:98::-;887:10;807:98;:::o;4578:433::-;4636:7;4880:6;4876:47;;-1:-1:-1;4910:1:0;4903:8;;4876:47;4947:5;;;4951:1;4947;:5;:1;4971:5;;;;;:10;4963:19;;;;;12521:269;-1:-1:-1;;;;;12596:21:0;;12588:30;;;;;;12646:12;;:23;;12663:5;12646:23;:16;:23;:::i;:::-;12631:12;:38;-1:-1:-1;;;;;12701:18:0;;:9;:18;;;;;;;;;;;:29;;12724:5;12701:29;:22;:29;:::i;:::-;-1:-1:-1;;;;;12680:18:0;;:9;:18;;;;;;;;;;;:50;;;;12746:36;;;;;;;12680:18;;:9;;12746:36;;;;;;;;;;12521:269;;:::o;13024:::-;-1:-1:-1;;;;;13099:21:0;;13091:30;;;;;;13149:12;;:23;;13166:5;13149:23;:16;:23;:::i;:::-;13134:12;:38;-1:-1:-1;;;;;13204:18:0;;:9;:18;;;;;;;;;;;:29;;13227:5;13204:29;:22;:29;:::i;:::-;-1:-1:-1;;;;;13183:18:0;;:9;:18;;;;;;;;;;;:50;;;;13249:36;;;;;;;13183:9;;13249:36;;;;;;;;;;;13024:269;;:::o;3367:229::-;-1:-1:-1;;;;;3441:22:0;;3433:73;;;;-1:-1:-1;;;3433:73:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3543:6;;3522:38;;-1:-1:-1;;;;;3522:38:0;;;;3543:6;;3522:38;;3543:6;;3522:38;3571:6;:17;;-1:-1:-1;;;;;;3571:17:0;-1:-1:-1;;;;;3571:17:0;;;;;;;;;;3367:229::o

bzzr://d397c5cbd54849a5e24829f194097b9232c5b05cb687202187b910250a8aca64