Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract Context    - function _msgSender()    - function _msgData() library Roles    - function add(Role storage role, addre ...    - function remove(Role storage role, ad ...    - function has(Role storage role, addre ...  contract GovernorRole is Context    - function isGovernor(address account)    - function addGovernor(address account)    - function renounceGovernor()    - function _addGovernor(address account ...    - function _removeGovernor(address acco ...  contract MinterRole is Context    - function isMinter(address account)    - function addMinter(address account)    - function renounceMinter()    - function _addMinter(address account)    - function _removeMinter(address accoun ...  contract PauserRole is Context    - function isPauser(address account)    - function addPauser(address account)    - function renouncePauser()    - function _addPauser(address account)    - function _removePauser(address accoun ...  contract Pausable is PauserRole    - function paused()    - function pause()    - function unpause() library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...    - function mod(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b, st ... 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, ...  contract ERC20 is Context, IERC20    - function name()    - function symbol()    - function decimals()    - 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 _setupDecimals(uint8 decimal ...    - function _beforeTokenTransfer(address ...  contract ERC20Burnable is ERC20    - function burn(uint256 amount)    - function burnFrom(address account, ui ...  contract ERC20Capped is ERC20    - function cap()    - function _beforeTokenTransfer(address ...  contract ERC20Mintable is MinterRo ...    - function mint(address account, uint25 ...  contract ERC20Pausable is Pausable ...    - function _beforeTokenTransfer(address ...  contract LexToken is GovernorRole, ... *    - function()    - function redeemLexToken(uint256 amoun ...    - function stake()    - function updateGovernance(bytes32 det ...    - function updateLexTokenOwner(address ...    - function updateLexTokenPurchaseRate(u ...    - function updateLexTokenSale(uint256 s ...    - function updateLexTokenStamp(bytes32 ...    - function governedSlashStake(address p ...    - function governedStamp(bytes32 _stamp ...    - function governedTransfer(address fro ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-08-03
*/

/*
██╗     ███████╗██╗  ██╗                    
██║     ██╔════╝╚██╗██╔╝                    
██║     █████╗   ╚███╔╝                     
██║     ██╔══╝   ██╔██╗                     
███████╗███████╗██╔╝ ██╗                    
╚══════╝╚══════╝╚═╝  ╚═╝                    
████████╗ ██████╗ ██╗  ██╗███████╗███╗   ██╗
╚══██╔══╝██╔═══██╗██║ ██╔╝██╔════╝████╗  ██║
   ██║   ██║   ██║█████╔╝ █████╗  ██╔██╗ ██║
   ██║   ██║   ██║██╔═██╗ ██╔══╝  ██║╚██╗██║
   ██║   ╚██████╔╝██║  ██╗███████╗██║ ╚████║
   ╚═╝    ╚═════╝ ╚═╝  ╚═╝╚══════╝╚═╝  ╚═══╝
DEAR MSG.SENDER(S):

/ LXT is a project in beta.
// Please audit and use at your own risk.
/// Entry into LXT shall not create an attorney/client relationship.
//// Likewise, LXT should not be construed as legal advice or replacement for professional counsel.
///// STEAL THIS C0D3SL4W 

~presented by Open, ESQ || LexDAO LLC
*/

pragma solidity 0.5.17;

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

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

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

    /**
     * @dev Give an account access to this role.
     */
    function add(Role storage role, address account) internal {
        require(!has(role, account), "Roles: account already has role");
        role.bearer[account] = true;
    }

    /**
     * @dev Remove an account's access to this role.
     */
    function remove(Role storage role, address account) internal {
        require(has(role, account), "Roles: account does not have role");
        role.bearer[account] = false;
    }

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

contract GovernorRole is Context {
    using Roles for Roles.Role;

    event GovernorAdded(address indexed account);
    event GovernorRemoved(address indexed account);

    Roles.Role private _governors;

    modifier onlyGovernor() {
        require(isGovernor(_msgSender()), "GovernorRole: caller does not have the governor role");
        _;
    }
    
    function isGovernor(address account) public view returns (bool) {
        return _governors.has(account);
    }

    function addGovernor(address account) public onlyGovernor {
        _addGovernor(account);
    }

    function renounceGovernor() public {
        _removeGovernor(_msgSender());
    }

    function _addGovernor(address account) internal {
        _governors.add(account);
        emit GovernorAdded(account);
    }

    function _removeGovernor(address account) internal {
        _governors.remove(account);
        emit GovernorRemoved(account);
    }
}

contract MinterRole is Context {
    using Roles for Roles.Role;

    event MinterAdded(address indexed account);
    event MinterRemoved(address indexed account);

    Roles.Role private _minters;

    modifier onlyMinter() {
        require(isMinter(_msgSender()), "MinterRole: caller does not have the Minter role");
        _;
    }

    function isMinter(address account) public view returns (bool) {
        return _minters.has(account);
    }

    function addMinter(address account) public onlyMinter {
        _addMinter(account);
    }

    function renounceMinter() public {
        _removeMinter(_msgSender());
    }

    function _addMinter(address account) internal {
        _minters.add(account);
        emit MinterAdded(account);
    }

    function _removeMinter(address account) internal {
        _minters.remove(account);
        emit MinterRemoved(account);
    }
}

contract PauserRole is Context {
    using Roles for Roles.Role;

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

    Roles.Role private _pausers;

    modifier onlyPauser() {
        require(isPauser(_msgSender()), "PauserRole: caller does not have the Pauser role");
        _;
    }

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

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

    function renouncePauser() public {
        _removePauser(_msgSender());
    }

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

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

/**
 * @dev Contract module which allows children to implement an emergency stop
 * mechanism that can be triggered by an authorized account.
 *
 * This module is used through inheritance. It will make available the
 * modifiers `whenNotPaused` and `whenPaused`, which can be applied to
 * the functions of your contract. Note that they will not be pausable by
 * simply including this module, only once the modifiers are put in place.
 */
contract Pausable is PauserRole {
    /**
     * @dev Emitted when the pause is triggered by a pauser (`account`).
     */
    event Paused(address account);

    /**
     * @dev Emitted when the pause is lifted by a pauser (`account`).
     */
    event Unpaused(address account);

    bool private _paused;

    /**
     * @dev Initializes the contract in unpaused state. Assigns the Pauser role
     * to the deployer.
     */
    constructor () internal {
        _paused = false;
    }

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

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

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

    /**
     * @dev Called by a pauser to pause, triggers stopped state.
     */
    function pause() public onlyPauser whenNotPaused {
        _paused = true;
        emit Paused(_msgSender());
    }

    /**
     * @dev Called by a pauser to unpause, returns to normal state.
     */
    function unpause() public onlyPauser whenPaused {
        _paused = false;
        emit Unpaused(_msgSender());
    }
}

/**
 * @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) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        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-contracts/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) {
        return div(a, b, "SafeMath: division by zero");
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts with custom message 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, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        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) {
        return mod(a, b, "SafeMath: modulo by zero");
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts with custom message 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, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
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.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `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);
}

/**
 * @dev Implementation of the {IERC20} interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using {_mint}.
 * For a generic mechanism see {ERC20PresetMinterPauser}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * We have followed general OpenZeppelin 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 Context, IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;
    uint8 private _decimals;

    /**
     * @dev Sets the values for {name} and {symbol}, initializes {decimals} with
     * a default value of 18.
     *
     * To select a different value for {decimals}, use {_setupDecimals}.
     *
     * All three of these values are immutable: they can only be set once during
     * construction.
     */
    constructor (string memory name, string memory symbol) public {
        _name = name;
        _symbol = symbol;
        _decimals = 18;
    }

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

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

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

    /**
     * @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(_msgSender(), 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 amount) public returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    /**
     * @dev See {IERC20-transferFrom}.
     *
     * Emits an {Approval} event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of {ERC20};
     *
     * Requirements:
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     * - 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, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        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(_msgSender(), spender, _allowances[_msgSender()][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(_msgSender(), spender, _allowances[_msgSender()][spender].sub(subtractedValue, "ERC20: decreased allowance below zero"));
        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");

        _beforeTokenTransfer(sender, recipient, amount);

        _balances[sender] = _balances[sender].sub(amount, "ERC20: transfer amount exceeds balance");
        _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");

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

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

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

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

        _balances[account] = _balances[account].sub(amount, "ERC20: burn amount exceeds balance");
        _totalSupply = _totalSupply.sub(amount);
        emit Transfer(account, address(0), amount);
    }

    /**
     * @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 amount) internal {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

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

    /**
     * @dev Sets {decimals} to a value other than the default one of 18.
     *
     * WARNING: This function should only be called from the constructor. Most
     * applications that interact with token contracts will not expect
     * {decimals} to ever change, and may work incorrectly if it does.
     */
    function _setupDecimals(uint8 decimals_) internal {
        _decimals = decimals_;
    }

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

/**
 * @dev Extension of {ERC20} that allows token holders to destroy both their own
 * tokens and those that they have an allowance for, in a way that can be
 * recognized off-chain (via event analysis).
 */
contract ERC20Burnable is ERC20 {
    /**
     * @dev Destroys `amount` tokens from the caller.
     *
     * See {ERC20-_burn}.
     */
    function burn(uint256 amount) public {
        _burn(_msgSender(), amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`, deducting from the caller's
     * allowance.
     *
     * See {ERC20-_burn} and {ERC20-allowance}.
     *
     * Requirements:
     *
     * - the caller must have allowance for ``accounts``'s tokens of at least
     * `amount`.
     */
    function burnFrom(address account, uint256 amount) public {
        uint256 decreasedAllowance = allowance(account, _msgSender()).sub(amount, "ERC20: burn amount exceeds allowance");

        _approve(account, _msgSender(), decreasedAllowance);
        _burn(account, amount);
    }
}

/**
 * @dev Extension of {ERC20} that adds a cap to the supply of tokens.
 */
contract ERC20Capped is ERC20 {
    uint256 private _cap;

    /**
     * @dev Sets the value of the `cap`. This value is immutable, it can only be
     * set once during construction.
     */
    constructor (uint256 cap) public {
        require(cap > 0, "ERC20Capped: cap is 0");
        _cap = cap;
    }

    /**
     * @dev Returns the cap on the token's total supply.
     */
    function cap() public view returns (uint256) {
        return _cap;
    }

    /**
     * @dev See {ERC20-_beforeTokenTransfer}.
     *
     * Requirements:
     *
     * - minted tokens must not cause the total supply to go over the cap.
     */
    function _beforeTokenTransfer(address from, address to, uint256 amount) internal {
        super._beforeTokenTransfer(from, to, amount);

        if (from == address(0)) { // When minting tokens
            require(totalSupply().add(amount) <= _cap, "ERC20Capped: cap exceeded");
        }
    }
}

/**
 * @dev Extension of {ERC20} that adds a set of accounts with the {MinterRole},
 * which have permission to mint (create) new tokens as they see fit.
 *
 */
contract ERC20Mintable is MinterRole, ERC20 {
    /**
     * @dev See {ERC20-_mint}.
     *
     * Requirements:
     *
     * - the caller must have the {MinterRole}.
     */
    function mint(address account, uint256 amount) public onlyMinter returns (bool) {
        _mint(account, amount);
        return true;
    }
}

/**
 * @dev ERC20 token with pausable token transfers, minting and burning.
 *
 * Useful for scenarios such as preventing trades until the end of an evaluation
 * period, or having an emergency switch for freezing all token transfers in the
 * event of a large bug.
 */
contract ERC20Pausable is Pausable, ERC20 {
    /**
     * @dev See {ERC20-_beforeTokenTransfer}.
     *
     * Requirements:
     *
     * - the contract must not be paused.
     */
    function _beforeTokenTransfer(address from, address to, uint256 amount) internal {
        super._beforeTokenTransfer(from, to, amount);

        require(!paused(), "ERC20Pausable: token transfer while paused");
    }
}

/**
 * @dev Implementation of ERC20 standard designed for detailed tokenization with optional governance.
 */
contract LexToken is GovernorRole, ERC20Burnable, ERC20Capped, ERC20Mintable, ERC20Pausable {
    address payable public owner;
    uint256 public ethPurchaseRate;
    bytes32 public stamp;
    bool public forSale;
    bool public governed;
    
    event GovernedSlashStake(bytes32 indexed details);
    event GovernedTransfer(bytes32 indexed details);
    event RedeemLexToken(address indexed sender, uint256 indexed amount, bytes32 indexed details);
    event UpdateGovernance(bytes32 indexed details, bool indexed governed);
    event UpdateLexTokenOwner(address indexed owner, bytes32 indexed details);
    event UpdateLexTokenPurchaseRate(uint256 indexed ethPurchaseRate, bytes32 indexed details);
    event UpdateLexTokenSale(uint256 indexed saleAmount, bytes32 indexed details, bool indexed forSale);
    event UpdateLexTokenStamp(bytes32 indexed stamp);

    constructor (
        string memory name, 
        string memory symbol,  
        uint8 decimals,
        uint256 cap,
        uint256 _ethPurchaseRate, 
        uint256 initialOwnerAmount, 
        uint256 initialSaleAmount,
        address _governor,
        address payable _owner,
	    bytes32 _stamp,
	    bool _forSale,
        bool _governed
    ) public ERC20(name, symbol) ERC20Capped(cap) {
        ethPurchaseRate = _ethPurchaseRate;
        owner = _owner;
	    stamp = _stamp;
	    forSale = _forSale;
        governed = _governed;

	    _addGovernor(_governor);
        _addMinter(owner);
        _addPauser(owner);
        _mint(owner, initialOwnerAmount);
        _mint(address(this), initialSaleAmount);
        _setupDecimals(decimals);
    }
    
    /***************
    MARKET FUNCTIONS
    ***************/
    function() external payable { 
        require(forSale == true, "not for sale");  
        uint256 purchaseAmount = msg.value.mul(ethPurchaseRate);
        _transfer(address(this), _msgSender(), purchaseAmount);
        (bool success, ) = owner.call.value(msg.value)(""); 
        require(success, "transfer failed");
    }

    function redeemLexToken(uint256 amount, bytes32 details) external { 
        require(amount > 0, "amount insufficient");
        burn(amount);
        emit RedeemLexToken(_msgSender(), amount, details);
    }

    /**************
    OWNER FUNCTIONS
    **************/
    modifier onlyOwner() {
        require(_msgSender() == owner, "not owner");
        _;
    }
    
    function stake() payable external onlyGoverned onlyOwner {}
    
    function updateGovernance(bytes32 details, bool _governed) external onlyOwner {
        governed = _governed; // owner adjusts governance 
        emit UpdateGovernance(details, governed);
    }
    
    function updateLexTokenOwner(address payable _owner, bytes32 details) external onlyOwner {
        owner = _owner; // owner transfers controls
        emit UpdateLexTokenOwner(owner, details);
    }
    
    function updateLexTokenPurchaseRate(uint256 _ethPurchaseRate, bytes32 details) external onlyOwner {
        ethPurchaseRate = _ethPurchaseRate; // owner adjusts purchase rate
        emit UpdateLexTokenPurchaseRate(ethPurchaseRate, details);
    }
    
    function updateLexTokenSale(uint256 saleAmount, bytes32 details, bool _forSale) external onlyOwner {
        forSale = _forSale; // owner adjusts sale status
        _mint(address(this), saleAmount);
        emit UpdateLexTokenSale(saleAmount, details, forSale);
    }
    
    function updateLexTokenStamp(bytes32 _stamp) external onlyOwner {
        stamp = _stamp; // owner adjusts token stamp
        emit UpdateLexTokenStamp(stamp);
    }

    /*******************
    GOVERNANCE FUNCTIONS
    *******************/
    modifier onlyGoverned() {
        require(governed == true, "lexToken not under governance");
        _;
    }

    function governedSlashStake(address payable to, uint256 amount, bytes32 details) external onlyGoverned onlyGovernor {
        (bool success, ) = to.call.value(amount)(""); // governance directs slashed stake
        require(success, "transfer failed");
        emit GovernedSlashStake(details);
    }

    function governedStamp(bytes32 _stamp) external onlyGoverned onlyGovernor {
        stamp = _stamp; // governance adjusts token stamp
        emit UpdateLexTokenStamp(stamp);
    }
    
    function governedTransfer(address from, address to, uint256 amount, bytes32 details) external onlyGoverned onlyGovernor {
        _transfer(from, to, amount); // governance transfers token balance
        emit GovernedTransfer(details);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"name","type":"string"},{"internalType":"string","name":"symbol","type":"string"},{"internalType":"uint8","name":"decimals","type":"uint8"},{"internalType":"uint256","name":"cap","type":"uint256"},{"internalType":"uint256","name":"_ethPurchaseRate","type":"uint256"},{"internalType":"uint256","name":"initialOwnerAmount","type":"uint256"},{"internalType":"uint256","name":"initialSaleAmount","type":"uint256"},{"internalType":"address","name":"_governor","type":"address"},{"internalType":"address payable","name":"_owner","type":"address"},{"internalType":"bytes32","name":"_stamp","type":"bytes32"},{"internalType":"bool","name":"_forSale","type":"bool"},{"internalType":"bool","name":"_governed","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"details","type":"bytes32"}],"name":"GovernedSlashStake","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"details","type":"bytes32"}],"name":"GovernedTransfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"GovernorAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"GovernorRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"MinterAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"MinterRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"PauserAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"PauserRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":true,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":true,"internalType":"bytes32","name":"details","type":"bytes32"}],"name":"RedeemLexToken","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"details","type":"bytes32"},{"indexed":true,"internalType":"bool","name":"governed","type":"bool"}],"name":"UpdateGovernance","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"bytes32","name":"details","type":"bytes32"}],"name":"UpdateLexTokenOwner","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"ethPurchaseRate","type":"uint256"},{"indexed":true,"internalType":"bytes32","name":"details","type":"bytes32"}],"name":"UpdateLexTokenPurchaseRate","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"saleAmount","type":"uint256"},{"indexed":true,"internalType":"bytes32","name":"details","type":"bytes32"},{"indexed":true,"internalType":"bool","name":"forSale","type":"bool"}],"name":"UpdateLexTokenSale","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"stamp","type":"bytes32"}],"name":"UpdateLexTokenStamp","type":"event"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"addGovernor","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"addMinter","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"addPauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"cap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"ethPurchaseRate","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"forSale","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"governed","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address payable","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"bytes32","name":"details","type":"bytes32"}],"name":"governedSlashStake","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"_stamp","type":"bytes32"}],"name":"governedStamp","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"bytes32","name":"details","type":"bytes32"}],"name":"governedTransfer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isGovernor","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isMinter","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isPauser","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address payable","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"bytes32","name":"details","type":"bytes32"}],"name":"redeemLexToken","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renounceGovernor","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renounceMinter","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renouncePauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"stake","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"constant":true,"inputs":[],"name":"stamp","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"details","type":"bytes32"},{"internalType":"bool","name":"_governed","type":"bool"}],"name":"updateGovernance","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address payable","name":"_owner","type":"address"},{"internalType":"bytes32","name":"details","type":"bytes32"}],"name":"updateLexTokenOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"_ethPurchaseRate","type":"uint256"},{"internalType":"bytes32","name":"details","type":"bytes32"}],"name":"updateLexTokenPurchaseRate","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"saleAmount","type":"uint256"},{"internalType":"bytes32","name":"details","type":"bytes32"},{"internalType":"bool","name":"_forSale","type":"bool"}],"name":"updateLexTokenSale","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"_stamp","type":"bytes32"}],"name":"updateLexTokenStamp","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b5060405162002ea438038062002ea483398181016040526101808110156200003857600080fd5b81019080805160405193929190846401000000008211156200005957600080fd5b9083019060208201858111156200006f57600080fd5b82516401000000008111828201881017156200008a57600080fd5b82525081516020918201929091019080838360005b83811015620000b95781810151838201526020016200009f565b50505050905090810190601f168015620000e75780820380516001836020036101000a031916815260200191505b50604052602001805160405193929190846401000000008211156200010b57600080fd5b9083019060208201858111156200012157600080fd5b82516401000000008111828201881017156200013c57600080fd5b82525081516020918201929091019080838360005b838110156200016b57818101518382015260200162000151565b50505050905090810190601f168015620001995780820380516001836020036101000a031916815260200191505b506040908152602082810151918301516060840151608085015160a086015160c087015160e08801516101008901516101208a0151610140909a01516003805460ff191690558e51999c50969a5094989397929691959094939290918a918e918e916200020d916007919085019062000818565b5080516200022390600890602084019062000818565b50506009805460ff19166012179055508062000286576040805162461bcd60e51b815260206004820152601560248201527f45524332304361707065643a2063617020697320300000000000000000000000604482015290519081900360640190fd5b600a55600c889055600b80546001600160a01b0319166001600160a01b038616179055600d839055600e805460ff19168315151761ff00191661010083151502179055620002d48562000370565b600b54620002f4906001600160a01b03166001600160e01b03620003c216565b600b5462000314906001600160a01b03166001600160e01b036200041416565b600b5462000335906001600160a01b0316886001600160e01b036200046616565b6200034a30876001600160e01b036200046616565b6200035e8a6001600160e01b036200058216565b505050505050505050505050620008ba565b6200038b8160006200059860201b620021851790919060201c565b6040516001600160a01b038216907fdc5a48d79e2e147530ff63ecdbed5a5a66adb9d5cf339384d5d076da197c40b590600090a250565b620003dd8160016200059860201b620021851790919060201c565b6040516001600160a01b038216907f6ae172837ea30b801fbfcdd4108aa1d5bf8ff775444fd70256b44e6bf3dfc3f690600090a250565b6200042f8160026200059860201b620021851790919060201c565b6040516001600160a01b038216907f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f890600090a250565b6001600160a01b038216620004c2576040805162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b620004d9600083836001600160e01b036200062516565b620004f5816006546200069360201b62001b9b1790919060201c565b6006556001600160a01b0382166000908152600460209081526040909120546200052a91839062001b9b62000693821b17901c565b6001600160a01b03831660008181526004602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6009805460ff191660ff92909216919091179055565b620005ad82826001600160e01b03620006f516565b1562000600576040805162461bcd60e51b815260206004820152601f60248201527f526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500604482015290519081900360640190fd5b6001600160a01b0316600090815260209190915260409020805460ff19166001179055565b6200063d8383836200075e60201b620020fe1760201c565b620006506001600160e01b036200080816565b156200068e5760405162461bcd60e51b815260040180806020018281038252602a81526020018062002e7a602a913960400191505060405180910390fd5b505050565b600082820183811015620006ee576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b60006001600160a01b0382166200073e5760405162461bcd60e51b815260040180806020018281038252602281526020018062002e586022913960400191505060405180910390fd5b506001600160a01b03166000908152602091909152604090205460ff1690565b620007768383836200068e60201b620014ac1760201c565b6001600160a01b0383166200068e57600a54620007b482620007a06001600160e01b036200081216565b6200069360201b62001b9b1790919060201c565b11156200068e576040805162461bcd60e51b815260206004820152601960248201527f45524332304361707065643a2063617020657863656564656400000000000000604482015290519081900360640190fd5b60035460ff165b90565b60065490565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200085b57805160ff19168380011785556200088b565b828001600101855582156200088b579182015b828111156200088b5782518255916020019190600101906200086e565b50620008999291506200089d565b5090565b6200080f91905b80821115620008995760008155600101620008a4565b61258e80620008ca6000396000f3fe6080604052600436106102515760003560e01c806370a08231116101395780639e16af45116100b6578063be0887971161007a578063be088797146109c3578063c85e07b914610a0c578063dd62ed3e14610a21578063e026049c14610a5c578063e43581b814610a71578063f479013e14610aa457610251565b80639e16af45146108ca578063a457c2d7146108df578063a9059cbb14610918578063a94c50b614610951578063aa271e1a1461099057610251565b80638456cb59116100fd5780638456cb59146108275780638da5cb5b1461083c57806395d89b411461086d578063983b2d561461088257806398650275146108b557610251565b806370a082311461074357806379cc6790146107765780637da53637146107af57806380c637a9146107c457806382dc1ec4146107f457610251565b80633f4ba83a116101d2578063484b525111610196578063484b52511461064e578063496e13f1146106785780634d18849f146106b157806350c59633146106e15780635c975abb146107195780636ef8d66d1461072e57610251565b80633f4ba83a1461058e57806340c10f19146105a357806342966c68146105dc578063466ccac01461060657806346fbf68e1461061b57610251565b8063313ce56711610219578063313ce567146104da578063355274ea14610505578063395093511461051a5780633a4b66f1146105535780633c4a25d01461055b57610251565b806306fdde0314610365578063095ea7b3146103ef578063171d1f2b1461043c57806318160ddd1461047057806323b872dd14610497575b600e5460ff16151560011461029c576040805162461bcd60e51b815260206004820152600c60248201526b6e6f7420666f722073616c6560a01b604482015290519081900360640190fd5b60006102b3600c5434610ace90919063ffffffff16565b90506102c7306102c1610b30565b83610b34565b600b546040516000916001600160a01b03169034908381818185875af1925050503d8060008114610314576040519150601f19603f3d011682016040523d82523d6000602084013e610319565b606091505b5050905080610361576040805162461bcd60e51b815260206004820152600f60248201526e1d1c985b9cd9995c8819985a5b1959608a1b604482015290519081900360640190fd5b5050005b34801561037157600080fd5b5061037a610c9d565b6040805160208082528351818301528351919283929083019185019080838360005b838110156103b457818101518382015260200161039c565b50505050905090810190601f1680156103e15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156103fb57600080fd5b506104286004803603604081101561041257600080fd5b506001600160a01b038135169060200135610d33565b604080519115158252519081900360200190f35b34801561044857600080fd5b5061046e6004803603604081101561045f57600080fd5b50803590602001351515610d50565b005b34801561047c57600080fd5b50610485610dfd565b60408051918252519081900360200190f35b3480156104a357600080fd5b50610428600480360360608110156104ba57600080fd5b506001600160a01b03813581169160208101359091169060400135610e03565b3480156104e657600080fd5b506104ef610e90565b6040805160ff9092168252519081900360200190f35b34801561051157600080fd5b50610485610e99565b34801561052657600080fd5b506104286004803603604081101561053d57600080fd5b506001600160a01b038135169060200135610e9f565b61046e610ef3565b34801561056757600080fd5b5061046e6004803603602081101561057e57600080fd5b50356001600160a01b0316610fa0565b34801561059a57600080fd5b5061046e610ff7565b3480156105af57600080fd5b50610428600480360360408110156105c657600080fd5b506001600160a01b0381351690602001356110e0565b3480156105e857600080fd5b5061046e600480360360208110156105ff57600080fd5b5035611137565b34801561061257600080fd5b50610428611148565b34801561062757600080fd5b506104286004803603602081101561063e57600080fd5b50356001600160a01b0316611151565b34801561065a57600080fd5b5061046e6004803603602081101561067157600080fd5b5035611164565b34801561068457600080fd5b5061046e6004803603604081101561069b57600080fd5b506001600160a01b03813516906020013561122d565b3480156106bd57600080fd5b5061046e600480360360408110156106d457600080fd5b50803590602001356112dc565b3480156106ed57600080fd5b5061046e6004803603606081101561070457600080fd5b5080359060208101359060400135151561136d565b34801561072557600080fd5b5061042861141d565b34801561073a57600080fd5b5061046e611426565b34801561074f57600080fd5b506104856004803603602081101561076657600080fd5b50356001600160a01b0316611436565b34801561078257600080fd5b5061046e6004803603604081101561079957600080fd5b506001600160a01b038135169060200135611451565b3480156107bb57600080fd5b506104286114b1565b3480156107d057600080fd5b5061046e600480360360408110156107e757600080fd5b50803590602001356114bf565b34801561080057600080fd5b5061046e6004803603602081101561081757600080fd5b50356001600160a01b0316611556565b34801561083357600080fd5b5061046e6115a5565b34801561084857600080fd5b5061085161166c565b604080516001600160a01b039092168252519081900360200190f35b34801561087957600080fd5b5061037a61167b565b34801561088e57600080fd5b5061046e600480360360208110156108a557600080fd5b50356001600160a01b03166116dc565b3480156108c157600080fd5b5061046e61172b565b3480156108d657600080fd5b5061048561173b565b3480156108eb57600080fd5b506104286004803603604081101561090257600080fd5b506001600160a01b038135169060200135611741565b34801561092457600080fd5b506104286004803603604081101561093b57600080fd5b506001600160a01b0381351690602001356117af565b34801561095d57600080fd5b5061046e6004803603606081101561097457600080fd5b506001600160a01b0381351690602081013590604001356117c3565b34801561099c57600080fd5b50610428600480360360208110156109b357600080fd5b50356001600160a01b0316611922565b3480156109cf57600080fd5b5061046e600480360360808110156109e657600080fd5b506001600160a01b03813581169160208101359091169060408101359060600135611935565b348015610a1857600080fd5b50610485611a07565b348015610a2d57600080fd5b5061048560048036036040811015610a4457600080fd5b506001600160a01b0381358116916020013516611a0d565b348015610a6857600080fd5b5061046e611a38565b348015610a7d57600080fd5b5061042860048036036020811015610a9457600080fd5b50356001600160a01b0316611a48565b348015610ab057600080fd5b5061046e60048036036020811015610ac757600080fd5b5035611a5a565b600082610add57506000610b2a565b82820282848281610aea57fe5b0414610b275760405162461bcd60e51b81526004018080602001828103825260218152602001806123de6021913960400191505060405180910390fd5b90505b92915050565b3390565b6001600160a01b038316610b795760405162461bcd60e51b815260040180806020018281038252602581526020018061248e6025913960400191505060405180910390fd5b6001600160a01b038216610bbe5760405162461bcd60e51b81526004018080602001828103825260238152602001806122b06023913960400191505060405180910390fd5b610bc9838383611ab5565b610c0c81604051806060016040528060268152602001612367602691396001600160a01b038616600090815260046020526040902054919063ffffffff611b0416565b6001600160a01b038085166000908152600460205260408082209390935590841681522054610c41908263ffffffff611b9b16565b6001600160a01b0380841660008181526004602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b60078054604080516020601f6002600019610100600188161502019095169490940493840181900481028201810190925282815260609390929091830182828015610d295780601f10610cfe57610100808354040283529160200191610d29565b820191906000526020600020905b815481529060010190602001808311610d0c57829003601f168201915b5050505050905090565b6000610d47610d40610b30565b8484611bf5565b50600192915050565b600b546001600160a01b0316610d64610b30565b6001600160a01b031614610dab576040805162461bcd60e51b81526020600482015260096024820152683737ba1037bbb732b960b91b604482015290519081900360640190fd5b600e805461ff0019166101008315158102919091179182905560405160ff919092041615159083907f944557c54dbc29905aa8fa59589954c7f56c454afa337eab60106518e411b43890600090a35050565b60065490565b6000610e10848484610b34565b610e8684610e1c610b30565b610e81856040518060600160405280602881526020016123ff602891396001600160a01b038a16600090815260056020526040812090610e5a610b30565b6001600160a01b03168152602081019190915260400160002054919063ffffffff611b0416565b611bf5565b5060019392505050565b60095460ff1690565b600a5490565b6000610d47610eac610b30565b84610e818560056000610ebd610b30565b6001600160a01b03908116825260208083019390935260409182016000908120918c16815292529020549063ffffffff611b9b16565b600e5460ff610100909104161515600114610f43576040805162461bcd60e51b815260206004820152601d60248201526000805160206122f5833981519152604482015290519081900360640190fd5b600b546001600160a01b0316610f57610b30565b6001600160a01b031614610f9e576040805162461bcd60e51b81526020600482015260096024820152683737ba1037bbb732b960b91b604482015290519081900360640190fd5b565b610fb0610fab610b30565b611a48565b610feb5760405162461bcd60e51b81526004018080602001828103825260348152602001806124d76034913960400191505060405180910390fd5b610ff481611ce1565b50565b611007611002610b30565b611151565b6110425760405162461bcd60e51b81526004018080602001828103825260308152602001806123156030913960400191505060405180910390fd5b60035460ff16611090576040805162461bcd60e51b815260206004820152601460248201527314185d5cd8589b194e881b9bdd081c185d5cd95960621b604482015290519081900360640190fd5b6003805460ff191690557f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa6110c3610b30565b604080516001600160a01b039092168252519081900360200190a1565b60006110f26110ed610b30565b611922565b61112d5760405162461bcd60e51b815260040180806020018281038252603081526020018061238d6030913960400191505060405180910390fd5b610d478383611d29565b610ff4611142610b30565b82611e27565b600e5460ff1681565b6000610b2a60028363ffffffff611f2f16565b600e5460ff6101009091041615156001146111b4576040805162461bcd60e51b815260206004820152601d60248201526000805160206122f5833981519152604482015290519081900360640190fd5b6111bf610fab610b30565b6111fa5760405162461bcd60e51b81526004018080602001828103825260348152602001806124d76034913960400191505060405180910390fd5b600d81905560405181907faca50d07ca1f06b08d12776e7d954881d3d2c6471e3f847ce03240db65e1eb8c90600090a250565b600b546001600160a01b0316611241610b30565b6001600160a01b031614611288576040805162461bcd60e51b81526020600482015260096024820152683737ba1037bbb732b960b91b604482015290519081900360640190fd5b600b80546001600160a01b0319166001600160a01b0384811691909117918290556040518392909116907f139084791037f409c8749acadf97a7ae0bfc37889489713a7b8ea66f57e1bae190600090a35050565b600b546001600160a01b03166112f0610b30565b6001600160a01b031614611337576040805162461bcd60e51b81526020600482015260096024820152683737ba1037bbb732b960b91b604482015290519081900360640190fd5b600c829055604051819083907f6960760c1eaed5f97f3be6be5873f6751d341e4ba7cc35b7e6942922703557c790600090a35050565b600b546001600160a01b0316611381610b30565b6001600160a01b0316146113c8576040805162461bcd60e51b81526020600482015260096024820152683737ba1037bbb732b960b91b604482015290519081900360640190fd5b600e805460ff19168215151790556113e03084611d29565b600e5460405160ff909116151590839085907f8b9c2777fd2bd55cc8e6c5a604c0d4ad87dce822c276ad77fb5c1783d3c9874f90600090a4505050565b60035460ff1690565b610f9e611431610b30565b611f96565b6001600160a01b031660009081526004602052604090205490565b600061148e82604051806060016040528060248152602001612449602491396114818661147c610b30565b611a0d565b919063ffffffff611b0416565b90506114a28361149c610b30565b83611bf5565b6114ac8383611e27565b505050565b600e54610100900460ff1681565b6000821161150a576040805162461bcd60e51b8152602060048201526013602482015272185b5bdd5b9d081a5b9cdd59999a58da595b9d606a1b604482015290519081900360640190fd5b61151382611137565b808261151d610b30565b6001600160a01b03167f422d304bffd89621594ba89eef01b824a9fce79cacb5b987ad70b90ff038362c60405160405180910390a45050565b611561611002610b30565b61159c5760405162461bcd60e51b81526004018080602001828103825260308152602001806123156030913960400191505060405180910390fd5b610ff481611fde565b6115b0611002610b30565b6115eb5760405162461bcd60e51b81526004018080602001828103825260308152602001806123156030913960400191505060405180910390fd5b60035460ff1615611636576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6003805460ff191660011790557f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2586110c3610b30565b600b546001600160a01b031681565b60088054604080516020601f6002600019610100600188161502019095169490940493840181900481028201810190925282815260609390929091830182828015610d295780601f10610cfe57610100808354040283529160200191610d29565b6116e76110ed610b30565b6117225760405162461bcd60e51b815260040180806020018281038252603081526020018061238d6030913960400191505060405180910390fd5b610ff481612026565b610f9e611736610b30565b61206e565b600c5481565b6000610d4761174e610b30565b84610e818560405180606001604052806025815260200161250b6025913960056000611778610b30565b6001600160a01b03908116825260208083019390935260409182016000908120918d1681529252902054919063ffffffff611b0416565b6000610d476117bc610b30565b8484610b34565b600e5460ff610100909104161515600114611813576040805162461bcd60e51b815260206004820152601d60248201526000805160206122f5833981519152604482015290519081900360640190fd5b61181e610fab610b30565b6118595760405162461bcd60e51b81526004018080602001828103825260348152602001806124d76034913960400191505060405180910390fd5b6040516000906001600160a01b0385169084908381818185875af1925050503d80600081146118a4576040519150601f19603f3d011682016040523d82523d6000602084013e6118a9565b606091505b50509050806118f1576040805162461bcd60e51b815260206004820152600f60248201526e1d1c985b9cd9995c8819985a5b1959608a1b604482015290519081900360640190fd5b60405182907f3dfab172bf9d5332efbc6c194db8cff78c260a4c82d19f8cfd9dbf2c23c69af790600090a250505050565b6000610b2a60018363ffffffff611f2f16565b600e5460ff610100909104161515600114611985576040805162461bcd60e51b815260206004820152601d60248201526000805160206122f5833981519152604482015290519081900360640190fd5b611990610fab610b30565b6119cb5760405162461bcd60e51b81526004018080602001828103825260348152602001806124d76034913960400191505060405180910390fd5b6119d6848484610b34565b60405181907fcf6c1606abcfc9d453cc6312c8be9ef5e8e8cfd23832ff1cd0175bbd88f7c08790600090a250505050565b600d5481565b6001600160a01b03918216600090815260056020908152604080832093909416825291909152205490565b610f9e611a43610b30565b6120b6565b6000610b2a818363ffffffff611f2f16565b600b546001600160a01b0316611a6e610b30565b6001600160a01b0316146111fa576040805162461bcd60e51b81526020600482015260096024820152683737ba1037bbb732b960b91b604482015290519081900360640190fd5b611ac08383836120fe565b611ac861141d565b156114ac5760405162461bcd60e51b815260040180806020018281038252602a815260200180612530602a913960400191505060405180910390fd5b60008184841115611b935760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611b58578181015183820152602001611b40565b50505050905090810190601f168015611b855780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b600082820183811015610b27576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6001600160a01b038316611c3a5760405162461bcd60e51b81526004018080602001828103825260248152602001806124b36024913960400191505060405180910390fd5b6001600160a01b038216611c7f5760405162461bcd60e51b81526004018080602001828103825260228152602001806123456022913960400191505060405180910390fd5b6001600160a01b03808416600081815260056020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b611cf260008263ffffffff61218516565b6040516001600160a01b038216907fdc5a48d79e2e147530ff63ecdbed5a5a66adb9d5cf339384d5d076da197c40b590600090a250565b6001600160a01b038216611d84576040805162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b611d9060008383611ab5565b600654611da3908263ffffffff611b9b16565b6006556001600160a01b038216600090815260046020526040902054611dcf908263ffffffff611b9b16565b6001600160a01b03831660008181526004602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6001600160a01b038216611e6c5760405162461bcd60e51b815260040180806020018281038252602181526020018061246d6021913960400191505060405180910390fd5b611e7882600083611ab5565b611ebb816040518060600160405280602281526020016122d3602291396001600160a01b038516600090815260046020526040902054919063ffffffff611b0416565b6001600160a01b038316600090815260046020526040902055600654611ee7908263ffffffff61220616565b6006556040805182815290516000916001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b60006001600160a01b038216611f765760405162461bcd60e51b81526004018080602001828103825260228152602001806124276022913960400191505060405180910390fd5b506001600160a01b03166000908152602091909152604090205460ff1690565b611fa760028263ffffffff61224816565b6040516001600160a01b038216907fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e90600090a250565b611fef60028263ffffffff61218516565b6040516001600160a01b038216907f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f890600090a250565b61203760018263ffffffff61218516565b6040516001600160a01b038216907f6ae172837ea30b801fbfcdd4108aa1d5bf8ff775444fd70256b44e6bf3dfc3f690600090a250565b61207f60018263ffffffff61224816565b6040516001600160a01b038216907fe94479a9f7e1952cc78f2d6baab678adc1b772d936c6583def489e524cb6669290600090a250565b6120c760008263ffffffff61224816565b6040516001600160a01b038216907f1ebe834e73d60a5fec822c1e1727d34bc79f2ad977ed504581cc1822fe20fb5b90600090a250565b6121098383836114ac565b6001600160a01b0383166114ac57600a5461213282612126610dfd565b9063ffffffff611b9b16565b11156114ac576040805162461bcd60e51b815260206004820152601960248201527f45524332304361707065643a2063617020657863656564656400000000000000604482015290519081900360640190fd5b61218f8282611f2f565b156121e1576040805162461bcd60e51b815260206004820152601f60248201527f526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500604482015290519081900360640190fd5b6001600160a01b0316600090815260209190915260409020805460ff19166001179055565b6000610b2783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611b04565b6122528282611f2f565b61228d5760405162461bcd60e51b81526004018080602001828103825260218152602001806123bd6021913960400191505060405180910390fd5b6001600160a01b0316600090815260209190915260409020805460ff1916905556fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e20616d6f756e7420657863656564732062616c616e63656c6578546f6b656e206e6f7420756e64657220676f7665726e616e6365000000506175736572526f6c653a2063616c6c657220646f6573206e6f742068617665207468652050617573657220726f6c6545524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e63654d696e746572526f6c653a2063616c6c657220646f6573206e6f74206861766520746865204d696e74657220726f6c65526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c65536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f7745524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365526f6c65733a206163636f756e7420697320746865207a65726f206164647265737345524332303a206275726e20616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373476f7665726e6f72526f6c653a2063616c6c657220646f6573206e6f7420686176652074686520676f7665726e6f7220726f6c6545524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726f45524332305061757361626c653a20746f6b656e207472616e73666572207768696c6520706175736564a265627a7a723158206e5261dbb919f099f178c71ba41c6370aef11e71fa6e75fe27e7175848595db364736f6c63430005110032526f6c65733a206163636f756e7420697320746865207a65726f206164647265737345524332305061757361626c653a20746f6b656e207472616e73666572207768696c6520706175736564000000000000000000000000000000000000000000000000000000000000018000000000000000000000000000000000000000000000000000000000000001c00000000000000000000000000000000000000000000000000000000000000012000000000000000000000000000000000000000000084595161401484a00000000000000000000000000000000000000000000000000000000000000000003e8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000d3c21bcecceda10000000000000000000000000000003509626cba1a3ac5ab001b8d73a018a07bc3e5120000000000000000000000001c0aa8ccd568d90d61659f060d1bfb1e6f855a20746f732e6c65782e6c657864616f2e65746800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000124c657844414f20456e67696e656572696e67000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000034c45580000000000000000000000000000000000000000000000000000000000

0x6080604052600436106102515760003560e01c806370a08231116101395780639e16af45116100b6578063be0887971161007a578063be088797146109c3578063c85e07b914610a0c578063dd62ed3e14610a21578063e026049c14610a5c578063e43581b814610a71578063f479013e14610aa457610251565b80639e16af45146108ca578063a457c2d7146108df578063a9059cbb14610918578063a94c50b614610951578063aa271e1a1461099057610251565b80638456cb59116100fd5780638456cb59146108275780638da5cb5b1461083c57806395d89b411461086d578063983b2d561461088257806398650275146108b557610251565b806370a082311461074357806379cc6790146107765780637da53637146107af57806380c637a9146107c457806382dc1ec4146107f457610251565b80633f4ba83a116101d2578063484b525111610196578063484b52511461064e578063496e13f1146106785780634d18849f146106b157806350c59633146106e15780635c975abb146107195780636ef8d66d1461072e57610251565b80633f4ba83a1461058e57806340c10f19146105a357806342966c68146105dc578063466ccac01461060657806346fbf68e1461061b57610251565b8063313ce56711610219578063313ce567146104da578063355274ea14610505578063395093511461051a5780633a4b66f1146105535780633c4a25d01461055b57610251565b806306fdde0314610365578063095ea7b3146103ef578063171d1f2b1461043c57806318160ddd1461047057806323b872dd14610497575b600e5460ff16151560011461029c576040805162461bcd60e51b815260206004820152600c60248201526b6e6f7420666f722073616c6560a01b604482015290519081900360640190fd5b60006102b3600c5434610ace90919063ffffffff16565b90506102c7306102c1610b30565b83610b34565b600b546040516000916001600160a01b03169034908381818185875af1925050503d8060008114610314576040519150601f19603f3d011682016040523d82523d6000602084013e610319565b606091505b5050905080610361576040805162461bcd60e51b815260206004820152600f60248201526e1d1c985b9cd9995c8819985a5b1959608a1b604482015290519081900360640190fd5b5050005b34801561037157600080fd5b5061037a610c9d565b6040805160208082528351818301528351919283929083019185019080838360005b838110156103b457818101518382015260200161039c565b50505050905090810190601f1680156103e15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156103fb57600080fd5b506104286004803603604081101561041257600080fd5b506001600160a01b038135169060200135610d33565b604080519115158252519081900360200190f35b34801561044857600080fd5b5061046e6004803603604081101561045f57600080fd5b50803590602001351515610d50565b005b34801561047c57600080fd5b50610485610dfd565b60408051918252519081900360200190f35b3480156104a357600080fd5b50610428600480360360608110156104ba57600080fd5b506001600160a01b03813581169160208101359091169060400135610e03565b3480156104e657600080fd5b506104ef610e90565b6040805160ff9092168252519081900360200190f35b34801561051157600080fd5b50610485610e99565b34801561052657600080fd5b506104286004803603604081101561053d57600080fd5b506001600160a01b038135169060200135610e9f565b61046e610ef3565b34801561056757600080fd5b5061046e6004803603602081101561057e57600080fd5b50356001600160a01b0316610fa0565b34801561059a57600080fd5b5061046e610ff7565b3480156105af57600080fd5b50610428600480360360408110156105c657600080fd5b506001600160a01b0381351690602001356110e0565b3480156105e857600080fd5b5061046e600480360360208110156105ff57600080fd5b5035611137565b34801561061257600080fd5b50610428611148565b34801561062757600080fd5b506104286004803603602081101561063e57600080fd5b50356001600160a01b0316611151565b34801561065a57600080fd5b5061046e6004803603602081101561067157600080fd5b5035611164565b34801561068457600080fd5b5061046e6004803603604081101561069b57600080fd5b506001600160a01b03813516906020013561122d565b3480156106bd57600080fd5b5061046e600480360360408110156106d457600080fd5b50803590602001356112dc565b3480156106ed57600080fd5b5061046e6004803603606081101561070457600080fd5b5080359060208101359060400135151561136d565b34801561072557600080fd5b5061042861141d565b34801561073a57600080fd5b5061046e611426565b34801561074f57600080fd5b506104856004803603602081101561076657600080fd5b50356001600160a01b0316611436565b34801561078257600080fd5b5061046e6004803603604081101561079957600080fd5b506001600160a01b038135169060200135611451565b3480156107bb57600080fd5b506104286114b1565b3480156107d057600080fd5b5061046e600480360360408110156107e757600080fd5b50803590602001356114bf565b34801561080057600080fd5b5061046e6004803603602081101561081757600080fd5b50356001600160a01b0316611556565b34801561083357600080fd5b5061046e6115a5565b34801561084857600080fd5b5061085161166c565b604080516001600160a01b039092168252519081900360200190f35b34801561087957600080fd5b5061037a61167b565b34801561088e57600080fd5b5061046e600480360360208110156108a557600080fd5b50356001600160a01b03166116dc565b3480156108c157600080fd5b5061046e61172b565b3480156108d657600080fd5b5061048561173b565b3480156108eb57600080fd5b506104286004803603604081101561090257600080fd5b506001600160a01b038135169060200135611741565b34801561092457600080fd5b506104286004803603604081101561093b57600080fd5b506001600160a01b0381351690602001356117af565b34801561095d57600080fd5b5061046e6004803603606081101561097457600080fd5b506001600160a01b0381351690602081013590604001356117c3565b34801561099c57600080fd5b50610428600480360360208110156109b357600080fd5b50356001600160a01b0316611922565b3480156109cf57600080fd5b5061046e600480360360808110156109e657600080fd5b506001600160a01b03813581169160208101359091169060408101359060600135611935565b348015610a1857600080fd5b50610485611a07565b348015610a2d57600080fd5b5061048560048036036040811015610a4457600080fd5b506001600160a01b0381358116916020013516611a0d565b348015610a6857600080fd5b5061046e611a38565b348015610a7d57600080fd5b5061042860048036036020811015610a9457600080fd5b50356001600160a01b0316611a48565b348015610ab057600080fd5b5061046e60048036036020811015610ac757600080fd5b5035611a5a565b600082610add57506000610b2a565b82820282848281610aea57fe5b0414610b275760405162461bcd60e51b81526004018080602001828103825260218152602001806123de6021913960400191505060405180910390fd5b90505b92915050565b3390565b6001600160a01b038316610b795760405162461bcd60e51b815260040180806020018281038252602581526020018061248e6025913960400191505060405180910390fd5b6001600160a01b038216610bbe5760405162461bcd60e51b81526004018080602001828103825260238152602001806122b06023913960400191505060405180910390fd5b610bc9838383611ab5565b610c0c81604051806060016040528060268152602001612367602691396001600160a01b038616600090815260046020526040902054919063ffffffff611b0416565b6001600160a01b038085166000908152600460205260408082209390935590841681522054610c41908263ffffffff611b9b16565b6001600160a01b0380841660008181526004602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b60078054604080516020601f6002600019610100600188161502019095169490940493840181900481028201810190925282815260609390929091830182828015610d295780601f10610cfe57610100808354040283529160200191610d29565b820191906000526020600020905b815481529060010190602001808311610d0c57829003601f168201915b5050505050905090565b6000610d47610d40610b30565b8484611bf5565b50600192915050565b600b546001600160a01b0316610d64610b30565b6001600160a01b031614610dab576040805162461bcd60e51b81526020600482015260096024820152683737ba1037bbb732b960b91b604482015290519081900360640190fd5b600e805461ff0019166101008315158102919091179182905560405160ff919092041615159083907f944557c54dbc29905aa8fa59589954c7f56c454afa337eab60106518e411b43890600090a35050565b60065490565b6000610e10848484610b34565b610e8684610e1c610b30565b610e81856040518060600160405280602881526020016123ff602891396001600160a01b038a16600090815260056020526040812090610e5a610b30565b6001600160a01b03168152602081019190915260400160002054919063ffffffff611b0416565b611bf5565b5060019392505050565b60095460ff1690565b600a5490565b6000610d47610eac610b30565b84610e818560056000610ebd610b30565b6001600160a01b03908116825260208083019390935260409182016000908120918c16815292529020549063ffffffff611b9b16565b600e5460ff610100909104161515600114610f43576040805162461bcd60e51b815260206004820152601d60248201526000805160206122f5833981519152604482015290519081900360640190fd5b600b546001600160a01b0316610f57610b30565b6001600160a01b031614610f9e576040805162461bcd60e51b81526020600482015260096024820152683737ba1037bbb732b960b91b604482015290519081900360640190fd5b565b610fb0610fab610b30565b611a48565b610feb5760405162461bcd60e51b81526004018080602001828103825260348152602001806124d76034913960400191505060405180910390fd5b610ff481611ce1565b50565b611007611002610b30565b611151565b6110425760405162461bcd60e51b81526004018080602001828103825260308152602001806123156030913960400191505060405180910390fd5b60035460ff16611090576040805162461bcd60e51b815260206004820152601460248201527314185d5cd8589b194e881b9bdd081c185d5cd95960621b604482015290519081900360640190fd5b6003805460ff191690557f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa6110c3610b30565b604080516001600160a01b039092168252519081900360200190a1565b60006110f26110ed610b30565b611922565b61112d5760405162461bcd60e51b815260040180806020018281038252603081526020018061238d6030913960400191505060405180910390fd5b610d478383611d29565b610ff4611142610b30565b82611e27565b600e5460ff1681565b6000610b2a60028363ffffffff611f2f16565b600e5460ff6101009091041615156001146111b4576040805162461bcd60e51b815260206004820152601d60248201526000805160206122f5833981519152604482015290519081900360640190fd5b6111bf610fab610b30565b6111fa5760405162461bcd60e51b81526004018080602001828103825260348152602001806124d76034913960400191505060405180910390fd5b600d81905560405181907faca50d07ca1f06b08d12776e7d954881d3d2c6471e3f847ce03240db65e1eb8c90600090a250565b600b546001600160a01b0316611241610b30565b6001600160a01b031614611288576040805162461bcd60e51b81526020600482015260096024820152683737ba1037bbb732b960b91b604482015290519081900360640190fd5b600b80546001600160a01b0319166001600160a01b0384811691909117918290556040518392909116907f139084791037f409c8749acadf97a7ae0bfc37889489713a7b8ea66f57e1bae190600090a35050565b600b546001600160a01b03166112f0610b30565b6001600160a01b031614611337576040805162461bcd60e51b81526020600482015260096024820152683737ba1037bbb732b960b91b604482015290519081900360640190fd5b600c829055604051819083907f6960760c1eaed5f97f3be6be5873f6751d341e4ba7cc35b7e6942922703557c790600090a35050565b600b546001600160a01b0316611381610b30565b6001600160a01b0316146113c8576040805162461bcd60e51b81526020600482015260096024820152683737ba1037bbb732b960b91b604482015290519081900360640190fd5b600e805460ff19168215151790556113e03084611d29565b600e5460405160ff909116151590839085907f8b9c2777fd2bd55cc8e6c5a604c0d4ad87dce822c276ad77fb5c1783d3c9874f90600090a4505050565b60035460ff1690565b610f9e611431610b30565b611f96565b6001600160a01b031660009081526004602052604090205490565b600061148e82604051806060016040528060248152602001612449602491396114818661147c610b30565b611a0d565b919063ffffffff611b0416565b90506114a28361149c610b30565b83611bf5565b6114ac8383611e27565b505050565b600e54610100900460ff1681565b6000821161150a576040805162461bcd60e51b8152602060048201526013602482015272185b5bdd5b9d081a5b9cdd59999a58da595b9d606a1b604482015290519081900360640190fd5b61151382611137565b808261151d610b30565b6001600160a01b03167f422d304bffd89621594ba89eef01b824a9fce79cacb5b987ad70b90ff038362c60405160405180910390a45050565b611561611002610b30565b61159c5760405162461bcd60e51b81526004018080602001828103825260308152602001806123156030913960400191505060405180910390fd5b610ff481611fde565b6115b0611002610b30565b6115eb5760405162461bcd60e51b81526004018080602001828103825260308152602001806123156030913960400191505060405180910390fd5b60035460ff1615611636576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6003805460ff191660011790557f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2586110c3610b30565b600b546001600160a01b031681565b60088054604080516020601f6002600019610100600188161502019095169490940493840181900481028201810190925282815260609390929091830182828015610d295780601f10610cfe57610100808354040283529160200191610d29565b6116e76110ed610b30565b6117225760405162461bcd60e51b815260040180806020018281038252603081526020018061238d6030913960400191505060405180910390fd5b610ff481612026565b610f9e611736610b30565b61206e565b600c5481565b6000610d4761174e610b30565b84610e818560405180606001604052806025815260200161250b6025913960056000611778610b30565b6001600160a01b03908116825260208083019390935260409182016000908120918d1681529252902054919063ffffffff611b0416565b6000610d476117bc610b30565b8484610b34565b600e5460ff610100909104161515600114611813576040805162461bcd60e51b815260206004820152601d60248201526000805160206122f5833981519152604482015290519081900360640190fd5b61181e610fab610b30565b6118595760405162461bcd60e51b81526004018080602001828103825260348152602001806124d76034913960400191505060405180910390fd5b6040516000906001600160a01b0385169084908381818185875af1925050503d80600081146118a4576040519150601f19603f3d011682016040523d82523d6000602084013e6118a9565b606091505b50509050806118f1576040805162461bcd60e51b815260206004820152600f60248201526e1d1c985b9cd9995c8819985a5b1959608a1b604482015290519081900360640190fd5b60405182907f3dfab172bf9d5332efbc6c194db8cff78c260a4c82d19f8cfd9dbf2c23c69af790600090a250505050565b6000610b2a60018363ffffffff611f2f16565b600e5460ff610100909104161515600114611985576040805162461bcd60e51b815260206004820152601d60248201526000805160206122f5833981519152604482015290519081900360640190fd5b611990610fab610b30565b6119cb5760405162461bcd60e51b81526004018080602001828103825260348152602001806124d76034913960400191505060405180910390fd5b6119d6848484610b34565b60405181907fcf6c1606abcfc9d453cc6312c8be9ef5e8e8cfd23832ff1cd0175bbd88f7c08790600090a250505050565b600d5481565b6001600160a01b03918216600090815260056020908152604080832093909416825291909152205490565b610f9e611a43610b30565b6120b6565b6000610b2a818363ffffffff611f2f16565b600b546001600160a01b0316611a6e610b30565b6001600160a01b0316146111fa576040805162461bcd60e51b81526020600482015260096024820152683737ba1037bbb732b960b91b604482015290519081900360640190fd5b611ac08383836120fe565b611ac861141d565b156114ac5760405162461bcd60e51b815260040180806020018281038252602a815260200180612530602a913960400191505060405180910390fd5b60008184841115611b935760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611b58578181015183820152602001611b40565b50505050905090810190601f168015611b855780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b600082820183811015610b27576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6001600160a01b038316611c3a5760405162461bcd60e51b81526004018080602001828103825260248152602001806124b36024913960400191505060405180910390fd5b6001600160a01b038216611c7f5760405162461bcd60e51b81526004018080602001828103825260228152602001806123456022913960400191505060405180910390fd5b6001600160a01b03808416600081815260056020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b611cf260008263ffffffff61218516565b6040516001600160a01b038216907fdc5a48d79e2e147530ff63ecdbed5a5a66adb9d5cf339384d5d076da197c40b590600090a250565b6001600160a01b038216611d84576040805162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b611d9060008383611ab5565b600654611da3908263ffffffff611b9b16565b6006556001600160a01b038216600090815260046020526040902054611dcf908263ffffffff611b9b16565b6001600160a01b03831660008181526004602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6001600160a01b038216611e6c5760405162461bcd60e51b815260040180806020018281038252602181526020018061246d6021913960400191505060405180910390fd5b611e7882600083611ab5565b611ebb816040518060600160405280602281526020016122d3602291396001600160a01b038516600090815260046020526040902054919063ffffffff611b0416565b6001600160a01b038316600090815260046020526040902055600654611ee7908263ffffffff61220616565b6006556040805182815290516000916001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b60006001600160a01b038216611f765760405162461bcd60e51b81526004018080602001828103825260228152602001806124276022913960400191505060405180910390fd5b506001600160a01b03166000908152602091909152604090205460ff1690565b611fa760028263ffffffff61224816565b6040516001600160a01b038216907fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e90600090a250565b611fef60028263ffffffff61218516565b6040516001600160a01b038216907f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f890600090a250565b61203760018263ffffffff61218516565b6040516001600160a01b038216907f6ae172837ea30b801fbfcdd4108aa1d5bf8ff775444fd70256b44e6bf3dfc3f690600090a250565b61207f60018263ffffffff61224816565b6040516001600160a01b038216907fe94479a9f7e1952cc78f2d6baab678adc1b772d936c6583def489e524cb6669290600090a250565b6120c760008263ffffffff61224816565b6040516001600160a01b038216907f1ebe834e73d60a5fec822c1e1727d34bc79f2ad977ed504581cc1822fe20fb5b90600090a250565b6121098383836114ac565b6001600160a01b0383166114ac57600a5461213282612126610dfd565b9063ffffffff611b9b16565b11156114ac576040805162461bcd60e51b815260206004820152601960248201527f45524332304361707065643a2063617020657863656564656400000000000000604482015290519081900360640190fd5b61218f8282611f2f565b156121e1576040805162461bcd60e51b815260206004820152601f60248201527f526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500604482015290519081900360640190fd5b6001600160a01b0316600090815260209190915260409020805460ff19166001179055565b6000610b2783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611b04565b6122528282611f2f565b61228d5760405162461bcd60e51b81526004018080602001828103825260218152602001806123bd6021913960400191505060405180910390fd5b6001600160a01b0316600090815260209190915260409020805460ff1916905556fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e20616d6f756e7420657863656564732062616c616e63656c6578546f6b656e206e6f7420756e64657220676f7665726e616e6365000000506175736572526f6c653a2063616c6c657220646f6573206e6f742068617665207468652050617573657220726f6c6545524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e63654d696e746572526f6c653a2063616c6c657220646f6573206e6f74206861766520746865204d696e74657220726f6c65526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c65536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f7745524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365526f6c65733a206163636f756e7420697320746865207a65726f206164647265737345524332303a206275726e20616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373476f7665726e6f72526f6c653a2063616c6c657220646f6573206e6f7420686176652074686520676f7665726e6f7220726f6c6545524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726f45524332305061757361626c653a20746f6b656e207472616e73666572207768696c6520706175736564a265627a7a723158206e5261dbb919f099f178c71ba41c6370aef11e71fa6e75fe27e7175848595db364736f6c63430005110032

000000000000000000000000000000000000000000000000000000000000018000000000000000000000000000000000000000000000000000000000000001c00000000000000000000000000000000000000000000000000000000000000012000000000000000000000000000000000000000000084595161401484a00000000000000000000000000000000000000000000000000000000000000000003e8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000d3c21bcecceda10000000000000000000000000000003509626cba1a3ac5ab001b8d73a018a07bc3e5120000000000000000000000001c0aa8ccd568d90d61659f060d1bfb1e6f855a20746f732e6c65782e6c657864616f2e65746800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000124c657844414f20456e67696e656572696e67000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000034c45580000000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : name (string): LexDAO Engineering
Arg [1] : symbol (string): LEX
Arg [2] : decimals (uint8): 18
Arg [3] : cap (uint256): 10000000000000000000000000
Arg [4] : _ethPurchaseRate (uint256): 1000
Arg [5] : initialOwnerAmount (uint256): 0
Arg [6] : initialSaleAmount (uint256): 1000000000000000000000000
Arg [7] : _governor (address): 0x3509626CBA1a3ac5Ab001B8D73a018a07bC3E512
Arg [8] : _owner (address): 0x1C0Aa8cCD568d90d61659F060D1bFb1e6f855A20
Arg [9] : _stamp (bytes32): 0x746f732e6c65782e6c657864616f2e6574680000000000000000000000000000
Arg [10] : _forSale (bool): False
Arg [11] : _governed (bool): True

-----Encoded View---------------
16 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000180
Arg [1] : 00000000000000000000000000000000000000000000000000000000000001c0
Arg [2] : 0000000000000000000000000000000000000000000000000000000000000012
Arg [3] : 000000000000000000000000000000000000000000084595161401484a000000
Arg [4] : 00000000000000000000000000000000000000000000000000000000000003e8
Arg [5] : 0000000000000000000000000000000000000000000000000000000000000000
Arg [6] : 00000000000000000000000000000000000000000000d3c21bcecceda1000000
Arg [7] : 0000000000000000000000003509626cba1a3ac5ab001b8d73a018a07bc3e512
Arg [8] : 0000000000000000000000001c0aa8ccd568d90d61659f060d1bfb1e6f855a20
Arg [9] : 746f732e6c65782e6c657864616f2e6574680000000000000000000000000000
Arg [10] : 0000000000000000000000000000000000000000000000000000000000000000
Arg [11] : 0000000000000000000000000000000000000000000000000000000000000001
Arg [12] : 0000000000000000000000000000000000000000000000000000000000000012
Arg [13] : 4c657844414f20456e67696e656572696e670000000000000000000000000000
Arg [14] : 0000000000000000000000000000000000000000000000000000000000000003
Arg [15] : 4c45580000000000000000000000000000000000000000000000000000000000

30405:4645:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;32202:7;;;;:15;;:7;:15;32194:40;;;;;-1:-1:-1;;;32194:40:0;;;;;;;;;;;;-1:-1:-1;;;32194:40:0;;;;;;;;;;;;;;;32247:22;32272:30;32286:15;;32272:9;:13;;:30;;;;:::i;:::-;32247:55;;32313:54;32331:4;32338:12;:10;:12::i;:::-;32352:14;32313:9;:54::i;:::-;32397:5;;:31;;32379:12;;-1:-1:-1;;;;;32397:5:0;;32414:9;;32379:12;32397:31;32379:12;32397:31;32414:9;32397:5;:31;;;;;;;14:1:-1;21;16:31;;;;75:4;69:11;64:16;;144:4;140:9;133:4;115:16;111:27;107:43;104:1;100:51;94:4;87:65;169:16;166:1;159:27;225:16;222:1;215:4;212:1;208:12;193:49;7:242;;16:31;36:4;31:9;;7:242;;32378:50:0;;;32448:7;32440:35;;;;;-1:-1:-1;;;32440:35:0;;;;;;;;;;;;-1:-1:-1;;;32440:35:0;;;;;;;;;;;;;;;32154:329;;30405:4645;18303:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18303:83:0;;;:::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;18303:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20357:152;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20357:152:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;20357:152:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;32952:197;;8:9:-1;5:2;;;30:1;27;20:12;5:2;32952:197:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;32952:197:0;;;;;;;;;:::i;:::-;;19378:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19378:91:0;;;:::i;:::-;;;;;;;;;;;;;;;;20983:304;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20983:304:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;20983:304:0;;;;;;;;;;;;;;;;;:::i;19230:83::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19230:83:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;28518:75;;8:9:-1;5:2;;;30:1;27;20:12;5:2;28518:75:0;;;:::i;21696:210::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21696:210:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;21696:210:0;;;;;;;;:::i;32881:59::-;;;:::i;3923:98::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3923:98:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3923:98:0;-1:-1:-1;;;;;3923:98:0;;:::i;8102:120::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8102:120:0;;;:::i;29442:143::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;29442:143:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;29442:143:0;;;;;;;;:::i;27339:83::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;27339:83:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;27339:83:0;;:::i;30603:19::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;30603:19:0;;;:::i;5680:109::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5680:109:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5680:109:0;-1:-1:-1;;;;;5680:109:0;;:::i;34607:183::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;34607:183:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;34607:183:0;;:::i;33161:201::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;33161:201:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;33161:201:0;;;;;;;;:::i;33374:250::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;33374:250:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;33374:250:0;;;;;;;:::i;33636:272::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;33636:272:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;33636:272:0;;;;;;;;;;;;;;:::i;7309:78::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7309:78:0;;;:::i;5897:79::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5897:79:0;;;:::i;19532:110::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19532:110:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19532:110:0;-1:-1:-1;;;;;19532:110:0;;:::i;27741:287::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;27741:287:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;27741:287:0;;;;;;;;:::i;30629:20::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;30629:20:0;;;:::i;32491:212::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;32491:212:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;32491:212:0;;;;;;;:::i;5797:92::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5797:92:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5797:92:0;-1:-1:-1;;;;;5797:92:0;;:::i;7889:118::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7889:118:0;;;:::i;30504:28::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;30504:28:0;;;:::i;:::-;;;;-1:-1:-1;;;;;30504:28:0;;;;;;;;;;;;;;18505:87;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18505:87:0;;;:::i;4871:92::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4871:92:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4871:92:0;-1:-1:-1;;;;;4871:92:0;;:::i;4971:79::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4971:79:0;;;:::i;30539:30::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;30539:30:0;;;:::i;22409:261::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;22409:261:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;22409:261:0;;;;;;;;:::i;19855:158::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19855:158:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;19855:158:0;;;;;;;;:::i;34295:304::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;34295:304:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;34295:304:0;;;;;;;;;;;;;:::i;4754:109::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4754:109:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4754:109:0;-1:-1:-1;;;;;4754:109:0;;:::i;34802:245::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;34802:245:0;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;;34802:245:0;;;;;;;;;;;;;;;;;;;;;;:::i;30576:20::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;30576:20:0;;;:::i;20076:134::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20076:134:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;20076:134:0;;;;;;;;;;:::i;4029:83::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4029:83:0;;;:::i;3802:113::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3802:113:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3802:113:0;-1:-1:-1;;;;;3802:113:0;;:::i;33920:168::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;33920:168:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;33920:168:0;;:::i;10423:471::-;10481:7;10726:6;10722:47;;-1:-1:-1;10756:1:0;10749:8;;10722:47;10793:5;;;10797:1;10793;:5;:1;10817:5;;;;;:10;10809:56;;;;-1:-1:-1;;;10809:56:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10885:1;-1:-1:-1;10423:471:0;;;;;:::o;2096:98::-;2176:10;2096:98;:::o;23160:531::-;-1:-1:-1;;;;;23258:20:0;;23250:70;;;;-1:-1:-1;;;23250:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;23339:23:0;;23331:71;;;;-1:-1:-1;;;23331:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23415:47;23436:6;23444:9;23455:6;23415:20;:47::i;:::-;23495:71;23517:6;23495:71;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;23495:17:0;;;;;;:9;:17;;;;;;;:71;;:21;:71;:::i;:::-;-1:-1:-1;;;;;23475:17:0;;;;;;;:9;:17;;;;;;:91;;;;23600:20;;;;;;;:32;;23625:6;23600:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;23577:20:0;;;;;;;:9;:20;;;;;;;;;:55;;;;23648:35;;;;;;;23577:20;;23648:35;;;;;;;;;;;;;23160:531;;;:::o;18303:83::-;18373:5;18366:12;;;;;;;;-1:-1:-1;;18366:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18340:13;;18366:12;;18373:5;;18366:12;;18373:5;18366:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18303:83;:::o;20357:152::-;20423:4;20440:39;20449:12;:10;:12::i;:::-;20463:7;20472:6;20440:8;:39::i;:::-;-1:-1:-1;20497:4:0;20357:152;;;;:::o;32952:197::-;32830:5;;-1:-1:-1;;;;;32830:5:0;32814:12;:10;:12::i;:::-;-1:-1:-1;;;;;32814:21:0;;32806:43;;;;;-1:-1:-1;;;32806:43:0;;;;;;;;;;;;-1:-1:-1;;;32806:43:0;;;;;;;;;;;;;;;33041:8;:20;;-1:-1:-1;;33041:20:0;;;;;;;;;;;;;;;33106:35;;33041:20;33132:8;;;;;33106:35;;;33123:7;;33106:35;;-1:-1:-1;;33106:35:0;32952:197;;:::o;19378:91::-;19449:12;;19378:91;:::o;20983:304::-;21072:4;21089:36;21099:6;21107:9;21118:6;21089:9;:36::i;:::-;21136:121;21145:6;21153:12;:10;:12::i;:::-;21167:89;21205:6;21167:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;21167:19:0;;;;;;:11;:19;;;;;;21187:12;:10;:12::i;:::-;-1:-1:-1;;;;;21167:33:0;;;;;;;;;;;;-1:-1:-1;21167:33:0;;;:89;;:37;:89;:::i;:::-;21136:8;:121::i;:::-;-1:-1:-1;21275:4:0;20983:304;;;;;:::o;19230:83::-;19296:9;;;;19230:83;:::o;28518:75::-;28581:4;;28518:75;:::o;21696:210::-;21776:4;21793:83;21802:12;:10;:12::i;:::-;21816:7;21825:50;21864:10;21825:11;:25;21837:12;:10;:12::i;:::-;-1:-1:-1;;;;;21825:25:0;;;;;;;;;;;;;;;;;-1:-1:-1;21825:25:0;;;:34;;;;;;;;;;;:50;:38;:50;:::i;32881:59::-;34217:8;;;;;;;;:16;;:8;:16;34209:58;;;;;-1:-1:-1;;;34209:58:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;34209:58:0;;;;;;;;;;;;;;;32830:5;;-1:-1:-1;;;;;32830:5:0;32814:12;:10;:12::i;:::-;-1:-1:-1;;;;;32814:21:0;;32806:43;;;;;-1:-1:-1;;;32806:43:0;;;;;;;;;;;;-1:-1:-1;;;32806:43:0;;;;;;;;;;;;;;;32881:59::o;3923:98::-;3689:24;3700:12;:10;:12::i;:::-;3689:10;:24::i;:::-;3681:89;;;;-1:-1:-1;;;3681:89:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3992:21;4005:7;3992:12;:21::i;:::-;3923:98;:::o;8102:120::-;5577:22;5586:12;:10;:12::i;:::-;5577:8;:22::i;:::-;5569:83;;;;-1:-1:-1;;;5569:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7745:7;;;;7737:40;;;;;-1:-1:-1;;;7737:40:0;;;;;;;;;;;;-1:-1:-1;;;7737:40:0;;;;;;;;;;;;;;;8161:7;:15;;-1:-1:-1;;8161:15:0;;;8192:22;8201:12;:10;:12::i;:::-;8192:22;;;-1:-1:-1;;;;;8192:22:0;;;;;;;;;;;;;;8102:120::o;29442:143::-;29516:4;4651:22;4660:12;:10;:12::i;:::-;4651:8;:22::i;:::-;4643:83;;;;-1:-1:-1;;;4643:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29533:22;29539:7;29548:6;29533:5;:22::i;27339:83::-;27387:27;27393:12;:10;:12::i;:::-;27407:6;27387:5;:27::i;30603:19::-;;;;;;:::o;5680:109::-;5736:4;5760:21;:8;5773:7;5760:21;:12;:21;:::i;34607:183::-;34217:8;;;;;;;;:16;;:8;:16;34209:58;;;;;-1:-1:-1;;;34209:58:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;34209:58:0;;;;;;;;;;;;;;;3689:24;3700:12;:10;:12::i;3689:24::-;3681:89;;;;-1:-1:-1;;;3681:89:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;34692:5;:14;;;34756:26;;34700:6;;34756:26;;;;;34607:183;:::o;33161:201::-;32830:5;;-1:-1:-1;;;;;32830:5:0;32814:12;:10;:12::i;:::-;-1:-1:-1;;;;;32814:21:0;;32806:43;;;;;-1:-1:-1;;;32806:43:0;;;;;;;;;;;;-1:-1:-1;;;32806:43:0;;;;;;;;;;;;;;;33261:5;:14;;-1:-1:-1;;;;;;33261:14:0;-1:-1:-1;;;;;33261:14:0;;;;;;;;;;;33319:35;;33346:7;;33339:5;;;;33319:35;;-1:-1:-1;;33319:35:0;33161:201;;:::o;33374:250::-;32830:5;;-1:-1:-1;;;;;32830:5:0;32814:12;:10;:12::i;:::-;-1:-1:-1;;;;;32814:21:0;;32806:43;;;;;-1:-1:-1;;;32806:43:0;;;;;;;;;;;;-1:-1:-1;;;32806:43:0;;;;;;;;;;;;;;;33483:15;:34;;;33564:52;;33608:7;;33501:16;;33564:52;;;;;33374:250;;:::o;33636:272::-;32830:5;;-1:-1:-1;;;;;32830:5:0;32814:12;:10;:12::i;:::-;-1:-1:-1;;;;;32814:21:0;;32806:43;;;;;-1:-1:-1;;;32806:43:0;;;;;;;;;;;;-1:-1:-1;;;32806:43:0;;;;;;;;;;;;;;;33746:7;:18;;-1:-1:-1;;33746:18:0;;;;;;;33804:32;33818:4;33825:10;33804:5;:32::i;:::-;33892:7;;33852:48;;33892:7;;;;33852:48;;;33883:7;;33871:10;;33852:48;;33892:7;;33852:48;33636:272;;;:::o;7309:78::-;7372:7;;;;7309:78;:::o;5897:79::-;5941:27;5955:12;:10;:12::i;:::-;5941:13;:27::i;19532:110::-;-1:-1:-1;;;;;19616:18:0;19589:7;19616:18;;;:9;:18;;;;;;;19532:110::o;27741:287::-;27810:26;27839:84;27876:6;27839:84;;;;;;;;;;;;;;;;;:32;27849:7;27858:12;:10;:12::i;:::-;27839:9;:32::i;:::-;:36;:84;;:36;:84;:::i;:::-;27810:113;;27936:51;27945:7;27954:12;:10;:12::i;:::-;27968:18;27936:8;:51::i;:::-;27998:22;28004:7;28013:6;27998:5;:22::i;:::-;27741:287;;;:::o;30629:20::-;;;;;;;;;:::o;32491:212::-;32586:1;32577:6;:10;32569:42;;;;;-1:-1:-1;;;32569:42:0;;;;;;;;;;;;-1:-1:-1;;;32569:42:0;;;;;;;;;;;;;;;32622:12;32627:6;32622:4;:12::i;:::-;32687:7;32679:6;32665:12;:10;:12::i;:::-;-1:-1:-1;;;;;32650:45:0;;;;;;;;;;;32491:212;;:::o;5797:92::-;5577:22;5586:12;:10;:12::i;5577:22::-;5569:83;;;;-1:-1:-1;;;5569:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5862:19;5873:7;5862:10;:19::i;7889:118::-;5577:22;5586:12;:10;:12::i;5577:22::-;5569:83;;;;-1:-1:-1;;;5569:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7546:7;;;;7545:8;7537:37;;;;;-1:-1:-1;;;7537:37:0;;;;;;;;;;;;-1:-1:-1;;;7537:37:0;;;;;;;;;;;;;;;7949:7;:14;;-1:-1:-1;;7949:14:0;7959:4;7949:14;;;7979:20;7986:12;:10;:12::i;30504:28::-;;;-1:-1:-1;;;;;30504:28:0;;:::o;18505:87::-;18577:7;18570:14;;;;;;;;-1:-1:-1;;18570:14:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18544:13;;18570:14;;18577:7;;18570:14;;18577:7;18570:14;;;;;;;;;;;;;;;;;;;;;;;;4871:92;4651:22;4660:12;:10;:12::i;4651:22::-;4643:83;;;;-1:-1:-1;;;4643:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4936:19;4947:7;4936:10;:19::i;4971:79::-;5015:27;5029:12;:10;:12::i;:::-;5015:13;:27::i;30539:30::-;;;;:::o;22409:261::-;22494:4;22511:129;22520:12;:10;:12::i;:::-;22534:7;22543:96;22582:15;22543:96;;;;;;;;;;;;;;;;;:11;:25;22555:12;:10;:12::i;:::-;-1:-1:-1;;;;;22543:25:0;;;;;;;;;;;;;;;;;-1:-1:-1;22543:25:0;;;:34;;;;;;;;;;;:96;;:38;:96;:::i;19855:158::-;19924:4;19941:42;19951:12;:10;:12::i;:::-;19965:9;19976:6;19941:9;:42::i;34295:304::-;34217:8;;;;;;;;:16;;:8;:16;34209:58;;;;;-1:-1:-1;;;34209:58:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;34209:58:0;;;;;;;;;;;;;;;3689:24;3700:12;:10;:12::i;3689:24::-;3681:89;;;;-1:-1:-1;;;3681:89:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;34441:25;;34423:12;;-1:-1:-1;;;;;34441:7:0;;;34455:6;;34423:12;34441:25;34423:12;34441:25;34455:6;34441:7;:25;;;;;;;14:1:-1;21;16:31;;;;75:4;69:11;64:16;;144:4;140:9;133:4;115:16;111:27;107:43;104:1;100:51;94:4;87:65;169:16;166:1;159:27;225:16;222:1;215:4;212:1;208:12;193:49;7:242;;16:31;36:4;31:9;;7:242;;34422:44:0;;;34521:7;34513:35;;;;;-1:-1:-1;;;34513:35:0;;;;;;;;;;;;-1:-1:-1;;;34513:35:0;;;;;;;;;;;;;;;34564:27;;34583:7;;34564:27;;;;;3781:1;34295:304;;;:::o;4754:109::-;4810:4;4834:21;:8;4847:7;4834:21;:12;:21;:::i;34802:245::-;34217:8;;;;;;;;:16;;:8;:16;34209:58;;;;;-1:-1:-1;;;34209:58:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;34209:58:0;;;;;;;;;;;;;;;3689:24;3700:12;:10;:12::i;3689:24::-;3681:89;;;;-1:-1:-1;;;3681:89:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;34933:27;34943:4;34949:2;34953:6;34933:9;:27::i;:::-;35014:25;;35031:7;;35014:25;;;;;34802:245;;;;:::o;30576:20::-;;;;:::o;20076:134::-;-1:-1:-1;;;;;20175:18:0;;;20148:7;20175:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;20076:134::o;4029:83::-;4075:29;4091:12;:10;:12::i;:::-;4075:15;:29::i;3802:113::-;3860:4;3884:23;3860:4;3899:7;3884:23;:14;:23;:::i;33920:168::-;32830:5;;-1:-1:-1;;;;;32830:5:0;32814:12;:10;:12::i;:::-;-1:-1:-1;;;;;32814:21:0;;32806:43;;;;;-1:-1:-1;;;32806:43:0;;;;;;;;;;;;-1:-1:-1;;;32806:43:0;;;;;;;;;;;;;;30064:221;30156:44;30183:4;30189:2;30193:6;30156:26;:44::i;:::-;30222:8;:6;:8::i;:::-;30221:9;30213:64;;;;-1:-1:-1;;;30213:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9972:192;10058:7;10094:12;10086:6;;;;10078:29;;;;-1:-1:-1;;;10078:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;10078:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;10130:5:0;;;9972:192::o;9069:181::-;9127:7;9159:5;;;9183:6;;;;9175:46;;;;;-1:-1:-1;;;9175:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;25524:338;-1:-1:-1;;;;;25618:19:0;;25610:68;;;;-1:-1:-1;;;25610:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;25697:21:0;;25689:68;;;;-1:-1:-1;;;25689:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;25770:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;25822:32;;;;;;;;;;;;;;;;;25524:338;;;:::o;4120:128::-;4179:23;:10;4194:7;4179:23;:14;:23;:::i;:::-;4218:22;;-1:-1:-1;;;;;4218:22:0;;;;;;;;4120:128;:::o;23972:370::-;-1:-1:-1;;;;;24048:21:0;;24040:65;;;;;-1:-1:-1;;;24040:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;24118:49;24147:1;24151:7;24160:6;24118:20;:49::i;:::-;24195:12;;:24;;24212:6;24195:24;:16;:24;:::i;:::-;24180:12;:39;-1:-1:-1;;;;;24251:18:0;;;;;;:9;:18;;;;;;:30;;24274:6;24251:30;:22;:30;:::i;:::-;-1:-1:-1;;;;;24230:18:0;;;;;;:9;:18;;;;;;;;:51;;;;24297:37;;;;;;;24230:18;;;;24297:37;;;;;;;;;;23972:370;;:::o;24674:410::-;-1:-1:-1;;;;;24750:21:0;;24742:67;;;;-1:-1:-1;;;24742:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24822:49;24843:7;24860:1;24864:6;24822:20;:49::i;:::-;24905:68;24928:6;24905:68;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;24905:18:0;;;;;;:9;:18;;;;;;;:68;;:22;:68;:::i;:::-;-1:-1:-1;;;;;24884:18:0;;;;;;:9;:18;;;;;:89;24999:12;;:24;;25016:6;24999:24;:16;:24;:::i;:::-;24984:12;:39;25039:37;;;;;;;;25065:1;;-1:-1:-1;;;;;25039:37:0;;;;;;;;;;;;24674:410;;:::o;3217:203::-;3289:4;-1:-1:-1;;;;;3314:21:0;;3306:68;;;;-1:-1:-1;;;3306:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;3392:20:0;:11;:20;;;;;;;;;;;;;;;3217:203::o;6114:130::-;6174:24;:8;6190:7;6174:24;:15;:24;:::i;:::-;6214:22;;-1:-1:-1;;;;;6214:22:0;;;;;;;;6114:130;:::o;5984:122::-;6041:21;:8;6054:7;6041:21;:12;:21;:::i;:::-;6078:20;;-1:-1:-1;;;;;6078:20:0;;;;;;;;5984:122;:::o;5058:::-;5115:21;:8;5128:7;5115:21;:12;:21;:::i;:::-;5152:20;;-1:-1:-1;;;;;5152:20:0;;;;;;;;5058:122;:::o;5188:130::-;5248:24;:8;5264:7;5248:24;:15;:24;:::i;:::-;5288:22;;-1:-1:-1;;;;;5288:22:0;;;;;;;;5188:130;:::o;4256:136::-;4318:26;:10;4336:7;4318:26;:17;:26;:::i;:::-;4360:24;;-1:-1:-1;;;;;4360:24:0;;;;;;;;4256:136;:::o;28780:301::-;28872:44;28899:4;28905:2;28909:6;28872:26;:44::i;:::-;-1:-1:-1;;;;;28933:18:0;;28929:145;;29028:4;;28999:25;29017:6;28999:13;:11;:13::i;:::-;:17;:25;:17;:25;:::i;:::-;:33;;28991:71;;;;;-1:-1:-1;;;28991:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;2681:178;2759:18;2763:4;2769:7;2759:3;:18::i;:::-;2758:19;2750:63;;;;;-1:-1:-1;;;2750:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;2824:20:0;:11;:20;;;;;;;;;;;:27;;-1:-1:-1;;2824:27:0;2847:4;2824:27;;;2681:178::o;9533:136::-;9591:7;9618:43;9622:1;9625;9618:43;;;;;;;;;;;;;;;;;:3;:43::i;2939:183::-;3019:18;3023:4;3029:7;3019:3;:18::i;:::-;3011:64;;;;-1:-1:-1;;;3011:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3086:20:0;3109:5;3086:20;;;;;;;;;;;:28;;-1:-1:-1;;3086:28:0;;;2939:183::o

bzzr://6e5261dbb919f099f178c71ba41c6370aef11e71fa6e75fe27e7175848595db3