Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-05-23
*/

pragma solidity ^0.5.2;

/**
 * @title ERC20 interface
 * @dev see https://eips.ethereum.org/EIPS/eip-20
 */
interface IERC20 {
    function transfer(address to, uint256 value) external returns (bool);

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

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

    function totalSupply() external view returns (uint256);

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

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

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

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

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

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

        return c;
    }

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

        return c;
    }

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

        return c;
    }

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

        return c;
    }

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

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

    mapping (address => uint256) private _balances;

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

    uint256 private _totalSupply;

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

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

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

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

    /**
     * @dev Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
     * Beware that changing an allowance with this method brings the risk that someone may use both the old
     * and the new allowance by unfortunate transaction ordering. One possible solution to mitigate this
     * race condition is to first reduce the spender's allowance to 0 and set the desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     * @param spender The address which will spend the funds.
     * @param value The amount of tokens to be spent.
     */
    function approve(address spender, uint256 value) public returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }

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

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

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

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

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

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

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

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

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

    /**
     * @dev Approve an address to spend another addresses' tokens.
     * @param owner The address that owns the tokens.
     * @param spender The address that will spend the tokens.
     * @param value The number of tokens that can be spent.
     */
    function _approve(address owner, address spender, uint256 value) internal {
        require(spender != address(0));
        require(owner != address(0));

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

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

/**
 * @title Burnable Token
 * @dev Token that can be irreversibly burned (destroyed).
 */
contract ERC20Burnable is ERC20 {
    /**
     * @dev Burns a specific amount of tokens.
     * @param value The amount of token to be burned.
     */
    function burn(uint256 value) public {
        _burn(msg.sender, value);
    }

    /**
     * @dev Burns a specific amount of tokens from the target address and decrements allowance
     * @param from address The account whose tokens will be burned.
     * @param value uint256 The amount of token to be burned.
     */
    function burnFrom(address from, uint256 value) public {
        _burnFrom(from, value);
    }
}

/**
 * @title ERC20Detailed token
 * @dev The decimals are only for visualization purposes.
 * All the operations are done using the smallest and indivisible token unit,
 * just as on Ethereum all the operations are done in wei.
 */
contract ERC20Detailed is IERC20 {
    string private _name;
    string private _symbol;
    uint8 private _decimals;

    constructor (string memory name, string memory symbol, uint8 decimals) public {
        _name = name;
        _symbol = symbol;
        _decimals = decimals;
    }

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

    /**
     * @return the symbol of the token.
     */
    function symbol() public view returns (string memory) {
        return _symbol;
    }

    /**
     * @return the number of decimals of the token.
     */
    function decimals() public view returns (uint8) {
        return _decimals;
    }
}

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

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

        role.bearer[account] = true;
    }

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

        role.bearer[account] = false;
    }

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

contract PauserRole {
    using Roles for Roles.Role;

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

    Roles.Role private _pausers;

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

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

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

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

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

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

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

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

    bool private _paused;

    constructor () internal {
        _paused = false;
    }

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

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

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

    /**
     * @dev called by the owner to pause, triggers stopped state
     */
    function pause() public onlyPauser whenNotPaused {
        _paused = true;
        emit Paused(msg.sender);
    }

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

/**
 * @title Pausable token
 * @dev ERC20 modified with pausable transfers.
 */
contract ERC20Pausable is ERC20, Pausable {
    function transfer(address to, uint256 value) public whenNotPaused returns (bool) {
        return super.transfer(to, value);
    }

    function transferFrom(address from, address to, uint256 value) public whenNotPaused returns (bool) {
        return super.transferFrom(from, to, value);
    }

    function approve(address spender, uint256 value) public whenNotPaused returns (bool) {
        return super.approve(spender, value);
    }

    function increaseAllowance(address spender, uint addedValue) public whenNotPaused returns (bool success) {
        return super.increaseAllowance(spender, addedValue);
    }

    function decreaseAllowance(address spender, uint subtractedValue) public whenNotPaused returns (bool success) {
        return super.decreaseAllowance(spender, subtractedValue);
    }
}

contract UniCoinToken is  ERC20, ERC20Burnable, ERC20Detailed, ERC20Pausable {
    string private _name = "UNI COIN";
    string private _symbol = "UNI";
    uint8 private _decimals = 18;

    uint256 private _initialSupply = 1000000000 * (10 ** uint256(_decimals));
    address private _onwerAddress = 0xE691aA189d882f89454F49c944732aE62257b9a3;

    constructor()
        ERC20Detailed(_name, _symbol, _decimals)
        public {
            _mint(_onwerAddress, _initialSupply);
        }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"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":"from","type":"address"},{"name":"to","type":"address"},{"name":"value","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":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"value","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"isPauser","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"renouncePauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"from","type":"address"},{"name":"value","type":"uint256"}],"name":"burnFrom","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"}],"name":"addPauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","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":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"to","type":"address"},{"name":"value","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"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"PauserAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"PauserRemoved","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"}]

