Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract Initializable
•    - function isConstructor()
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
•  contract ERC20 is IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function _transfer(address sender, ad ...
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(address owner, addr ...
•    - function _burnFrom(address account, u ...
•  contract Common
•  contract Capper is Common
•    - function _cap(uint256 _amount)
•  contract Pauser is Common
•    - function pause()
•    - function unpause()
•  contract Prohibiter is Pauser
•    - function prohibit(address _account)
•    - function unprohibit(address _account)
•  contract Admin is Capper, Prohibit ...
•    - function changeCapper(address _accoun ...
•    - function changePauser(address _accoun ...
•    - function changeProhibiter(address _ac ...
•  contract Minter is Pauser
•  contract MinterAdmin is Minter
•    - function changeMinter(address _accoun ...
•  contract Owner is Admin, MinterAdm ...
•    - function changeOwner(address _account ...
•    - function changeAdmin(address _account ...
•    - function changeMinterAdmin(address _a ...
•  contract Token_v1 is Initializable ... *
•    - function initialize(
•    - function cap(uint256 _amount)
•    - function mint(address _account, uint2 ...
•    - function transfer(address _recipient, ...
•    - function transferFrom(address _sender ...
•    - function burn(uint256 _amount)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-12-11
*/

// File: @openzeppelin/upgrades/contracts/Initializable.sol

pragma solidity >=0.4.24 <0.6.0;


/**
 * @title Initializable
 *
 * @dev Helper contract to support initializer functions. To use it, replace
 * the constructor with a function that has the `initializer` modifier.
 * WARNING: Unlike constructors, initializer functions must be manually
 * invoked. This applies both to deploying an Initializable contract, as well
 * as extending an Initializable contract via inheritance.
 * WARNING: When used with inheritance, manual care must be taken to not invoke
 * a parent initializer twice, or ensure that all initializers are idempotent,
 * because this is not dealt with automatically as with constructors.
 */
contract Initializable {

  /**
   * @dev Indicates that the contract has been initialized.
   */
  bool private initialized;

  /**
   * @dev Indicates that the contract is in the process of being initialized.
   */
  bool private initializing;

  /**
   * @dev Modifier to use in the initializer function of a contract.
   */
  modifier initializer() {
    require(initializing || isConstructor() || !initialized, "Contract instance has already been initialized");

    bool isTopLevelCall = !initializing;
    if (isTopLevelCall) {
      initializing = true;
      initialized = true;
    }

    _;

    if (isTopLevelCall) {
      initializing = false;
    }
  }

  /// @dev Returns true if and only if the function is running in the constructor
  function isConstructor() private view returns (bool) {
    // extcodesize checks the size of the code stored in an address, and
    // address returns the current address. Since the code is still not
    // deployed when running a constructor, any checks on its code size will
    // yield zero, making it an effective way to detect if a contract is
    // under construction or not.
    uint256 cs;
    assembly { cs := extcodesize(address) }
    return cs == 0;
  }

  // Reserved storage space to allow for layout changes in the future.
  uint256[50] private ______gap;
}

// File: openzeppelin-solidity/contracts/token/ERC20/IERC20.sol

pragma solidity ^0.5.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP. Does not include
 * the optional functions; to access them see `ERC20Detailed`.
 */
interface IERC20 {
    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

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

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

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

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

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

    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

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

// File: openzeppelin-solidity/contracts/math/SafeMath.sol

pragma solidity ^0.5.0;

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "SafeMath: subtraction overflow");
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     * - Multiplication cannot 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, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, "SafeMath: division by zero");
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0, "SafeMath: modulo by zero");
        return a % b;
    }
}

// File: openzeppelin-solidity/contracts/token/ERC20/ERC20.sol

pragma solidity ^0.5.0;



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

    mapping (address => uint256) private _balances;

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

    uint256 private _totalSupply;

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

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

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

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

    /**
     * @dev See `IERC20.approve`.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 value) public returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }

    /**
     * @dev See `IERC20.transferFrom`.
     *
     * Emits an `Approval` event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of `ERC20`;
     *
     * Requirements:
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `value`.
     * - the caller must have allowance for `sender`'s tokens of at least
     * `amount`.
     */
    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender].sub(amount));
        return true;
    }

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

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to `approve` that can be used as a mitigation for
     * problems described in `IERC20.approve`.
     *
     * Emits an `Approval` event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `spender` must have allowance for the caller of at least
     * `subtractedValue`.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].sub(subtractedValue));
        return true;
    }

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

        _balances[sender] = _balances[sender].sub(amount);
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
    }

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

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

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

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

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

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

    /**
     * @dev Destoys `amount` tokens from `account`.`amount` is then deducted
     * from the caller's allowance.
     *
     * See `_burn` and `_approve`.
     */
    function _burnFrom(address account, uint256 amount) internal {
        _burn(account, amount);
        _approve(account, msg.sender, _allowances[account][msg.sender].sub(amount));
    }
}

// File: contracts/Roles/Common.sol

pragma solidity 0.5.8;

contract Common {
    modifier isNotZeroAddress(address _account) {
        require(_account != address(0), "this account is the zero address");
        _;
    }

    modifier isNaturalNumber(uint256 _amount) {
        require(0 < _amount, "this amount is not a natural number");
        _;
    }
}

// File: contracts/Roles/Capper.sol

pragma solidity 0.5.8;


contract Capper is Common {
    uint256 public capacity = 0;
    address public capper = address(0);

    event Cap(uint256 indexed newCapacity, address indexed sender);

    modifier onlyCapper() {
        require(msg.sender == capper, "the sender is not the capper");
        _;
    }

    modifier notMoreThanCapacity(uint256 _amount) {
        require(_amount <= capacity, "this amount is more than capacity");
        _;
    }

    function _cap(uint256 _amount) internal {
        capacity = _amount;
        emit Cap(capacity, msg.sender);
    }
}

// File: contracts/Roles/Pauser.sol

pragma solidity 0.5.8;


contract Pauser is Common {
    address public pauser = address(0);
    bool public paused = false;

    event Pause(bool status, address indexed sender);

    modifier onlyPauser() {
        require(msg.sender == pauser, "the sender is not the pauser");
        _;
    }

    modifier whenNotPaused() {
        require(!paused, "this is a paused contract");
        _;
    }

    modifier whenPaused() {
        require(paused, "this is not a paused contract");
        _;
    }

    function pause() public onlyPauser whenNotPaused {
        paused = true;
        emit Pause(paused, msg.sender);
    }

    function unpause() public onlyPauser whenPaused {
        paused = false;
        emit Pause(paused, msg.sender);
    }
}

// File: contracts/Roles/Prohibiter.sol

pragma solidity 0.5.8;


contract Prohibiter is Pauser {
    address public prohibiter = address(0);
    mapping(address => bool) public prohibiteds;

    event Prohibition(address indexed prohibited, bool status, address indexed sender);

    modifier onlyProhibiter() {
        require(msg.sender == prohibiter, "the sender is not the prohibiter");
        _;
    }

    modifier onlyNotProhibited(address _account) {
        require(!prohibiteds[_account], "this account is prohibited");
        _;
    }

    modifier onlyProhibited(address _account) {
        require(prohibiteds[_account], "this account is not prohibited");
        _;
    }

    function prohibit(address _account) public onlyProhibiter whenNotPaused isNotZeroAddress(_account) onlyNotProhibited(_account) {
        prohibiteds[_account] = true;
        emit Prohibition(_account, prohibiteds[_account], msg.sender);
    }

    function unprohibit(address _account) public onlyProhibiter whenNotPaused isNotZeroAddress(_account) onlyProhibited(_account) {
        prohibiteds[_account] = false;
        emit Prohibition(_account, prohibiteds[_account], msg.sender);
    }
}

// File: contracts/Roles/Admin.sol

pragma solidity 0.5.8;




contract Admin is Capper, Prohibiter {
    address public admin = address(0);

    event CapperChanged(address indexed oldCapper, address indexed newCapper, address indexed sender);
    event PauserChanged(address indexed oldPauser, address indexed newPauser, address indexed sender);
    event ProhibiterChanged(address indexed oldProhibiter, address indexed newProhibiter, address indexed sender);
    
    modifier onlyAdmin() {
        require(msg.sender == admin, "the sender is not the admin");
        _;
    }

    function changeCapper(address _account) public onlyAdmin whenNotPaused isNotZeroAddress(_account) {
        address old = capper;
        capper = _account;
        emit CapperChanged(old, capper, msg.sender);
    }

    /**
     * Change Pauser
     * @dev "whenNotPaused" modifier should not be used here
     */
    function changePauser(address _account) public onlyAdmin isNotZeroAddress(_account) {
        address old = pauser;
        pauser = _account;
        emit PauserChanged(old, pauser, msg.sender);
    }

    function changeProhibiter(address _account) public onlyAdmin whenNotPaused isNotZeroAddress(_account) {
        address old = prohibiter;
        prohibiter = _account;
        emit ProhibiterChanged(old, prohibiter, msg.sender);
    }
}

// File: contracts/Roles/Minter.sol

pragma solidity 0.5.8;


contract Minter is Pauser {
    address public minter = address(0);

    modifier onlyMinter() {
        require(msg.sender == minter, "the sender is not the minter");
        _;
    }
}

// File: contracts/Roles/MinterAdmin.sol

pragma solidity 0.5.8;


contract MinterAdmin is Minter {
    address public minterAdmin = address(0);

    event MinterChanged(address indexed oldMinter, address indexed newMinter, address indexed sender);

    modifier onlyMinterAdmin() {
        require(msg.sender == minterAdmin, "the sender is not the minterAdmin");
        _;
    }

    function changeMinter(address _account) public onlyMinterAdmin whenNotPaused isNotZeroAddress(_account) {
        address old = minter;
        minter = _account;
        emit MinterChanged(old, minter, msg.sender);
    }
}

// File: contracts/Roles/Owner.sol

pragma solidity 0.5.8;



contract Owner is Admin, MinterAdmin {
    address public owner = address(0);

    event OwnerChanged(address indexed oldOwner, address indexed newOwner, address indexed sender);
    event AdminChanged(address indexed oldAdmin, address indexed newAdmin, address indexed sender);
    event MinterAdminChanged(address indexed oldMinterAdmin, address indexed newMinterAdmin, address indexed sender);

    modifier onlyOwner() {
        require(msg.sender == owner, "the sender is not the owner");
        _;
    }

    function changeOwner(address _account) public onlyOwner whenNotPaused isNotZeroAddress(_account) {
        address old = owner;
        owner = _account;
        emit OwnerChanged(old, owner, msg.sender);
    }

    /**
     * Change Admin
     * @dev "whenNotPaused" modifier should not be used here
     */
    function changeAdmin(address _account) public onlyOwner isNotZeroAddress(_account) {
        address old = admin;
        admin = _account;
        emit AdminChanged(old, admin, msg.sender);
    }

    function changeMinterAdmin(address _account) public onlyOwner whenNotPaused isNotZeroAddress(_account) {
        address old = minterAdmin;
        minterAdmin = _account;
        emit MinterAdminChanged(old, minterAdmin, msg.sender);
    }
}

// File: contracts/Token_v1.sol

pragma solidity 0.5.8;




contract Token_v1 is Initializable, ERC20, Owner {
    string public name;
    string public symbol;
    uint8 public decimals;

    event Mint(address indexed mintee, uint256 amount, address indexed sender);
    event Burn(address indexed burnee, uint256 amount, address indexed sender);

    function initialize(
        string memory _name,
        string memory _symbol,
        uint8 _decimals,
        address _owner,
        address _admin,
        address _capper,
        address _prohibiter,
        address _pauser,
        address _minterAdmin,
        address _minter
        ) public initializer {
            require(_owner != address(0), "_owner is the zero address");
            require(_admin != address(0), "_admin is the zero address");
            require(_capper != address(0), "_capper is the zero address");
            require(_prohibiter != address(0), "_prohibiter is the zero address");
            require(_pauser != address(0), "_pauser is the zero address");
            require(_minterAdmin != address(0), "_minterAdmin is the zero address");
            require(_minter != address(0), "_minter is the zero address");
            name = _name;
            symbol = _symbol;
            decimals = _decimals;
            owner = _owner;
            admin = _admin;
            capper = _capper;
            prohibiter = _prohibiter;
            pauser = _pauser;
            minterAdmin = _minterAdmin;
            minter = _minter;
    }

    function cap(uint256 _amount) public onlyCapper whenNotPaused isNaturalNumber(_amount) {
        require(totalSupply() <= _amount, "this amount is less than the totalySupply");
        _cap(_amount);
    }

    function mint(address _account, uint256 _amount) public onlyMinter whenNotPaused notMoreThanCapacity(totalSupply().add(_amount)) isNaturalNumber(_amount) {
        _mint(_account, _amount);
        emit Mint(_account, _amount, msg.sender);
    }

    function transfer(address _recipient, uint256 _amount) public whenNotPaused onlyNotProhibited(msg.sender) isNaturalNumber(_amount) returns (bool) {
        _transfer(msg.sender, _recipient, _amount);
        return true;
    }

    function transferFrom(address _sender, address _recipient, uint256 _amount) public whenNotPaused onlyNotProhibited(_sender) isNaturalNumber(_amount) returns (bool) {
        return super.transferFrom(_sender, _recipient, _amount);
    }

    function burn(uint256 _amount) public isNaturalNumber(_amount) {
        _burn(msg.sender, _amount);
        emit Burn(msg.sender, _amount, msg.sender);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[{"name":"_account","type":"address"}],"name":"changeMinterAdmin","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"minter","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_sender","type":"address"},{"name":"_recipient","type":"address"},{"name":"_amount","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"prohibiteds","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_account","type":"address"}],"name":"changeMinter","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_account","type":"address"}],"name":"changePauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_account","type":"address"},{"name":"_amount","type":"uint256"}],"name":"mint","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_amount","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"capper","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"capacity","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_account","type":"address"}],"name":"unprohibit","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_account","type":"address"}],"name":"changeAdmin","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"pauser","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_account","type":"address"}],"name":"changeOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"minterAdmin","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_recipient","type":"address"},{"name":"_amount","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_account","type":"address"}],"name":"changeCapper","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_name","type":"string"},{"name":"_symbol","type":"string"},{"name":"_decimals","type":"uint8"},{"name":"_owner","type":"address"},{"name":"_admin","type":"address"},{"name":"_capper","type":"address"},{"name":"_prohibiter","type":"address"},{"name":"_pauser","type":"address"},{"name":"_minterAdmin","type":"address"},{"name":"_minter","type":"address"}],"name":"initialize","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_account","type":"address"}],"name":"prohibit","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_account","type":"address"}],"name":"changeProhibiter","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"prohibiter","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"admin","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_amount","type":"uint256"}],"name":"cap","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"anonymous":false,"inputs":[{"indexed":true,"name":"mintee","type":"address"},{"indexed":false,"name":"amount","type":"uint256"},{"indexed":true,"name":"sender","type":"address"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"burnee","type":"address"},{"indexed":false,"name":"amount","type":"uint256"},{"indexed":true,"name":"sender","type":"address"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"oldOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"},{"indexed":true,"name":"sender","type":"address"}],"name":"OwnerChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"oldAdmin","type":"address"},{"indexed":true,"name":"newAdmin","type":"address"},{"indexed":true,"name":"sender","type":"address"}],"name":"AdminChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"oldMinterAdmin","type":"address"},{"indexed":true,"name":"newMinterAdmin","type":"address"},{"indexed":true,"name":"sender","type":"address"}],"name":"MinterAdminChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"oldMinter","type":"address"},{"indexed":true,"name":"newMinter","type":"address"},{"indexed":true,"name":"sender","type":"address"}],"name":"MinterChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"oldCapper","type":"address"},{"indexed":true,"name":"newCapper","type":"address"},{"indexed":true,"name":"sender","type":"address"}],"name":"CapperChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"oldPauser","type":"address"},{"indexed":true,"name":"newPauser","type":"address"},{"indexed":true,"name":"sender","type":"address"}],"name":"PauserChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"oldProhibiter","type":"address"},{"indexed":true,"name":"newProhibiter","type":"address"},{"indexed":true,"name":"sender","type":"address"}],"name":"ProhibiterChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"prohibited","type":"address"},{"indexed":false,"name":"status","type":"bool"},{"indexed":true,"name":"sender","type":"address"}],"name":"Prohibition","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"status","type":"bool"},{"indexed":true,"name":"sender","type":"address"}],"name":"Pause","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"newCapacity","type":"uint256"},{"indexed":true,"name":"sender","type":"address"}],"name":"Cap","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"}]

