Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library Roles
•    - function add(Role storage role, addre ...
•    - function remove(Role storage role, ad ...
•    - function has(Role storage role, addre ...
•  contract PauserRole
•    - function isPauser(address account)
•    - function addPauser(address account)
•    - function renouncePauser()
•    - function _addPauser(address account)
•    - function _removePauser(address accoun ...
•  contract Pausable is PauserRole
•    - function paused()
•    - function pause()
•    - function unpause()
•  contract Ownable
•    - 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 _approve(address owner, addr ...
•    - function _burnFrom(address account, u ...
•  contract UpgradedStandardToken is ...
•    - function transferByLegacy(address fro ...
•    - function transferFromByLegacy(address ...
•    - function approveByLegacy(address from ...
•    - function increaseApprovalByLegacy(add ...
•    - function decreaseApprovalByLegacy(add ...
•  contract BlackList is Ownable
•    - function getBlackListStatus(address _ ...
•    - function addBlackList (address _evilU ...
•    - function removeBlackList (address _cl ...
•  contract StandardTokenWithFees is ...
•    - function calcFee(uint _value)
•    - function transfer(address _to, uint _ ...
•    - function transferFrom(address _from, ...
•    - function setParams(uint newBasisPoint ...
•  contract ATMToken is Pausable, Sta ... *
•    - function transfer(address _to, uint _ ...
•    - function transferFrom(address _from, ...
•    - function balanceOf(address who)
•    - function oldBalanceOf(address who)
•    - function approve(address _spender, ui ...
•    - function increaseApproval(address _sp ...
•    - function decreaseApproval(address _sp ...
•    - function allowance(address _owner, ad ...
•    - function deprecate(address _upgradedA ...
•    - function totalSupply()
•    - function issue(uint amount)
•    - function issueToAccount(address accou ...
•    - function redeem(uint amount)
•    - function destroyBlackFunds (address _ ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-02-24
*/

pragma solidity ^0.5.15;

/*

    2020 Authentic Matrix Token - ATM
    
*/

/**
 * @title Roles
 * @dev Library for managing addresses assigned to a Role.
 */
library Roles {
    struct Role {
        mapping (address => bool) bearer;
    }

    /**
     * @dev give an account access to this role
     */
    function add(Role storage role, address account) internal {
        require(account != address(0));
        require(!has(role, account));

        role.bearer[account] = true;
    }

    /**
     * @dev remove an account's access to this role
     */
    function remove(Role storage role, address account) internal {
        require(account != address(0));
        require(has(role, account));

        role.bearer[account] = false;
    }

    /**
     * @dev check if an account has this role
     * @return bool
     */
    function has(Role storage role, address account) internal view returns (bool) {
        require(account != address(0));
        return role.bearer[account];
    }
}


contract PauserRole {
    using Roles for Roles.Role;

    event PauserAdded(address indexed account);
    event PauserRemoved(address indexed account);

    Roles.Role private _pausers;

    constructor () internal {
        _addPauser(msg.sender);
    }

    modifier onlyPauser() {
        require(isPauser(msg.sender));
        _;
    }

    function isPauser(address account) public view returns (bool) {
        return _pausers.has(account);
    }

    function addPauser(address account) public onlyPauser {
        _addPauser(account);
    }

    function renouncePauser() public {
        _removePauser(msg.sender);
    }

    function _addPauser(address account) internal {
        _pausers.add(account);
        emit PauserAdded(account);
    }

    function _removePauser(address account) internal {
        _pausers.remove(account);
        emit PauserRemoved(account);
    }
}


/**
 * @title Pausable
 * @dev Base contract which allows children to implement an emergency stop mechanism.
 */
contract Pausable is PauserRole {
    event Paused(address account);
    event Unpaused(address account);

    bool private _paused;

    constructor () internal {
        _paused = false;
    }

    /**
     * @return true if the contract is paused, false otherwise.
     */
    function paused() public view returns (bool) {
        return _paused;
    }

    /**
     * @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() public onlyPauser whenNotPaused {
        _paused = true;
        emit Paused(msg.sender);
    }

    /**
     * @dev called by the owner to unpause, returns to normal state
     */
    function unpause() public onlyPauser whenPaused {
        _paused = false;
        emit Unpaused(msg.sender);
    }
}

/**
 * @title Ownable
 * @dev The Ownable contract has an owner address, and provides basic authorization control
 * functions, this simplifies the implementation of "user permissions".
 */
contract Ownable {
    address private _owner;

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

    /**
     * @dev The Ownable constructor sets the original `owner` of the contract to the sender
     * account.
     */
    constructor () internal {
        _owner = msg.sender;
        emit OwnershipTransferred(address(0), _owner);
    }

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

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(isOwner());
        _;
    }

    /**
     * @return true if `msg.sender` is the owner of the contract.
     */
    function isOwner() public view returns (bool) {
        return msg.sender == _owner;
    }

    /**
     * @dev Allows the current owner to relinquish control of the contract.
     * It will not be possible to call the functions with the `onlyOwner`
     * modifier anymore.
     * @notice 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 Allows the current owner to transfer control of the contract to a newOwner.
     * @param newOwner The address to transfer ownership to.
     */
    function transferOwnership(address newOwner) public onlyOwner {
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers control of the contract to a newOwner.
     * @param newOwner The address to transfer ownership to.
     */
    function _transferOwnership(address newOwner) internal {
        require(newOwner != address(0));
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}


/**
 * @title ERC20 interface
 * @dev see https://eips.ethereum.org/EIPS/eip-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://eips.ethereum.org/EIPS/eip-20
 * 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 A 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 to 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) {
        _approve(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) {
        _transfer(from, to, value);
        _approve(from, msg.sender, _allowed[from][msg.sender].sub(value));
        return true;
    }

    /**
     * @dev Increase the amount of tokens that an owner allowed to a spender.
     * approve should be called when _allowed[msg.sender][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) {
        _approve(msg.sender, spender, _allowed[msg.sender][spender].add(addedValue));
        return true;
    }

    /**
     * @dev Decrease the amount of tokens that an owner allowed to a spender.
     * approve should be called when _allowed[msg.sender][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) {
        _approve(msg.sender, spender, _allowed[msg.sender][spender].sub(subtractedValue));
        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 Approve an address to spend another addresses' tokens.
     * @param owner The address that owns the tokens.
     * @param spender The address that will spend the tokens.
     * @param value The number of tokens that can be spent.
     */
    function _approve(address owner, address spender, uint256 value) internal {
        require(spender != address(0));
        require(owner != address(0));

        _allowed[owner][spender] = value;
        emit Approval(owner, spender, 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 {
        _burn(account, value);
        _approve(account, msg.sender, _allowed[account][msg.sender].sub(value));
    }
}

contract UpgradedStandardToken is ERC20 {
    // those methods are called by the legacy contract
    // and they must ensure msg.sender to be the contract address
    uint public _totalSupply;
    function transferByLegacy(address from, address to, uint value) public returns (bool);
    function transferFromByLegacy(address sender, address from, address spender, uint value) public returns (bool);
    function approveByLegacy(address from, address spender, uint value) public returns (bool);
    function increaseApprovalByLegacy(address from, address spender, uint addedValue) public returns (bool);
    function decreaseApprovalByLegacy(address from, address spender, uint subtractedValue) public returns (bool);
}

contract BlackList is Ownable {
    function getBlackListStatus(address _maker) external view returns (bool) {
        return isBlackListed[_maker];
    }

    mapping (address => bool) public isBlackListed;

    function addBlackList (address _evilUser) public onlyOwner {
        isBlackListed[_evilUser] = true;
        emit AddedBlackList(_evilUser);
    }

    function removeBlackList (address _clearedUser) public onlyOwner {
        isBlackListed[_clearedUser] = false;
        emit RemovedBlackList(_clearedUser);
    }

    event AddedBlackList(address indexed _user);

    event RemovedBlackList(address indexed _user);

}

contract StandardTokenWithFees is ERC20, Ownable {

  // Additional variables for use if transaction fees ever became necessary
  uint256 public basisPointsRate = 0;
  uint256 public maximumFee = 0;
  uint256 constant MAX_SETTABLE_BASIS_POINTS = 20;
  uint256 constant MAX_SETTABLE_FEE = 50;

  string public name;
  string public symbol;
  uint8 public decimals;

  uint public constant MAX_UINT = 2**256 - 1;

  function calcFee(uint _value) internal view returns (uint) {
    uint fee = (_value.mul(basisPointsRate)).div(10000);
    if (fee > maximumFee) {
        fee = maximumFee;
    }
    return fee;
  }

  function transfer(address _to, uint _value) public returns (bool) {
    uint fee = calcFee(_value);
    uint sendAmount = _value.sub(fee);

    super.transfer(_to, sendAmount);
    if (fee > 0) {
      super.transfer(owner(), fee);
    }
  }

  function transferFrom(address _from, address _to, uint256 _value) public returns (bool) {
    require(_to != address(0));
    require(_value <= balanceOf(_from));
    require(_value <= allowance(_from, msg.sender));

    uint fee = calcFee(_value);
    uint sendAmount = _value.sub(fee);

    _transfer(_from, _to, sendAmount);
    if (allowance(_from, msg.sender) < MAX_UINT) {
        _approve(_from, msg.sender, allowance(_from, msg.sender).sub(_value));
    }
    if (fee > 0) {
        _transfer(_from, owner(), fee);
    }
    return true;
  }

  function setParams(uint newBasisPoints, uint newMaxFee) public onlyOwner {
      // Ensure transparency by hardcoding limit beyond which fees can never be added
      require(newBasisPoints < MAX_SETTABLE_BASIS_POINTS);
      require(newMaxFee < MAX_SETTABLE_FEE);

      basisPointsRate = newBasisPoints;
      maximumFee = newMaxFee.mul(uint(10)**decimals);

      emit Params(basisPointsRate, maximumFee);
  }

  // Called if contract ever adds fees
  event Params(uint feeBasisPoints, uint maxFee);

}

contract ATMToken is Pausable, StandardTokenWithFees, BlackList {

    address public upgradedAddress;
    bool public deprecated;

    //  The contract can be initialized with a number of tokens
    //  All the tokens are deposited to the owner address
    //
    // @param _balance Initial supply of the contract
    // @param _name Token Name
    // @param _symbol Token symbol
    // @param _decimals Token decimals
    constructor (uint _initialSupply, string memory _name, string memory _symbol, uint8 _decimals) public {
        _mint(owner(), _initialSupply);
        name = _name;
        symbol = _symbol;
        decimals = _decimals;
        deprecated = false;
        emit Issue(_initialSupply);
    }

    // Forward ERC20 methods to upgraded contract if this one is deprecated
    function transfer(address _to, uint _value) public whenNotPaused returns (bool) {
        require(!isBlackListed[msg.sender]);
        if (deprecated) {
            return UpgradedStandardToken(upgradedAddress).transferByLegacy(msg.sender, _to, _value);
        } else {
            return super.transfer(_to, _value);
        }
    }

    // Forward ERC20 methods to upgraded contract if this one is deprecated
    function transferFrom(address _from, address _to, uint _value) public whenNotPaused returns (bool) {
        require(!isBlackListed[_from]);
        if (deprecated) {
            return UpgradedStandardToken(upgradedAddress).transferFromByLegacy(msg.sender, _from, _to, _value);
        } else {
            return super.transferFrom(_from, _to, _value);
        }
    }

    // Forward ERC20 methods to upgraded contract if this one is deprecated
    function balanceOf(address who) public view returns (uint) {
        if (deprecated) {
            return UpgradedStandardToken(upgradedAddress).balanceOf(who);
        } else {
            return super.balanceOf(who);
        }
    }

    // Allow checks of balance at time of deprecation
    function oldBalanceOf(address who) public view returns (uint) {
        if (deprecated) {
            return super.balanceOf(who);
        }
    }

    // Forward ERC20 methods to upgraded contract if this one is deprecated
    function approve(address _spender, uint _value) public whenNotPaused returns (bool) {
        if (deprecated) {
            return UpgradedStandardToken(upgradedAddress).approveByLegacy(msg.sender, _spender, _value);
        } else {
            return super.approve(_spender, _value);
        }
    }

    function increaseApproval(address _spender, uint _addedValue) public whenNotPaused returns (bool) {
        if (deprecated) {
            return UpgradedStandardToken(upgradedAddress).increaseApprovalByLegacy(msg.sender, _spender, _addedValue);
        } else {
            return super.increaseAllowance(_spender, _addedValue);
        }
    }

    function decreaseApproval(address _spender, uint _subtractedValue) public whenNotPaused returns (bool) {
        if (deprecated) {
            return UpgradedStandardToken(upgradedAddress).decreaseApprovalByLegacy(msg.sender, _spender, _subtractedValue);
        } else {
            return super.decreaseAllowance(_spender, _subtractedValue);
        }
    }

    // Forward ERC20 methods to upgraded contract if this one is deprecated
    function allowance(address _owner, address _spender) public view returns (uint remaining) {
        if (deprecated) {
            return IERC20(upgradedAddress).allowance(_owner, _spender);
        } else {
            return super.allowance(_owner, _spender);
        }
    }

    // deprecate current contract in favour of a new one
    function deprecate(address _upgradedAddress) public onlyOwner {
        require(_upgradedAddress != address(0));
        deprecated = true;
        upgradedAddress = _upgradedAddress;
        emit Deprecate(_upgradedAddress);
    }

    // deprecate current contract if favour of a new one
    function totalSupply() public view returns (uint) {
        if (deprecated) {
            return IERC20(upgradedAddress).totalSupply();
        } else {
            return super.totalSupply();
        }
    }

    // Issue a new amount of tokens
    // these tokens are deposited into the owner address
    //
    // @param _amount Number of tokens to be issued
    function issue(uint amount) public onlyOwner {
        require(!deprecated);
        _mint(owner(), amount);
        emit Issue(amount);
    }
    
    // Issue a new amount of tokens
    // these tokens are deposited into the account address
    //
    // @param _account Address to be issued
    // @param _amount Number of tokens to be issued
    function issueToAccount(address account, uint amount) public onlyOwner {
        require(!deprecated);
        _mint(account, amount);
        emit Issue(amount);
    }

    // Redeem tokens.
    // These tokens are withdrawn from the owner address
    // if the balance must be enough to cover the redeem
    // or the call will fail.
    // @param _amount Number of tokens to be issued
    function redeem(uint amount) public onlyOwner {
        require(!deprecated);
        _burn(owner(), amount);
        emit Redeem(amount);
    }

    function destroyBlackFunds (address _blackListedUser) public onlyOwner {
        require(isBlackListed[_blackListedUser]);
        uint dirtyFunds = balanceOf(_blackListedUser);
        _burn(_blackListedUser, dirtyFunds);
        emit DestroyedBlackFunds(_blackListedUser, dirtyFunds);
    }

    event DestroyedBlackFunds(address indexed _blackListedUser, uint _balance);

    // Called when new token are issued
    event Issue(uint amount);

    // Called when tokens are redeemed
    event Redeem(uint amount);

    // Called when contract is deprecated
    event Deprecate(address newAddress);

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"uint256","name":"_initialSupply","type":"uint256"},{"internalType":"string","name":"_name","type":"string"},{"internalType":"string","name":"_symbol","type":"string"},{"internalType":"uint8","name":"_decimals","type":"uint8"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_user","type":"address"}],"name":"AddedBlackList","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":false,"internalType":"address","name":"newAddress","type":"address"}],"name":"Deprecate","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_blackListedUser","type":"address"},{"indexed":false,"internalType":"uint256","name":"_balance","type":"uint256"}],"name":"DestroyedBlackFunds","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Issue","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":[{"indexed":false,"internalType":"uint256","name":"feeBasisPoints","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"maxFee","type":"uint256"}],"name":"Params","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"PauserAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"PauserRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Redeem","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_user","type":"address"}],"name":"RemovedBlackList","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":false,"internalType":"address","name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"constant":true,"inputs":[],"name":"MAX_UINT","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_evilUser","type":"address"}],"name":"addBlackList","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"addPauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"_owner","type":"address"},{"internalType":"address","name":"_spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"remaining","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":[{"internalType":"address","name":"who","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"basisPointsRate","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","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":false,"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_subtractedValue","type":"uint256"}],"name":"decreaseApproval","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_upgradedAddress","type":"address"}],"name":"deprecate","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"deprecated","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_blackListedUser","type":"address"}],"name":"destroyBlackFunds","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"_maker","type":"address"}],"name":"getBlackListStatus","outputs":[{"internalType":"bool","name":"","type":"bool"}],"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":false,"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_addedValue","type":"uint256"}],"name":"increaseApproval","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isBlackListed","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isPauser","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"issue","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"issueToAccount","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"maximumFee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"who","type":"address"}],"name":"oldBalanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"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":"uint256","name":"amount","type":"uint256"}],"name":"redeem","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_clearedUser","type":"address"}],"name":"removeBlackList","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renouncePauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"newBasisPoints","type":"uint256"},{"internalType":"uint256","name":"newMaxFee","type":"uint256"}],"name":"setParams","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":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":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"upgradedAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"}]

6080604052600060065560006007553480156200001b57600080fd5b506040516200383038038062003830833981810160405260808110156200004157600080fd5b8101908080519060200190929190805160405193929190846401000000008211156200006c57600080fd5b838201915060208201858111156200008357600080fd5b8251866001820283011164010000000082111715620000a157600080fd5b8083526020830192505050908051906020019080838360005b83811015620000d7578082015181840152602081019050620000ba565b50505050905090810190601f168015620001055780820380516001836020036101000a031916815260200191505b50604052602001805160405193929190846401000000008211156200012957600080fd5b838201915060208201858111156200014057600080fd5b82518660018202830111640100000000821117156200015e57600080fd5b8083526020830192505050908051906020019080838360005b838110156200019457808201518184015260208101905062000177565b50505050905090810190601f168015620001c25780820380516001836020036101000a031916815260200191505b5060405260200180519060200190929190505050620001e7336200038a60201b60201c565b6000600160006101000a81548160ff02191690831515021790555033600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3620002e1620002d4620003eb60201b60201c565b856200041560201b60201c565b8260089080519060200190620002f9929190620006e1565b50816009908051906020019062000312929190620006e1565b5080600a60006101000a81548160ff021916908360ff1602179055506000600c60146101000a81548160ff0219169083151502179055507fcb8241adb0c3fdb35b70c24ce35c5eb0c17af7431c99f827d44a445ca624176a846040518082815260200191505060405180910390a15050505062000790565b620003a58160006200057860201b62002f721790919060201c565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156200045057600080fd5b6200046c816004546200062e60201b620024ce1790919060201c565b600481905550620004cb81600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200062e60201b620024ce1790919060201c565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415620005b357600080fd5b620005c582826200064e60201b60201c565b15620005d057600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6000808284019050838110156200064457600080fd5b8091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156200068a57600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200072457805160ff191683800117855562000755565b8280016001018555821562000755579182015b828111156200075457825182559160200191906001019062000737565b5b50905062000764919062000768565b5090565b6200078d91905b80821115620007895760008160009055506001016200076f565b5090565b90565b61309080620007a06000396000f3fe608060405234801561001057600080fd5b506004361061023d5760003560e01c8063715018a61161013b578063cc872b66116100b8578063e47d60601161007c578063e47d606014610b60578063e4997dc514610bbc578063e5b5019a14610c00578063f2fde38b14610c1e578063f3bdc22814610c625761023d565b8063cc872b6614610a08578063d73dd62314610a36578063db006a7514610a9c578063dd62ed3e14610aca578063dd644f7214610b425761023d565b806395d89b41116100ff57806395d89b4114610829578063a457c2d7146108ac578063a9059cbb14610912578063b7a3446c14610978578063c0324c77146109d05761023d565b8063715018a61461076557806382dc1ec41461076f5780638456cb59146107b35780638da5cb5b146107bd5780638f32d59b146108075761023d565b806335390714116101c957806359bf1abe1161018d57806359bf1abe1461061f5780635c975abb1461067b578063661884631461069d5780636ef8d66d1461070357806370a082311461070d5761023d565b806335390714146104e757806339509351146105055780633f4ba83a1461056b578063427451411461057557806346fbf68e146105c35761023d565b80630ecb93c0116102105780630ecb93c01461039157806318160ddd146103d557806323b872dd146103f357806326976e3f14610479578063313ce567146104c35761023d565b806306fdde03146102425780630753c30c146102c5578063095ea7b3146103095780630e136b191461036f575b600080fd5b61024a610ca6565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561028a57808201518184015260208101905061026f565b50505050905090810190601f1680156102b75780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610307600480360360208110156102db57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610d44565b005b6103556004803603604081101561031f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e51565b604051808215151515815260200191505060405180910390f35b610377610fb4565b604051808215151515815260200191505060405180910390f35b6103d3600480360360208110156103a757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fc7565b005b6103dd611076565b6040518082815260200191505060405180910390f35b61045f6004803603606081101561040957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611145565b604051808215151515815260200191505060405180910390f35b610481611335565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104cb61135b565b604051808260ff1660ff16815260200191505060405180910390f35b6104ef61136e565b6040518082815260200191505060405180910390f35b6105516004803603604081101561051b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611374565b604051808215151515815260200191505060405180910390f35b610573611419565b005b6105c16004803603604081101561058b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506114c4565b005b610605600480360360208110156105d957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611534565b604051808215151515815260200191505060405180910390f35b6106616004803603602081101561063557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611551565b604051808215151515815260200191505060405180910390f35b6106836115a7565b604051808215151515815260200191505060405180910390f35b6106e9600480360360408110156106b357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506115be565b604051808215151515815260200191505060405180910390f35b61070b611721565b005b61074f6004803603602081101561072357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061172c565b6040518082815260200191505060405180910390f35b61076d611835565b005b6107b16004803603602081101561078557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611907565b005b6107bb611925565b005b6107c56119d0565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61080f6119fa565b604051808215151515815260200191505060405180910390f35b610831611a52565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610871578082015181840152602081019050610856565b50505050905090810190601f16801561089e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6108f8600480360360408110156108c257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611af0565b604051808215151515815260200191505060405180910390f35b61095e6004803603604081101561092857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611b95565b604051808215151515815260200191505060405180910390f35b6109ba6004803603602081101561098e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611d4f565b6040518082815260200191505060405180910390f35b610a06600480360360408110156109e657600080fd5b810190808035906020019092919080359060200190929190505050611d7c565b005b610a3460048036036020811015610a1e57600080fd5b8101908080359060200190929190505050611e23565b005b610a8260048036036040811015610a4c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611e99565b604051808215151515815260200191505060405180910390f35b610ac860048036036020811015610ab257600080fd5b8101908080359060200190929190505050611ffc565b005b610b2c60048036036040811015610ae057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612072565b6040518082815260200191505060405180910390f35b610b4a6121b1565b6040518082815260200191505060405180910390f35b610ba260048036036020811015610b7657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506121b7565b604051808215151515815260200191505060405180910390f35b610bfe60048036036020811015610bd257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506121d7565b005b610c08612286565b6040518082815260200191505060405180910390f35b610c6060048036036020811015610c3457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506122aa565b005b610ca460048036036020811015610c7857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506122c7565b005b60088054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610d3c5780601f10610d1157610100808354040283529160200191610d3c565b820191906000526020600020905b815481529060010190602001808311610d1f57829003601f168201915b505050505081565b610d4c6119fa565b610d5557600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610d8f57600080fd5b6001600c60146101000a81548160ff02191690831515021790555080600c60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507fcc358699805e9a8b7f77b522628c7cb9abd07d9efb86b6fb616af1609036a99e81604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a150565b6000600160009054906101000a900460ff1615610e6d57600080fd5b600c60149054906101000a900460ff1615610fa157600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663aee92d333385856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b158015610f5f57600080fd5b505af1158015610f73573d6000803e3d6000fd5b505050506040513d6020811015610f8957600080fd5b81019080805190602001909291905050509050610fae565b610fab8383612397565b90505b92915050565b600c60149054906101000a900460ff1681565b610fcf6119fa565b610fd857600080fd5b6001600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508073ffffffffffffffffffffffffffffffffffffffff167f42e160154868087d6bfdc0ca23d96a1c1cfa32f1b72ba9ba27b69b98a0d819dc60405160405180910390a250565b6000600c60149054906101000a900460ff161561113757600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b1580156110f557600080fd5b505afa158015611109573d6000803e3d6000fd5b505050506040513d602081101561111f57600080fd5b81019080805190602001909291905050509050611142565b61113f6123ae565b90505b90565b6000600160009054906101000a900460ff161561116157600080fd5b600b60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156111b857600080fd5b600c60149054906101000a900460ff161561132057600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16638b477adb338686866040518563ffffffff1660e01b8152600401808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828152602001945050505050602060405180830381600087803b1580156112de57600080fd5b505af11580156112f2573d6000803e3d6000fd5b505050506040513d602081101561130857600080fd5b8101908080519060200190929190505050905061132e565b61132b8484846123b8565b90505b9392505050565b600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600a60009054906101000a900460ff1681565b60075481565b600061140f338461140a85600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546124ce90919063ffffffff16565b6124ed565b6001905092915050565b61142233611534565b61142b57600080fd5b600160009054906101000a900460ff1661144457600080fd5b6000600160006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b6114cc6119fa565b6114d557600080fd5b600c60149054906101000a900460ff16156114ef57600080fd5b6114f9828261264c565b7fcb8241adb0c3fdb35b70c24ce35c5eb0c17af7431c99f827d44a445ca624176a816040518082815260200191505060405180910390a15050565b600061154a8260006127a090919063ffffffff16565b9050919050565b6000600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b6000600160009054906101000a900460ff16905090565b6000600160009054906101000a900460ff16156115da57600080fd5b600c60149054906101000a900460ff161561170e57600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636001279f3385856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b1580156116cc57600080fd5b505af11580156116e0573d6000803e3d6000fd5b505050506040513d60208110156116f657600080fd5b8101908080519060200190929190505050905061171b565b6117188383611af0565b90505b92915050565b61172a33612832565b565b6000600c60149054906101000a900460ff161561182457600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231836040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156117e257600080fd5b505afa1580156117f6573d6000803e3d6000fd5b505050506040513d602081101561180c57600080fd5b81019080805190602001909291905050509050611830565b61182d8261288c565b90505b919050565b61183d6119fa565b61184657600080fd5b600073ffffffffffffffffffffffffffffffffffffffff16600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a36000600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b61191033611534565b61191957600080fd5b611922816128d5565b50565b61192e33611534565b61193757600080fd5b600160009054906101000a900460ff161561195157600080fd5b60018060006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614905090565b60098054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611ae85780601f10611abd57610100808354040283529160200191611ae8565b820191906000526020600020905b815481529060010190602001808311611acb57829003601f168201915b505050505081565b6000611b8b3384611b8685600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461292f90919063ffffffff16565b6124ed565b6001905092915050565b6000600160009054906101000a900460ff1615611bb157600080fd5b600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615611c0857600080fd5b600c60149054906101000a900460ff1615611d3c57600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636e18980a3385856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b158015611cfa57600080fd5b505af1158015611d0e573d6000803e3d6000fd5b505050506040513d6020811015611d2457600080fd5b81019080805190602001909291905050509050611d49565b611d46838361294f565b90505b92915050565b6000600c60149054906101000a900460ff1615611d7657611d6f8261288c565b9050611d77565b5b919050565b611d846119fa565b611d8d57600080fd5b60148210611d9a57600080fd5b60328110611da757600080fd5b81600681905550611dd6600a60009054906101000a900460ff1660ff16600a0a826129a390919063ffffffff16565b6007819055507fb044a1e409eac5c48e5af22d4af52670dd1a99059537a78b31b48c6500a6354e600654600754604051808381526020018281526020019250505060405180910390a15050565b611e2b6119fa565b611e3457600080fd5b600c60149054906101000a900460ff1615611e4e57600080fd5b611e5f611e596119d0565b8261264c565b7fcb8241adb0c3fdb35b70c24ce35c5eb0c17af7431c99f827d44a445ca624176a816040518082815260200191505060405180910390a150565b6000600160009054906101000a900460ff1615611eb557600080fd5b600c60149054906101000a900460ff1615611fe957600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a95381573385856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b158015611fa757600080fd5b505af1158015611fbb573d6000803e3d6000fd5b505050506040513d6020811015611fd157600080fd5b81019080805190602001909291905050509050611ff6565b611ff38383611374565b90505b92915050565b6120046119fa565b61200d57600080fd5b600c60149054906101000a900460ff161561202757600080fd5b6120386120326119d0565b826129dd565b7f702d5967f45f6513a38ffc42d6ba9bf230bd40e8f53b16363c7eb4fd2deb9a44816040518082815260200191505060405180910390a150565b6000600c60149054906101000a900460ff161561219e57600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dd62ed3e84846040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b15801561215c57600080fd5b505afa158015612170573d6000803e3d6000fd5b505050506040513d602081101561218657600080fd5b810190808051906020019092919050505090506121ab565b6121a88383612b31565b90505b92915050565b60065481565b600b6020528060005260406000206000915054906101000a900460ff1681565b6121df6119fa565b6121e857600080fd5b6000600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508073ffffffffffffffffffffffffffffffffffffffff167fd7e9ec6e6ecd65492dce6bf513cd6867560d49544421d0783ddf06e76c24470c60405160405180910390a250565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81565b6122b26119fa565b6122bb57600080fd5b6122c481612bb8565b50565b6122cf6119fa565b6122d857600080fd5b600b60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1661232e57600080fd5b60006123398261172c565b905061234582826129dd565b8173ffffffffffffffffffffffffffffffffffffffff167f61e6e66b0d6339b2980aecc6ccc0039736791f0ccde9ed512e789a7fbdd698c6826040518082815260200191505060405180910390a25050565b60006123a43384846124ed565b6001905092915050565b6000600454905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156123f357600080fd5b6123fc8461172c565b82111561240857600080fd5b6124128433612072565b82111561241e57600080fd5b600061242983612cb2565b90506000612440828561292f90919063ffffffff16565b905061244d868683612cf9565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6124788733612072565b10156124a5576124a4863361249f876124918b33612072565b61292f90919063ffffffff16565b6124ed565b5b60008211156124c1576124c0866124ba6119d0565b84612cf9565b5b6001925050509392505050565b6000808284019050838110156124e357600080fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561252757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561256157600080fd5b80600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561268657600080fd5b61269b816004546124ce90919063ffffffff16565b6004819055506126f381600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546124ce90919063ffffffff16565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156127db57600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b612846816000612ec790919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e60405160405180910390a250565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6128e9816000612f7290919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b60008282111561293e57600080fd5b600082840390508091505092915050565b60008061295b83612cb2565b90506000612972828561292f90919063ffffffff16565b905061297e858261301e565b50600082111561299b576129996129936119d0565b8361301e565b505b505092915050565b6000808314156129b657600090506129d7565b60008284029050828482816129c757fe5b04146129d257600080fd5b809150505b92915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612a1757600080fd5b612a2c8160045461292f90919063ffffffff16565b600481905550612a8481600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461292f90919063ffffffff16565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415612bf257600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600080612cde612710612cd0600654866129a390919063ffffffff16565b61303590919063ffffffff16565b9050600754811115612cf05760075490505b80915050919050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612d3357600080fd5b612d8581600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461292f90919063ffffffff16565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612e1a81600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546124ce90919063ffffffff16565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415612f0157600080fd5b612f0b82826127a0565b612f1457600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415612fac57600080fd5b612fb682826127a0565b15612fc057600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600061302b338484612cf9565b6001905092915050565b600080821161304357600080fd5b600082848161304e57fe5b049050809150509291505056fea265627a7a72315820e3a4e6a02431703d8c0f78fa75912372108cbbbc0f16b5a02477283e64a1fcd864736f6c634300051000320000000000000000000000000000000000000000000000000000000059682f00000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c00000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000001041757468656e746963204d617472697800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000341544d0000000000000000000000000000000000000000000000000000000000

0x608060405234801561001057600080fd5b506004361061023d5760003560e01c8063715018a61161013b578063cc872b66116100b8578063e47d60601161007c578063e47d606014610b60578063e4997dc514610bbc578063e5b5019a14610c00578063f2fde38b14610c1e578063f3bdc22814610c625761023d565b8063cc872b6614610a08578063d73dd62314610a36578063db006a7514610a9c578063dd62ed3e14610aca578063dd644f7214610b425761023d565b806395d89b41116100ff57806395d89b4114610829578063a457c2d7146108ac578063a9059cbb14610912578063b7a3446c14610978578063c0324c77146109d05761023d565b8063715018a61461076557806382dc1ec41461076f5780638456cb59146107b35780638da5cb5b146107bd5780638f32d59b146108075761023d565b806335390714116101c957806359bf1abe1161018d57806359bf1abe1461061f5780635c975abb1461067b578063661884631461069d5780636ef8d66d1461070357806370a082311461070d5761023d565b806335390714146104e757806339509351146105055780633f4ba83a1461056b578063427451411461057557806346fbf68e146105c35761023d565b80630ecb93c0116102105780630ecb93c01461039157806318160ddd146103d557806323b872dd146103f357806326976e3f14610479578063313ce567146104c35761023d565b806306fdde03146102425780630753c30c146102c5578063095ea7b3146103095780630e136b191461036f575b600080fd5b61024a610ca6565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561028a57808201518184015260208101905061026f565b50505050905090810190601f1680156102b75780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610307600480360360208110156102db57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610d44565b005b6103556004803603604081101561031f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e51565b604051808215151515815260200191505060405180910390f35b610377610fb4565b604051808215151515815260200191505060405180910390f35b6103d3600480360360208110156103a757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fc7565b005b6103dd611076565b6040518082815260200191505060405180910390f35b61045f6004803603606081101561040957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611145565b604051808215151515815260200191505060405180910390f35b610481611335565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104cb61135b565b604051808260ff1660ff16815260200191505060405180910390f35b6104ef61136e565b6040518082815260200191505060405180910390f35b6105516004803603604081101561051b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611374565b604051808215151515815260200191505060405180910390f35b610573611419565b005b6105c16004803603604081101561058b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506114c4565b005b610605600480360360208110156105d957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611534565b604051808215151515815260200191505060405180910390f35b6106616004803603602081101561063557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611551565b604051808215151515815260200191505060405180910390f35b6106836115a7565b604051808215151515815260200191505060405180910390f35b6106e9600480360360408110156106b357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506115be565b604051808215151515815260200191505060405180910390f35b61070b611721565b005b61074f6004803603602081101561072357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061172c565b6040518082815260200191505060405180910390f35b61076d611835565b005b6107b16004803603602081101561078557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611907565b005b6107bb611925565b005b6107c56119d0565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61080f6119fa565b604051808215151515815260200191505060405180910390f35b610831611a52565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610871578082015181840152602081019050610856565b50505050905090810190601f16801561089e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6108f8600480360360408110156108c257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611af0565b604051808215151515815260200191505060405180910390f35b61095e6004803603604081101561092857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611b95565b604051808215151515815260200191505060405180910390f35b6109ba6004803603602081101561098e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611d4f565b6040518082815260200191505060405180910390f35b610a06600480360360408110156109e657600080fd5b810190808035906020019092919080359060200190929190505050611d7c565b005b610a3460048036036020811015610a1e57600080fd5b8101908080359060200190929190505050611e23565b005b610a8260048036036040811015610a4c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611e99565b604051808215151515815260200191505060405180910390f35b610ac860048036036020811015610ab257600080fd5b8101908080359060200190929190505050611ffc565b005b610b2c60048036036040811015610ae057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612072565b6040518082815260200191505060405180910390f35b610b4a6121b1565b6040518082815260200191505060405180910390f35b610ba260048036036020811015610b7657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506121b7565b604051808215151515815260200191505060405180910390f35b610bfe60048036036020811015610bd257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506121d7565b005b610c08612286565b6040518082815260200191505060405180910390f35b610c6060048036036020811015610c3457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506122aa565b005b610ca460048036036020811015610c7857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506122c7565b005b60088054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610d3c5780601f10610d1157610100808354040283529160200191610d3c565b820191906000526020600020905b815481529060010190602001808311610d1f57829003601f168201915b505050505081565b610d4c6119fa565b610d5557600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610d8f57600080fd5b6001600c60146101000a81548160ff02191690831515021790555080600c60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507fcc358699805e9a8b7f77b522628c7cb9abd07d9efb86b6fb616af1609036a99e81604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a150565b6000600160009054906101000a900460ff1615610e6d57600080fd5b600c60149054906101000a900460ff1615610fa157600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663aee92d333385856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b158015610f5f57600080fd5b505af1158015610f73573d6000803e3d6000fd5b505050506040513d6020811015610f8957600080fd5b81019080805190602001909291905050509050610fae565b610fab8383612397565b90505b92915050565b600c60149054906101000a900460ff1681565b610fcf6119fa565b610fd857600080fd5b6001600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508073ffffffffffffffffffffffffffffffffffffffff167f42e160154868087d6bfdc0ca23d96a1c1cfa32f1b72ba9ba27b69b98a0d819dc60405160405180910390a250565b6000600c60149054906101000a900460ff161561113757600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b1580156110f557600080fd5b505afa158015611109573d6000803e3d6000fd5b505050506040513d602081101561111f57600080fd5b81019080805190602001909291905050509050611142565b61113f6123ae565b90505b90565b6000600160009054906101000a900460ff161561116157600080fd5b600b60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156111b857600080fd5b600c60149054906101000a900460ff161561132057600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16638b477adb338686866040518563ffffffff1660e01b8152600401808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828152602001945050505050602060405180830381600087803b1580156112de57600080fd5b505af11580156112f2573d6000803e3d6000fd5b505050506040513d602081101561130857600080fd5b8101908080519060200190929190505050905061132e565b61132b8484846123b8565b90505b9392505050565b600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600a60009054906101000a900460ff1681565b60075481565b600061140f338461140a85600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546124ce90919063ffffffff16565b6124ed565b6001905092915050565b61142233611534565b61142b57600080fd5b600160009054906101000a900460ff1661144457600080fd5b6000600160006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b6114cc6119fa565b6114d557600080fd5b600c60149054906101000a900460ff16156114ef57600080fd5b6114f9828261264c565b7fcb8241adb0c3fdb35b70c24ce35c5eb0c17af7431c99f827d44a445ca624176a816040518082815260200191505060405180910390a15050565b600061154a8260006127a090919063ffffffff16565b9050919050565b6000600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b6000600160009054906101000a900460ff16905090565b6000600160009054906101000a900460ff16156115da57600080fd5b600c60149054906101000a900460ff161561170e57600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636001279f3385856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b1580156116cc57600080fd5b505af11580156116e0573d6000803e3d6000fd5b505050506040513d60208110156116f657600080fd5b8101908080519060200190929190505050905061171b565b6117188383611af0565b90505b92915050565b61172a33612832565b565b6000600c60149054906101000a900460ff161561182457600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231836040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156117e257600080fd5b505afa1580156117f6573d6000803e3d6000fd5b505050506040513d602081101561180c57600080fd5b81019080805190602001909291905050509050611830565b61182d8261288c565b90505b919050565b61183d6119fa565b61184657600080fd5b600073ffffffffffffffffffffffffffffffffffffffff16600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a36000600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b61191033611534565b61191957600080fd5b611922816128d5565b50565b61192e33611534565b61193757600080fd5b600160009054906101000a900460ff161561195157600080fd5b60018060006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614905090565b60098054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611ae85780601f10611abd57610100808354040283529160200191611ae8565b820191906000526020600020905b815481529060010190602001808311611acb57829003601f168201915b505050505081565b6000611b8b3384611b8685600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461292f90919063ffffffff16565b6124ed565b6001905092915050565b6000600160009054906101000a900460ff1615611bb157600080fd5b600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615611c0857600080fd5b600c60149054906101000a900460ff1615611d3c57600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636e18980a3385856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b158015611cfa57600080fd5b505af1158015611d0e573d6000803e3d6000fd5b505050506040513d6020811015611d2457600080fd5b81019080805190602001909291905050509050611d49565b611d46838361294f565b90505b92915050565b6000600c60149054906101000a900460ff1615611d7657611d6f8261288c565b9050611d77565b5b919050565b611d846119fa565b611d8d57600080fd5b60148210611d9a57600080fd5b60328110611da757600080fd5b81600681905550611dd6600a60009054906101000a900460ff1660ff16600a0a826129a390919063ffffffff16565b6007819055507fb044a1e409eac5c48e5af22d4af52670dd1a99059537a78b31b48c6500a6354e600654600754604051808381526020018281526020019250505060405180910390a15050565b611e2b6119fa565b611e3457600080fd5b600c60149054906101000a900460ff1615611e4e57600080fd5b611e5f611e596119d0565b8261264c565b7fcb8241adb0c3fdb35b70c24ce35c5eb0c17af7431c99f827d44a445ca624176a816040518082815260200191505060405180910390a150565b6000600160009054906101000a900460ff1615611eb557600080fd5b600c60149054906101000a900460ff1615611fe957600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a95381573385856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b158015611fa757600080fd5b505af1158015611fbb573d6000803e3d6000fd5b505050506040513d6020811015611fd157600080fd5b81019080805190602001909291905050509050611ff6565b611ff38383611374565b90505b92915050565b6120046119fa565b61200d57600080fd5b600c60149054906101000a900460ff161561202757600080fd5b6120386120326119d0565b826129dd565b7f702d5967f45f6513a38ffc42d6ba9bf230bd40e8f53b16363c7eb4fd2deb9a44816040518082815260200191505060405180910390a150565b6000600c60149054906101000a900460ff161561219e57600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dd62ed3e84846040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b15801561215c57600080fd5b505afa158015612170573d6000803e3d6000fd5b505050506040513d602081101561218657600080fd5b810190808051906020019092919050505090506121ab565b6121a88383612b31565b90505b92915050565b60065481565b600b6020528060005260406000206000915054906101000a900460ff1681565b6121df6119fa565b6121e857600080fd5b6000600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508073ffffffffffffffffffffffffffffffffffffffff167fd7e9ec6e6ecd65492dce6bf513cd6867560d49544421d0783ddf06e76c24470c60405160405180910390a250565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81565b6122b26119fa565b6122bb57600080fd5b6122c481612bb8565b50565b6122cf6119fa565b6122d857600080fd5b600b60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1661232e57600080fd5b60006123398261172c565b905061234582826129dd565b8173ffffffffffffffffffffffffffffffffffffffff167f61e6e66b0d6339b2980aecc6ccc0039736791f0ccde9ed512e789a7fbdd698c6826040518082815260200191505060405180910390a25050565b60006123a43384846124ed565b6001905092915050565b6000600454905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156123f357600080fd5b6123fc8461172c565b82111561240857600080fd5b6124128433612072565b82111561241e57600080fd5b600061242983612cb2565b90506000612440828561292f90919063ffffffff16565b905061244d868683612cf9565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6124788733612072565b10156124a5576124a4863361249f876124918b33612072565b61292f90919063ffffffff16565b6124ed565b5b60008211156124c1576124c0866124ba6119d0565b84612cf9565b5b6001925050509392505050565b6000808284019050838110156124e357600080fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561252757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561256157600080fd5b80600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561268657600080fd5b61269b816004546124ce90919063ffffffff16565b6004819055506126f381600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546124ce90919063ffffffff16565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156127db57600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b612846816000612ec790919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e60405160405180910390a250565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6128e9816000612f7290919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b60008282111561293e57600080fd5b600082840390508091505092915050565b60008061295b83612cb2565b90506000612972828561292f90919063ffffffff16565b905061297e858261301e565b50600082111561299b576129996129936119d0565b8361301e565b505b505092915050565b6000808314156129b657600090506129d7565b60008284029050828482816129c757fe5b04146129d257600080fd5b809150505b92915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612a1757600080fd5b612a2c8160045461292f90919063ffffffff16565b600481905550612a8481600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461292f90919063ffffffff16565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415612bf257600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600080612cde612710612cd0600654866129a390919063ffffffff16565b61303590919063ffffffff16565b9050600754811115612cf05760075490505b80915050919050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612d3357600080fd5b612d8581600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461292f90919063ffffffff16565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612e1a81600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546124ce90919063ffffffff16565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415612f0157600080fd5b612f0b82826127a0565b612f1457600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415612fac57600080fd5b612fb682826127a0565b15612fc057600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600061302b338484612cf9565b6001905092915050565b600080821161304357600080fd5b600082848161304e57fe5b049050809150509291505056fea265627a7a72315820e3a4e6a02431703d8c0f78fa75912372108cbbbc0f16b5a02477283e64a1fcd864736f6c63430005100032

0000000000000000000000000000000000000000000000000000000059682f00000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c00000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000001041757468656e746963204d617472697800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000341544d0000000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : _initialSupply (uint256): 1500000000
Arg [1] : _name (string): Authentic Matrix
Arg [2] : _symbol (string): ATM
Arg [3] : _decimals (uint8): 3

-----Encoded View---------------
8 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000059682f00
Arg [1] : 0000000000000000000000000000000000000000000000000000000000000080
Arg [2] : 00000000000000000000000000000000000000000000000000000000000000c0
Arg [3] : 0000000000000000000000000000000000000000000000000000000000000003
Arg [4] : 0000000000000000000000000000000000000000000000000000000000000010
Arg [5] : 41757468656e746963204d617472697800000000000000000000000000000000
Arg [6] : 0000000000000000000000000000000000000000000000000000000000000003
Arg [7] : 41544d0000000000000000000000000000000000000000000000000000000000

19278:5936:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19278:5936:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17595:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;17595:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22994:236;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;22994:236:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;21523:307;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21523:307:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;19388:22;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;16854:150;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16854:150:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;23296:214;;;:::i;:::-;;;;;;;;;;;;;;;;;;;20523:377;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;20523:377:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;19351:30;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;17643:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;17464:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12227:203;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;12227:203:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3144:118;;;:::i;:::-;;24035:172;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;24035:172:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;1416:109;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1416:109:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;16671:120;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16671:120:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2397:78;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;22196:365;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;22196:365:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1633:77;;;:::i;:::-;;20985:240;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;20985:240:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4715:140;;;:::i;:::-;;1533:92;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1533:92:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;2933:116;;;:::i;:::-;;3925:79;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4260:92;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;17618:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;17618:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12961:213;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;12961:213:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;20097:341;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;20097:341:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;21288:150;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21288:150:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;18755:421;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;18755:421:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;23674:146;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;23674:146:0;;;;;;;;;;;;;;;;;:::i;:::-;;21838:350;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21838:350:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;24438:148;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;24438:148:0;;;;;;;;;;;;;;;;;:::i;:::-;;22646:282;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;22646:282:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;17425:34;;;:::i;:::-;;;;;;;;;;;;;;;;;;;16799:46;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16799:46:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;17012:165;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17012:165:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;17671:42;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5032:109;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5032:109:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;24594:297;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;24594:297:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;17595:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;22994:236::-;4137:9;:7;:9::i;:::-;4129:18;;;;;;23103:1;23075:30;;:16;:30;;;;23067:39;;;;;;23130:4;23117:10;;:17;;;;;;;;;;;;;;;;;;23163:16;23145:15;;:34;;;;;;;;;;;;;;;;;;23195:27;23205:16;23195:27;;;;;;;;;;;;;;;;;;;;;;22994:236;:::o;21523:307::-;21601:4;2634:7;;;;;;;;;;;2633:8;2625:17;;;;;;21622:10;;;;;;;;;;;21618:205;;;21678:15;;;;;;;;;;;21656:54;;;21711:10;21723:8;21733:6;21656:84;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21656:84:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21656:84:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21656:84:0;;;;;;;;;;;;;;;;21649:91;;;;21618:205;21780:31;21794:8;21804:6;21780:13;:31::i;:::-;21773:38;;2653:1;21523:307;;;;:::o;19388:22::-;;;;;;;;;;;;;:::o;16854:150::-;4137:9;:7;:9::i;:::-;4129:18;;;;;;16951:4;16924:13;:24;16938:9;16924:24;;;;;;;;;;;;;;;;:31;;;;;;;;;;;;;;;;;;16986:9;16971:25;;;;;;;;;;;;16854:150;:::o;23296:214::-;23340:4;23361:10;;;;;;;;;;;23357:146;;;23402:15;;;;;;;;;;;23395:35;;;:37;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;23395:37:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;23395:37:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;23395:37:0;;;;;;;;;;;;;;;;23388:44;;;;23357:146;23472:19;:17;:19::i;:::-;23465:26;;23296:214;;:::o;20523:377::-;20616:4;2634:7;;;;;;;;;;;2633:8;2625:17;;;;;;20642:13;:20;20656:5;20642:20;;;;;;;;;;;;;;;;;;;;;;;;;20641:21;20633:30;;;;;;20678:10;;;;;;;;;;;20674:219;;;20734:15;;;;;;;;;;;20712:59;;;20772:10;20784:5;20791:3;20796:6;20712:91;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20712:91:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20712:91:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;20712:91:0;;;;;;;;;;;;;;;;20705:98;;;;20674:219;20843:38;20862:5;20869:3;20874:6;20843:18;:38::i;:::-;20836:45;;2653:1;20523:377;;;;;:::o;19351:30::-;;;;;;;;;;;;;:::o;17643:21::-;;;;;;;;;;;;;:::o;17464:29::-;;;;:::o;12227:203::-;12307:4;12324:76;12333:10;12345:7;12354:45;12388:10;12354:8;:20;12363:10;12354:20;;;;;;;;;;;;;;;:29;12375:7;12354:29;;;;;;;;;;;;;;;;:33;;:45;;;;:::i;:::-;12324:8;:76::i;:::-;12418:4;12411:11;;12227:203;;;;:::o;3144:118::-;1367:20;1376:10;1367:8;:20::i;:::-;1359:29;;;;;;2813:7;;;;;;;;;;;2805:16;;;;;;3213:5;3203:7;;:15;;;;;;;;;;;;;;;;;;3234:20;3243:10;3234:20;;;;;;;;;;;;;;;;;;;;;;3144:118::o;24035:172::-;4137:9;:7;:9::i;:::-;4129:18;;;;;;24126:10;;;;;;;;;;;24125:11;24117:20;;;;;;24148:22;24154:7;24163:6;24148:5;:22::i;:::-;24186:13;24192:6;24186:13;;;;;;;;;;;;;;;;;;24035:172;;:::o;1416:109::-;1472:4;1496:21;1509:7;1496:8;:12;;:21;;;;:::i;:::-;1489:28;;1416:109;;;:::o;16671:120::-;16738:4;16762:13;:21;16776:6;16762:21;;;;;;;;;;;;;;;;;;;;;;;;;16755:28;;16671:120;;;:::o;2397:78::-;2436:4;2460:7;;;;;;;;;;;2453:14;;2397:78;:::o;22196:365::-;22293:4;2634:7;;;;;;;;;;;2633:8;2625:17;;;;;;22314:10;;;;;;;;;;;22310:244;;;22370:15;;;;;;;;;;;22348:63;;;22412:10;22424:8;22434:16;22348:103;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;22348:103:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;22348:103:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;22348:103:0;;;;;;;;;;;;;;;;22341:110;;;;22310:244;22491:51;22515:8;22525:16;22491:23;:51::i;:::-;22484:58;;2653:1;22196:365;;;;:::o;1633:77::-;1677:25;1691:10;1677:13;:25::i;:::-;1633:77::o;20985:240::-;21038:4;21059:10;;;;;;;;;;;21055:163;;;21115:15;;;;;;;;;;;21093:48;;;21142:3;21093:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21093:53:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21093:53:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21093:53:0;;;;;;;;;;;;;;;;21086:60;;;;21055:163;21186:20;21202:3;21186:15;:20::i;:::-;21179:27;;20985:240;;;;:::o;4715:140::-;4137:9;:7;:9::i;:::-;4129:18;;;;;;4814:1;4777:40;;4798:6;;;;;;;;;;;4777:40;;;;;;;;;;;;4845:1;4828:6;;:19;;;;;;;;;;;;;;;;;;4715:140::o;1533:92::-;1367:20;1376:10;1367:8;:20::i;:::-;1359:29;;;;;;1598:19;1609:7;1598:10;:19::i;:::-;1533:92;:::o;2933:116::-;1367:20;1376:10;1367:8;:20::i;:::-;1359:29;;;;;;2634:7;;;;;;;;;;;2633:8;2625:17;;;;;;3003:4;2993:7;;:14;;;;;;;;;;;;;;;;;;3023:18;3030:10;3023:18;;;;;;;;;;;;;;;;;;;;;;2933:116::o;3925:79::-;3963:7;3990:6;;;;;;;;;;;3983:13;;3925:79;:::o;4260:92::-;4300:4;4338:6;;;;;;;;;;;4324:20;;:10;:20;;;4317:27;;4260:92;:::o;17618:20::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;12961:213::-;13046:4;13063:81;13072:10;13084:7;13093:50;13127:15;13093:8;:20;13102:10;13093:20;;;;;;;;;;;;;;;:29;13114:7;13093:29;;;;;;;;;;;;;;;;:33;;:50;;;;:::i;:::-;13063:8;:81::i;:::-;13162:4;13155:11;;12961:213;;;;:::o;20097:341::-;20171:4;2634:7;;;;;;;;;;;2633:8;2625:17;;;;;;20197:13;:25;20211:10;20197:25;;;;;;;;;;;;;;;;;;;;;;;;;20196:26;20188:35;;;;;;20238:10;;;;;;;;;;;20234:197;;;20294:15;;;;;;;;;;;20272:55;;;20328:10;20340:3;20345:6;20272:80;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20272:80:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20272:80:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;20272:80:0;;;;;;;;;;;;;;;;20265:87;;;;20234:197;20392:27;20407:3;20412:6;20392:14;:27::i;:::-;20385:34;;2653:1;20097:341;;;;:::o;21288:150::-;21344:4;21365:10;;;;;;;;;;;21361:70;;;21399:20;21415:3;21399:15;:20::i;:::-;21392:27;;;;21361:70;21288:150;;;;:::o;18755:421::-;4137:9;:7;:9::i;:::-;4129:18;;;;;;17543:2;18932:14;:42;18924:51;;;;;;17586:2;18992:9;:28;18984:37;;;;;;19050:14;19032:15;:32;;;;19086:33;19110:8;;;;;;;;;;;19100:18;;19105:2;19100:18;19086:9;:13;;:33;;;;:::i;:::-;19073:10;:46;;;;19135:35;19142:15;;19159:10;;19135:35;;;;;;;;;;;;;;;;;;;;;;;;18755:421;;:::o;23674:146::-;4137:9;:7;:9::i;:::-;4129:18;;;;;;23739:10;;;;;;;;;;;23738:11;23730:20;;;;;;23761:22;23767:7;:5;:7::i;:::-;23776:6;23761:5;:22::i;:::-;23799:13;23805:6;23799:13;;;;;;;;;;;;;;;;;;23674:146;:::o;21838:350::-;21930:4;2634:7;;;;;;;;;;;2633:8;2625:17;;;;;;21951:10;;;;;;;;;;;21947:234;;;22007:15;;;;;;;;;;;21985:63;;;22049:10;22061:8;22071:11;21985:98;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21985:98:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21985:98:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21985:98:0;;;;;;;;;;;;;;;;21978:105;;;;21947:234;22123:46;22147:8;22157:11;22123:23;:46::i;:::-;22116:53;;2653:1;21838:350;;;;:::o;24438:148::-;4137:9;:7;:9::i;:::-;4129:18;;;;;;24504:10;;;;;;;;;;;24503:11;24495:20;;;;;;24526:22;24532:7;:5;:7::i;:::-;24541:6;24526:5;:22::i;:::-;24564:14;24571:6;24564:14;;;;;;;;;;;;;;;;;;24438:148;:::o;22646:282::-;22720:14;22751:10;;;;;;;;;;;22747:174;;;22792:15;;;;;;;;;;;22785:33;;;22819:6;22827:8;22785:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;22785:51:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;22785:51:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;22785:51:0;;;;;;;;;;;;;;;;22778:58;;;;22747:174;22876:33;22892:6;22900:8;22876:15;:33::i;:::-;22869:40;;22646:282;;;;;:::o;17425:34::-;;;;:::o;16799:46::-;;;;;;;;;;;;;;;;;;;;;;:::o;17012:165::-;4137:9;:7;:9::i;:::-;4129:18;;;;;;17118:5;17088:13;:27;17102:12;17088:27;;;;;;;;;;;;;;;;:35;;;;;;;;;;;;;;;;;;17156:12;17139:30;;;;;;;;;;;;17012:165;:::o;17671:42::-;17703:10;17671:42;:::o;5032:109::-;4137:9;:7;:9::i;:::-;4129:18;;;;;;5105:28;5124:8;5105:18;:28::i;:::-;5032:109;:::o;24594:297::-;4137:9;:7;:9::i;:::-;4129:18;;;;;;24684:13;:31;24698:16;24684:31;;;;;;;;;;;;;;;;;;;;;;;;;24676:40;;;;;;24727:15;24745:27;24755:16;24745:9;:27::i;:::-;24727:45;;24783:35;24789:16;24807:10;24783:5;:35::i;:::-;24854:16;24834:49;;;24872:10;24834:49;;;;;;;;;;;;;;;;;;4158:1;24594:297;:::o;10852:148::-;10917:4;10934:36;10943:10;10955:7;10964:5;10934:8;:36::i;:::-;10988:4;10981:11;;10852:148;;;;:::o;9005:91::-;9049:7;9076:12;;9069:19;;9005:91;:::o;18184:565::-;18266:4;18302:1;18287:17;;:3;:17;;;;18279:26;;;;;;18330:16;18340:5;18330:9;:16::i;:::-;18320:6;:26;;18312:35;;;;;;18372:28;18382:5;18389:10;18372:9;:28::i;:::-;18362:6;:38;;18354:47;;;;;;18410:8;18421:15;18429:6;18421:7;:15::i;:::-;18410:26;;18443:15;18461;18472:3;18461:6;:10;;:15;;;;:::i;:::-;18443:33;;18485;18495:5;18502:3;18507:10;18485:9;:33::i;:::-;17703:10;18529:28;18539:5;18546:10;18529:9;:28::i;:::-;:39;18525:133;;;18581:69;18590:5;18597:10;18609:40;18642:6;18609:28;18619:5;18626:10;18609:9;:28::i;:::-;:32;;:40;;;;:::i;:::-;18581:8;:69::i;:::-;18525:133;18674:1;18668:3;:7;18664:62;;;18688:30;18698:5;18705:7;:5;:7::i;:::-;18714:3;18688:9;:30::i;:::-;18664:62;18739:4;18732:11;;;;18184:565;;;;;:::o;7704:150::-;7762:7;7782:9;7798:1;7794;:5;7782:17;;7823:1;7818;:6;;7810:15;;;;;;7845:1;7838:8;;;7704:150;;;;:::o;15060:254::-;15172:1;15153:21;;:7;:21;;;;15145:30;;;;;;15211:1;15194:19;;:5;:19;;;;15186:28;;;;;;15254:5;15227:8;:15;15236:5;15227:15;;;;;;;;;;;;;;;:24;15243:7;15227:24;;;;;;;;;;;;;;;:32;;;;15291:7;15275:31;;15284:5;15275:31;;;15300:5;15275:31;;;;;;;;;;;;;;;;;;15060:254;;;:::o;14015:269::-;14109:1;14090:21;;:7;:21;;;;14082:30;;;;;;14140:23;14157:5;14140:12;;:16;;:23;;;;:::i;:::-;14125:12;:38;;;;14195:29;14218:5;14195:9;:18;14205:7;14195:18;;;;;;;;;;;;;;;;:22;;:29;;;;:::i;:::-;14174:9;:18;14184:7;14174:18;;;;;;;;;;;;;;;:50;;;;14261:7;14240:36;;14257:1;14240:36;;;14270:5;14240:36;;;;;;;;;;;;;;;;;;14015:269;;:::o;879:165::-;951:4;995:1;976:21;;:7;:21;;;;968:30;;;;;;1016:4;:11;;:20;1028:7;1016:20;;;;;;;;;;;;;;;;;;;;;;;;;1009:27;;879:165;;;;:::o;1848:130::-;1908:24;1924:7;1908:8;:15;;:24;;;;:::i;:::-;1962:7;1948:22;;;;;;;;;;;;1848:130;:::o;9315:106::-;9370:7;9397:9;:16;9407:5;9397:16;;;;;;;;;;;;;;;;9390:23;;9315:106;;;:::o;1718:122::-;1775:21;1788:7;1775:8;:12;;:21;;;;:::i;:::-;1824:7;1812:20;;;;;;;;;;;;1718:122;:::o;7466:150::-;7524:7;7557:1;7552;:6;;7544:15;;;;;;7570:9;7586:1;7582;:5;7570:17;;7607:1;7600:8;;;7466:150;;;;:::o;17929:249::-;17989:4;18002:8;18013:15;18021:6;18013:7;:15::i;:::-;18002:26;;18035:15;18053;18064:3;18053:6;:10;;:15;;;;:::i;:::-;18035:33;;18077:31;18092:3;18097:10;18077:14;:31::i;:::-;;18125:1;18119:3;:7;18115:58;;;18137:28;18152:7;:5;:7::i;:::-;18161:3;18137:14;:28::i;:::-;;18115:58;17929:249;;;;;;:::o;6457:433::-;6515:7;6764:1;6759;:6;6755:47;;;6789:1;6782:8;;;;6755:47;6814:9;6830:1;6826;:5;6814:17;;6859:1;6854;6850;:5;;;;;;:10;6842:19;;;;;;6881:1;6874:8;;;6457:433;;;;;:::o;14518:269::-;14612:1;14593:21;;:7;:21;;;;14585:30;;;;;;14643:23;14660:5;14643:12;;:16;;:23;;;;:::i;:::-;14628:12;:38;;;;14698:29;14721:5;14698:9;:18;14708:7;14698:18;;;;;;;;;;;;;;;;:22;;:29;;;;:::i;:::-;14677:9;:18;14687:7;14677:18;;;;;;;;;;;;;;;:50;;;;14769:1;14743:36;;14752:7;14743:36;;;14773:5;14743:36;;;;;;;;;;;;;;;;;;14518:269;;:::o;9760:131::-;9832:7;9859:8;:15;9868:5;9859:15;;;;;;;;;;;;;;;:24;9875:7;9859:24;;;;;;;;;;;;;;;;9852:31;;9760:131;;;;:::o;5291:187::-;5385:1;5365:22;;:8;:22;;;;5357:31;;;;;;5433:8;5404:38;;5425:6;;;;;;;;;;;5404:38;;;;;;;;;;;;5462:8;5453:6;;:17;;;;;;;;;;;;;;;;;;5291:187;:::o;17720:203::-;17773:4;17786:8;17797:40;17831:5;17798:27;17809:15;;17798:6;:10;;:27;;;;:::i;:::-;17797:33;;:40;;;;:::i;:::-;17786:51;;17854:10;;17848:3;:16;17844:57;;;17883:10;;17877:16;;17844:57;17914:3;17907:10;;;17720:203;;;:::o;13401:262::-;13503:1;13489:16;;:2;:16;;;;13481:25;;;;;;13537:26;13557:5;13537:9;:15;13547:4;13537:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;13519:9;:15;13529:4;13519:15;;;;;;;;;;;;;;;:44;;;;13590:24;13608:5;13590:9;:13;13600:2;13590:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;13574:9;:13;13584:2;13574:13;;;;;;;;;;;;;;;:40;;;;13645:2;13630:25;;13639:4;13630:25;;;13649:5;13630:25;;;;;;;;;;;;;;;;;;13401:262;;;:::o;596:189::-;695:1;676:21;;:7;:21;;;;668:30;;;;;;717:18;721:4;727:7;717:3;:18::i;:::-;709:27;;;;;;772:5;749:4;:11;;:20;761:7;749:20;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;596:189;;:::o;331:186::-;427:1;408:21;;:7;:21;;;;400:30;;;;;;450:18;454:4;460:7;450:3;:18::i;:::-;449:19;441:28;;;;;;505:4;482;:11;;:20;494:7;482:20;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;331:186;;:::o;10065:140::-;10126:4;10143:32;10153:10;10165:2;10169:5;10143:9;:32::i;:::-;10193:4;10186:11;;10065:140;;;;:::o;7025:303::-;7083:7;7182:1;7178;:5;7170:14;;;;;;7195:9;7211:1;7207;:5;;;;;;7195:17;;7319:1;7312:8;;;7025:303;;;;:::o

bzzr://e3a4e6a02431703d8c0f78fa75912372108cbbbc0f16b5a02477283e64a1fcd8