60806040526040805190810160405280600881526020017f554e4920434f494e0000000000000000000000000000000000000000000000008152506008908051906020019062000051929190620006af565b506040805190810160405280600381526020017f554e490000000000000000000000000000000000000000000000000000000000815250600990805190602001906200009f929190620006af565b506012600a60006101000a81548160ff021916908360ff160217905550600a60009054906101000a900460ff1660ff16600a0a633b9aca0002600b5573e691aa189d882f89454f49c944732ae62257b9a3600c60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055503480156200013d57600080fd5b5060088054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015620001d85780601f10620001ac57610100808354040283529160200191620001d8565b820191906000526020600020905b815481529060010190602001808311620001ba57829003601f168201915b505050505060098054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015620002775780601f106200024b5761010080835404028352916020019162000277565b820191906000526020600020905b8154815290600101906020018083116200025957829003601f168201915b5050505050600a60009054906101000a900460ff168260039080519060200190620002a4929190620006af565b508160049080519060200190620002bd929190620006af565b5080600560006101000a81548160ff021916908360ff160217905550505050620002f63362000356640100000000026401000000009004565b6000600760006101000a81548160ff02191690831515021790555062000350600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600b54620003c0640100000000026401000000009004565b6200075e565b6200037a816006620005356401000000000262001561179091906401000000009004565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515620003fd57600080fd5b6200042281600254620005f86401000000000262001491179091906401000000009004565b60028190555062000489816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054620005f86401000000000262001491179091906401000000009004565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156200057257600080fd5b6200058d82826200061a640100000000026401000000009004565b1515156200059a57600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b60008082840190508381101515156200061057600080fd5b8091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156200065857600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620006f257805160ff191683800117855562000723565b8280016001018555821562000723579182015b828111156200072257825182559160200191906001019062000705565b5b50905062000732919062000736565b5090565b6200075b91905b80821115620007575760008160009055506001016200073d565b5090565b90565b61163d806200076e6000396000f3fe608060405234801561001057600080fd5b506004361061013e576000357c0100000000000000000000000000000000000000000000000000000000900480635c975abb116100ca5780638456cb591161008e5780638456cb591461050457806395d89b411461050e578063a457c2d714610591578063a9059cbb146105f7578063dd62ed3e1461065d5761013e565b80635c975abb146103ee5780636ef8d66d1461041057806370a082311461041a57806379cc67901461047257806382dc1ec4146104c05761013e565b8063313ce56711610111578063313ce567146102d057806339509351146102f45780633f4ba83a1461035a57806342966c681461036457806346fbf68e146103925761013e565b806306fdde0314610143578063095ea7b3146101c657806318160ddd1461022c57806323b872dd1461024a575b600080fd5b61014b6106d5565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561018b578082015181840152602081019050610170565b50505050905090810190601f1680156101b85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610212600480360360408110156101dc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610777565b604051808215151515815260200191505060405180910390f35b6102346107a7565b6040518082815260200191505060405180910390f35b6102b66004803603606081101561026057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506107b1565b604051808215151515815260200191505060405180910390f35b6102d86107e3565b604051808260ff1660ff16815260200191505060405180910390f35b6103406004803603604081101561030a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506107fa565b604051808215151515815260200191505060405180910390f35b61036261082a565b005b6103906004803603602081101561037a57600080fd5b81019080803590602001909291905050506108d9565b005b6103d4600480360360208110156103a857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506108e6565b604051808215151515815260200191505060405180910390f35b6103f6610903565b604051808215151515815260200191505060405180910390f35b61041861091a565b005b61045c6004803603602081101561043057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610925565b6040518082815260200191505060405180910390f35b6104be6004803603604081101561048857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061096d565b005b610502600480360360208110156104d657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061097b565b005b61050c61099b565b005b610516610a4b565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561055657808201518184015260208101905061053b565b50505050905090810190601f1680156105835780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6105dd600480360360408110156105a757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610aed565b604051808215151515815260200191505060405180910390f35b6106436004803603604081101561060d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b1d565b604051808215151515815260200191505060405180910390f35b6106bf6004803603604081101561067357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610b4d565b6040518082815260200191505060405180910390f35b606060038054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561076d5780601f106107425761010080835404028352916020019161076d565b820191906000526020600020905b81548152906001019060200180831161075057829003601f168201915b5050505050905090565b6000600760009054906101000a900460ff1615151561079557600080fd5b61079f8383610bd4565b905092915050565b6000600254905090565b6000600760009054906101000a900460ff161515156107cf57600080fd5b6107da848484610beb565b90509392505050565b6000600560009054906101000a900460ff16905090565b6000600760009054906101000a900460ff1615151561081857600080fd5b6108228383610c9c565b905092915050565b610833336108e6565b151561083e57600080fd5b600760009054906101000a900460ff16151561085957600080fd5b6000600760006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b6108e33382610d41565b50565b60006108fc826006610e9590919063ffffffff16565b9050919050565b6000600760009054906101000a900460ff16905090565b61092333610f29565b565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6109778282610f83565b5050565b610984336108e6565b151561098f57600080fd5b6109988161102a565b50565b6109a4336108e6565b15156109af57600080fd5b600760009054906101000a900460ff161515156109cb57600080fd5b6001600760006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b606060048054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610ae35780601f10610ab857610100808354040283529160200191610ae3565b820191906000526020600020905b815481529060010190602001808311610ac657829003601f168201915b5050505050905090565b6000600760009054906101000a900460ff16151515610b0b57600080fd5b610b158383611084565b905092915050565b6000600760009054906101000a900460ff16151515610b3b57600080fd5b610b458383611129565b905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000610be1338484611140565b6001905092915050565b6000610bf88484846112a3565b610c918433610c8c85600160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461146f90919063ffffffff16565b611140565b600190509392505050565b6000610d373384610d3285600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461149190919063ffffffff16565b611140565b6001905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515610d7d57600080fd5b610d928160025461146f90919063ffffffff16565b600281905550610de9816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461146f90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515610ed257600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b610f3d8160066114b290919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e60405160405180910390a250565b610f8d8282610d41565b611026823361102184600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461146f90919063ffffffff16565b611140565b5050565b61103e81600661156190919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b600061111f338461111a85600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461146f90919063ffffffff16565b611140565b6001905092915050565b60006111363384846112a3565b6001905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561117c57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156111b857600080fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156112df57600080fd5b611330816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461146f90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506113c3816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461149190919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600082821115151561148057600080fd5b600082840390508091505092915050565b60008082840190508381101515156114a857600080fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156114ee57600080fd5b6114f88282610e95565b151561150357600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561159d57600080fd5b6115a78282610e95565b1515156115b357600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550505056fea165627a7a723058202b17a5ff9516c41e817070589992973ae010df80567b9977b126a824b6b0fb940029