60806040526000603655603780546001600160a01b0319908116909155603880546001600160a81b03191690556039805482169055603b805482169055603c805482169055603d805482169055603e8054909116905534801561006157600080fd5b50612a26806100716000396000f3fe608060405234801561001057600080fd5b506004361061021c5760003560e01c806370a0823111610125578063a9059cbb116100ad578063cffdd46c1161007c578063cffdd46c14610772578063dd62ed3e14610798578063dd75049b146107c6578063f851a440146107ce578063ff2ad8e4146107d65761021c565b8063a9059cbb1461058b578063b0e71766146105b7578063b89da642146105dd578063c4e1ccf21461074c5761021c565b806395d89b41116100f457806395d89b41146105215780639fd0506d14610529578063a457c2d714610531578063a6f9dae11461055d578063a754d48f146105835761021c565b806370a08231146104c55780638456cb59146104eb5780638da5cb5b146104f35780638f283970146104fb5761021c565b8063313ce567116101a857806342966c681161017757806342966c681461046a57806350a6aaf4146104875780635c975abb1461048f5780635cfc1a5114610497578063664dc7241461049f5761021c565b8063313ce567146103ec578063395093511461040a5780633f4ba83a1461043657806340c10f191461043e5761021c565b806318160ddd116101ef57806318160ddd1461032a57806323b872dd146103445780632ad3ed6d1461037a5780632c4d4d18146103a05780632cd271e7146103c65761021c565b80630628922d1461022157806306fdde031461024957806307546172146102c6578063095ea7b3146102ea575b600080fd5b6102476004803603602081101561023757600080fd5b50356001600160a01b03166107f3565b005b61025161094a565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561028b578181015183820152602001610273565b50505050905090810190601f1680156102b85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102ce6109d8565b604080516001600160a01b039092168252519081900360200190f35b6103166004803603604081101561030057600080fd5b506001600160a01b0381351690602001356109e7565b604080519115158252519081900360200190f35b6103326109fd565b60408051918252519081900360200190f35b6103166004803603606081101561035a57600080fd5b506001600160a01b03813581169160208101359091169060400135610a04565b6103166004803603602081101561039057600080fd5b50356001600160a01b0316610b22565b610247600480360360208110156103b657600080fd5b50356001600160a01b0316610b37565b610247600480360360208110156103dc57600080fd5b50356001600160a01b0316610c78565b6103f4610d7f565b6040805160ff9092168252519081900360200190f35b6103166004803603604081101561042057600080fd5b506001600160a01b038135169060200135610d88565b610247610dc9565b6102476004803603604081101561045457600080fd5b506001600160a01b038135169060200135610ee1565b6102476004803603602081101561048057600080fd5b5035611082565b6102ce61110a565b610316611119565b610332611129565b610247600480360360208110156104b557600080fd5b50356001600160a01b031661112f565b610332600480360360208110156104db57600080fd5b50356001600160a01b03166112fa565b610247611315565b6102ce611421565b6102476004803603602081101561051157600080fd5b50356001600160a01b0316611430565b610251611537565b6102ce611590565b6103166004803603604081101561054757600080fd5b506001600160a01b03813516906020013561159f565b6102476004803603602081101561057357600080fd5b50356001600160a01b03166115db565b6102ce611732565b610316600480360360408110156105a157600080fd5b506001600160a01b038135169060200135611741565b610247600480360360208110156105cd57600080fd5b50356001600160a01b0316611855565b61024760048036036101408110156105f457600080fd5b81019060208101813564010000000081111561060f57600080fd5b82018360208201111561062157600080fd5b8035906020019184600183028401116401000000008311171561064357600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929594936020810193503591505064010000000081111561069657600080fd5b8201836020820111156106a857600080fd5b803590602001918460018302840111640100000000831117156106ca57600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295505060ff8335169350506001600160a01b0360208301358116926040810135821692506060810135821691608082013581169160a081013582169160c082013581169160e00135166119ac565b6102476004803603602081101561076257600080fd5b50356001600160a01b0316611d92565b6102476004803603602081101561078857600080fd5b50356001600160a01b0316611f6c565b610332600480360360408110156107ae57600080fd5b506001600160a01b03813581169160200135166120c3565b6102ce6120ee565b6102ce6120fd565b610247600480360360208110156107ec57600080fd5b503561210c565b603e546001600160a01b031633146108555760408051600160e51b62461bcd02815260206004820152601b60248201527f7468652073656e646572206973206e6f7420746865206f776e65720000000000604482015290519081900360640190fd5b603854600160a01b900460ff16156108a55760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b806001600160a01b0381166108f25760408051600160e51b62461bcd0281526020600482018190526024820152600080516020612895833981519152604482015290519081900360640190fd5b603d80546001600160a01b038481166001600160a01b03198316179283905560405191811692339291169083907f4a85a5117c27071f301f0a758ea45cef77712d3d8358f0883b21c46ee1693d6790600090a4505050565b603f805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156109d05780601f106109a5576101008083540402835291602001916109d0565b820191906000526020600020905b8154815290600101906020018083116109b357829003601f168201915b505050505081565b603c546001600160a01b031681565b60006109f4338484612257565b50600192915050565b6035545b90565b603854600090600160a01b900460ff1615610a575760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b6001600160a01b0384166000908152603a6020526040902054849060ff1615610aca5760408051600160e51b62461bcd02815260206004820152601a60248201527f74686973206163636f756e742069732070726f68696269746564000000000000604482015290519081900360640190fd5b8280600010610b0d57604051600160e51b62461bcd0281526004018080602001828103825260238152602001806129246023913960400191505060405180910390fd5b610b18868686612349565b9695505050505050565b603a6020526000908152604090205460ff1681565b603d546001600160a01b03163314610b8357604051600160e51b62461bcd0281526004018080602001828103825260218152602001806128d56021913960400191505060405180910390fd5b603854600160a01b900460ff1615610bd35760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b806001600160a01b038116610c205760408051600160e51b62461bcd0281526020600482018190526024820152600080516020612895833981519152604482015290519081900360640190fd5b603c80546001600160a01b038481166001600160a01b03198316179283905560405191811692339291169083907f6970e71b2bda096f4eb3290c554af7a888cca0ef8b95da09c55b23c6bb30e38190600090a4505050565b603b546001600160a01b03163314610cda5760408051600160e51b62461bcd02815260206004820152601b60248201527f7468652073656e646572206973206e6f74207468652061646d696e0000000000604482015290519081900360640190fd5b806001600160a01b038116610d275760408051600160e51b62461bcd0281526020600482018190526024820152600080516020612895833981519152604482015290519081900360640190fd5b603880546001600160a01b038481166001600160a01b03198316179283905560405191811692339291169083907f8b1ee37fa817a066fe12c7c9bf109c0c9f8f03ef0a5cfe0c03d5196e8c2e465790600090a4505050565b60415460ff1681565b3360008181526034602090815260408083206001600160a01b038716845290915281205490916109f4918590610dc4908663ffffffff61239b16565b612257565b6038546001600160a01b03163314610e2b5760408051600160e51b62461bcd02815260206004820152601c60248201527f7468652073656e646572206973206e6f74207468652070617573657200000000604482015290519081900360640190fd5b603854600160a01b900460ff16610e8c5760408051600160e51b62461bcd02815260206004820152601d60248201527f74686973206973206e6f7420612070617573656420636f6e7472616374000000604482015290519081900360640190fd5b60388054600160a01b60ff0219169081905560408051600160a01b90920460ff16151582525133917f5a9dfee0981174e5203ccf9368a8cabb254f9dea6ca43f96b4bbd10c69415d8a919081900360200190a2565b603c546001600160a01b03163314610f435760408051600160e51b62461bcd02815260206004820152601c60248201527f7468652073656e646572206973206e6f7420746865206d696e74657200000000604482015290519081900360640190fd5b603854600160a01b900460ff1615610f935760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b610fab81610f9f6109fd565b9063ffffffff61239b16565b603654811115610fef57604051600160e51b62461bcd0281526004018080602001828103825260218152602001806129da6021913960400191505060405180910390fd5b818060001061103257604051600160e51b62461bcd0281526004018080602001828103825260238152602001806129246023913960400191505060405180910390fd5b61103c84846123ff565b60408051848152905133916001600160a01b038716917fbcad3d7d3dfccb90d49c6063bf70f828901fefc88937d90af74e58e6e55bc39d9181900360200190a350505050565b80806000106110c557604051600160e51b62461bcd0281526004018080602001828103825260238152602001806129246023913960400191505060405180910390fd5b6110cf33836124f4565b604080518381529051339182917fdbdf9b8e4b75e75b162d151ec8fc7f0561cabab5fcccfa2600be62223e4300c49181900360200190a35050565b6037546001600160a01b031681565b603854600160a01b900460ff1681565b60365481565b6039546001600160a01b031633146111915760408051600160e51b62461bcd02815260206004820181905260248201527f7468652073656e646572206973206e6f74207468652070726f68696269746572604482015290519081900360640190fd5b603854600160a01b900460ff16156111e15760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b806001600160a01b03811661122e5760408051600160e51b62461bcd0281526020600482018190526024820152600080516020612895833981519152604482015290519081900360640190fd5b6001600160a01b0382166000908152603a6020526040902054829060ff166112a05760408051600160e51b62461bcd02815260206004820152601e60248201527f74686973206163636f756e74206973206e6f742070726f686962697465640000604482015290519081900360640190fd5b6001600160a01b0383166000818152603a60209081526040808320805460ff191690558051928352513393927fab0ab2fa6ff81b10c5afab4726a665d4379f2d0acaaafbe4c4d737ade05a8e4692908290030190a3505050565b6001600160a01b031660009081526033602052604090205490565b6038546001600160a01b031633146113775760408051600160e51b62461bcd02815260206004820152601c60248201527f7468652073656e646572206973206e6f74207468652070617573657200000000604482015290519081900360640190fd5b603854600160a01b900460ff16156113c75760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b60388054600160a01b60ff021916600160a01b90811791829055604080519190920460ff1615158152905133917f5a9dfee0981174e5203ccf9368a8cabb254f9dea6ca43f96b4bbd10c69415d8a919081900360200190a2565b603e546001600160a01b031681565b603e546001600160a01b031633146114925760408051600160e51b62461bcd02815260206004820152601b60248201527f7468652073656e646572206973206e6f7420746865206f776e65720000000000604482015290519081900360640190fd5b806001600160a01b0381166114df5760408051600160e51b62461bcd0281526020600482018190526024820152600080516020612895833981519152604482015290519081900360640190fd5b603b80546001600160a01b038481166001600160a01b03198316179283905560405191811692339291169083907f4eb572e99196bed0270fbd5b17a948e19c3f50a97838cb0d2a75a823ff8e6c5090600090a4505050565b604080548151602060026001841615610100026000190190931692909204601f810183900483028201830184528082529092918301828280156109d05780601f106109a5576101008083540402835291602001916109d0565b6038546001600160a01b031681565b3360008181526034602090815260408083206001600160a01b038716845290915281205490916109f4918590610dc4908663ffffffff6125d216565b603e546001600160a01b0316331461163d5760408051600160e51b62461bcd02815260206004820152601b60248201527f7468652073656e646572206973206e6f7420746865206f776e65720000000000604482015290519081900360640190fd5b603854600160a01b900460ff161561168d5760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b806001600160a01b0381166116da5760408051600160e51b62461bcd0281526020600482018190526024820152600080516020612895833981519152604482015290519081900360640190fd5b603e80546001600160a01b038481166001600160a01b03198316179283905560405191811692339291169083907f381c0d11398486654573703c51ee8210ce9461764d133f9f0e53b6a53970533190600090a4505050565b603d546001600160a01b031681565b603854600090600160a01b900460ff16156117945760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b336000818152603a602052604090205460ff16156117fc5760408051600160e51b62461bcd02815260206004820152601a60248201527f74686973206163636f756e742069732070726f68696269746564000000000000604482015290519081900360640190fd5b828060001061183f57604051600160e51b62461bcd0281526004018080602001828103825260238152602001806129246023913960400191505060405180910390fd5b61184a338686612632565b506001949350505050565b603b546001600160a01b031633146118b75760408051600160e51b62461bcd02815260206004820152601b60248201527f7468652073656e646572206973206e6f74207468652061646d696e0000000000604482015290519081900360640190fd5b603854600160a01b900460ff16156119075760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b806001600160a01b0381166119545760408051600160e51b62461bcd0281526020600482018190526024820152600080516020612895833981519152604482015290519081900360640190fd5b603780546001600160a01b038481166001600160a01b03198316179283905560405191811692339291169083907fc4d5c17597bd0c5594a7545f36de213c6a58e2f235b165887331fe368618197090600090a4505050565b600054610100900460ff16806119c557506119c561277c565b806119d3575060005460ff16155b611a1157604051600160e51b62461bcd02815260040180806020018281038252602e8152602001806128f6602e913960400191505060405180910390fd5b600054610100900460ff16158015611a3c576000805460ff1961ff0019909116610100171660011790555b6001600160a01b038816611a9a5760408051600160e51b62461bcd02815260206004820152601a60248201527f5f6f776e657220697320746865207a65726f2061646472657373000000000000604482015290519081900360640190fd5b6001600160a01b038716611af85760408051600160e51b62461bcd02815260206004820152601a60248201527f5f61646d696e20697320746865207a65726f2061646472657373000000000000604482015290519081900360640190fd5b6001600160a01b038616611b565760408051600160e51b62461bcd02815260206004820152601b60248201527f5f63617070657220697320746865207a65726f20616464726573730000000000604482015290519081900360640190fd5b6001600160a01b038516611bb45760408051600160e51b62461bcd02815260206004820152601f60248201527f5f70726f6869626974657220697320746865207a65726f206164647265737300604482015290519081900360640190fd5b6001600160a01b038416611c125760408051600160e51b62461bcd02815260206004820152601b60248201527f5f70617573657220697320746865207a65726f20616464726573730000000000604482015290519081900360640190fd5b6001600160a01b038316611c705760408051600160e51b62461bcd02815260206004820181905260248201527f5f6d696e74657241646d696e20697320746865207a65726f2061646472657373604482015290519081900360640190fd5b6001600160a01b038216611cce5760408051600160e51b62461bcd02815260206004820152601b60248201527f5f6d696e74657220697320746865207a65726f20616464726573730000000000604482015290519081900360640190fd5b8a51611ce190603f9060208e01906127b7565b508951611cf59060409060208d01906127b7565b506041805460ff191660ff8b16179055603e80546001600160a01b03199081166001600160a01b038b811691909117909255603b805482168a8416179055603780548216898416179055603980548216888416179055603880548216878416179055603d80548216868416179055603c80549091169184169190911790558015611d85576000805461ff00191690555b5050505050505050505050565b6039546001600160a01b03163314611df45760408051600160e51b62461bcd02815260206004820181905260248201527f7468652073656e646572206973206e6f74207468652070726f68696269746572604482015290519081900360640190fd5b603854600160a01b900460ff1615611e445760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b806001600160a01b038116611e915760408051600160e51b62461bcd0281526020600482018190526024820152600080516020612895833981519152604482015290519081900360640190fd5b6001600160a01b0382166000908152603a6020526040902054829060ff1615611f045760408051600160e51b62461bcd02815260206004820152601a60248201527f74686973206163636f756e742069732070726f68696269746564000000000000604482015290519081900360640190fd5b6001600160a01b0383166000818152603a6020908152604091829020805460ff191660011790819055825160ff919091161515815291513393927fab0ab2fa6ff81b10c5afab4726a665d4379f2d0acaaafbe4c4d737ade05a8e4692908290030190a3505050565b603b546001600160a01b03163314611fce5760408051600160e51b62461bcd02815260206004820152601b60248201527f7468652073656e646572206973206e6f74207468652061646d696e0000000000604482015290519081900360640190fd5b603854600160a01b900460ff161561201e5760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b806001600160a01b03811661206b5760408051600160e51b62461bcd0281526020600482018190526024820152600080516020612895833981519152604482015290519081900360640190fd5b603980546001600160a01b038481166001600160a01b03198316179283905560405191811692339291169083907f85ae865187b1d7c0069f5fab638cbfcb8f3f9d23bc090e1084abc0dc42def0d290600090a4505050565b6001600160a01b03918216600090815260346020908152604080832093909416825291909152205490565b6039546001600160a01b031681565b603b546001600160a01b031681565b6037546001600160a01b0316331461216e5760408051600160e51b62461bcd02815260206004820152601c60248201527f7468652073656e646572206973206e6f74207468652063617070657200000000604482015290519081900360640190fd5b603854600160a01b900460ff16156121be5760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b808060001061220157604051600160e51b62461bcd0281526004018080602001828103825260238152602001806129246023913960400191505060405180910390fd5b8161220a6109fd565b111561224a57604051600160e51b62461bcd0281526004018080602001828103825260298152602001806129b16029913960400191505060405180910390fd5b61225382612782565b5050565b6001600160a01b03831661229f57604051600160e51b62461bcd02815260040180806020018281038252602481526020018061298d6024913960400191505060405180910390fd5b6001600160a01b0382166122e757604051600160e51b62461bcd0281526004018080602001828103825260228152602001806128736022913960400191505060405180910390fd5b6001600160a01b03808416600081815260346020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6000612356848484612632565b6001600160a01b038416600090815260346020908152604080832033808552925290912054612391918691610dc4908663ffffffff6125d216565b5060019392505050565b6000828201838110156123f85760408051600160e51b62461bcd02815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b6001600160a01b03821661245d5760408051600160e51b62461bcd02815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b603554612470908263ffffffff61239b16565b6035556001600160a01b03821660009081526033602052604090205461249c908263ffffffff61239b16565b6001600160a01b03831660008181526033602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6001600160a01b03821661253c57604051600160e51b62461bcd0281526004018080602001828103825260218152602001806129476021913960400191505060405180910390fd5b60355461254f908263ffffffff6125d216565b6035556001600160a01b03821660009081526033602052604090205461257b908263ffffffff6125d216565b6001600160a01b0383166000818152603360209081526040808320949094558351858152935191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a35050565b60008282111561262c5760408051600160e51b62461bcd02815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b6001600160a01b03831661267a57604051600160e51b62461bcd0281526004018080602001828103825260258152602001806129686025913960400191505060405180910390fd5b6001600160a01b0382166126c257604051600160e51b62461bcd0281526004018080602001828103825260238152602001806128506023913960400191505060405180910390fd5b6001600160a01b0383166000908152603360205260409020546126eb908263ffffffff6125d216565b6001600160a01b038085166000908152603360205260408082209390935590841681522054612720908263ffffffff61239b16565b6001600160a01b0380841660008181526033602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b303b1590565b6036819055604051339082907f3bb5a3ed42af6c70969e54bbe40e4bba09c07f42c120cbec4ac0ee7eb0057fc990600090a350565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106127f857805160ff1916838001178555612825565b82800160010185558215612825579182015b8281111561282557825182559160200191906001019061280a565b50612831929150612835565b5090565b610a0191905b80821115612831576000815560010161283b56fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737374686973206163636f756e7420697320746865207a65726f20616464726573737468697320697320612070617573656420636f6e7472616374000000000000007468652073656e646572206973206e6f7420746865206d696e74657241646d696e436f6e747261637420696e7374616e63652068617320616c7265616479206265656e20696e697469616c697a65647468697320616d6f756e74206973206e6f742061206e61747572616c206e756d62657245524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f20616464726573737468697320616d6f756e74206973206c657373207468616e2074686520746f74616c79537570706c797468697320616d6f756e74206973206d6f7265207468616e206361706163697479a165627a7a723058206adb003912a293deaf9f4c7068fb3c64f432287e0a2a91d44ebaea3429950dd30029

