Contract Source Code (Solidity)Audit Report

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b)  contract ERC20 is IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address sender, ad ...    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(address owner, addr ...    - function _burnFrom(address account, u ...  contract ERC20Detailed is IERC20    - function name()    - function symbol()    - function decimals()  contract ERC20Burnable is ERC20    - function burn(uint256 amount)    - function burnFrom(address account, ui ...  contract Ownable    - function owner()    - function isOwner()    - function renounceOwnership()    - function transferOwnership(address ne ...    - function _transferOwnership(address n ...  contract Token is ERC20, ERC20Deta ... *    - function changeName(string memory nam ...    - function name()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-01-07
*/

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

pragma solidity ^0.5.0;

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

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

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

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

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

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

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

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

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

pragma solidity ^0.5.0;

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

        return c;
    }

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

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

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

        return c;
    }

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

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

pragma solidity ^0.5.0;



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

    mapping (address => uint256) private _balances;

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

    uint256 private _totalSupply;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

pragma solidity ^0.5.0;


/**
 * @dev Optional functions from the ERC20 standard.
 */
contract ERC20Detailed is IERC20 {
    string private _name;
    string private _symbol;
    uint8 private _decimals;

    /**
     * @dev Sets the values for `name`, `symbol`, and `decimals`. All three of
     * these values are immutable: they can only be set once during
     * construction.
     */
    constructor (string memory name, string memory symbol, uint8 decimals) public {
        _name = name;
        _symbol = symbol;
        _decimals = decimals;
    }

    /**
     * @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.
     *
     * > Note that 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;
    }
}

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

pragma solidity ^0.5.0;


/**
 * @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 Destoys `amount` tokens from the caller.
     *
     * See `ERC20._burn`.
     */
    function burn(uint256 amount) public {
        _burn(msg.sender, amount);
    }

    /**
     * @dev See `ERC20._burnFrom`.
     */
    function burnFrom(address account, uint256 amount) public {
        _burnFrom(account, amount);
    }
}

// File: openzeppelin-solidity/contracts/ownership/Ownable.sol

pragma solidity ^0.5.0;

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

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

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

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

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

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

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

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

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

// File: contracts/Token.sol

pragma solidity ^0.5.0;





contract Token is ERC20, ERC20Detailed, ERC20Burnable, Ownable {

    string private _name = "DAO Maker Token";
    string private constant _symbol = "DAO";
    uint   private constant _numTokens = 312000000;
    
    event NameChanged(string newName, address by);

    constructor () public ERC20Detailed(_name, _symbol, 18) {
        _mint(msg.sender, _numTokens * (10 ** uint256(decimals())));
    }
    
    function changeName(string memory name) public onlyOwner{
        _name = name;
        emit NameChanged(name, msg.sender);
    }
    
    function name() public view returns (string memory) {
        return _name;
    }
}

• Symbolic Software - Janurary 7th, 2021 - Security Audit Report

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"sender","type":"address"},{"name":"recipient","type":"address"},{"name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"amount","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"name","type":"string"}],"name":"changeName","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"},{"name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"isOwner","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"recipient","type":"address"},{"name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"name":"newName","type":"string"},{"indexed":false,"name":"by","type":"address"}],"name":"NameChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"}]

60c0604052600f60808190527f44414f204d616b657220546f6b656e000000000000000000000000000000000060a090815262000040916006919062000391565b503480156200004e57600080fd5b506006805460408051602060026001851615610100026000190190941693909304601f81018490048402820184019092528181529291830182828015620000d95780601f10620000ad57610100808354040283529160200191620000d9565b820191906000526020600020905b815481529060010190602001808311620000bb57829003601f168201915b50505050506040805190810160405280600381526020017f44414f0000000000000000000000000000000000000000000000000000000000815250601282600390805190602001906200012e92919062000391565b5081516200014490600490602085019062000391565b506005805460ff191660ff929092169190911761010060a860020a0319166101003381029190911791829055604051600160a060020a0391909204169250600091507f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a3620001e433620001c3640100000000620001ea810204565b60ff16600a0a631298be0002620001f4640100000000026401000000009004565b62000433565b60055460ff165b90565b600160a060020a03821615156200026c57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b60025462000289908264010000000062000d9f6200031582021704565b600255600160a060020a038216600090815260208190526040902054620002bf908264010000000062000d9f6200031582021704565b600160a060020a0383166000818152602081815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6000828201838110156200038a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620003d457805160ff191683800117855562000404565b8280016001018555821562000404579182015b8281111562000404578251825591602001919060010190620003e7565b506200041292915062000416565b5090565b620001f191905b808211156200041257600081556001016200041d565b61112080620004436000396000f3fe6080604052600436106100fb5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde038114610100578063095ea7b31461018a57806318160ddd146101d757806323b872dd146101fe578063313ce56714610241578063395093511461026c57806342966c68146102a55780635353a2d8146102d157806370a0823114610384578063715018a6146103b757806379cc6790146103cc5780638da5cb5b146104055780638f32d59b1461043657806395d89b411461044b578063a457c2d714610460578063a9059cbb14610499578063dd62ed3e146104d2578063f2fde38b1461050d575b600080fd5b34801561010c57600080fd5b50610115610540565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561014f578181015183820152602001610137565b50505050905090810190601f16801561017c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561019657600080fd5b506101c3600480360360408110156101ad57600080fd5b50600160a060020a0381351690602001356105d7565b604080519115158252519081900360200190f35b3480156101e357600080fd5b506101ec6105ed565b60408051918252519081900360200190f35b34801561020a57600080fd5b506101c36004803603606081101561022157600080fd5b50600160a060020a038135811691602081013590911690604001356105f3565b34801561024d57600080fd5b5061025661064a565b6040805160ff9092168252519081900360200190f35b34801561027857600080fd5b506101c36004803603604081101561028f57600080fd5b50600160a060020a038135169060200135610653565b3480156102b157600080fd5b506102cf600480360360208110156102c857600080fd5b503561068f565b005b3480156102dd57600080fd5b506102cf600480360360208110156102f457600080fd5b81019060208101813564010000000081111561030f57600080fd5b82018360208201111561032157600080fd5b8035906020019184600183028401116401000000008311171561034357600080fd5b91908080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525092955061069c945050505050565b34801561039057600080fd5b506101ec600480360360208110156103a757600080fd5b5035600160a060020a03166107c4565b3480156103c357600080fd5b506102cf6107df565b3480156103d857600080fd5b506102cf600480360360408110156103ef57600080fd5b50600160a060020a03813516906020013561089a565b34801561041157600080fd5b5061041a6108a8565b60408051600160a060020a039092168252519081900360200190f35b34801561044257600080fd5b506101c36108bc565b34801561045757600080fd5b506101156108d2565b34801561046c57600080fd5b506101c36004803603604081101561048357600080fd5b50600160a060020a038135169060200135610933565b3480156104a557600080fd5b506101c3600480360360408110156104bc57600080fd5b50600160a060020a03813516906020013561096f565b3480156104de57600080fd5b506101ec600480360360408110156104f557600080fd5b50600160a060020a038135811691602001351661097c565b34801561051957600080fd5b506102cf6004803603602081101561053057600080fd5b5035600160a060020a03166109a7565b60068054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156105cc5780601f106105a1576101008083540402835291602001916105cc565b820191906000526020600020905b8154815290600101906020018083116105af57829003601f168201915b505050505090505b90565b60006105e4338484610a0e565b50600192915050565b60025490565b6000610600848484610b7b565b600160a060020a03841660009081526001602090815260408083203380855292529091205461064091869161063b908663ffffffff610d3f16565b610a0e565b5060019392505050565b60055460ff1690565b336000818152600160209081526040808320600160a060020a038716845290915281205490916105e491859061063b908663ffffffff610d9f16565b6106993382610e03565b50565b6106a46108bc565b15156106fa576040805160e560020a62461bcd02815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b805161070d90600690602084019061105c565b507f1e3652b21ef1bd2c76130610ad0be2b8ab01fbea80964c84c54473bf090dc8a48133604051808060200183600160a060020a0316600160a060020a03168152602001828103825284818151815260200191508051906020019080838360005b8381101561078657818101518382015260200161076e565b50505050905090810190601f1680156107b35780820380516001836020036101000a031916815260200191505b50935050505060405180910390a150565b600160a060020a031660009081526020819052604090205490565b6107e76108bc565b151561083d576040805160e560020a62461bcd02815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b6005546040516000916101009004600160a060020a0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a36005805474ffffffffffffffffffffffffffffffffffffffff0019169055565b6108a48282610f1d565b5050565b6005546101009004600160a060020a031690565b6005546101009004600160a060020a0316331490565b60048054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156105cc5780601f106105a1576101008083540402835291602001916105cc565b336000818152600160209081526040808320600160a060020a038716845290915281205490916105e491859061063b908663ffffffff610d3f16565b60006105e4338484610b7b565b600160a060020a03918216600090815260016020908152604080832093909416825291909152205490565b6109af6108bc565b1515610a05576040805160e560020a62461bcd02815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b61069981610f62565b600160a060020a0383161515610a93576040805160e560020a62461bcd028152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460448201527f7265737300000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600160a060020a0382161515610b19576040805160e560020a62461bcd02815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f20616464726560448201527f7373000000000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600160a060020a03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b600160a060020a0383161515610c01576040805160e560020a62461bcd02815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f20616460448201527f6472657373000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600160a060020a0382161515610c87576040805160e560020a62461bcd02815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201527f6573730000000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600160a060020a038316600090815260208190526040902054610cb0908263ffffffff610d3f16565b600160a060020a038085166000908152602081905260408082209390935590841681522054610ce5908263ffffffff610d9f16565b600160a060020a038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600082821115610d99576040805160e560020a62461bcd02815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b600082820183811015610dfc576040805160e560020a62461bcd02815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b600160a060020a0382161515610e89576040805160e560020a62461bcd02815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360448201527f7300000000000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600254610e9c908263ffffffff610d3f16565b600255600160a060020a038216600090815260208190526040902054610ec8908263ffffffff610d3f16565b600160a060020a038316600081815260208181526040808320949094558351858152935191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a35050565b610f278282610e03565b600160a060020a0382166000908152600160209081526040808320338085529252909120546108a491849161063b908563ffffffff610d3f16565b600160a060020a0381161515610fe8576040805160e560020a62461bcd02815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201527f6464726573730000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600554604051600160a060020a0380841692610100900416907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a360058054600160a060020a039092166101000274ffffffffffffffffffffffffffffffffffffffff0019909216919091179055565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061109d57805160ff19168380011785556110ca565b828001600101855582156110ca579182015b828111156110ca5782518255916020019190600101906110af565b506110d69291506110da565b5090565b6105d491905b808211156110d657600081556001016110e056fea165627a7a72305820acb7aeee9acc4a9dd1d8720180c22d141d340cbbdfcee63eeb4f5c673dc5007f0029

0x6080604052600436106100fb5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde038114610100578063095ea7b31461018a57806318160ddd146101d757806323b872dd146101fe578063313ce56714610241578063395093511461026c57806342966c68146102a55780635353a2d8146102d157806370a0823114610384578063715018a6146103b757806379cc6790146103cc5780638da5cb5b146104055780638f32d59b1461043657806395d89b411461044b578063a457c2d714610460578063a9059cbb14610499578063dd62ed3e146104d2578063f2fde38b1461050d575b600080fd5b34801561010c57600080fd5b50610115610540565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561014f578181015183820152602001610137565b50505050905090810190601f16801561017c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561019657600080fd5b506101c3600480360360408110156101ad57600080fd5b50600160a060020a0381351690602001356105d7565b604080519115158252519081900360200190f35b3480156101e357600080fd5b506101ec6105ed565b60408051918252519081900360200190f35b34801561020a57600080fd5b506101c36004803603606081101561022157600080fd5b50600160a060020a038135811691602081013590911690604001356105f3565b34801561024d57600080fd5b5061025661064a565b6040805160ff9092168252519081900360200190f35b34801561027857600080fd5b506101c36004803603604081101561028f57600080fd5b50600160a060020a038135169060200135610653565b3480156102b157600080fd5b506102cf600480360360208110156102c857600080fd5b503561068f565b005b3480156102dd57600080fd5b506102cf600480360360208110156102f457600080fd5b81019060208101813564010000000081111561030f57600080fd5b82018360208201111561032157600080fd5b8035906020019184600183028401116401000000008311171561034357600080fd5b91908080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525092955061069c945050505050565b34801561039057600080fd5b506101ec600480360360208110156103a757600080fd5b5035600160a060020a03166107c4565b3480156103c357600080fd5b506102cf6107df565b3480156103d857600080fd5b506102cf600480360360408110156103ef57600080fd5b50600160a060020a03813516906020013561089a565b34801561041157600080fd5b5061041a6108a8565b60408051600160a060020a039092168252519081900360200190f35b34801561044257600080fd5b506101c36108bc565b34801561045757600080fd5b506101156108d2565b34801561046c57600080fd5b506101c36004803603604081101561048357600080fd5b50600160a060020a038135169060200135610933565b3480156104a557600080fd5b506101c3600480360360408110156104bc57600080fd5b50600160a060020a03813516906020013561096f565b3480156104de57600080fd5b506101ec600480360360408110156104f557600080fd5b50600160a060020a038135811691602001351661097c565b34801561051957600080fd5b506102cf6004803603602081101561053057600080fd5b5035600160a060020a03166109a7565b60068054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156105cc5780601f106105a1576101008083540402835291602001916105cc565b820191906000526020600020905b8154815290600101906020018083116105af57829003601f168201915b505050505090505b90565b60006105e4338484610a0e565b50600192915050565b60025490565b6000610600848484610b7b565b600160a060020a03841660009081526001602090815260408083203380855292529091205461064091869161063b908663ffffffff610d3f16565b610a0e565b5060019392505050565b60055460ff1690565b336000818152600160209081526040808320600160a060020a038716845290915281205490916105e491859061063b908663ffffffff610d9f16565b6106993382610e03565b50565b6106a46108bc565b15156106fa576040805160e560020a62461bcd02815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b805161070d90600690602084019061105c565b507f1e3652b21ef1bd2c76130610ad0be2b8ab01fbea80964c84c54473bf090dc8a48133604051808060200183600160a060020a0316600160a060020a03168152602001828103825284818151815260200191508051906020019080838360005b8381101561078657818101518382015260200161076e565b50505050905090810190601f1680156107b35780820380516001836020036101000a031916815260200191505b50935050505060405180910390a150565b600160a060020a031660009081526020819052604090205490565b6107e76108bc565b151561083d576040805160e560020a62461bcd02815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b6005546040516000916101009004600160a060020a0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a36005805474ffffffffffffffffffffffffffffffffffffffff0019169055565b6108a48282610f1d565b5050565b6005546101009004600160a060020a031690565b6005546101009004600160a060020a0316331490565b60048054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156105cc5780601f106105a1576101008083540402835291602001916105cc565b336000818152600160209081526040808320600160a060020a038716845290915281205490916105e491859061063b908663ffffffff610d3f16565b60006105e4338484610b7b565b600160a060020a03918216600090815260016020908152604080832093909416825291909152205490565b6109af6108bc565b1515610a05576040805160e560020a62461bcd02815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b61069981610f62565b600160a060020a0383161515610a93576040805160e560020a62461bcd028152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460448201527f7265737300000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600160a060020a0382161515610b19576040805160e560020a62461bcd02815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f20616464726560448201527f7373000000000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600160a060020a03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b600160a060020a0383161515610c01576040805160e560020a62461bcd02815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f20616460448201527f6472657373000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600160a060020a0382161515610c87576040805160e560020a62461bcd02815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201527f6573730000000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600160a060020a038316600090815260208190526040902054610cb0908263ffffffff610d3f16565b600160a060020a038085166000908152602081905260408082209390935590841681522054610ce5908263ffffffff610d9f16565b600160a060020a038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600082821115610d99576040805160e560020a62461bcd02815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b600082820183811015610dfc576040805160e560020a62461bcd02815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b600160a060020a0382161515610e89576040805160e560020a62461bcd02815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360448201527f7300000000000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600254610e9c908263ffffffff610d3f16565b600255600160a060020a038216600090815260208190526040902054610ec8908263ffffffff610d3f16565b600160a060020a038316600081815260208181526040808320949094558351858152935191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a35050565b610f278282610e03565b600160a060020a0382166000908152600160209081526040808320338085529252909120546108a491849161063b908563ffffffff610d3f16565b600160a060020a0381161515610fe8576040805160e560020a62461bcd02815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201527f6464726573730000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600554604051600160a060020a0380841692610100900416907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a360058054600160a060020a039092166101000274ffffffffffffffffffffffffffffffffffffffff0019909216919091179055565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061109d57805160ff19168380011785556110ca565b828001600101855582156110ca579182015b828111156110ca5782518255916020019190600101906110af565b506110d69291506110da565b5090565b6105d491905b808211156110d657600081556001016110e056fea165627a7a72305820acb7aeee9acc4a9dd1d8720180c22d141d340cbbdfcee63eeb4f5c673dc5007f0029

19543:654:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20111:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20111:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;20111:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9118:148;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9118:148:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;9118:148:0;;;;;;;;;;;;;;;;;;;;;;;;;;;8141:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8141:91:0;;;;;;;;;;;;;;;;;;;;9737:256;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9737:256:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;9737:256:0;;;;;;;;;;;;;;;;;;16206:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16206:83:0;;;;;;;;;;;;;;;;;;;;;;;10402:206;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10402:206:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;10402:206:0;;;;;;;;;16759:81;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16759:81:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;16759:81:0;;;;;19967:132;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19967:132:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19967:132:0;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;19967:132:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;19967:132:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;19967:132:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;19967:132:0;;-1:-1:-1;19967:132:0;;-1:-1:-1;;;;;19967:132:0;8295:110;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8295:110:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8295:110:0;-1:-1:-1;;;;;8295:110:0;;;18730:140;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18730:140:0;;;;16902:103;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16902:103:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;16902:103:0;;;;;;;;;17919:79;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17919:79:0;;;;;;;;-1:-1:-1;;;;;17919:79:0;;;;;;;;;;;;;;18285:92;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18285:92:0;;;;15550:87;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15550:87:0;;;;11111:216;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11111:216:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;11111:216:0;;;;;;;;;8618:156;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8618:156:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8618:156:0;;;;;;;;;8837:134;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8837:134:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8837:134:0;;;;;;;;;;;19025:109;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19025:109:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19025:109:0;-1:-1:-1;;;;;19025:109:0;;;20111:83;20181:5;20174:12;;;;;;;;-1:-1:-1;;20174:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20148:13;;20174:12;;20181:5;;20174:12;;20181:5;20174:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20111:83;;:::o;9118:148::-;9183:4;9200:36;9209:10;9221:7;9230:5;9200:8;:36::i;:::-;-1:-1:-1;9254:4:0;9118:148;;;;:::o;8141:91::-;8212:12;;8141:91;:::o;9737:256::-;9826:4;9843:36;9853:6;9861:9;9872:6;9843:9;:36::i;:::-;-1:-1:-1;;;;;9919:19:0;;;;;;:11;:19;;;;;;;;9907:10;9919:31;;;;;;;;;9890:73;;9899:6;;9919:43;;9955:6;9919:43;:35;:43;:::i;:::-;9890:8;:73::i;:::-;-1:-1:-1;9981:4:0;9737:256;;;;;:::o;16206:83::-;16272:9;;;;16206:83;:::o;10402:206::-;10508:10;10482:4;10529:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;10529:32:0;;;;;;;;;;10482:4;;10499:79;;10520:7;;10529:48;;10566:10;10529:48;:36;:48;:::i;16759:81::-;16807:25;16813:10;16825:6;16807:5;:25::i;:::-;16759:81;:::o;19967:132::-;18131:9;:7;:9::i;:::-;18123:54;;;;;;;-1:-1:-1;;;;;18123:54:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20034:12;;;;:5;;:12;;;;;:::i;:::-;;20062:29;20074:4;20080:10;20062:29;;;;;;;-1:-1:-1;;;;;20062:29:0;-1:-1:-1;;;;;20062: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;20062:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19967:132;:::o;8295:110::-;-1:-1:-1;;;;;8379:18:0;8352:7;8379:18;;;;;;;;;;;;8295:110::o;18730:140::-;18131:9;:7;:9::i;:::-;18123:54;;;;;;;-1:-1:-1;;;;;18123:54:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18813:6;;18792:40;;18829:1;;18813:6;;;-1:-1:-1;;;;;18813:6:0;;18792:40;;18829:1;;18792:40;18843:6;:19;;-1:-1:-1;;18843:19:0;;;18730:140::o;16902:103::-;16971:26;16981:7;16990:6;16971:9;:26::i;:::-;16902:103;;:::o;17919:79::-;17984:6;;;;;-1:-1:-1;;;;;17984:6:0;;17919:79::o;18285:92::-;18363:6;;;;;-1:-1:-1;;;;;18363:6:0;18349:10;:20;;18285:92::o;15550:87::-;15622:7;15615:14;;;;;;;;-1:-1:-1;;15615:14:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15589:13;;15615:14;;15622:7;;15615:14;;15622:7;15615:14;;;;;;;;;;;;;;;;;;;;;;;;11111:216;11222:10;11196:4;11243:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;11243:32:0;;;;;;;;;;11196:4;;11213:84;;11234:7;;11243:53;;11280:15;11243:53;:36;:53;:::i;8618:156::-;8687:4;8704:40;8714:10;8726:9;8737:6;8704:9;:40::i;8837:134::-;-1:-1:-1;;;;;8936:18:0;;;8909:7;8936:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;8837:134::o;19025:109::-;18131:9;:7;:9::i;:::-;18123:54;;;;;;;-1:-1:-1;;;;;18123:54:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19098:28;19117:8;19098:18;:28::i;13913:335::-;-1:-1:-1;;;;;14006:19:0;;;;13998:68;;;;;-1:-1:-1;;;;;13998:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;14085:21:0;;;;14077:68;;;;;-1:-1:-1;;;;;14077:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;14158:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:35;;;14209:31;;;;;;;;;;;;;;;;;13913:335;;;:::o;11817:429::-;-1:-1:-1;;;;;11915:20:0;;;;11907:70;;;;;-1:-1:-1;;;;;11907:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;11996:23:0;;;;11988:71;;;;;-1:-1:-1;;;;;11988:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;12092:17:0;;:9;:17;;;;;;;;;;;:29;;12114:6;12092:29;:21;:29;:::i;:::-;-1:-1:-1;;;;;12072:17:0;;;:9;:17;;;;;;;;;;;:49;;;;12155:20;;;;;;;:32;;12180:6;12155:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;12132:20:0;;;:9;:20;;;;;;;;;;;;:55;;;;12203:35;;;;;;;12132:20;;12203:35;;;;;;;;;;;;;11817:429;;;:::o;4256:184::-;4314:7;4342:6;;;;4334:49;;;;;-1:-1:-1;;;;;4334:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;4406:5:0;;;4256:184::o;3800:181::-;3858:7;3890:5;;;3914:6;;;;3906:46;;;;;-1:-1:-1;;;;;3906:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;3972:1;3800:181;-1:-1:-1;;;3800:181:0:o;13167:306::-;-1:-1:-1;;;;;13242:21:0;;;;13234:67;;;;;-1:-1:-1;;;;;13234:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13329:12;;:23;;13346:5;13329:23;:16;:23;:::i;:::-;13314:12;:38;-1:-1:-1;;;;;13384:18:0;;:9;:18;;;;;;;;;;;:29;;13407:5;13384:29;:22;:29;:::i;:::-;-1:-1:-1;;;;;13363:18:0;;:9;:18;;;;;;;;;;;:50;;;;13429:36;;;;;;;13363:9;;13429:36;;;;;;;;;;;13167:306;;:::o;14433:188::-;14505:22;14511:7;14520:6;14505:5;:22::i;:::-;-1:-1:-1;;;;;14568:20:0;;;;;;:11;:20;;;;;;;;14556:10;14568:32;;;;;;;;;14538:75;;14547:7;;14568:44;;14605:6;14568:44;:36;:44;:::i;19240:229::-;-1:-1:-1;;;;;19314:22:0;;;;19306:73;;;;;-1:-1:-1;;;;;19306:73:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19416:6;;19395:38;;-1:-1:-1;;;;;19395:38:0;;;;19416:6;;;;;19395:38;;;;;19444:6;:17;;-1:-1:-1;;;;;19444:17:0;;;;;-1:-1:-1;;19444:17:0;;;;;;;;;19240:229::o;19543:654::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;19543:654:0;;;-1:-1:-1;19543:654:0;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;

bzzr://acb7aeee9acc4a9dd1d8720180c22d141d340cbbdfcee63eeb4f5c673dc5007f