Contract Source Code (Solidity)

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, ...
•  contract Context
•    - function _msgSender()
•    - function _msgData()
•  contract ERC20 is Context, 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()
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•    - function mod(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b, st ...
• library Address
•    - function isContract(address account)
•    - function toPayable(address account)
•    - function sendValue(address payable re ...
• library SafeERC20
•    - function safeTransfer(IERC20 token, a ...
•    - function safeTransferFrom(IERC20 toke ...
•    - function safeApprove(IERC20 token, ad ...
•    - function safeIncreaseAllowance(IERC20 ...
•    - function safeDecreaseAllowance(IERC20 ...
•    - function callOptionalReturn(IERC20 to ...
• interface Controller
•    - function withdraw(address, uint)
•    - function balanceOf(address)
•    - function earn(address, uint)
•  contract yVault is ERC20, ERC20Det ... *
•    - function balance()
•    - function setMin(uint _min)
•    - function setGovernance(address _gover ...
•    - function setController(address _contr ...
•    - function available()
•    - function earn()
•    - function depositAll()
•    - function deposit(uint _amount)
•    - function withdrawAll()
•    - function harvest(address reserve, uin ...
•    - function withdraw(uint _shares)
•    - function getPricePerFullShare()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.5.16;

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

contract Context {
    constructor () internal { }
    // solhint-disable-previous-line no-empty-blocks

    function _msgSender() internal view returns (address payable) {
        return msg.sender;
    }

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

contract ERC20 is Context, IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;

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

    uint256 private _totalSupply;
    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }
    function balanceOf(address account) public view returns (uint256) {
        return _balances[account];
    }
    function transfer(address recipient, uint256 amount) public returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }
    function allowance(address owner, address spender) public view returns (uint256) {
        return _allowances[owner][spender];
    }
    function approve(address spender, uint256 amount) public returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }
    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].add(addedValue));
        return true;
    }
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].sub(subtractedValue, "ERC20: decreased allowance below zero"));
        return true;
    }
    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, "ERC20: transfer amount exceeds balance");
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
    }
    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);
    }
    function _burn(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: burn from the zero address");

        _balances[account] = _balances[account].sub(amount, "ERC20: burn amount exceeds balance");
        _totalSupply = _totalSupply.sub(amount);
        emit Transfer(account, address(0), amount);
    }
    function _approve(address owner, address spender, uint256 amount) internal {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }
    function _burnFrom(address account, uint256 amount) internal {
        _burn(account, amount);
        _approve(account, _msgSender(), _allowances[account][_msgSender()].sub(amount, "ERC20: burn amount exceeds allowance"));
    }
}

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;
    }
    function name() public view returns (string memory) {
        return _name;
    }
    function symbol() public view returns (string memory) {
        return _symbol;
    }
    function decimals() public view returns (uint8) {
        return _decimals;
    }
}

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }

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

        return c;
    }
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, errorMessage);
        uint256 c = a / b;

        return c;
    }
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return mod(a, b, "SafeMath: modulo by zero");
    }
    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

library Address {
    function isContract(address account) internal view returns (bool) {
        bytes32 codehash;
        bytes32 accountHash = 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470;
        // solhint-disable-next-line no-inline-assembly
        assembly { codehash := extcodehash(account) }
        return (codehash != 0x0 && codehash != accountHash);
    }
    function toPayable(address account) internal pure returns (address payable) {
        return address(uint160(account));
    }
    function sendValue(address payable recipient, uint256 amount) internal {
        require(address(this).balance >= amount, "Address: insufficient balance");

        // solhint-disable-next-line avoid-call-value
        (bool success, ) = recipient.call.value(amount)("");
        require(success, "Address: unable to send value, recipient may have reverted");
    }
}