0x608060405234801561001057600080fd5b506004361061013e576000357c0100000000000000000000000000000000000000000000000000000000900480635c975abb116100ca5780638456cb591161008e5780638456cb591461050457806395d89b411461050e578063a457c2d714610591578063a9059cbb146105f7578063dd62ed3e1461065d5761013e565b80635c975abb146103ee5780636ef8d66d1461041057806370a082311461041a57806379cc67901461047257806382dc1ec4146104c05761013e565b8063313ce56711610111578063313ce567146102d057806339509351146102f45780633f4ba83a1461035a57806342966c681461036457806346fbf68e146103925761013e565b806306fdde0314610143578063095ea7b3146101c657806318160ddd1461022c57806323b872dd1461024a575b600080fd5b61014b6106d5565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561018b578082015181840152602081019050610170565b50505050905090810190601f1680156101b85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610212600480360360408110156101dc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610777565b604051808215151515815260200191505060405180910390f35b6102346107a7565b6040518082815260200191505060405180910390f35b6102b66004803603606081101561026057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506107b1565b604051808215151515815260200191505060405180910390f35b6102d86107e3565b604051808260ff1660ff16815260200191505060405180910390f35b6103406004803603604081101561030a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506107fa565b604051808215151515815260200191505060405180910390f35b61036261082a565b005b6103906004803603602081101561037a57600080fd5b81019080803590602001909291905050506108d9565b005b6103d4600480360360208110156103a857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506108e6565b604051808215151515815260200191505060405180910390f35b6103f6610903565b604051808215151515815260200191505060405180910390f35b61041861091a565b005b61045c6004803603602081101561043057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610925565b6040518082815260200191505060405180910390f35b6104be6004803603604081101561048857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061096d565b005b610502600480360360208110156104d657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061097b565b005b61050c61099b565b005b610516610a4b565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561055657808201518184015260208101905061053b565b50505050905090810190601f1680156105835780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6105dd600480360360408110156105a757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610aed565b604051808215151515815260200191505060405180910390f35b6106436004803603604081101561060d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b1d565b604051808215151515815260200191505060405180910390f35b6106bf6004803603604081101561067357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610b4d565b6040518082815260200191505060405180910390f35b606060038054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561076d5780601f106107425761010080835404028352916020019161076d565b820191906000526020600020905b81548152906001019060200180831161075057829003601f168201915b5050505050905090565b6000600760009054906101000a900460ff1615151561079557600080fd5b61079f8383610bd4565b905092915050565b6000600254905090565b6000600760009054906101000a900460ff161515156107cf57600080fd5b6107da848484610beb565b90509392505050565b6000600560009054906101000a900460ff16905090565b6000600760009054906101000a900460ff1615151561081857600080fd5b6108228383610c9c565b905092915050565b610833336108e6565b151561083e57600080fd5b600760009054906101000a900460ff16151561085957600080fd5b6000600760006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b6108e33382610d41565b50565b60006108fc826006610e9590919063ffffffff16565b9050919050565b6000600760009054906101000a900460ff16905090565b61092333610f29565b565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6109778282610f83565b5050565b610984336108e6565b151561098f57600080fd5b6109988161102a565b50565b6109a4336108e6565b15156109af57600080fd5b600760009054906101000a900460ff161515156109cb57600080fd5b6001600760006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b606060048054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610ae35780601f10610ab857610100808354040283529160200191610ae3565b820191906000526020600020905b815481529060010190602001808311610ac657829003601f168201915b5050505050905090565b6000600760009054906101000a900460ff16151515610b0b57600080fd5b610b158383611084565b905092915050565b6000600760009054906101000a900460ff16151515610b3b57600080fd5b610b458383611129565b905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000610be1338484611140565b6001905092915050565b6000610bf88484846112a3565b610c918433610c8c85600160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461146f90919063ffffffff16565b611140565b600190509392505050565b6000610d373384610d3285600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461149190919063ffffffff16565b611140565b6001905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515610d7d57600080fd5b610d928160025461146f90919063ffffffff16565b600281905550610de9816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461146f90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515610ed257600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b610f3d8160066114b290919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e60405160405180910390a250565b610f8d8282610d41565b611026823361102184600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461146f90919063ffffffff16565b611140565b5050565b61103e81600661156190919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b600061111f338461111a85600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461146f90919063ffffffff16565b611140565b6001905092915050565b60006111363384846112a3565b6001905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561117c57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156111b857600080fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156112df57600080fd5b611330816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461146f90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506113c3816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461149190919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600082821115151561148057600080fd5b600082840390508091505092915050565b60008082840190508381101515156114a857600080fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156114ee57600080fd5b6114f88282610e95565b151561150357600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561159d57600080fd5b6115a78282610e95565b1515156115b357600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550505056fea165627a7a723058202b17a5ff9516c41e817070589992973ae010df80567b9977b126a824b6b0fb940029