0x608060405234801561001057600080fd5b506004361061021c5760003560e01c806370a0823111610125578063a9059cbb116100ad578063cffdd46c1161007c578063cffdd46c14610772578063dd62ed3e14610798578063dd75049b146107c6578063f851a440146107ce578063ff2ad8e4146107d65761021c565b8063a9059cbb1461058b578063b0e71766146105b7578063b89da642146105dd578063c4e1ccf21461074c5761021c565b806395d89b41116100f457806395d89b41146105215780639fd0506d14610529578063a457c2d714610531578063a6f9dae11461055d578063a754d48f146105835761021c565b806370a08231146104c55780638456cb59146104eb5780638da5cb5b146104f35780638f283970146104fb5761021c565b8063313ce567116101a857806342966c681161017757806342966c681461046a57806350a6aaf4146104875780635c975abb1461048f5780635cfc1a5114610497578063664dc7241461049f5761021c565b8063313ce567146103ec578063395093511461040a5780633f4ba83a1461043657806340c10f191461043e5761021c565b806318160ddd116101ef57806318160ddd1461032a57806323b872dd146103445780632ad3ed6d1461037a5780632c4d4d18146103a05780632cd271e7146103c65761021c565b80630628922d1461022157806306fdde031461024957806307546172146102c6578063095ea7b3146102ea575b600080fd5b6102476004803603602081101561023757600080fd5b50356001600160a01b03166107f3565b005b61025161094a565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561028b578181015183820152602001610273565b50505050905090810190601f1680156102b85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102ce6109d8565b604080516001600160a01b039092168252519081900360200190f35b6103166004803603604081101561030057600080fd5b506001600160a01b0381351690602001356109e7565b604080519115158252519081900360200190f35b6103326109fd565b60408051918252519081900360200190f35b6103166004803603606081101561035a57600080fd5b506001600160a01b03813581169160208101359091169060400135610a04565b6103166004803603602081101561039057600080fd5b50356001600160a01b0316610b22565b610247600480360360208110156103b657600080fd5b50356001600160a01b0316610b37565b610247600480360360208110156103dc57600080fd5b50356001600160a01b0316610c78565b6103f4610d7f565b6040805160ff9092168252519081900360200190f35b6103166004803603604081101561042057600080fd5b506001600160a01b038135169060200135610d88565b610247610dc9565b6102476004803603604081101561045457600080fd5b506001600160a01b038135169060200135610ee1565b6102476004803603602081101561048057600080fd5b5035611082565b6102ce61110a565b610316611119565b610332611129565b610247600480360360208110156104b557600080fd5b50356001600160a01b031661112f565b610332600480360360208110156104db57600080fd5b50356001600160a01b03166112fa565b610247611315565b6102ce611421565b6102476004803603602081101561051157600080fd5b50356001600160a01b0316611430565b610251611537565b6102ce611590565b6103166004803603604081101561054757600080fd5b506001600160a01b03813516906020013561159f565b6102476004803603602081101561057357600080fd5b50356001600160a01b03166115db565b6102ce611732565b610316600480360360408110156105a157600080fd5b506001600160a01b038135169060200135611741565b610247600480360360208110156105cd57600080fd5b50356001600160a01b0316611855565b61024760048036036101408110156105f457600080fd5b81019060208101813564010000000081111561060f57600080fd5b82018360208201111561062157600080fd5b8035906020019184600183028401116401000000008311171561064357600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929594936020810193503591505064010000000081111561069657600080fd5b8201836020820111156106a857600080fd5b803590602001918460018302840111640100000000831117156106ca57600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295505060ff8335169350506001600160a01b0360208301358116926040810135821692506060810135821691608082013581169160a081013582169160c082013581169160e00135166119ac565b6102476004803603602081101561076257600080fd5b50356001600160a01b0316611d92565b6102476004803603602081101561078857600080fd5b50356001600160a01b0316611f6c565b610332600480360360408110156107ae57600080fd5b506001600160a01b03813581169160200135166120c3565b6102ce6120ee565b6102ce6120fd565b610247600480360360208110156107ec57600080fd5b503561210c565b603e546001600160a01b031633146108555760408051600160e51b62461bcd02815260206004820152601b60248201527f7468652073656e646572206973206e6f7420746865206f776e65720000000000604482015290519081900360640190fd5b603854600160a01b900460ff16156108a55760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b806001600160a01b0381166108f25760408051600160e51b62461bcd0281526020600482018190526024820152600080516020612895833981519152604482015290519081900360640190fd5b603d80546001600160a01b038481166001600160a01b03198316179283905560405191811692339291169083907f4a85a5117c27071f301f0a758ea45cef77712d3d8358f0883b21c46ee1693d6790600090a4505050565b603f805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156109d05780601f106109a5576101008083540402835291602001916109d0565b820191906000526020600020905b8154815290600101906020018083116109b357829003601f168201915b505050505081565b603c546001600160a01b031681565b60006109f4338484612257565b50600192915050565b6035545b90565b603854600090600160a01b900460ff1615610a575760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b6001600160a01b0384166000908152603a6020526040902054849060ff1615610aca5760408051600160e51b62461bcd02815260206004820152601a60248201527f74686973206163636f756e742069732070726f68696269746564000000000000604482015290519081900360640190fd5b8280600010610b0d57604051600160e51b62461bcd0281526004018080602001828103825260238152602001806129246023913960400191505060405180910390fd5b610b18868686612349565b9695505050505050565b603a6020526000908152604090205460ff1681565b603d546001600160a01b03163314610b8357604051600160e51b62461bcd0281526004018080602001828103825260218152602001806128d56021913960400191505060405180910390fd5b603854600160a01b900460ff1615610bd35760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b806001600160a01b038116610c205760408051600160e51b62461bcd0281526020600482018190526024820152600080516020612895833981519152604482015290519081900360640190fd5b603c80546001600160a01b038481166001600160a01b03198316179283905560405191811692339291169083907f6970e71b2bda096f4eb3290c554af7a888cca0ef8b95da09c55b23c6bb30e38190600090a4505050565b603b546001600160a01b03163314610cda5760408051600160e51b62461bcd02815260206004820152601b60248201527f7468652073656e646572206973206e6f74207468652061646d696e0000000000604482015290519081900360640190fd5b806001600160a01b038116610d275760408051600160e51b62461bcd0281526020600482018190526024820152600080516020612895833981519152604482015290519081900360640190fd5b603880546001600160a01b038481166001600160a01b03198316179283905560405191811692339291169083907f8b1ee37fa817a066fe12c7c9bf109c0c9f8f03ef0a5cfe0c03d5196e8c2e465790600090a4505050565b60415460ff1681565b3360008181526034602090815260408083206001600160a01b038716845290915281205490916109f4918590610dc4908663ffffffff61239b16565b612257565b6038546001600160a01b03163314610e2b5760408051600160e51b62461bcd02815260206004820152601c60248201527f7468652073656e646572206973206e6f74207468652070617573657200000000604482015290519081900360640190fd5b603854600160a01b900460ff16610e8c5760408051600160e51b62461bcd02815260206004820152601d60248201527f74686973206973206e6f7420612070617573656420636f6e7472616374000000604482015290519081900360640190fd5b60388054600160a01b60ff0219169081905560408051600160a01b90920460ff16151582525133917f5a9dfee0981174e5203ccf9368a8cabb254f9dea6ca43f96b4bbd10c69415d8a919081900360200190a2565b603c546001600160a01b03163314610f435760408051600160e51b62461bcd02815260206004820152601c60248201527f7468652073656e646572206973206e6f7420746865206d696e74657200000000604482015290519081900360640190fd5b603854600160a01b900460ff1615610f935760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b610fab81610f9f6109fd565b9063ffffffff61239b16565b603654811115610fef57604051600160e51b62461bcd0281526004018080602001828103825260218152602001806129da6021913960400191505060405180910390fd5b818060001061103257604051600160e51b62461bcd0281526004018080602001828103825260238152602001806129246023913960400191505060405180910390fd5b61103c84846123ff565b60408051848152905133916001600160a01b038716917fbcad3d7d3dfccb90d49c6063bf70f828901fefc88937d90af74e58e6e55bc39d9181900360200190a350505050565b80806000106110c557604051600160e51b62461bcd0281526004018080602001828103825260238152602001806129246023913960400191505060405180910390fd5b6110cf33836124f4565b604080518381529051339182917fdbdf9b8e4b75e75b162d151ec8fc7f0561cabab5fcccfa2600be62223e4300c49181900360200190a35050565b6037546001600160a01b031681565b603854600160a01b900460ff1681565b60365481565b6039546001600160a01b031633146111915760408051600160e51b62461bcd02815260206004820181905260248201527f7468652073656e646572206973206e6f74207468652070726f68696269746572604482015290519081900360640190fd5b603854600160a01b900460ff16156111e15760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b806001600160a01b03811661122e5760408051600160e51b62461bcd0281526020600482018190526024820152600080516020612895833981519152604482015290519081900360640190fd5b6001600160a01b0382166000908152603a6020526040902054829060ff166112a05760408051600160e51b62461bcd02815260206004820152601e60248201527f74686973206163636f756e74206973206e6f742070726f686962697465640000604482015290519081900360640190fd5b6001600160a01b0383166000818152603a60209081526040808320805460ff191690558051928352513393927fab0ab2fa6ff81b10c5afab4726a665d4379f2d0acaaafbe4c4d737ade05a8e4692908290030190a3505050565b6001600160a01b031660009081526033602052604090205490565b6038546001600160a01b031633146113775760408051600160e51b62461bcd02815260206004820152601c60248201527f7468652073656e646572206973206e6f74207468652070617573657200000000604482015290519081900360640190fd5b603854600160a01b900460ff16156113c75760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b60388054600160a01b60ff021916600160a01b90811791829055604080519190920460ff1615158152905133917f5a9dfee0981174e5203ccf9368a8cabb254f9dea6ca43f96b4bbd10c69415d8a919081900360200190a2565b603e546001600160a01b031681565b603e546001600160a01b031633146114925760408051600160e51b62461bcd02815260206004820152601b60248201527f7468652073656e646572206973206e6f7420746865206f776e65720000000000604482015290519081900360640190fd5b806001600160a01b0381166114df5760408051600160e51b62461bcd0281526020600482018190526024820152600080516020612895833981519152604482015290519081900360640190fd5b603b80546001600160a01b038481166001600160a01b03198316179283905560405191811692339291169083907f4eb572e99196bed0270fbd5b17a948e19c3f50a97838cb0d2a75a823ff8e6c5090600090a4505050565b604080548151602060026001841615610100026000190190931692909204601f810183900483028201830184528082529092918301828280156109d05780601f106109a5576101008083540402835291602001916109d0565b6038546001600160a01b031681565b3360008181526034602090815260408083206001600160a01b038716845290915281205490916109f4918590610dc4908663ffffffff6125d216565b603e546001600160a01b0316331461163d5760408051600160e51b62461bcd02815260206004820152601b60248201527f7468652073656e646572206973206e6f7420746865206f776e65720000000000604482015290519081900360640190fd5b603854600160a01b900460ff161561168d5760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b806001600160a01b0381166116da5760408051600160e51b62461bcd0281526020600482018190526024820152600080516020612895833981519152604482015290519081900360640190fd5b603e80546001600160a01b038481166001600160a01b03198316179283905560405191811692339291169083907f381c0d11398486654573703c51ee8210ce9461764d133f9f0e53b6a53970533190600090a4505050565b603d546001600160a01b031681565b603854600090600160a01b900460ff16156117945760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b336000818152603a602052604090205460ff16156117fc5760408051600160e51b62461bcd02815260206004820152601a60248201527f74686973206163636f756e742069732070726f68696269746564000000000000604482015290519081900360640190fd5b828060001061183f57604051600160e51b62461bcd0281526004018080602001828103825260238152602001806129246023913960400191505060405180910390fd5b61184a338686612632565b506001949350505050565b603b546001600160a01b031633146118b75760408051600160e51b62461bcd02815260206004820152601b60248201527f7468652073656e646572206973206e6f74207468652061646d696e0000000000604482015290519081900360640190fd5b603854600160a01b900460ff16156119075760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b806001600160a01b0381166119545760408051600160e51b62461bcd0281526020600482018190526024820152600080516020612895833981519152604482015290519081900360640190fd5b603780546001600160a01b038481166001600160a01b03198316179283905560405191811692339291169083907fc4d5c17597bd0c5594a7545f36de213c6a58e2f235b165887331fe368618197090600090a4505050565b600054610100900460ff16806119c557506119c561277c565b806119d3575060005460ff16155b611a1157604051600160e51b62461bcd02815260040180806020018281038252602e8152602001806128f6602e913960400191505060405180910390fd5b600054610100900460ff16158015611a3c576000805460ff1961ff0019909116610100171660011790555b6001600160a01b038816611a9a5760408051600160e51b62461bcd02815260206004820152601a60248201527f5f6f776e657220697320746865207a65726f2061646472657373000000000000604482015290519081900360640190fd5b6001600160a01b038716611af85760408051600160e51b62461bcd02815260206004820152601a60248201527f5f61646d696e20697320746865207a65726f2061646472657373000000000000604482015290519081900360640190fd5b6001600160a01b038616611b565760408051600160e51b62461bcd02815260206004820152601b60248201527f5f63617070657220697320746865207a65726f20616464726573730000000000604482015290519081900360640190fd5b6001600160a01b038516611bb45760408051600160e51b62461bcd02815260206004820152601f60248201527f5f70726f6869626974657220697320746865207a65726f206164647265737300604482015290519081900360640190fd5b6001600160a01b038416611c125760408051600160e51b62461bcd02815260206004820152601b60248201527f5f70617573657220697320746865207a65726f20616464726573730000000000604482015290519081900360640190fd5b6001600160a01b038316611c705760408051600160e51b62461bcd02815260206004820181905260248201527f5f6d696e74657241646d696e20697320746865207a65726f2061646472657373604482015290519081900360640190fd5b6001600160a01b038216611cce5760408051600160e51b62461bcd02815260206004820152601b60248201527f5f6d696e74657220697320746865207a65726f20616464726573730000000000604482015290519081900360640190fd5b8a51611ce190603f9060208e01906127b7565b508951611cf59060409060208d01906127b7565b506041805460ff191660ff8b16179055603e80546001600160a01b03199081166001600160a01b038b811691909117909255603b805482168a8416179055603780548216898416179055603980548216888416179055603880548216878416179055603d80548216868416179055603c80549091169184169190911790558015611d85576000805461ff00191690555b5050505050505050505050565b6039546001600160a01b03163314611df45760408051600160e51b62461bcd02815260206004820181905260248201527f7468652073656e646572206973206e6f74207468652070726f68696269746572604482015290519081900360640190fd5b603854600160a01b900460ff1615611e445760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b806001600160a01b038116611e915760408051600160e51b62461bcd0281526020600482018190526024820152600080516020612895833981519152604482015290519081900360640190fd5b6001600160a01b0382166000908152603a6020526040902054829060ff1615611f045760408051600160e51b62461bcd02815260206004820152601a60248201527f74686973206163636f756e742069732070726f68696269746564000000000000604482015290519081900360640190fd5b6001600160a01b0383166000818152603a6020908152604091829020805460ff191660011790819055825160ff919091161515815291513393927fab0ab2fa6ff81b10c5afab4726a665d4379f2d0acaaafbe4c4d737ade05a8e4692908290030190a3505050565b603b546001600160a01b03163314611fce5760408051600160e51b62461bcd02815260206004820152601b60248201527f7468652073656e646572206973206e6f74207468652061646d696e0000000000604482015290519081900360640190fd5b603854600160a01b900460ff161561201e5760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b806001600160a01b03811661206b5760408051600160e51b62461bcd0281526020600482018190526024820152600080516020612895833981519152604482015290519081900360640190fd5b603980546001600160a01b038481166001600160a01b03198316179283905560405191811692339291169083907f85ae865187b1d7c0069f5fab638cbfcb8f3f9d23bc090e1084abc0dc42def0d290600090a4505050565b6001600160a01b03918216600090815260346020908152604080832093909416825291909152205490565b6039546001600160a01b031681565b603b546001600160a01b031681565b6037546001600160a01b0316331461216e5760408051600160e51b62461bcd02815260206004820152601c60248201527f7468652073656e646572206973206e6f74207468652063617070657200000000604482015290519081900360640190fd5b603854600160a01b900460ff16156121be5760408051600160e51b62461bcd02815260206004820152601960248201526000805160206128b5833981519152604482015290519081900360640190fd5b808060001061220157604051600160e51b62461bcd0281526004018080602001828103825260238152602001806129246023913960400191505060405180910390fd5b8161220a6109fd565b111561224a57604051600160e51b62461bcd0281526004018080602001828103825260298152602001806129b16029913960400191505060405180910390fd5b61225382612782565b5050565b6001600160a01b03831661229f57604051600160e51b62461bcd02815260040180806020018281038252602481526020018061298d6024913960400191505060405180910390fd5b6001600160a01b0382166122e757604051600160e51b62461bcd0281526004018080602001828103825260228152602001806128736022913960400191505060405180910390fd5b6001600160a01b03808416600081815260346020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6000612356848484612632565b6001600160a01b038416600090815260346020908152604080832033808552925290912054612391918691610dc4908663ffffffff6125d216565b5060019392505050565b6000828201838110156123f85760408051600160e51b62461bcd02815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b6001600160a01b03821661245d5760408051600160e51b62461bcd02815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b603554612470908263ffffffff61239b16565b6035556001600160a01b03821660009081526033602052604090205461249c908263ffffffff61239b16565b6001600160a01b03831660008181526033602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6001600160a01b03821661253c57604051600160e51b62461bcd0281526004018080602001828103825260218152602001806129476021913960400191505060405180910390fd5b60355461254f908263ffffffff6125d216565b6035556001600160a01b03821660009081526033602052604090205461257b908263ffffffff6125d216565b6001600160a01b0383166000818152603360209081526040808320949094558351858152935191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a35050565b60008282111561262c5760408051600160e51b62461bcd02815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b6001600160a01b03831661267a57604051600160e51b62461bcd0281526004018080602001828103825260258152602001806129686025913960400191505060405180910390fd5b6001600160a01b0382166126c257604051600160e51b62461bcd0281526004018080602001828103825260238152602001806128506023913960400191505060405180910390fd5b6001600160a01b0383166000908152603360205260409020546126eb908263ffffffff6125d216565b6001600160a01b038085166000908152603360205260408082209390935590841681522054612720908263ffffffff61239b16565b6001600160a01b0380841660008181526033602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b303b1590565b6036819055604051339082907f3bb5a3ed42af6c70969e54bbe40e4bba09c07f42c120cbec4ac0ee7eb0057fc990600090a350565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106127f857805160ff1916838001178555612825565b82800160010185558215612825579182015b8281111561282557825182559160200191906001019061280a565b50612831929150612835565b5090565b610a0191905b80821115612831576000815560010161283b56fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737374686973206163636f756e7420697320746865207a65726f20616464726573737468697320697320612070617573656420636f6e7472616374000000000000007468652073656e646572206973206e6f7420746865206d696e74657241646d696e436f6e747261637420696e7374616e63652068617320616c7265616479206265656e20696e697469616c697a65647468697320616d6f756e74206973206e6f742061206e61747572616c206e756d62657245524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f20616464726573737468697320616d6f756e74206973206c657373207468616e2074686520746f74616c79537570706c797468697320616d6f756e74206973206d6f7265207468616e206361706163697479a165627a7a723058206adb003912a293deaf9f4c7068fb3c64f432287e0a2a91d44ebaea3429950dd30029