library SafeERC20 {
    using SafeMath for uint256;
    using Address for address;

    function safeTransfer(IERC20 token, address to, uint256 value) internal {
        callOptionalReturn(token, abi.encodeWithSelector(token.transfer.selector, to, value));
    }

    function safeTransferFrom(IERC20 token, address from, address to, uint256 value) internal {
        callOptionalReturn(token, abi.encodeWithSelector(token.transferFrom.selector, from, to, value));
    }

    function safeApprove(IERC20 token, address spender, uint256 value) internal {
        require((value == 0) || (token.allowance(address(this), spender) == 0),
            "SafeERC20: approve from non-zero to non-zero allowance"
        );
        callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, value));
    }

    function safeIncreaseAllowance(IERC20 token, address spender, uint256 value) internal {
        uint256 newAllowance = token.allowance(address(this), spender).add(value);
        callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
    }

    function safeDecreaseAllowance(IERC20 token, address spender, uint256 value) internal {
        uint256 newAllowance = token.allowance(address(this), spender).sub(value, "SafeERC20: decreased allowance below zero");
        callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
    }
    function callOptionalReturn(IERC20 token, bytes memory data) private {
        require(address(token).isContract(), "SafeERC20: call to non-contract");

        // solhint-disable-next-line avoid-low-level-calls
        (bool success, bytes memory returndata) = address(token).call(data);
        require(success, "SafeERC20: low-level call failed");

        if (returndata.length > 0) { // Return data is optional
            // solhint-disable-next-line max-line-length
            require(abi.decode(returndata, (bool)), "SafeERC20: ERC20 operation did not succeed");
        }
    }
}

interface Controller {
    function withdraw(address, uint) external;
    function balanceOf(address) external view returns (uint);
    function earn(address, uint) external;
}

contract yVault is ERC20, ERC20Detailed {
    using SafeERC20 for IERC20;
    using Address for address;
    using SafeMath for uint256;
    
    IERC20 public token;
    
    uint public min = 9500;
    uint public constant max = 10000;
    
    address public governance;
    address public controller;
    
    constructor (address _token, address _controller) public ERC20Detailed(
        string(abi.encodePacked("yearn ", ERC20Detailed(_token).name())),
        string(abi.encodePacked("y", ERC20Detailed(_token).symbol())),
        ERC20Detailed(_token).decimals()
    ) {
        token = IERC20(_token);
        governance = msg.sender;
        controller = _controller;
    }
    
    function balance() public view returns (uint) {
        return token.balanceOf(address(this))
                .add(Controller(controller).balanceOf(address(token)));
    }
    
    function setMin(uint _min) external {
        require(msg.sender == governance, "!governance");
        min = _min;
    }
    
    function setGovernance(address _governance) public {
        require(msg.sender == governance, "!governance");
        governance = _governance;
    }
    
    function setController(address _controller) public {
        require(msg.sender == governance, "!governance");
        controller = _controller;
    }
    
    // Custom logic in here for how much the vault allows to be borrowed
    // Sets minimum required on-hand to keep small withdrawals cheap
    function available() public view returns (uint) {
        return token.balanceOf(address(this)).mul(min).div(max);
    }
    
    function earn() public {
        uint _bal = available();
        token.safeTransfer(controller, _bal);
        Controller(controller).earn(address(token), _bal);
    }
    
    function depositAll() external {
        deposit(token.balanceOf(msg.sender));
    }
    
    function deposit(uint _amount) public {
        uint _pool = balance();
        uint _before = token.balanceOf(address(this));
        token.safeTransferFrom(msg.sender, address(this), _amount);
        uint _after = token.balanceOf(address(this));
        _amount = _after.sub(_before); // Additional check for deflationary tokens
        uint shares = 0;
        if (totalSupply() == 0) {
            shares = _amount;
        } else {
            shares = (_amount.mul(totalSupply())).div(_pool);
        }
        _mint(msg.sender, shares);
    }
    
    function withdrawAll() external {
        withdraw(balanceOf(msg.sender));
    }
    
    
    // Used to swap any borrowed reserve over the debt limit to liquidate to 'token'
    function harvest(address reserve, uint amount) external {
        require(msg.sender == controller, "!controller");
        require(reserve != address(token), "token");
        IERC20(reserve).safeTransfer(controller, amount);
    }
    
    // No rebalance implementation for lower fees and faster swaps
    function withdraw(uint _shares) public {
        uint r = (balance().mul(_shares)).div(totalSupply());
        _burn(msg.sender, _shares);
        
        // Check balance
        uint b = token.balanceOf(address(this));
        if (b < r) {
            uint _withdraw = r.sub(b);
            Controller(controller).withdraw(address(token), _withdraw);
            uint _after = token.balanceOf(address(this));
            uint _diff = _after.sub(b);
            if (_diff < _withdraw) {
                r = b.add(_diff);
            }
        }
        
        token.safeTransfer(msg.sender, r);
    }
    
    function getPricePerFullShare() public view returns (uint) {
        return balance().mul(1e18).div(totalSupply());
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_token","type":"address"},{"internalType":"address","name":"_controller","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"available","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"balance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"controller","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"deposit","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"depositAll","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"earn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"getPricePerFullShare","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"governance","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"reserve","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"harvest","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"max","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"min","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_controller","type":"address"}],"name":"setController","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_governance","type":"address"}],"name":"setGovernance","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"_min","type":"uint256"}],"name":"setMin","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"token","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"_shares","type":"uint256"}],"name":"withdraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"withdrawAll","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