16281:506:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16281:506:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11730:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;11730:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15758:140;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15758:140:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3543:91;;;:::i;:::-;;;;;;;;;;;;;;;;;;;15590:160;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15590:160:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;12046:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;15906:175;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15906:175:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;15191:118;;;:::i;:::-;;10696:79;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10696:79:0;;;;;;;;;;;;;;;;;:::i;:::-;;13465:109;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13465:109:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;14444:78;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;13682:77;;;:::i;:::-;;3853:106;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3853:106:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11029:95;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11029:95:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;13582:92;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13582:92:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;14980:116;;;:::i;:::-;;11880:87;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;11880:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16089:185;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16089:185:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;15450:132;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15450:132:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4298:131;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4298:131:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11730:83;11767:13;11800:5;11793:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11730:83;:::o;15758:140::-;15837:4;14681:7;;;;;;;;;;;14680:8;14672:17;;;;;;;;15861:29;15875:7;15884:5;15861:13;:29::i;:::-;15854:36;;15758:140;;;;:::o;3543:91::-;3587:7;3614:12;;3607:19;;3543:91;:::o;15590:160::-;15683:4;14681:7;;;;;;;;;;;14680:8;14672:17;;;;;;;;15707:35;15726:4;15732:2;15736:5;15707:18;:35::i;:::-;15700:42;;15590:160;;;;;:::o;12046:83::-;12087:5;12112:9;;;;;;;;;;;12105:16;;12046:83;:::o;15906:175::-;15997:12;14681:7;;;;;;;;;;;14680:8;14672:17;;;;;;;;16029:44;16053:7;16062:10;16029:23;:44::i;:::-;16022:51;;15906:175;;;;:::o;15191:118::-;13416:20;13425:10;13416:8;:20::i;:::-;13408:29;;;;;;;;14860:7;;;;;;;;;;;14852:16;;;;;;;;15260:5;15250:7;;:15;;;;;;;;;;;;;;;;;;15281:20;15290:10;15281:20;;;;;;;;;;;;;;;;;;;;;;15191:118::o;10696:79::-;10743:24;10749:10;10761:5;10743;:24::i;:::-;10696:79;:::o;13465:109::-;13521:4;13545:21;13558:7;13545:8;:12;;:21;;;;:::i;:::-;13538:28;;13465:109;;;:::o;14444:78::-;14483:4;14507:7;;;;;;;;;;;14500:14;;14444:78;:::o;13682:77::-;13726:25;13740:10;13726:13;:25::i;:::-;13682:77::o;3853:106::-;3908:7;3935:9;:16;3945:5;3935:16;;;;;;;;;;;;;;;;3928:23;;3853:106;;;:::o;11029:95::-;11094:22;11104:4;11110:5;11094:9;:22::i;:::-;11029:95;;:::o;13582:92::-;13416:20;13425:10;13416:8;:20::i;:::-;13408:29;;;;;;;;13647:19;13658:7;13647:10;:19::i;:::-;13582:92;:::o;14980:116::-;13416:20;13425:10;13416:8;:20::i;:::-;13408:29;;;;;;;;14681:7;;;;;;;;;;;14680:8;14672:17;;;;;;;;15050:4;15040:7;;:14;;;;;;;;;;;;;;;;;;15070:18;15077:10;15070:18;;;;;;;;;;;;;;;;;;;;;;14980:116::o;11880:87::-;11919:13;11952:7;11945:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11880:87;:::o;16089:185::-;16185:12;14681:7;;;;;;;;;;;14680:8;14672:17;;;;;;;;16217:49;16241:7;16250:15;16217:23;:49::i;:::-;16210:56;;16089:185;;;;:::o;15450:132::-;15525:4;14681:7;;;;;;;;;;;14680:8;14672:17;;;;;;;;15549:25;15564:2;15568:5;15549:14;:25::i;:::-;15542:32;;15450:132;;;;:::o;4298:131::-;4370:7;4397:8;:15;4406:5;4397:15;;;;;;;;;;;;;;;:24;4413:7;4397:24;;;;;;;;;;;;;;;;4390:31;;4298:131;;;;:::o;5390:148::-;5455:4;5472:36;5481:10;5493:7;5502:5;5472:8;:36::i;:::-;5526:4;5519:11;;5390:148;;;;:::o;6011:228::-;6090:4;6107:26;6117:4;6123:2;6127:5;6107:9;:26::i;:::-;6144:65;6153:4;6159:10;6171:37;6202:5;6171:8;:14;6180:4;6171:14;;;;;;;;;;;;;;;:26;6186:10;6171:26;;;;;;;;;;;;;;;;:30;;:37;;;;:::i;:::-;6144:8;:65::i;:::-;6227:4;6220:11;;6011:228;;;;;:::o;6765:203::-;6845:4;6862:76;6871:10;6883:7;6892:45;6926:10;6892:8;:20;6901:10;6892:20;;;;;;;;;;;;;;;:29;6913:7;6892:29;;;;;;;;;;;;;;;;:33;;:45;;;;:::i;:::-;6862:8;:76::i;:::-;6956:4;6949:11;;6765:203;;;;:::o;9056:269::-;9150:1;9131:21;;:7;:21;;;;9123:30;;;;;;;;9181:23;9198:5;9181:12;;:16;;:23;;;;:::i;:::-;9166:12;:38;;;;9236:29;9259:5;9236:9;:18;9246:7;9236:18;;;;;;;;;;;;;;;;:22;;:29;;;;:::i;:::-;9215:9;:18;9225:7;9215:18;;;;;;;;;;;;;;;:50;;;;9307:1;9281:36;;9290:7;9281:36;;;9311:5;9281:36;;;;;;;;;;;;;;;;;;9056:269;;:::o;12930:165::-;13002:4;13046:1;13027:21;;:7;:21;;;;13019:30;;;;;;;;13067:4;:11;;:20;13079:7;13067:20;;;;;;;;;;;;;;;;;;;;;;;;;13060:27;;12930:165;;;;:::o;13897:130::-;13957:24;13973:7;13957:8;:15;;:24;;;;:::i;:::-;14011:7;13997:22;;;;;;;;;;;;13897:130;:::o;10251:182::-;10322:21;10328:7;10337:5;10322;:21::i;:::-;10354:71;10363:7;10372:10;10384:40;10418:5;10384:8;:17;10393:7;10384:17;;;;;;;;;;;;;;;:29;10402:10;10384:29;;;;;;;;;;;;;;;;:33;;:40;;;;:::i;:::-;10354:8;:71::i;:::-;10251:182;;:::o;13767:122::-;13824:21;13837:7;13824:8;:12;;:21;;;;:::i;:::-;13873:7;13861:20;;;;;;;;;;;;13767:122;:::o;7499:213::-;7584:4;7601:81;7610:10;7622:7;7631:50;7665:15;7631:8;:20;7640:10;7631:20;;;;;;;;;;;;;;;:29;7652:7;7631:29;;;;;;;;;;;;;;;;:33;;:50;;;;:::i;:::-;7601:8;:81::i;:::-;7700:4;7693:11;;7499:213;;;;:::o;4603:140::-;4664:4;4681:32;4691:10;4703:2;4707:5;4681:9;:32::i;:::-;4731:4;4724:11;;4603:140;;;;:::o;9598:254::-;9710:1;9691:21;;:7;:21;;;;9683:30;;;;;;;;9749:1;9732:19;;:5;:19;;;;9724:28;;;;;;;;9792:5;9765:8;:15;9774:5;9765:15;;;;;;;;;;;;;;;:24;9781:7;9765:24;;;;;;;;;;;;;;;:32;;;;9829:7;9813:31;;9822:5;9813:31;;;9838:5;9813:31;;;;;;;;;;;;;;;;;;9598:254;;;:::o;7939:262::-;8041:1;8027:16;;:2;:16;;;;8019:25;;;;;;;;8075:26;8095:5;8075:9;:15;8085:4;8075:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;8057:9;:15;8067:4;8057:15;;;;;;;;;;;;;;;:44;;;;8128:24;8146:5;8128:9;:13;8138:2;8128:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;8112:9;:13;8122:2;8112:13;;;;;;;;;;;;;;;:40;;;;8183:2;8168:25;;8177:4;8168:25;;;8187:5;8168:25;;;;;;;;;;;;;;;;;;7939:262;;;:::o;2006:150::-;2064:7;2097:1;2092;:6;;2084:15;;;;;;;;2110:9;2126:1;2122;:5;2110:17;;2147:1;2140:8;;;2006:150;;;;:::o;2244:::-;2302:7;2322:9;2338:1;2334;:5;2322:17;;2363:1;2358;:6;;2350:15;;;;;;;;2385:1;2378:8;;;2244:150;;;;:::o;12647:189::-;12746:1;12727:21;;:7;:21;;;;12719:30;;;;;;;;12768:18;12772:4;12778:7;12768:3;:18::i;:::-;12760:27;;;;;;;;12823:5;12800:4;:11;;:20;12812:7;12800:20;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;12647:189;;:::o;12382:186::-;12478:1;12459:21;;:7;:21;;;;12451:30;;;;;;;;12501:18;12505:4;12511:7;12501:3;:18::i;:::-;12500:19;12492:28;;;;;;;;12556:4;12533;:11;;:20;12545:7;12533:20;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;12382:186;;:::o

bzzr://2b17a5ff9516c41e817070589992973ae010df80567b9977b126a824b6b0fb94