23554:2634:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;23554:2634:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23236:244;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;23236:244:0;-1:-1:-1;;;;;23236:244:0;;:::i;:::-;;23610:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;23610:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21312:34;;;:::i;:::-;;;;-1:-1:-1;;;;;21312:34:0;;;;;;;;;;;;;;11228:148;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;11228:148:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;10251:91;;;:::i;:::-;;;;;;;;;;;;;;;;25778:238;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;25778:238:0;;;;;;;;;;;;;;;;;:::i;18745:43::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;18745:43:0;-1:-1:-1;;;;;18745:43:0;;:::i;21877:225::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21877:225:0;-1:-1:-1;;;;;21877:225:0;;:::i;20753:205::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;20753:205:0;-1:-1:-1;;;;;20753:205:0;;:::i;23662:21::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12512:206;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;12512:206:0;;;;;;;;:::i;18463:122::-;;;:::i;25285:248::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;25285:248:0;;;;;;;;:::i;26024:161::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;26024:161:0;;:::i;17249:34::-;;;:::i;17901:26::-;;;:::i;17215:27::-;;;:::i;19566:246::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19566:246:0;-1:-1:-1;;;;;19566:246:0;;:::i;10405:110::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10405:110:0;-1:-1:-1;;;;;10405:110:0;;:::i;18333:122::-;;;:::i;22221:33::-;;;:::i;23028:200::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;23028:200:0;-1:-1:-1;;;;;23028:200:0;;:::i;23635:20::-;;;:::i;17860:34::-;;;:::i;13221:216::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;13221:216:0;;;;;;;;:::i;22705:214::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;22705:214:0;-1:-1:-1;;;;;22705:214:0;;:::i;21586:39::-;;;:::i;25541:229::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;25541:229:0;;;;;;;;:::i;20424:219::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;20424:219:0;-1:-1:-1;;;;;20424:219:0;;:::i;23856:1205::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;23856:1205:0;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;23856:1205:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;23856:1205:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;23856:1205:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;23856:1205:0;;;;;;;;-1:-1:-1;23856:1205:0;;-1:-1:-1;;21:11;5:28;;2:2;;;46:1;43;36:12;2:2;23856:1205:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;23856:1205:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;23856:1205:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;23856:1205:0;;-1:-1:-1;;23856:1205:0;;;;;-1:-1:-1;;;;;;;23856:1205:0;;;;;;;;;;;;;;-1:-1:-1;23856:1205:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;19312:246::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19312:246:0;-1:-1:-1;;;;;19312:246:0;;:::i;20966:239::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;20966:239:0;-1:-1:-1;;;;;20966:239:0;;:::i;10947:134::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;10947:134:0;;;;;;;;;;:::i;18700:38::-;;;:::i;19933:33::-;;;:::i;25069:208::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;25069:208:0;;:::i;23236:244::-;22640:5;;-1:-1:-1;;;;;22640:5:0;22626:10;:19;22618:59;;;;;-1:-1:-1;;;;;22618:59:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;18160:6;;-1:-1:-1;;;18160:6:0;;;;18159:7;18151:45;;;;;-1:-1:-1;;;;;18151:45:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;18151:45:0;;;;;;;;;;;;;;;23329:8;-1:-1:-1;;;;;16889:22:0;;16881:67;;;;;-1:-1:-1;;;;;16881:67:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;16881:67:0;;;;;;;;;;;;;;;23364:11;;;-1:-1:-1;;;;;23386:22:0;;;-1:-1:-1;;;;;;23386:22:0;;;;;;;23424:48;;23364:11;;;;23461:10;;23448:11;;;23364;;23424:48;;23350:11;;23424:48;16959:1;18207;23236:244;:::o;23610:18::-;;;;;;;;;;;;;;;-1:-1:-1;;23610:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;21312:34::-;;;-1:-1:-1;;;;;21312:34:0;;:::o;11228:148::-;11293:4;11310:36;11319:10;11331:7;11340:5;11310:8;:36::i;:::-;-1:-1:-1;11364:4:0;11228:148;;;;:::o;10251:91::-;10322:12;;10251:91;;:::o;25778:238::-;18160:6;;25936:4;;-1:-1:-1;;;18160:6:0;;;;18159:7;18151:45;;;;;-1:-1:-1;;;;;18151:45:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;18151:45:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;19087:21:0;;;;;;:11;:21;;;;;;25893:7;;19087:21;;19086:22;19078:61;;;;;-1:-1:-1;;;;;19078:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;25918:7;17041;17037:1;:11;17029:59;;;;-1:-1:-1;;;;;17029:59:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25960:48;25979:7;25988:10;26000:7;25960:18;:48::i;:::-;25953:55;25778:238;-1:-1:-1;;;;;;25778:238:0:o;18745:43::-;;;;;;;;;;;;;;;:::o;21877:225::-;21800:11;;-1:-1:-1;;;;;21800:11:0;21786:10;:25;21778:71;;;;-1:-1:-1;;;;;21778:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18160:6;;-1:-1:-1;;;18160:6:0;;;;18159:7;18151:45;;;;;-1:-1:-1;;;;;18151:45:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;18151:45:0;;;;;;;;;;;;;;;21971:8;-1:-1:-1;;;;;16889:22:0;;16881:67;;;;;-1:-1:-1;;;;;16881:67:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;16881:67:0;;;;;;;;;;;;;;;22006:6;;;-1:-1:-1;;;;;22023:17:0;;;-1:-1:-1;;;;;;22023:17:0;;;;;;;22056:38;;22006:6;;;;22083:10;;22075:6;;;22006;;22056:38;;21992:11;;22056:38;16959:1;18207;21877:225;:::o;20753:205::-;20359:5;;-1:-1:-1;;;;;20359:5:0;20345:10;:19;20337:59;;;;;-1:-1:-1;;;;;20337:59:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;20827:8;-1:-1:-1;;;;;16889:22:0;;16881:67;;;;;-1:-1:-1;;;;;16881:67:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;16881:67:0;;;;;;;;;;;;;;;20862:6;;;-1:-1:-1;;;;;20879:17:0;;;-1:-1:-1;;;;;;20879:17:0;;;;;;;20912:38;;20862:6;;;;20939:10;;20931:6;;;20862;;20912:38;;20848:11;;20912:38;16959:1;20407;20753:205;:::o;23662:21::-;;;;;;:::o;12512:206::-;12618:10;12592:4;12639:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;12639:32:0;;;;;;;;;;12592:4;;12609:79;;12630:7;;12639:48;;12676:10;12639:48;:36;:48;:::i;:::-;12609:8;:79::i;18463:122::-;18048:6;;-1:-1:-1;;;;;18048:6:0;18034:10;:20;18026:61;;;;;-1:-1:-1;;;;;18026:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;18265:6;;-1:-1:-1;;;18265:6:0;;;;18257:48;;;;;-1:-1:-1;;;;;18257:48:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;18522:6;:14;;-1:-1:-1;;;;;;18522:14:0;;;;;18552:25;;;-1:-1:-1;;;18558:6:0;;;18522:14;18558:6;18552:25;;;;;18566:10;;18552:25;;;;;;;;;;18463:122::o;25285:248::-;21410:6;;-1:-1:-1;;;;;21410:6:0;21396:10;:20;21388:61;;;;;-1:-1:-1;;;;;21388:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;18160:6;;-1:-1:-1;;;18160:6:0;;;;18159:7;18151:45;;;;;-1:-1:-1;;;;;18151:45:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;18151:45:0;;;;;;;;;;;;;;;25386:26;25404:7;25386:13;:11;:13::i;:::-;:17;:26;:17;:26;:::i;:::-;17561:8;;17550:7;:19;;17542:65;;;;-1:-1:-1;;;;;17542:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25430:7;17041;17037:1;:11;17029:59;;;;-1:-1:-1;;;;;17029:59:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25450:24;25456:8;25466:7;25450:5;:24::i;:::-;25490:35;;;;;;;;25514:10;;-1:-1:-1;;;;;25490:35:0;;;;;;;;;;;;17618:1;18207;25285:248;;:::o;26024:161::-;26078:7;17041;17037:1;:11;17029:59;;;;-1:-1:-1;;;;;17029:59:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26098:26;26104:10;26116:7;26098:5;:26::i;:::-;26140:37;;;;;;;;26166:10;;;;26140:37;;;;;;;;;26024:161;;:::o;17249:34::-;;;-1:-1:-1;;;;;17249:34:0;;:::o;17901:26::-;;;-1:-1:-1;;;17901:26:0;;;;;:::o;17215:27::-;;;;:::o;19566:246::-;18947:10;;-1:-1:-1;;;;;18947:10:0;18933;:24;18925:69;;;;;-1:-1:-1;;;;;18925:69:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18160:6;;-1:-1:-1;;;18160:6:0;;;;18159:7;18151:45;;;;;-1:-1:-1;;;;;18151:45:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;18151:45:0;;;;;;;;;;;;;;;19657:8;-1:-1:-1;;;;;16889:22:0;;16881:67;;;;;-1:-1:-1;;;;;16881:67:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;16881:67:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;19228:21:0;;;;;;:11;:21;;;;;;19682:8;;19228:21;;19220:64;;;;;-1:-1:-1;;;;;19220:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;19703:21:0;;19727:5;19703:21;;;:11;:21;;;;;;;;:29;;-1:-1:-1;;19703:29:0;;;19748:56;;;;;;19793:10;;19703:21;19748:56;;;;;;;;;16959:1;18207;19566:246;:::o;10405:110::-;-1:-1:-1;;;;;10489:18:0;10462:7;10489:18;;;:9;:18;;;;;;;10405:110::o;18333:122::-;18048:6;;-1:-1:-1;;;;;18048:6:0;18034:10;:20;18026:61;;;;;-1:-1:-1;;;;;18026:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;18160:6;;-1:-1:-1;;;18160:6:0;;;;18159:7;18151:45;;;;;-1:-1:-1;;;;;18151:45:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;18151:45:0;;;;;;;;;;;;;;;18393:6;:13;;-1:-1:-1;;;;;;18393:13:0;-1:-1:-1;;;18393:13:0;;;;;;;18422:25;;;18428:6;;;;18393:13;18428:6;18422:25;;;;;;18436:10;;18422:25;;;;;;;;;;18333:122::o;22221:33::-;;;-1:-1:-1;;;;;22221:33:0;;:::o;23028:200::-;22640:5;;-1:-1:-1;;;;;22640:5:0;22626:10;:19;22618:59;;;;;-1:-1:-1;;;;;22618:59:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;23101:8;-1:-1:-1;;;;;16889:22:0;;16881:67;;;;;-1:-1:-1;;;;;16881:67:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;16881:67:0;;;;;;;;;;;;;;;23136:5;;;-1:-1:-1;;;;;23152:16:0;;;-1:-1:-1;;;;;;23152:16:0;;;;;;;23184:36;;23136:5;;;;23209:10;;23202:5;;;23136;;23184:36;;23122:11;;23184:36;16959:1;22688;23028:200;:::o;23635:20::-;;;;;;;;;;;;;;-1:-1:-1;;23635:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17860:34;;;-1:-1:-1;;;;;17860:34:0;;:::o;13221:216::-;13332:10;13306:4;13353:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;13353:32:0;;;;;;;;;;13306:4;;13323:84;;13344:7;;13353:53;;13390:15;13353:53;:36;:53;:::i;22705:214::-;22640:5;;-1:-1:-1;;;;;22640:5:0;22626:10;:19;22618:59;;;;;-1:-1:-1;;;;;22618:59:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;18160:6;;-1:-1:-1;;;18160:6:0;;;;18159:7;18151:45;;;;;-1:-1:-1;;;;;18151:45:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;18151:45:0;;;;;;;;;;;;;;;22792:8;-1:-1:-1;;;;;16889:22:0;;16881:67;;;;;-1:-1:-1;;;;;16881:67:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;16881:67:0;;;;;;;;;;;;;;;22827:5;;;-1:-1:-1;;;;;22843:16:0;;;-1:-1:-1;;;;;;22843:16:0;;;;;;;22875:36;;22827:5;;;;22900:10;;22893:5;;;22827;;22875:36;;22813:11;;22875:36;16959:1;18207;22705:214;:::o;21586:39::-;;;-1:-1:-1;;;;;21586:39:0;;:::o;25541:229::-;18160:6;;25681:4;;-1:-1:-1;;;18160:6:0;;;;18159:7;18151:45;;;;;-1:-1:-1;;;;;18151:45:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;18151:45:0;;;;;;;;;;;;;;;25635:10;19087:21;;;;:11;:21;;;;;;;;19086:22;19078:61;;;;;-1:-1:-1;;;;;19078:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;25663:7;17041;17037:1;:11;17029:59;;;;-1:-1:-1;;;;;17029:59:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25698:42;25708:10;25720;25732:7;25698:9;:42::i;:::-;-1:-1:-1;25758:4:0;;25541:229;-1:-1:-1;;;;25541:229:0:o;20424:219::-;20359:5;;-1:-1:-1;;;;;20359:5:0;20345:10;:19;20337:59;;;;;-1:-1:-1;;;;;20337:59:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;18160:6;;-1:-1:-1;;;18160:6:0;;;;18159:7;18151:45;;;;;-1:-1:-1;;;;;18151:45:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;18151:45:0;;;;;;;;;;;;;;;20512:8;-1:-1:-1;;;;;16889:22:0;;16881:67;;;;;-1:-1:-1;;;;;16881:67:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;16881:67:0;;;;;;;;;;;;;;;20547:6;;;-1:-1:-1;;;;;20564:17:0;;;-1:-1:-1;;;;;;20564:17:0;;;;;;;20597:38;;20547:6;;;;20624:10;;20616:6;;;20547;;20597:38;;20533:11;;20597:38;16959:1;18207;20424:219;:::o;23856:1205::-;1118:12;;;;;;;;:31;;;1134:15;:13;:15::i;:::-;1118:47;;;-1:-1:-1;1154:11:0;;;;1153:12;1118:47;1110:106;;;;-1:-1:-1;;;;;1110:106:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1225:19;1248:12;;;;;;1247:13;1267:83;;;;1296:12;:19;;-1:-1:-1;;;;1296:19:0;;;;;1324:18;1311:4;1324:18;;;1267:83;-1:-1:-1;;;;;24206:20:0;;24198:59;;;;;-1:-1:-1;;;;;24198:59:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;24280:20:0;;24272:59;;;;;-1:-1:-1;;;;;24272:59:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;24354:21:0;;24346:61;;;;;-1:-1:-1;;;;;24346:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;24430:25:0;;24422:69;;;;;-1:-1:-1;;;;;24422:69:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;24514:21:0;;24506:61;;;;;-1:-1:-1;;;;;24506:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;24590:26:0;;24582:71;;;;;-1:-1:-1;;;;;24582:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;24676:21:0;;24668:61;;;;;-1:-1:-1;;;;;24668:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;24744:12;;;;:4;;:12;;;;;:::i;:::-;-1:-1:-1;24771:16:0;;;;:6;;:16;;;;;:::i;:::-;-1:-1:-1;24802:8:0;:20;;-1:-1:-1;;24802:20:0;;;;;;;24837:5;:14;;-1:-1:-1;;;;;;24837:14:0;;;-1:-1:-1;;;;;24837:14:0;;;;;;;;;;24866:5;:14;;;;;;;;;;24895:6;:16;;;;;;;;;;24926:10;:24;;;;;;;;;;24965:6;:16;;;;;;;;;;24996:11;:26;;;;;;;;;;25037:6;:16;;;;;;;;;;;;;;1368:57;;;;1412:5;1397:20;;-1:-1:-1;;1397:20:0;;;1368:57;23856:1205;;;;;;;;;;;:::o;19312:246::-;18947:10;;-1:-1:-1;;;;;18947:10:0;18933;:24;18925:69;;;;;-1:-1:-1;;;;;18925:69:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18160:6;;-1:-1:-1;;;18160:6:0;;;;18159:7;18151:45;;;;;-1:-1:-1;;;;;18151:45:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;18151:45:0;;;;;;;;;;;;;;;19401:8;-1:-1:-1;;;;;16889:22:0;;16881:67;;;;;-1:-1:-1;;;;;16881:67:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;16881:67:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;19087:21:0;;;;;;:11;:21;;;;;;19429:8;;19087:21;;19086:22;19078:61;;;;;-1:-1:-1;;;;;19078:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;19450:21:0;;;;;;:11;:21;;;;;;;;;:28;;-1:-1:-1;;19450:28:0;19474:4;19450:28;;;;;19494:56;;19450:28;19516:21;;;;19494:56;;;;;;19539:10;;19450:21;19494:56;;;;;;;;;16959:1;18207;19312:246;:::o;20966:239::-;20359:5;;-1:-1:-1;;;;;20359:5:0;20345:10;:19;20337:59;;;;;-1:-1:-1;;;;;20337:59:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;18160:6;;-1:-1:-1;;;18160:6:0;;;;18159:7;18151:45;;;;;-1:-1:-1;;;;;18151:45:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;18151:45:0;;;;;;;;;;;;;;;21058:8;-1:-1:-1;;;;;16889:22:0;;16881:67;;;;;-1:-1:-1;;;;;16881:67:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;16881:67:0;;;;;;;;;;;;;;;21093:10;;;-1:-1:-1;;;;;21114:21:0;;;-1:-1:-1;;;;;;21114:21:0;;;;;;;21151:46;;21093:10;;;;21186;;21174;;;21093;;21151:46;;21079:11;;21151:46;16959:1;18207;20966:239;:::o;10947:134::-;-1:-1:-1;;;;;11046:18:0;;;11019:7;11046:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;10947:134::o;18700:38::-;;;-1:-1:-1;;;;;18700:38:0;;:::o;19933:33::-;;;-1:-1:-1;;;;;19933:33:0;;:::o;25069:208::-;17418:6;;-1:-1:-1;;;;;17418:6:0;17404:10;:20;17396:61;;;;;-1:-1:-1;;;;;17396:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;18160:6;;-1:-1:-1;;;18160:6:0;;;;18159:7;18151:45;;;;;-1:-1:-1;;;;;18151:45:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;18151:45:0;;;;;;;;;;;;;;;25147:7;17041;17037:1;:11;17029:59;;;;-1:-1:-1;;;;;17029:59:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25192:7;25175:13;:11;:13::i;:::-;:24;;25167:78;;;;-1:-1:-1;;;;;25167:78:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25256:13;25261:7;25256:4;:13::i;:::-;18207:1;25069:208;:::o;16023:335::-;-1:-1:-1;;;;;16116:19:0;;16108:68;;;;-1:-1:-1;;;;;16108:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;16195:21:0;;16187:68;;;;-1:-1:-1;;;;;16187:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;16268:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:35;;;16319:31;;;;;;;;;;;;;;;;;16023:335;;;:::o;11847:256::-;11936:4;11953:36;11963:6;11971:9;11982:6;11953:9;:36::i;:::-;-1:-1:-1;;;;;12029:19:0;;;;;;:11;:19;;;;;;;;12017:10;12029:31;;;;;;;;;12000:73;;12009:6;;12029:43;;12065:6;12029:43;:35;:43;:::i;12000:73::-;-1:-1:-1;12091:4:0;11847:256;;;;;:::o;5910:181::-;5968:7;6000:5;;;6024:6;;;;6016:46;;;;;-1:-1:-1;;;;;6016:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;6082:1;5910:181;-1:-1:-1;;;5910:181:0:o;14637:308::-;-1:-1:-1;;;;;14713:21:0;;14705:65;;;;;-1:-1:-1;;;;;14705:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;14798:12;;:24;;14815:6;14798:24;:16;:24;:::i;:::-;14783:12;:39;-1:-1:-1;;;;;14854:18:0;;;;;;:9;:18;;;;;;:30;;14877:6;14854:30;:22;:30;:::i;:::-;-1:-1:-1;;;;;14833:18:0;;;;;;:9;:18;;;;;;;;:51;;;;14900:37;;;;;;;14833:18;;;;14900:37;;;;;;;;;;14637:308;;:::o;15277:306::-;-1:-1:-1;;;;;15352:21:0;;15344:67;;;;-1:-1:-1;;;;;15344:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15439:12;;:23;;15456:5;15439:23;:16;:23;:::i;:::-;15424:12;:38;-1:-1:-1;;;;;15494:18:0;;;;;;:9;:18;;;;;;:29;;15517:5;15494:29;:22;:29;:::i;:::-;-1:-1:-1;;;;;15473:18:0;;;;;;:9;:18;;;;;;;;:50;;;;15539:36;;;;;;;15473:18;;15539:36;;;;;;;;;;;15277:306;;:::o;6366:184::-;6424:7;6457:1;6452;:6;;6444:49;;;;;-1:-1:-1;;;;;6444:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;6516:5:0;;;6366:184::o;13927:429::-;-1:-1:-1;;;;;14025:20:0;;14017:70;;;;-1:-1:-1;;;;;14017:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;14106:23:0;;14098:71;;;;-1:-1:-1;;;;;14098:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;14202:17:0;;;;;;:9;:17;;;;;;:29;;14224:6;14202:29;:21;:29;:::i;:::-;-1:-1:-1;;;;;14182:17:0;;;;;;;:9;:17;;;;;;:49;;;;14265:20;;;;;;;:32;;14290:6;14265:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;14242:20:0;;;;;;;:9;:20;;;;;;;;;:55;;;;14313:35;;;;;;;14242:20;;14313:35;;;;;;;;;;;;;13927:429;;;:::o;1519:476::-;1959:7;1947:20;1982:7;1519:476;:::o;17635:118::-;17686:8;:18;;;17720:25;;17734:10;;17697:7;;17720:25;;;;;17635:118;:::o;23554:2634::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;23554:2634:0;;;-1:-1:-1;23554:2634:0;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;

bzzr://6adb003912a293deaf9f4c7068fb3c64f432287e0a2a91d44ebaea3429950dd3