0x608060405234801561001057600080fd5b50600436106101c45760003560e01c8063853828b6116100f9578063b6b55f2511610097578063de5f626811610071578063de5f626814610835578063f77c47911461083f578063f889794514610889578063fc0c546a146108a7576101c4565b8063b6b55f2514610785578063d389800f146107b3578063dd62ed3e146107bd576101c4565b8063a457c2d7116100d3578063a457c2d714610657578063a9059cbb146106bd578063ab033ea914610723578063b69ef8a814610767576101c4565b8063853828b61461058657806392eefe9b1461059057806395d89b41146105d4576101c4565b806339509351116101665780635aa6e675116101405780635aa6e675146104a85780636ac5db19146104f257806370a082311461051057806377c7b8fc14610568576101c4565b806339509351146103f657806345dc3dd81461045c57806348a0d7541461048a576101c4565b806318160ddd116101a257806318160ddd1461030057806323b872dd1461031e5780632e1a7d4d146103a4578063313ce567146103d2576101c4565b8063018ee9b7146101c957806306fdde0314610217578063095ea7b31461029a575b600080fd5b610215600480360360408110156101df57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108f1565b005b61021f610ac9565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561025f578082015181840152602081019050610244565b50505050905090810190601f16801561028c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102e6600480360360408110156102b057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b6b565b604051808215151515815260200191505060405180910390f35b610308610b89565b6040518082815260200191505060405180910390f35b61038a6004803603606081101561033457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b93565b604051808215151515815260200191505060405180910390f35b6103d0600480360360208110156103ba57600080fd5b8101908080359060200190929190505050610c6c565b005b6103da610ff6565b604051808260ff1660ff16815260200191505060405180910390f35b6104426004803603604081101561040c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061100d565b604051808215151515815260200191505060405180910390f35b6104886004803603602081101561047257600080fd5b81019080803590602001909291905050506110c0565b005b61049261118d565b6040518082815260200191505060405180910390f35b6104b0611296565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104fa6112bc565b6040518082815260200191505060405180910390f35b6105526004803603602081101561052657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506112c2565b6040518082815260200191505060405180910390f35b61057061130a565b6040518082815260200191505060405180910390f35b61058e61134c565b005b6105d2600480360360208110156105a657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061135f565b005b6105dc611466565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561061c578082015181840152602081019050610601565b50505050905090810190601f1680156106495780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6106a36004803603604081101561066d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611508565b604051808215151515815260200191505060405180910390f35b610709600480360360408110156106d357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506115d5565b604051808215151515815260200191505060405180910390f35b6107656004803603602081101561073957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506115f3565b005b61076f6116fa565b6040518082815260200191505060405180910390f35b6107b16004803603602081101561079b57600080fd5b81019080803590602001909291905050506118e8565b005b6107bb611b71565b005b61081f600480360360408110156107d357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611cd2565b6040518082815260200191505060405180910390f35b61083d611d59565b005b610847611e3d565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610891611e63565b6040518082815260200191505060405180910390f35b6108af611e69565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146109b4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f21636f6e74726f6c6c657200000000000000000000000000000000000000000081525060200191505060405180910390fd5b600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610a78576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f746f6b656e00000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b610ac5600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16828473ffffffffffffffffffffffffffffffffffffffff16611e8f9092919063ffffffff16565b5050565b606060038054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610b615780601f10610b3657610100808354040283529160200191610b61565b820191906000526020600020905b815481529060010190602001808311610b4457829003601f168201915b5050505050905090565b6000610b7f610b78611f60565b8484611f68565b6001905092915050565b6000600254905090565b6000610ba084848461215f565b610c6184610bac611f60565b610c5c85604051806060016040528060288152602001612efb60289139600160008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000610c12611f60565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546124159092919063ffffffff16565b611f68565b600190509392505050565b6000610ca1610c79610b89565b610c9384610c856116fa565b6124d590919063ffffffff16565b61255b90919063ffffffff16565b9050610cad33836125a5565b6000600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610d4e57600080fd5b505afa158015610d62573d6000803e3d6000fd5b505050506040513d6020811015610d7857600080fd5b8101908080519060200190929190505050905081811015610fa4576000610da8828461275d90919063ffffffff16565b9050600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f3fef3a3600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b158015610e7557600080fd5b505af1158015610e89573d6000803e3d6000fd5b505050506000600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610f2e57600080fd5b505afa158015610f42573d6000803e3d6000fd5b505050506040513d6020811015610f5857600080fd5b810190808051906020019092919050505090506000610f80848361275d90919063ffffffff16565b905082811015610fa057610f9d81856127a790919063ffffffff16565b94505b5050505b610ff13383600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16611e8f9092919063ffffffff16565b505050565b6000600560009054906101000a900460ff16905090565b60006110b661101a611f60565b846110b1856001600061102b611f60565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546127a790919063ffffffff16565b611f68565b6001905092915050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611183576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f21676f7665726e616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b8060068190555050565b6000611291612710611283600654600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561123a57600080fd5b505afa15801561124e573d6000803e3d6000fd5b505050506040513d602081101561126457600080fd5b81019080805190602001909291905050506124d590919063ffffffff16565b61255b90919063ffffffff16565b905090565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b61271081565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000611347611317610b89565b611339670de0b6b3a764000061132b6116fa565b6124d590919063ffffffff16565b61255b90919063ffffffff16565b905090565b61135d611358336112c2565b610c6c565b565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611422576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f21676f7665726e616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b80600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b606060048054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156114fe5780601f106114d3576101008083540402835291602001916114fe565b820191906000526020600020905b8154815290600101906020018083116114e157829003601f168201915b5050505050905090565b60006115cb611515611f60565b846115c685604051806060016040528060258152602001612fb7602591396001600061153f611f60565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546124159092919063ffffffff16565b611f68565b6001905092915050565b60006115e96115e2611f60565b848461215f565b6001905092915050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146116b6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f21676f7665726e616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b80600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60006118e3600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff166040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156117c057600080fd5b505afa1580156117d4573d6000803e3d6000fd5b505050506040513d60208110156117ea57600080fd5b8101908080519060200190929190505050600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561189a57600080fd5b505afa1580156118ae573d6000803e3d6000fd5b505050506040513d60208110156118c457600080fd5b81019080805190602001909291905050506127a790919063ffffffff16565b905090565b60006118f26116fa565b90506000600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561199557600080fd5b505afa1580156119a9573d6000803e3d6000fd5b505050506040513d60208110156119bf57600080fd5b81019080805190602001909291905050509050611a21333085600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1661282f909392919063ffffffff16565b6000600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611ac257600080fd5b505afa158015611ad6573d6000803e3d6000fd5b505050506040513d6020811015611aec57600080fd5b81019080805190602001909291905050509050611b12828261275d90919063ffffffff16565b935060008090506000611b23610b89565b1415611b3157849050611b60565b611b5d84611b4f611b40610b89565b886124d590919063ffffffff16565b61255b90919063ffffffff16565b90505b611b6a3382612935565b5050505050565b6000611b7b61118d565b9050611bec600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1682600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16611e8f9092919063ffffffff16565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b02bf4b9600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b158015611cb757600080fd5b505af1158015611ccb573d6000803e3d6000fd5b5050505050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b611e3b600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611dfb57600080fd5b505afa158015611e0f573d6000803e3d6000fd5b505050506040513d6020811015611e2557600080fd5b81019080805190602001909291905050506118e8565b565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60065481565b600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b611f5b838473ffffffffffffffffffffffffffffffffffffffff1663a9059cbb905060e01b8484604051602401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050612af0565b505050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611fee576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180612f696024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612074576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180612e926022913960400191505060405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156121e5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180612f446025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561226b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180612e4d6023913960400191505060405180910390fd5b6122d681604051806060016040528060268152602001612eb4602691396000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546124159092919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612369816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546127a790919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b60008383111582906124c2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561248757808201518184015260208101905061246c565b50505050905090810190601f1680156124b45780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b6000808314156124e85760009050612555565b60008284029050828482816124f957fe5b0414612550576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612eda6021913960400191505060405180910390fd5b809150505b92915050565b600061259d83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250612d3b565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561262b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612f236021913960400191505060405180910390fd5b61269681604051806060016040528060228152602001612e70602291396000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546124159092919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506126ed8160025461275d90919063ffffffff16565b600281905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600061279f83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250612415565b905092915050565b600080828401905083811015612825576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b61292f848573ffffffffffffffffffffffffffffffffffffffff166323b872dd905060e01b858585604051602401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050612af0565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156129d8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b6129ed816002546127a790919063ffffffff16565b600281905550612a44816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546127a790919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b612b0f8273ffffffffffffffffffffffffffffffffffffffff16612e01565b612b81576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f5361666545524332303a2063616c6c20746f206e6f6e2d636f6e74726163740081525060200191505060405180910390fd5b600060608373ffffffffffffffffffffffffffffffffffffffff16836040518082805190602001908083835b60208310612bd05780518252602082019150602081019050602083039250612bad565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114612c32576040519150601f19603f3d011682016040523d82523d6000602084013e612c37565b606091505b509150915081612caf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c656481525060200191505060405180910390fd5b600081511115612d3557808060200190516020811015612cce57600080fd5b8101908080519060200190929190505050612d34576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180612f8d602a913960400191505060405180910390fd5b5b50505050565b60008083118290612de7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612dac578082015181840152602081019050612d91565b50505050905090810190601f168015612dd95780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838581612df357fe5b049050809150509392505050565b60008060007fc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a47060001b9050833f91506000801b8214158015612e435750808214155b9250505091905056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e20616d6f756e7420657863656564732062616c616e636545524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e6365536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f7745524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f20616464726573735361666545524332303a204552433230206f7065726174696f6e20646964206e6f74207375636365656445524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa265627a7a7231582001574c1d06c9ddecfe6b674b0422f30d5134019d99f03dccf32810938528280c64736f6c63430005110032

9862:3765:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9862:3765:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12552:236;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;12552:236:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;4897: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;4897:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1917:152;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1917:152:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1400:91;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2075:304;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2075:304:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;12868:621;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;12868:621:0;;;;;;;;;;;;;;;;;:::i;:::-;;5079:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2385:210;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2385:210:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;10765:124;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10765:124:0;;;;;;;;;;;;;;;;;:::i;:::-;;11375:122;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10119:25;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;10074:32;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1497:110;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1497:110:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;13501:123;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12366:82;;;:::i;:::-;;11066:153;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11066:153:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;4986: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;4986:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2601:261;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2601:261:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1613:158;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1613:158:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;10901:153;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10901:153:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;10579:174;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11791:563;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11791:563:0;;;;;;;;;;;;;;;;;:::i;:::-;;11509:172;;;:::i;:::-;;1777:134;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1777:134:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11693:86;;;:::i;:::-;;10151:25;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;10045:22;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10013:19;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;12552:236;12641:10;;;;;;;;;;;12627:24;;:10;:24;;;12619:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12705:5;;;;;;;;;;;12686:25;;:7;:25;;;;12678:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12732:48;12761:10;;;;;;;;;;;12773:6;12739:7;12732:28;;;;:48;;;;;:::i;:::-;12552:236;;:::o;4897:83::-;4934:13;4967:5;4960:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4897:83;:::o;1917:152::-;1983:4;2000:39;2009:12;:10;:12::i;:::-;2023:7;2032:6;2000:8;:39::i;:::-;2057:4;2050:11;;1917:152;;;;:::o;1400:91::-;1444:7;1471:12;;1464:19;;1400:91;:::o;2075:304::-;2164:4;2181:36;2191:6;2199:9;2210:6;2181:9;:36::i;:::-;2228:121;2237:6;2245:12;:10;:12::i;:::-;2259:89;2297:6;2259:89;;;;;;;;;;;;;;;;;:11;:19;2271:6;2259:19;;;;;;;;;;;;;;;:33;2279:12;:10;:12::i;:::-;2259:33;;;;;;;;;;;;;;;;:37;;:89;;;;;:::i;:::-;2228:8;:121::i;:::-;2367:4;2360:11;;2075:304;;;;;:::o;12868:621::-;12918:6;12927:43;12956:13;:11;:13::i;:::-;12928:22;12942:7;12928:9;:7;:9::i;:::-;:13;;:22;;;;:::i;:::-;12927:28;;:43;;;;:::i;:::-;12918:52;;12981:26;12987:10;12999:7;12981:5;:26::i;:::-;13054:6;13063:5;;;;;;;;;;;:15;;;13087:4;13063:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13063:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13063:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13063:30:0;;;;;;;;;;;;;;;;13054:39;;13112:1;13108;:5;13104:324;;;13130:14;13147:8;13153:1;13147;:5;;:8;;;;:::i;:::-;13130:25;;13181:10;;;;;;;;;;;13170:31;;;13210:5;;;;;;;;;;;13218:9;13170:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13170:58:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13170:58:0;;;;13243:11;13257:5;;;;;;;;;;;:15;;;13281:4;13257:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13257:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13257:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13257:30:0;;;;;;;;;;;;;;;;13243:44;;13302:10;13315:13;13326:1;13315:6;:10;;:13;;;;:::i;:::-;13302:26;;13355:9;13347:5;:17;13343:74;;;13389:12;13395:5;13389:1;:5;;:12;;;;:::i;:::-;13385:16;;13343:74;13104:324;;;;13448:33;13467:10;13479:1;13448:5;;;;;;;;;;;:18;;;;:33;;;;;:::i;:::-;12868:621;;;:::o;5079:83::-;5120:5;5145:9;;;;;;;;;;;5138:16;;5079:83;:::o;2385:210::-;2465:4;2482:83;2491:12;:10;:12::i;:::-;2505:7;2514:50;2553:10;2514:11;:25;2526:12;:10;:12::i;:::-;2514:25;;;;;;;;;;;;;;;:34;2540:7;2514:34;;;;;;;;;;;;;;;;:38;;:50;;;;:::i;:::-;2482:8;:83::i;:::-;2583:4;2576:11;;2385:210;;;;:::o;10765:124::-;10834:10;;;;;;;;;;;10820:24;;:10;:24;;;10812:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10877:4;10871:3;:10;;;;10765:124;:::o;11375:122::-;11417:4;11441:48;10101:5;11441:39;11476:3;;11441:5;;;;;;;;;;;:15;;;11465:4;11441:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11441:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11441:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11441:30:0;;;;;;;;;;;;;;;;:34;;:39;;;;:::i;:::-;:43;;:48;;;;:::i;:::-;11434:55;;11375:122;:::o;10119:25::-;;;;;;;;;;;;;:::o;10074:32::-;10101:5;10074:32;:::o;1497:110::-;1554:7;1581:9;:18;1591:7;1581:18;;;;;;;;;;;;;;;;1574:25;;1497:110;;;:::o;13501:123::-;13554:4;13578:38;13602:13;:11;:13::i;:::-;13578:19;13592:4;13578:9;:7;:9::i;:::-;:13;;:19;;;;:::i;:::-;:23;;:38;;;;:::i;:::-;13571:45;;13501:123;:::o;12366:82::-;12409:31;12418:21;12428:10;12418:9;:21::i;:::-;12409:8;:31::i;:::-;12366:82::o;11066:153::-;11150:10;;;;;;;;;;;11136:24;;:10;:24;;;11128:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11200:11;11187:10;;:24;;;;;;;;;;;;;;;;;;11066:153;:::o;4986:87::-;5025:13;5058:7;5051:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4986:87;:::o;2601:261::-;2686:4;2703:129;2712:12;:10;:12::i;:::-;2726:7;2735:96;2774:15;2735:96;;;;;;;;;;;;;;;;;:11;:25;2747:12;:10;:12::i;:::-;2735:25;;;;;;;;;;;;;;;:34;2761:7;2735:34;;;;;;;;;;;;;;;;:38;;:96;;;;;:::i;:::-;2703:8;:129::i;:::-;2850:4;2843:11;;2601:261;;;;:::o;1613:158::-;1682:4;1699:42;1709:12;:10;:12::i;:::-;1723:9;1734:6;1699:9;:42::i;:::-;1759:4;1752:11;;1613:158;;;;:::o;10901:153::-;10985:10;;;;;;;;;;;10971:24;;:10;:24;;;10963:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11035:11;11022:10;;:24;;;;;;;;;;;;;;;;;;10901:153;:::o;10579:174::-;10619:4;10643:102;10707:10;;;;;;;;;;;10696:32;;;10737:5;;;;;;;;;;;10696:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10696:48:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10696:48:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10696:48:0;;;;;;;;;;;;;;;;10643:5;;;;;;;;;;;:15;;;10667:4;10643:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10643:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10643:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10643:30:0;;;;;;;;;;;;;;;;:52;;:102;;;;:::i;:::-;10636:109;;10579:174;:::o;11791:563::-;11840:10;11853:9;:7;:9::i;:::-;11840:22;;11873:12;11888:5;;;;;;;;;;;:15;;;11912:4;11888:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11888:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11888:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11888:30:0;;;;;;;;;;;;;;;;11873:45;;11929:58;11952:10;11972:4;11979:7;11929:5;;;;;;;;;;;:22;;;;:58;;;;;;:::i;:::-;11998:11;12012:5;;;;;;;;;;;:15;;;12036:4;12012:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12012:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12012:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;12012:30:0;;;;;;;;;;;;;;;;11998:44;;12063:19;12074:7;12063:6;:10;;:19;;;;:::i;:::-;12053:29;;12137:11;12151:1;12137:15;;12184:1;12167:13;:11;:13::i;:::-;:18;12163:148;;;12211:7;12202:16;;12163:148;;;12260:39;12293:5;12261:26;12273:13;:11;:13::i;:::-;12261:7;:11;;:26;;;;:::i;:::-;12260:32;;:39;;;;:::i;:::-;12251:48;;12163:148;12321:25;12327:10;12339:6;12321:5;:25::i;:::-;11791:563;;;;;:::o;11509:172::-;11543:9;11555:11;:9;:11::i;:::-;11543:23;;11577:36;11596:10;;;;;;;;;;;11608:4;11577:5;;;;;;;;;;;:18;;;;:36;;;;;:::i;:::-;11635:10;;;;;;;;;;;11624:27;;;11660:5;;;;;;;;;;;11668:4;11624:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11624:49:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11624:49:0;;;;11509:172;:::o;1777:134::-;1849:7;1876:11;:18;1888:5;1876:18;;;;;;;;;;;;;;;:27;1895:7;1876:27;;;;;;;;;;;;;;;;1869:34;;1777:134;;;;:::o;11693:86::-;11735:36;11743:5;;;;;;;;;;;:15;;;11759:10;11743:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11743:27:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11743:27:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11743:27:0;;;;;;;;;;;;;;;;11735:7;:36::i;:::-;11693:86::o;10151:25::-;;;;;;;;;;;;;:::o;10045:22::-;;;;:::o;10013:19::-;;;;;;;;;;;;;:::o;7693:176::-;7776:85;7795:5;7825;:14;;;:23;;;;7850:2;7854:5;7802:58;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;7802:58:0;;;;;;;38:4:-1;29:7;25:18;67:10;61:17;96:58;199:8;192:4;186;182:15;179:29;167:10;160:49;0:215;;;7802:58:0;7776:18;:85::i;:::-;7693:176;;;:::o;818:98::-;863:15;898:10;891:17;;818:98;:::o;4013:338::-;4124:1;4107:19;;:5;:19;;;;4099:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4205:1;4186:21;;:7;:21;;;;4178:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4289:6;4259:11;:18;4271:5;4259:18;;;;;;;;;;;;;;;:27;4278:7;4259:27;;;;;;;;;;;;;;;:36;;;;4327:7;4311:32;;4320:5;4311:32;;;4336:6;4311:32;;;;;;;;;;;;;;;;;;4013:338;;;:::o;2868:471::-;2984:1;2966:20;;:6;:20;;;;2958:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3068:1;3047:23;;:9;:23;;;;3039:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3143;3165:6;3143:71;;;;;;;;;;;;;;;;;:9;:17;3153:6;3143:17;;;;;;;;;;;;;;;;:21;;:71;;;;;:::i;:::-;3123:9;:17;3133:6;3123:17;;;;;;;;;;;;;;;:91;;;;3248:32;3273:6;3248:9;:20;3258:9;3248:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;3225:9;:20;3235:9;3225:20;;;;;;;;;;;;;;;:55;;;;3313:9;3296:35;;3305:6;3296:35;;;3324:6;3296:35;;;;;;;;;;;;;;;;;;2868:471;;;:::o;5522:192::-;5608:7;5641:1;5636;:6;;5644:12;5628:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;5628:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5668:9;5684:1;5680;:5;5668:17;;5705:1;5698:8;;;5522:192;;;;;:::o;5720:250::-;5778:7;5807:1;5802;:6;5798:47;;;5832:1;5825:8;;;;5798:47;5857:9;5873:1;5869;:5;5857:17;;5902:1;5897;5893;:5;;;;;;:10;5885:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5961:1;5954:8;;;5720:250;;;;;:::o;5976:132::-;6034:7;6061:39;6065:1;6068;6061:39;;;;;;;;;;;;;;;;;:3;:39::i;:::-;6054:46;;5976:132;;;;:::o;3659:348::-;3754:1;3735:21;;:7;:21;;;;3727:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3828:68;3851:6;3828:68;;;;;;;;;;;;;;;;;:9;:18;3838:7;3828:18;;;;;;;;;;;;;;;;:22;;:68;;;;;:::i;:::-;3807:9;:18;3817:7;3807:18;;;;;;;;;;;;;;;:89;;;;3922:24;3939:6;3922:12;;:16;;:24;;;;:::i;:::-;3907:12;:39;;;;3988:1;3962:37;;3971:7;3962:37;;;3992:6;3962:37;;;;;;;;;;;;;;;;;;3659:348;;:::o;5380:136::-;5438:7;5465:43;5469:1;5472;5465:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;5458:50;;5380:136;;;;:::o;5193:181::-;5251:7;5271:9;5287:1;5283;:5;5271:17;;5312:1;5307;:6;;5299:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5365:1;5358:8;;;5193:181;;;;:::o;7877:204::-;7978:95;7997:5;8027;:18;;;:27;;;;8056:4;8062:2;8066:5;8004:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;8004:68:0;;;;;;;38:4:-1;29:7;25:18;67:10;61:17;96:58;199:8;192:4;186;182:15;179:29;167:10;160:49;0:215;;;8004:68:0;7978:18;:95::i;:::-;7877:204;;;;:::o;3345:308::-;3440:1;3421:21;;:7;:21;;;;3413:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3506:24;3523:6;3506:12;;:16;;:24;;;;:::i;:::-;3491:12;:39;;;;3562:30;3585:6;3562:9;:18;3572:7;3562:18;;;;;;;;;;;;;;;;:22;;:30;;;;:::i;:::-;3541:9;:18;3551:7;3541:18;;;;;;;;;;;;;;;:51;;;;3629:7;3608:37;;3625:1;3608:37;;;3638:6;3608:37;;;;;;;;;;;;;;;;;;3345:308;;:::o;9073:598::-;9161:27;9169:5;9161:25;;;:27::i;:::-;9153:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9298:12;9312:23;9347:5;9339:19;;9359:4;9339:25;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;182:3;176:10;171:3;164:23;98:2;93:3;89:12;82:19;;123:2;118:3;114:12;107:19;;148:2;143:3;139:12;132:19;;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;9339:25:0;;;;;;;;;;;;;;;;;;;;;;;;14:1:-1;21;16:31;;;;75:4;69:11;64:16;;144:4;140:9;133:4;115:16;111:27;107:43;104:1;100:51;94:4;87:65;169:16;166:1;159:27;225:16;222:1;215:4;212:1;208:12;193:49;7:242;;16:31;36:4;31:9;;7:242;;9297:67:0;;;;9383:7;9375:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9464:1;9444:10;:17;:21;9440:224;;;9586:10;9575:30;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9575:30:0;;;;;;;;;;;;;;;;9567:85;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9440:224;9073:598;;;;:::o;6114:258::-;6200:7;6299:1;6295;:5;6302:12;6287:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;6287:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6326:9;6342:1;6338;:5;;;;;;6326:17;;6363:1;6356:8;;;6114:258;;;;;:::o;6710:374::-;6770:4;6787:16;6814:19;6836:66;6814:88;;;;7005:7;6993:20;6981:32;;7045:3;7033:15;;:8;:15;;:42;;;;;7064:11;7052:8;:23;;7033:42;7025:51;;;;6710:374;;;:::o

bzzr://01574c1d06c9ddecfe6b674b0422f30d5134019d99f03dccf32810938528280c