Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(  contract Ownable is Context    - function owner()    - function renounceOwnership()    - function transferOwnership(address ne ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div( interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract HalfXaiCorp is Context, I ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(    - function tokenFromReflection(uint256 ...    - function removeAllFee()    - function restoreAllFee()    - function _approve(    - function _transfer(    - function swapTokensForEth(uint256 tok ...    - function sendETHToFee(uint256 amount)    - function setTrading(bool _tradingOpen ...    - function manualswap()    - function manualsend()    - function blockBots(address[] memory b ...    - function unblockBot(address notbot)    - function removeLimits()    - function _tokenTransfer(    - function _transferStandard(    - function _takeTeam(uint256 tTeam)    - function _reflectFee(uint256 rFee, ui ...    - function _getValues(uint256 tAmount)    - function _getTValues(    - function _getRValues(    - function _getRate()    - function _getCurrentSupply()    - function setFee(uint256 redisFeeOnBuy ...    - function setMinSwapTokensThreshold(ui ...    - function toggleSwap(bool _swapEnabled ...    - function excludeMultipleAccountsFromF ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-04-15
*/

//SPDX-License-Identifier: MIT

/**

 */

pragma solidity ^0.8.9;

abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}

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 Ownable is Context {
    address private _owner;
    address private _previousOwner;
    event OwnershipTransferred(
        address indexed previousOwner,
        address indexed newOwner
    );

    constructor() {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

    function owner() public view returns (address) {
        return _owner;
    }

    modifier onlyOwner() {
        require(_owner == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }

}

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) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        return c;
    }
}

interface IUniswapV2Factory {
    function createPair(address tokenA, address tokenB)
        external
        returns (address pair);
}

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint256 amountIn,
        uint256 amountOutMin,
        address[] calldata path,
        address to,
        uint256 deadline
    ) external;

    function factory() external pure returns (address);

    function WETH() external pure returns (address);

    function addLiquidityETH(
        address token,
        uint256 amountTokenDesired,
        uint256 amountTokenMin,
        uint256 amountETHMin,
        address to,
        uint256 deadline
    )
        external
        payable
        returns (
            uint256 amountToken,
            uint256 amountETH,
            uint256 liquidity
        );
}

contract HalfXaiCorp is Context, IERC20, Ownable {

    using SafeMath for uint256;

    string private constant _name = "Half XAI Corp";
    string private constant _symbol = "XAI0.5";
    uint8 private constant _decimals = 9;

    mapping(address => uint256) private _rOwned;
    mapping(address => uint256) private _tOwned;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _isExcludedFromFee;
    uint256 private constant MAX = ~uint256(0);
    uint256 private constant _tTotal = 1000000 * 10**9;
    uint256 private _rTotal = (MAX - (MAX % _tTotal));
    uint256 private _tFeeTotal;
    uint256 private _redisFeeOnBuy = 0;
    uint256 private _taxFeeOnBuy = 15;
    uint256 private _redisFeeOnSell = 0;
    uint256 private _taxFeeOnSell = 40;

    //Original Fee
    uint256 private _redisFee = _redisFeeOnSell;
    uint256 private _taxFee = _taxFeeOnSell;

    uint256 private _previousredisFee = _redisFee;
    uint256 private _previoustaxFee = _taxFee;

    mapping(address => bool) public bots; mapping (address => uint256) public _buyMap;
    address payable private _developmentAddress = payable(0x28D051DC1DbeDe271808e6b369D28874fC7c5784);
    address payable private _marketingAddress = payable(0x28D051DC1DbeDe271808e6b369D28874fC7c5784);

    IUniswapV2Router02 public uniswapV2Router;
    address public uniswapV2Pair;

    bool private tradingOpen = true;
    bool private inSwap = false;
    bool private swapEnabled = true;

    //2% max wallet and max transaction
    uint256 public _maxTxAmount = 20000 * 10**9;
    uint256 public _maxWalletSize = 20000 * 10**9;
    uint256 public _swapTokensAtAmount = 20000 * 10**9;

    event MaxTxAmountUpdated(uint256 _maxTxAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor() {

        _rOwned[_msgSender()] = _rTotal;

        IUniswapV2Router02 _uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);//
        uniswapV2Router = _uniswapV2Router;
        uniswapV2Pair = IUniswapV2Factory(_uniswapV2Router.factory())
            .createPair(address(this), _uniswapV2Router.WETH());

        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_developmentAddress] = true;
        _isExcludedFromFee[_marketingAddress] = true;

        emit Transfer(address(0), _msgSender(), _tTotal);
    }

    function name() public pure returns (string memory) {
        return _name;
    }

    function symbol() public pure returns (string memory) {
        return _symbol;
    }

    function decimals() public pure returns (uint8) {
        return _decimals;
    }

    function totalSupply() public pure override returns (uint256) {
        return _tTotal;
    }

    function balanceOf(address account) public view override returns (uint256) {
        return tokenFromReflection(_rOwned[account]);
    }

    function transfer(address recipient, uint256 amount)
        public
        override
        returns (bool)
    {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    function allowance(address owner, address spender)
        public
        view
        override
        returns (uint256)
    {
        return _allowances[owner][spender];
    }

    function approve(address spender, uint256 amount)
        public
        override
        returns (bool)
    {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(
            sender,
            _msgSender(),
            _allowances[sender][_msgSender()].sub(
                amount,
                "ERC20: transfer amount exceeds allowance"
            )
        );
        return true;
    }

    function tokenFromReflection(uint256 rAmount)
        private
        view
        returns (uint256)
    {
        require(
            rAmount <= _rTotal,
            "Amount must be less than total reflections"
        );
        uint256 currentRate = _getRate();
        return rAmount.div(currentRate);
    }

    function removeAllFee() private {
        if (_redisFee == 0 && _taxFee == 0) return;

        _previousredisFee = _redisFee;
        _previoustaxFee = _taxFee;

        _redisFee = 0;
        _taxFee = 0;
    }

    function restoreAllFee() private {
        _redisFee = _previousredisFee;
        _taxFee = _previoustaxFee;
    }

    function _approve(
        address owner,
        address spender,
        uint256 amount
    ) private {
        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 _transfer(
        address from,
        address to,
        uint256 amount
    ) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");

        if (from != owner() && to != owner()) {

            //Trade start check
            if (!tradingOpen) {
                require(from == owner(), "TOKEN: This account cannot send tokens until trading is enabled");
            }

            require(amount <= _maxTxAmount, "TOKEN: Max Transaction Limit");
            require(!bots[from] && !bots[to], "TOKEN: Your account is blacklisted!");

            if(to != uniswapV2Pair) {
                require(balanceOf(to) + amount < _maxWalletSize, "TOKEN: Balance exceeds wallet size!");
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            bool canSwap = contractTokenBalance >= _swapTokensAtAmount;

            if(contractTokenBalance >= _maxTxAmount)
            {
                contractTokenBalance = _maxTxAmount;
            }

            if (canSwap && !inSwap && from != uniswapV2Pair && swapEnabled && !_isExcludedFromFee[from] && !_isExcludedFromFee[to]) {
                swapTokensForEth(contractTokenBalance);
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

        bool takeFee = true;

        //Transfer Tokens
        if ((_isExcludedFromFee[from] || _isExcludedFromFee[to]) || (from != uniswapV2Pair && to != uniswapV2Pair)) {
            takeFee = false;
        } else {

            //Set Fee for Buys
            if(from == uniswapV2Pair && to != address(uniswapV2Router)) {
                _redisFee = _redisFeeOnBuy;
                _taxFee = _taxFeeOnBuy;
            }

            //Set Fee for Sells
            if (to == uniswapV2Pair && from != address(uniswapV2Router)) {
                _redisFee = _redisFeeOnSell;
                _taxFee = _taxFeeOnSell;
            }

        }

        _tokenTransfer(from, to, amount, takeFee);
    }

    function swapTokensForEth(uint256 tokenAmount) private lockTheSwap {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniswapV2Router.WETH();
        _approve(address(this), address(uniswapV2Router), tokenAmount);
        uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp
        );
    }

    function sendETHToFee(uint256 amount) private {
        _marketingAddress.transfer(amount);
    }

    function setTrading(bool _tradingOpen) public onlyOwner {
        tradingOpen = _tradingOpen;
    }

    function manualswap() external {
        require(_msgSender() == _developmentAddress || _msgSender() == _marketingAddress);
        uint256 contractBalance = balanceOf(address(this));
        swapTokensForEth(contractBalance);
    }

    function manualsend() external {
        require(_msgSender() == _developmentAddress || _msgSender() == _marketingAddress);
        uint256 contractETHBalance = address(this).balance;
        sendETHToFee(contractETHBalance);
    }

    function blockBots(address[] memory bots_) public onlyOwner {
        for (uint256 i = 0; i < bots_.length; i++) {
            bots[bots_[i]] = true;
        }
    }

    function unblockBot(address notbot) public onlyOwner {
        bots[notbot] = false;
    }

     function removeLimits() external onlyOwner {
        _maxTxAmount = _tTotal;
        _maxWalletSize = _tTotal;
    }

    function _tokenTransfer(
        address sender,
        address recipient,
        uint256 amount,
        bool takeFee
    ) private {
        if (!takeFee) removeAllFee();
        _transferStandard(sender, recipient, amount);
        if (!takeFee) restoreAllFee();
    }

    function _transferStandard(
        address sender,
        address recipient,
        uint256 tAmount
    ) private {
        (
            uint256 rAmount,
            uint256 rTransferAmount,
            uint256 rFee,
            uint256 tTransferAmount,
            uint256 tFee,
            uint256 tTeam
        ) = _getValues(tAmount);
        _rOwned[sender] = _rOwned[sender].sub(rAmount);
        _rOwned[recipient] = _rOwned[recipient].add(rTransferAmount);
        _takeTeam(tTeam);
        _reflectFee(rFee, tFee);
        emit Transfer(sender, recipient, tTransferAmount);
    }

    function _takeTeam(uint256 tTeam) private {
        uint256 currentRate = _getRate();
        uint256 rTeam = tTeam.mul(currentRate);
        _rOwned[address(this)] = _rOwned[address(this)].add(rTeam);
    }

    function _reflectFee(uint256 rFee, uint256 tFee) private {
        _rTotal = _rTotal.sub(rFee);
        _tFeeTotal = _tFeeTotal.add(tFee);
    }

    receive() external payable {}

    function _getValues(uint256 tAmount)
        private
        view
        returns (
            uint256,
            uint256,
            uint256,
            uint256,
            uint256,
            uint256
        )
    {
        (uint256 tTransferAmount, uint256 tFee, uint256 tTeam) =
            _getTValues(tAmount, _redisFee, _taxFee);
        uint256 currentRate = _getRate();
        (uint256 rAmount, uint256 rTransferAmount, uint256 rFee) =
            _getRValues(tAmount, tFee, tTeam, currentRate);
        return (rAmount, rTransferAmount, rFee, tTransferAmount, tFee, tTeam);
    }

    function _getTValues(
        uint256 tAmount,
        uint256 redisFee,
        uint256 taxFee
    )
        private
        pure
        returns (
            uint256,
            uint256,
            uint256
        )
    {
        uint256 tFee = tAmount.mul(redisFee).div(100);
        uint256 tTeam = tAmount.mul(taxFee).div(100);
        uint256 tTransferAmount = tAmount.sub(tFee).sub(tTeam);
        return (tTransferAmount, tFee, tTeam);
    }

    function _getRValues(
        uint256 tAmount,
        uint256 tFee,
        uint256 tTeam,
        uint256 currentRate
    )
        private
        pure
        returns (
            uint256,
            uint256,
            uint256
        )
    {
        uint256 rAmount = tAmount.mul(currentRate);
        uint256 rFee = tFee.mul(currentRate);
        uint256 rTeam = tTeam.mul(currentRate);
        uint256 rTransferAmount = rAmount.sub(rFee).sub(rTeam);
        return (rAmount, rTransferAmount, rFee);
    }

    function _getRate() private view returns (uint256) {
        (uint256 rSupply, uint256 tSupply) = _getCurrentSupply();
        return rSupply.div(tSupply);
    }

    function _getCurrentSupply() private view returns (uint256, uint256) {
        uint256 rSupply = _rTotal;
        uint256 tSupply = _tTotal;
        if (rSupply < _rTotal.div(_tTotal)) return (_rTotal, _tTotal);
        return (rSupply, tSupply);
    }

    function setFee(uint256 redisFeeOnBuy, uint256 redisFeeOnSell, uint256 taxFeeOnBuy, uint256 taxFeeOnSell) public onlyOwner {
        _redisFeeOnBuy = redisFeeOnBuy;
        _redisFeeOnSell = redisFeeOnSell;
        _taxFeeOnBuy = taxFeeOnBuy;
        _taxFeeOnSell = taxFeeOnSell;
    }

    //Set minimum tokens required to swap.
    function setMinSwapTokensThreshold(uint256 swapTokensAtAmount) public onlyOwner {
        _swapTokensAtAmount = swapTokensAtAmount;
    }

    //Set minimum tokens required to swap.
    function toggleSwap(bool _swapEnabled) public onlyOwner {
        swapEnabled = _swapEnabled;
    }


    function excludeMultipleAccountsFromFees(address[] calldata accounts, bool excluded) public onlyOwner {
        for(uint256 i = 0; i < accounts.length; i++) {
            _isExcludedFromFee[accounts[i]] = excluded;
        }
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"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":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","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"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"_buyMap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_swapTokensAtAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address[]","name":"bots_","type":"address[]"}],"name":"blockBots","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"bots","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address[]","name":"accounts","type":"address[]"},{"internalType":"bool","name":"excluded","type":"bool"}],"name":"excludeMultipleAccountsFromFees","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"manualsend","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"manualswap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"redisFeeOnBuy","type":"uint256"},{"internalType":"uint256","name":"redisFeeOnSell","type":"uint256"},{"internalType":"uint256","name":"taxFeeOnBuy","type":"uint256"},{"internalType":"uint256","name":"taxFeeOnSell","type":"uint256"}],"name":"setFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"swapTokensAtAmount","type":"uint256"}],"name":"setMinSwapTokensThreshold","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bool","name":"_tradingOpen","type":"bool"}],"name":"setTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"bool","name":"_swapEnabled","type":"bool"}],"name":"toggleSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"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"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"notbot","type":"address"}],"name":"unblockBot","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"uniswapV2Pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"uniswapV2Router","outputs":[{"internalType":"contract IUniswapV2Router02","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

608060405266038d7ea4c680006000196200001b919062000755565b6000196200002a9190620007bc565b6006556000600855600f6009556000600a556028600b55600a54600c55600b54600d55600c54600e55600d54600f557328d051dc1dbede271808e6b369d28874fc7c5784601260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507328d051dc1dbede271808e6b369d28874fc7c5784601360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001601560146101000a81548160ff02191690831515021790555060006015806101000a81548160ff0219169083151502179055506001601560166101000a81548160ff0219169083151502179055506512309ce540006016556512309ce540006017556512309ce540006018553480156200017e57600080fd5b50600062000191620006eb60201b60201c565b9050806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3506006546002600062000246620006eb60201b60201c565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000737a250d5630b4cf539739df2c5dacb4c659f2488d905080601460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b815260040160206040518083038186803b1580156200032557600080fd5b505afa1580156200033a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019062000360919062000861565b73ffffffffffffffffffffffffffffffffffffffff1663c9c65396308373ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b158015620003c357600080fd5b505afa158015620003d8573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620003fe919062000861565b6040518363ffffffff1660e01b81526004016200041d929190620008a4565b602060405180830381600087803b1580156200043857600080fd5b505af11580156200044d573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019062000473919062000861565b601560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600160056000620004c9620006f360201b60201c565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055506001600560003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550600160056000601260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550600160056000601360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555062000676620006eb60201b60201c565b73ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef66038d7ea4c68000604051620006dc9190620008e2565b60405180910390a350620008ff565b600033905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b600062000762826200071c565b91506200076f836200071c565b92508262000782576200078162000726565b5b828206905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000620007c9826200071c565b9150620007d6836200071c565b925082821015620007ec57620007eb6200078d565b5b828203905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006200082982620007fc565b9050919050565b6200083b816200081c565b81146200084757600080fd5b50565b6000815190506200085b8162000830565b92915050565b6000602082840312156200087a5762000879620007f7565b5b60006200088a848285016200084a565b91505092915050565b6200089e816200081c565b82525050565b6000604082019050620008bb600083018562000893565b620008ca602083018462000893565b9392505050565b620008dc816200071c565b82525050565b6000602082019050620008f96000830184620008d1565b92915050565b613d0b806200090f6000396000f3fe6080604052600436106101c55760003560e01c8063751039fc116100f757806398a5c31511610095578063c3c8cd8011610064578063c3c8cd8014610628578063c492f0461461063f578063dd62ed3e14610668578063f2fde38b146106a5576101cc565b806398a5c3151461055c578063a2a957bb14610585578063a9059cbb146105ae578063bfd79284146105eb576101cc565b80638da5cb5b116100d15780638da5cb5b146104b25780638f70ccf7146104dd5780638f9a55c01461050657806395d89b4114610531576101cc565b8063751039fc146104335780637d1db4a51461044a5780637f2feddc14610475576101cc565b8063313ce567116101645780636d8aa8f81161013e5780636d8aa8f81461039f5780636fc3eaec146103c857806370a08231146103df578063715018a61461041c576101cc565b8063313ce5671461032057806349bd5a5e1461034b5780636b99905314610376576101cc565b80631694505e116101a05780631694505e1461026257806318160ddd1461028d57806323b872dd146102b85780632fd689e3146102f5576101cc565b8062b8cf2a146101d157806306fdde03146101fa578063095ea7b314610225576101cc565b366101cc57005b600080fd5b3480156101dd57600080fd5b506101f860048036038101906101f39190612c97565b6106ce565b005b34801561020657600080fd5b5061020f6107f8565b60405161021c9190612d68565b60405180910390f35b34801561023157600080fd5b5061024c60048036038101906102479190612dc0565b610835565b6040516102599190612e1b565b60405180910390f35b34801561026e57600080fd5b50610277610853565b6040516102849190612e95565b60405180910390f35b34801561029957600080fd5b506102a2610879565b6040516102af9190612ebf565b60405180910390f35b3480156102c457600080fd5b506102df60048036038101906102da9190612eda565b610888565b6040516102ec9190612e1b565b60405180910390f35b34801561030157600080fd5b5061030a610961565b6040516103179190612ebf565b60405180910390f35b34801561032c57600080fd5b50610335610967565b6040516103429190612f49565b60405180910390f35b34801561035757600080fd5b50610360610970565b60405161036d9190612f73565b60405180910390f35b34801561038257600080fd5b5061039d60048036038101906103989190612f8e565b610996565b005b3480156103ab57600080fd5b506103c660048036038101906103c19190612fe7565b610a86565b005b3480156103d457600080fd5b506103dd610b38565b005b3480156103eb57600080fd5b5061040660048036038101906104019190612f8e565b610c09565b6040516104139190612ebf565b60405180910390f35b34801561042857600080fd5b50610431610c5a565b005b34801561043f57600080fd5b50610448610dad565b005b34801561045657600080fd5b5061045f610e60565b60405161046c9190612ebf565b60405180910390f35b34801561048157600080fd5b5061049c60048036038101906104979190612f8e565b610e66565b6040516104a99190612ebf565b60405180910390f35b3480156104be57600080fd5b506104c7610e7e565b6040516104d49190612f73565b60405180910390f35b3480156104e957600080fd5b5061050460048036038101906104ff9190612fe7565b610ea7565b005b34801561051257600080fd5b5061051b610f59565b6040516105289190612ebf565b60405180910390f35b34801561053d57600080fd5b50610546610f5f565b6040516105539190612d68565b60405180910390f35b34801561056857600080fd5b50610583600480360381019061057e9190613014565b610f9c565b005b34801561059157600080fd5b506105ac60048036038101906105a79190613041565b61103b565b005b3480156105ba57600080fd5b506105d560048036038101906105d09190612dc0565b6110f2565b6040516105e29190612e1b565b60405180910390f35b3480156105f757600080fd5b50610612600480360381019061060d9190612f8e565b611110565b60405161061f9190612e1b565b60405180910390f35b34801561063457600080fd5b5061063d611130565b005b34801561064b57600080fd5b5061066660048036038101906106619190613103565b611209565b005b34801561067457600080fd5b5061068f600480360381019061068a9190613163565b611343565b60405161069c9190612ebf565b60405180910390f35b3480156106b157600080fd5b506106cc60048036038101906106c79190612f8e565b6113ca565b005b6106d661158c565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610763576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161075a906131ef565b60405180910390fd5b60005b81518110156107f4576001601060008484815181106107885761078761320f565b5b602002602001015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555080806107ec9061326d565b915050610766565b5050565b60606040518060400160405280600d81526020017f48616c662058414920436f727000000000000000000000000000000000000000815250905090565b600061084961084261158c565b8484611594565b6001905092915050565b601460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600066038d7ea4c68000905090565b600061089584848461175f565b610956846108a161158c565b61095185604051806060016040528060288152602001613cae60289139600460008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600061090761158c565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611fe49092919063ffffffff16565b611594565b600190509392505050565b60185481565b60006009905090565b601560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b61099e61158c565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610a2b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a22906131ef565b60405180910390fd5b6000601060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b610a8e61158c565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610b1b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b12906131ef565b60405180910390fd5b80601560166101000a81548160ff02191690831515021790555050565b601260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16610b7961158c565b73ffffffffffffffffffffffffffffffffffffffff161480610bef5750601360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16610bd761158c565b73ffffffffffffffffffffffffffffffffffffffff16145b610bf857600080fd5b6000479050610c0681612048565b50565b6000610c53600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546120b4565b9050919050565b610c6261158c565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610cef576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ce6906131ef565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b610db561158c565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610e42576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e39906131ef565b60405180910390fd5b66038d7ea4c6800060168190555066038d7ea4c68000601781905550565b60165481565b60116020528060005260406000206000915090505481565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b610eaf61158c565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610f3c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f33906131ef565b60405180910390fd5b80601560146101000a81548160ff02191690831515021790555050565b60175481565b60606040518060400160405280600681526020017f584149302e350000000000000000000000000000000000000000000000000000815250905090565b610fa461158c565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611031576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611028906131ef565b60405180910390fd5b8060188190555050565b61104361158c565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146110d0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110c7906131ef565b60405180910390fd5b8360088190555082600a819055508160098190555080600b8190555050505050565b60006111066110ff61158c565b848461175f565b6001905092915050565b60106020528060005260406000206000915054906101000a900460ff1681565b601260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1661117161158c565b73ffffffffffffffffffffffffffffffffffffffff1614806111e75750601360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166111cf61158c565b73ffffffffffffffffffffffffffffffffffffffff16145b6111f057600080fd5b60006111fb30610c09565b905061120681612122565b50565b61121161158c565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461129e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611295906131ef565b60405180910390fd5b60005b8383905081101561133d5781600560008686858181106112c4576112c361320f565b5b90506020020160208101906112d99190612f8e565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555080806113359061326d565b9150506112a1565b50505050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6113d261158c565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461145f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611456906131ef565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156114cf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114c690613328565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611604576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115fb906133ba565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611674576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161166b9061344c565b60405180910390fd5b80600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516117529190612ebf565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156117cf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117c6906134de565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561183f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161183690613570565b60405180910390fd5b60008111611882576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161187990613602565b60405180910390fd5b61188a610e7e565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141580156118f857506118c8610e7e565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b15611ce357601560149054906101000a900460ff1661198757611919610e7e565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614611986576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161197d90613694565b60405180910390fd5b5b6016548111156119cc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119c390613700565b60405180910390fd5b601060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16158015611a705750601060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b611aaf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611aa690613792565b60405180910390fd5b601560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614611b5c5760175481611b1184610c09565b611b1b91906137b2565b10611b5b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b529061387a565b60405180910390fd5b5b6000611b6730610c09565b9050600060185482101590506016548210611b825760165491505b808015611b9a575060158054906101000a900460ff16155b8015611bf45750601560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff1614155b8015611c0c5750601560169054906101000a900460ff165b8015611c625750600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b8015611cb85750600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b15611ce057611cc682612122565b60004790506000811115611cde57611cdd47612048565b5b505b50505b600060019050600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1680611d8a5750600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b80611e3d5750601560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614158015611e3c5750601560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614155b5b15611e4b5760009050611fd2565b601560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16148015611ef65750601460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614155b15611f0e57600854600c81905550600954600d819055505b601560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16148015611fb95750601460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614155b15611fd157600a54600c81905550600b54600d819055505b5b611fde848484846123a8565b50505050565b600083831115829061202c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016120239190612d68565b60405180910390fd5b506000838561203b919061389a565b9050809150509392505050565b601360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f193505050501580156120b0573d6000803e3d6000fd5b5050565b60006006548211156120fb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016120f290613940565b60405180910390fd5b60006121056123d5565b905061211a818461240090919063ffffffff16565b915050919050565b60016015806101000a81548160ff0219169083151502179055506000600267ffffffffffffffff81111561215957612158612af6565b5b6040519080825280602002602001820160405280156121875781602001602082028036833780820191505090505b509050308160008151811061219f5761219e61320f565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff1681525050601460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b15801561224157600080fd5b505afa158015612255573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906122799190613975565b8160018151811061228d5761228c61320f565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250506122f430601460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684611594565b601460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663791ac9478360008430426040518663ffffffff1660e01b8152600401612358959493929190613a9b565b600060405180830381600087803b15801561237257600080fd5b505af1158015612386573d6000803e3d6000fd5b505050505060006015806101000a81548160ff02191690831515021790555050565b806123b6576123b561244a565b5b6123c184848461248d565b806123cf576123ce612658565b5b50505050565b60008060006123e261266c565b915091506123f9818361240090919063ffffffff16565b9250505090565b600061244283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506126c8565b905092915050565b6000600c5414801561245e57506000600d54145b156124685761248b565b600c54600e81905550600d54600f819055506000600c819055506000600d819055505b565b60008060008060008061249f8761272b565b9550955095509550955095506124fd86600260008c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461279390919063ffffffff16565b600260008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061259285600260008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546127dd90919063ffffffff16565b600260008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506125de8161283b565b6125e884836128f8565b8773ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516126459190612ebf565b60405180910390a3505050505050505050565b600e54600c81905550600f54600d81905550565b60008060006006549050600066038d7ea4c68000905061269e66038d7ea4c6800060065461240090919063ffffffff16565b8210156126bb5760065466038d7ea4c680009350935050506126c4565b81819350935050505b9091565b6000808311829061270f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016127069190612d68565b60405180910390fd5b506000838561271e9190613b24565b9050809150509392505050565b60008060008060008060008060006127488a600c54600d54612932565b92509250925060006127586123d5565b9050600080600061276b8e8787876129c8565b9250925092508282828989899c509c509c509c509c509c505050505050505091939550919395565b60006127d583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611fe4565b905092915050565b60008082846127ec91906137b2565b905083811015612831576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161282890613ba1565b60405180910390fd5b8091505092915050565b60006128456123d5565b9050600061285c8284612a5190919063ffffffff16565b90506128b081600260003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546127dd90919063ffffffff16565b600260003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550505050565b61290d8260065461279390919063ffffffff16565b600681905550612928816007546127dd90919063ffffffff16565b6007819055505050565b60008060008061295e6064612950888a612a5190919063ffffffff16565b61240090919063ffffffff16565b90506000612988606461297a888b612a5190919063ffffffff16565b61240090919063ffffffff16565b905060006129b1826129a3858c61279390919063ffffffff16565b61279390919063ffffffff16565b905080838395509550955050505093509350939050565b6000806000806129e18589612a5190919063ffffffff16565b905060006129f88689612a5190919063ffffffff16565b90506000612a0f8789612a5190919063ffffffff16565b90506000612a3882612a2a858761279390919063ffffffff16565b61279390919063ffffffff16565b9050838184965096509650505050509450945094915050565b600080831415612a645760009050612ac6565b60008284612a729190613bc1565b9050828482612a819190613b24565b14612ac1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612ab890613c8d565b60405180910390fd5b809150505b92915050565b6000604051905090565b600080fd5b600080fd5b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b612b2e82612ae5565b810181811067ffffffffffffffff82111715612b4d57612b4c612af6565b5b80604052505050565b6000612b60612acc565b9050612b6c8282612b25565b919050565b600067ffffffffffffffff821115612b8c57612b8b612af6565b5b602082029050602081019050919050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000612bcd82612ba2565b9050919050565b612bdd81612bc2565b8114612be857600080fd5b50565b600081359050612bfa81612bd4565b92915050565b6000612c13612c0e84612b71565b612b56565b90508083825260208201905060208402830185811115612c3657612c35612b9d565b5b835b81811015612c5f5780612c4b8882612beb565b845260208401935050602081019050612c38565b5050509392505050565b600082601f830112612c7e57612c7d612ae0565b5b8135612c8e848260208601612c00565b91505092915050565b600060208284031215612cad57612cac612ad6565b5b600082013567ffffffffffffffff811115612ccb57612cca612adb565b5b612cd784828501612c69565b91505092915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015612d1a578082015181840152602081019050612cff565b83811115612d29576000848401525b50505050565b6000612d3a82612ce0565b612d448185612ceb565b9350612d54818560208601612cfc565b612d5d81612ae5565b840191505092915050565b60006020820190508181036000830152612d828184612d2f565b905092915050565b6000819050919050565b612d9d81612d8a565b8114612da857600080fd5b50565b600081359050612dba81612d94565b92915050565b60008060408385031215612dd757612dd6612ad6565b5b6000612de585828601612beb565b9250506020612df685828601612dab565b9150509250929050565b60008115159050919050565b612e1581612e00565b82525050565b6000602082019050612e306000830184612e0c565b92915050565b6000819050919050565b6000612e5b612e56612e5184612ba2565b612e36565b612ba2565b9050919050565b6000612e6d82612e40565b9050919050565b6000612e7f82612e62565b9050919050565b612e8f81612e74565b82525050565b6000602082019050612eaa6000830184612e86565b92915050565b612eb981612d8a565b82525050565b6000602082019050612ed46000830184612eb0565b92915050565b600080600060608486031215612ef357612ef2612ad6565b5b6000612f0186828701612beb565b9350506020612f1286828701612beb565b9250506040612f2386828701612dab565b9150509250925092565b600060ff82169050919050565b612f4381612f2d565b82525050565b6000602082019050612f5e6000830184612f3a565b92915050565b612f6d81612bc2565b82525050565b6000602082019050612f886000830184612f64565b92915050565b600060208284031215612fa457612fa3612ad6565b5b6000612fb284828501612beb565b91505092915050565b612fc481612e00565b8114612fcf57600080fd5b50565b600081359050612fe181612fbb565b92915050565b600060208284031215612ffd57612ffc612ad6565b5b600061300b84828501612fd2565b91505092915050565b60006020828403121561302a57613029612ad6565b5b600061303884828501612dab565b91505092915050565b6000806000806080858703121561305b5761305a612ad6565b5b600061306987828801612dab565b945050602061307a87828801612dab565b935050604061308b87828801612dab565b925050606061309c87828801612dab565b91505092959194509250565b600080fd5b60008083601f8401126130c3576130c2612ae0565b5b8235905067ffffffffffffffff8111156130e0576130df6130a8565b5b6020830191508360208202830111156130fc576130fb612b9d565b5b9250929050565b60008060006040848603121561311c5761311b612ad6565b5b600084013567ffffffffffffffff81111561313a57613139612adb565b5b613146868287016130ad565b9350935050602061315986828701612fd2565b9150509250925092565b6000806040838503121561317a57613179612ad6565b5b600061318885828601612beb565b925050602061319985828601612beb565b9150509250929050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b60006131d9602083612ceb565b91506131e4826131a3565b602082019050919050565b60006020820190508181036000830152613208816131cc565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061327882612d8a565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8214156132ab576132aa61323e565b5b600182019050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000613312602683612ceb565b915061331d826132b6565b604082019050919050565b6000602082019050818103600083015261334181613305565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b60006133a4602483612ceb565b91506133af82613348565b604082019050919050565b600060208201905081810360008301526133d381613397565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000613436602283612ceb565b9150613441826133da565b604082019050919050565b6000602082019050818103600083015261346581613429565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b60006134c8602583612ceb565b91506134d38261346c565b604082019050919050565b600060208201905081810360008301526134f7816134bb565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b600061355a602383612ceb565b9150613565826134fe565b604082019050919050565b600060208201905081810360008301526135898161354d565b9050919050565b7f5472616e7366657220616d6f756e74206d75737420626520677265617465722060008201527f7468616e207a65726f0000000000000000000000000000000000000000000000602082015250565b60006135ec602983612ceb565b91506135f782613590565b604082019050919050565b6000602082019050818103600083015261361b816135df565b9050919050565b7f544f4b454e3a2054686973206163636f756e742063616e6e6f742073656e642060008201527f746f6b656e7320756e74696c2074726164696e6720697320656e61626c656400602082015250565b600061367e603f83612ceb565b915061368982613622565b604082019050919050565b600060208201905081810360008301526136ad81613671565b9050919050565b7f544f4b454e3a204d6178205472616e73616374696f6e204c696d697400000000600082015250565b60006136ea601c83612ceb565b91506136f5826136b4565b602082019050919050565b60006020820190508181036000830152613719816136dd565b9050919050565b7f544f4b454e3a20596f7572206163636f756e7420697320626c61636b6c69737460008201527f6564210000000000000000000000000000000000000000000000000000000000602082015250565b600061377c602383612ceb565b915061378782613720565b604082019050919050565b600060208201905081810360008301526137ab8161376f565b9050919050565b60006137bd82612d8a565b91506137c883612d8a565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156137fd576137fc61323e565b5b828201905092915050565b7f544f4b454e3a2042616c616e636520657863656564732077616c6c657420736960008201527f7a65210000000000000000000000000000000000000000000000000000000000602082015250565b6000613864602383612ceb565b915061386f82613808565b604082019050919050565b6000602082019050818103600083015261389381613857565b9050919050565b60006138a582612d8a565b91506138b083612d8a565b9250828210156138c3576138c261323e565b5b828203905092915050565b7f416d6f756e74206d757374206265206c657373207468616e20746f74616c207260008201527f65666c656374696f6e7300000000000000000000000000000000000000000000602082015250565b600061392a602a83612ceb565b9150613935826138ce565b604082019050919050565b600060208201905081810360008301526139598161391d565b9050919050565b60008151905061396f81612bd4565b92915050565b60006020828403121561398b5761398a612ad6565b5b600061399984828501613960565b91505092915050565b6000819050919050565b60006139c76139c26139bd846139a2565b612e36565b612d8a565b9050919050565b6139d7816139ac565b82525050565b600081519050919050565b600082825260208201905092915050565b6000819050602082019050919050565b613a1281612bc2565b82525050565b6000613a248383613a09565b60208301905092915050565b6000602082019050919050565b6000613a48826139dd565b613a5281856139e8565b9350613a5d836139f9565b8060005b83811015613a8e578151613a758882613a18565b9750613a8083613a30565b925050600181019050613a61565b5085935050505092915050565b600060a082019050613ab06000830188612eb0565b613abd60208301876139ce565b8181036040830152613acf8186613a3d565b9050613ade6060830185612f64565b613aeb6080830184612eb0565b9695505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000613b2f82612d8a565b9150613b3a83612d8a565b925082613b4a57613b49613af5565b5b828204905092915050565b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000600082015250565b6000613b8b601b83612ceb565b9150613b9682613b55565b602082019050919050565b60006020820190508181036000830152613bba81613b7e565b9050919050565b6000613bcc82612d8a565b9150613bd783612d8a565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615613c1057613c0f61323e565b5b828202905092915050565b7f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f60008201527f7700000000000000000000000000000000000000000000000000000000000000602082015250565b6000613c77602183612ceb565b9150613c8282613c1b565b604082019050919050565b60006020820190508181036000830152613ca681613c6a565b905091905056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122068e3fcc227ac523b259cb55d800c4b67ed94695e16a048b7caf379fd5278ad7564736f6c63430008090033

0x6080604052600436106101c55760003560e01c8063751039fc116100f757806398a5c31511610095578063c3c8cd8011610064578063c3c8cd8014610628578063c492f0461461063f578063dd62ed3e14610668578063f2fde38b146106a5576101cc565b806398a5c3151461055c578063a2a957bb14610585578063a9059cbb146105ae578063bfd79284146105eb576101cc565b80638da5cb5b116100d15780638da5cb5b146104b25780638f70ccf7146104dd5780638f9a55c01461050657806395d89b4114610531576101cc565b8063751039fc146104335780637d1db4a51461044a5780637f2feddc14610475576101cc565b8063313ce567116101645780636d8aa8f81161013e5780636d8aa8f81461039f5780636fc3eaec146103c857806370a08231146103df578063715018a61461041c576101cc565b8063313ce5671461032057806349bd5a5e1461034b5780636b99905314610376576101cc565b80631694505e116101a05780631694505e1461026257806318160ddd1461028d57806323b872dd146102b85780632fd689e3146102f5576101cc565b8062b8cf2a146101d157806306fdde03146101fa578063095ea7b314610225576101cc565b366101cc57005b600080fd5b3480156101dd57600080fd5b506101f860048036038101906101f39190612c97565b6106ce565b005b34801561020657600080fd5b5061020f6107f8565b60405161021c9190612d68565b60405180910390f35b34801561023157600080fd5b5061024c60048036038101906102479190612dc0565b610835565b6040516102599190612e1b565b60405180910390f35b34801561026e57600080fd5b50610277610853565b6040516102849190612e95565b60405180910390f35b34801561029957600080fd5b506102a2610879565b6040516102af9190612ebf565b60405180910390f35b3480156102c457600080fd5b506102df60048036038101906102da9190612eda565b610888565b6040516102ec9190612e1b565b60405180910390f35b34801561030157600080fd5b5061030a610961565b6040516103179190612ebf565b60405180910390f35b34801561032c57600080fd5b50610335610967565b6040516103429190612f49565b60405180910390f35b34801561035757600080fd5b50610360610970565b60405161036d9190612f73565b60405180910390f35b34801561038257600080fd5b5061039d60048036038101906103989190612f8e565b610996565b005b3480156103ab57600080fd5b506103c660048036038101906103c19190612fe7565b610a86565b005b3480156103d457600080fd5b506103dd610b38565b005b3480156103eb57600080fd5b5061040660048036038101906104019190612f8e565b610c09565b6040516104139190612ebf565b60405180910390f35b34801561042857600080fd5b50610431610c5a565b005b34801561043f57600080fd5b50610448610dad565b005b34801561045657600080fd5b5061045f610e60565b60405161046c9190612ebf565b60405180910390f35b34801561048157600080fd5b5061049c60048036038101906104979190612f8e565b610e66565b6040516104a99190612ebf565b60405180910390f35b3480156104be57600080fd5b506104c7610e7e565b6040516104d49190612f73565b60405180910390f35b3480156104e957600080fd5b5061050460048036038101906104ff9190612fe7565b610ea7565b005b34801561051257600080fd5b5061051b610f59565b6040516105289190612ebf565b60405180910390f35b34801561053d57600080fd5b50610546610f5f565b6040516105539190612d68565b60405180910390f35b34801561056857600080fd5b50610583600480360381019061057e9190613014565b610f9c565b005b34801561059157600080fd5b506105ac60048036038101906105a79190613041565b61103b565b005b3480156105ba57600080fd5b506105d560048036038101906105d09190612dc0565b6110f2565b6040516105e29190612e1b565b60405180910390f35b3480156105f757600080fd5b50610612600480360381019061060d9190612f8e565b611110565b60405161061f9190612e1b565b60405180910390f35b34801561063457600080fd5b5061063d611130565b005b34801561064b57600080fd5b5061066660048036038101906106619190613103565b611209565b005b34801561067457600080fd5b5061068f600480360381019061068a9190613163565b611343565b60405161069c9190612ebf565b60405180910390f35b3480156106b157600080fd5b506106cc60048036038101906106c79190612f8e565b6113ca565b005b6106d661158c565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610763576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161075a906131ef565b60405180910390fd5b60005b81518110156107f4576001601060008484815181106107885761078761320f565b5b602002602001015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555080806107ec9061326d565b915050610766565b5050565b60606040518060400160405280600d81526020017f48616c662058414920436f727000000000000000000000000000000000000000815250905090565b600061084961084261158c565b8484611594565b6001905092915050565b601460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600066038d7ea4c68000905090565b600061089584848461175f565b610956846108a161158c565b61095185604051806060016040528060288152602001613cae60289139600460008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600061090761158c565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611fe49092919063ffffffff16565b611594565b600190509392505050565b60185481565b60006009905090565b601560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b61099e61158c565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610a2b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a22906131ef565b60405180910390fd5b6000601060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b610a8e61158c565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610b1b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b12906131ef565b60405180910390fd5b80601560166101000a81548160ff02191690831515021790555050565b601260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16610b7961158c565b73ffffffffffffffffffffffffffffffffffffffff161480610bef5750601360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16610bd761158c565b73ffffffffffffffffffffffffffffffffffffffff16145b610bf857600080fd5b6000479050610c0681612048565b50565b6000610c53600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546120b4565b9050919050565b610c6261158c565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610cef576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ce6906131ef565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b610db561158c565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610e42576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e39906131ef565b60405180910390fd5b66038d7ea4c6800060168190555066038d7ea4c68000601781905550565b60165481565b60116020528060005260406000206000915090505481565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b610eaf61158c565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610f3c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f33906131ef565b60405180910390fd5b80601560146101000a81548160ff02191690831515021790555050565b60175481565b60606040518060400160405280600681526020017f584149302e350000000000000000000000000000000000000000000000000000815250905090565b610fa461158c565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611031576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611028906131ef565b60405180910390fd5b8060188190555050565b61104361158c565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146110d0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110c7906131ef565b60405180910390fd5b8360088190555082600a819055508160098190555080600b8190555050505050565b60006111066110ff61158c565b848461175f565b6001905092915050565b60106020528060005260406000206000915054906101000a900460ff1681565b601260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1661117161158c565b73ffffffffffffffffffffffffffffffffffffffff1614806111e75750601360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166111cf61158c565b73ffffffffffffffffffffffffffffffffffffffff16145b6111f057600080fd5b60006111fb30610c09565b905061120681612122565b50565b61121161158c565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461129e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611295906131ef565b60405180910390fd5b60005b8383905081101561133d5781600560008686858181106112c4576112c361320f565b5b90506020020160208101906112d99190612f8e565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555080806113359061326d565b9150506112a1565b50505050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6113d261158c565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461145f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611456906131ef565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156114cf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114c690613328565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611604576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115fb906133ba565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611674576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161166b9061344c565b60405180910390fd5b80600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516117529190612ebf565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156117cf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117c6906134de565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561183f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161183690613570565b60405180910390fd5b60008111611882576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161187990613602565b60405180910390fd5b61188a610e7e565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141580156118f857506118c8610e7e565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b15611ce357601560149054906101000a900460ff1661198757611919610e7e565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614611986576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161197d90613694565b60405180910390fd5b5b6016548111156119cc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119c390613700565b60405180910390fd5b601060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16158015611a705750601060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b611aaf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611aa690613792565b60405180910390fd5b601560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614611b5c5760175481611b1184610c09565b611b1b91906137b2565b10611b5b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b529061387a565b60405180910390fd5b5b6000611b6730610c09565b9050600060185482101590506016548210611b825760165491505b808015611b9a575060158054906101000a900460ff16155b8015611bf45750601560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff1614155b8015611c0c5750601560169054906101000a900460ff165b8015611c625750600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b8015611cb85750600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b15611ce057611cc682612122565b60004790506000811115611cde57611cdd47612048565b5b505b50505b600060019050600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1680611d8a5750600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b80611e3d5750601560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614158015611e3c5750601560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614155b5b15611e4b5760009050611fd2565b601560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16148015611ef65750601460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614155b15611f0e57600854600c81905550600954600d819055505b601560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16148015611fb95750601460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614155b15611fd157600a54600c81905550600b54600d819055505b5b611fde848484846123a8565b50505050565b600083831115829061202c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016120239190612d68565b60405180910390fd5b506000838561203b919061389a565b9050809150509392505050565b601360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f193505050501580156120b0573d6000803e3d6000fd5b5050565b60006006548211156120fb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016120f290613940565b60405180910390fd5b60006121056123d5565b905061211a818461240090919063ffffffff16565b915050919050565b60016015806101000a81548160ff0219169083151502179055506000600267ffffffffffffffff81111561215957612158612af6565b5b6040519080825280602002602001820160405280156121875781602001602082028036833780820191505090505b509050308160008151811061219f5761219e61320f565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff1681525050601460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b15801561224157600080fd5b505afa158015612255573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906122799190613975565b8160018151811061228d5761228c61320f565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250506122f430601460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684611594565b601460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663791ac9478360008430426040518663ffffffff1660e01b8152600401612358959493929190613a9b565b600060405180830381600087803b15801561237257600080fd5b505af1158015612386573d6000803e3d6000fd5b505050505060006015806101000a81548160ff02191690831515021790555050565b806123b6576123b561244a565b5b6123c184848461248d565b806123cf576123ce612658565b5b50505050565b60008060006123e261266c565b915091506123f9818361240090919063ffffffff16565b9250505090565b600061244283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506126c8565b905092915050565b6000600c5414801561245e57506000600d54145b156124685761248b565b600c54600e81905550600d54600f819055506000600c819055506000600d819055505b565b60008060008060008061249f8761272b565b9550955095509550955095506124fd86600260008c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461279390919063ffffffff16565b600260008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061259285600260008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546127dd90919063ffffffff16565b600260008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506125de8161283b565b6125e884836128f8565b8773ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516126459190612ebf565b60405180910390a3505050505050505050565b600e54600c81905550600f54600d81905550565b60008060006006549050600066038d7ea4c68000905061269e66038d7ea4c6800060065461240090919063ffffffff16565b8210156126bb5760065466038d7ea4c680009350935050506126c4565b81819350935050505b9091565b6000808311829061270f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016127069190612d68565b60405180910390fd5b506000838561271e9190613b24565b9050809150509392505050565b60008060008060008060008060006127488a600c54600d54612932565b92509250925060006127586123d5565b9050600080600061276b8e8787876129c8565b9250925092508282828989899c509c509c509c509c509c505050505050505091939550919395565b60006127d583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611fe4565b905092915050565b60008082846127ec91906137b2565b905083811015612831576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161282890613ba1565b60405180910390fd5b8091505092915050565b60006128456123d5565b9050600061285c8284612a5190919063ffffffff16565b90506128b081600260003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546127dd90919063ffffffff16565b600260003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550505050565b61290d8260065461279390919063ffffffff16565b600681905550612928816007546127dd90919063ffffffff16565b6007819055505050565b60008060008061295e6064612950888a612a5190919063ffffffff16565b61240090919063ffffffff16565b90506000612988606461297a888b612a5190919063ffffffff16565b61240090919063ffffffff16565b905060006129b1826129a3858c61279390919063ffffffff16565b61279390919063ffffffff16565b905080838395509550955050505093509350939050565b6000806000806129e18589612a5190919063ffffffff16565b905060006129f88689612a5190919063ffffffff16565b90506000612a0f8789612a5190919063ffffffff16565b90506000612a3882612a2a858761279390919063ffffffff16565b61279390919063ffffffff16565b9050838184965096509650505050509450945094915050565b600080831415612a645760009050612ac6565b60008284612a729190613bc1565b9050828482612a819190613b24565b14612ac1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612ab890613c8d565b60405180910390fd5b809150505b92915050565b6000604051905090565b600080fd5b600080fd5b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b612b2e82612ae5565b810181811067ffffffffffffffff82111715612b4d57612b4c612af6565b5b80604052505050565b6000612b60612acc565b9050612b6c8282612b25565b919050565b600067ffffffffffffffff821115612b8c57612b8b612af6565b5b602082029050602081019050919050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000612bcd82612ba2565b9050919050565b612bdd81612bc2565b8114612be857600080fd5b50565b600081359050612bfa81612bd4565b92915050565b6000612c13612c0e84612b71565b612b56565b90508083825260208201905060208402830185811115612c3657612c35612b9d565b5b835b81811015612c5f5780612c4b8882612beb565b845260208401935050602081019050612c38565b5050509392505050565b600082601f830112612c7e57612c7d612ae0565b5b8135612c8e848260208601612c00565b91505092915050565b600060208284031215612cad57612cac612ad6565b5b600082013567ffffffffffffffff811115612ccb57612cca612adb565b5b612cd784828501612c69565b91505092915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015612d1a578082015181840152602081019050612cff565b83811115612d29576000848401525b50505050565b6000612d3a82612ce0565b612d448185612ceb565b9350612d54818560208601612cfc565b612d5d81612ae5565b840191505092915050565b60006020820190508181036000830152612d828184612d2f565b905092915050565b6000819050919050565b612d9d81612d8a565b8114612da857600080fd5b50565b600081359050612dba81612d94565b92915050565b60008060408385031215612dd757612dd6612ad6565b5b6000612de585828601612beb565b9250506020612df685828601612dab565b9150509250929050565b60008115159050919050565b612e1581612e00565b82525050565b6000602082019050612e306000830184612e0c565b92915050565b6000819050919050565b6000612e5b612e56612e5184612ba2565b612e36565b612ba2565b9050919050565b6000612e6d82612e40565b9050919050565b6000612e7f82612e62565b9050919050565b612e8f81612e74565b82525050565b6000602082019050612eaa6000830184612e86565b92915050565b612eb981612d8a565b82525050565b6000602082019050612ed46000830184612eb0565b92915050565b600080600060608486031215612ef357612ef2612ad6565b5b6000612f0186828701612beb565b9350506020612f1286828701612beb565b9250506040612f2386828701612dab565b9150509250925092565b600060ff82169050919050565b612f4381612f2d565b82525050565b6000602082019050612f5e6000830184612f3a565b92915050565b612f6d81612bc2565b82525050565b6000602082019050612f886000830184612f64565b92915050565b600060208284031215612fa457612fa3612ad6565b5b6000612fb284828501612beb565b91505092915050565b612fc481612e00565b8114612fcf57600080fd5b50565b600081359050612fe181612fbb565b92915050565b600060208284031215612ffd57612ffc612ad6565b5b600061300b84828501612fd2565b91505092915050565b60006020828403121561302a57613029612ad6565b5b600061303884828501612dab565b91505092915050565b6000806000806080858703121561305b5761305a612ad6565b5b600061306987828801612dab565b945050602061307a87828801612dab565b935050604061308b87828801612dab565b925050606061309c87828801612dab565b91505092959194509250565b600080fd5b60008083601f8401126130c3576130c2612ae0565b5b8235905067ffffffffffffffff8111156130e0576130df6130a8565b5b6020830191508360208202830111156130fc576130fb612b9d565b5b9250929050565b60008060006040848603121561311c5761311b612ad6565b5b600084013567ffffffffffffffff81111561313a57613139612adb565b5b613146868287016130ad565b9350935050602061315986828701612fd2565b9150509250925092565b6000806040838503121561317a57613179612ad6565b5b600061318885828601612beb565b925050602061319985828601612beb565b9150509250929050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b60006131d9602083612ceb565b91506131e4826131a3565b602082019050919050565b60006020820190508181036000830152613208816131cc565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061327882612d8a565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8214156132ab576132aa61323e565b5b600182019050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000613312602683612ceb565b915061331d826132b6565b604082019050919050565b6000602082019050818103600083015261334181613305565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b60006133a4602483612ceb565b91506133af82613348565b604082019050919050565b600060208201905081810360008301526133d381613397565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000613436602283612ceb565b9150613441826133da565b604082019050919050565b6000602082019050818103600083015261346581613429565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b60006134c8602583612ceb565b91506134d38261346c565b604082019050919050565b600060208201905081810360008301526134f7816134bb565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b600061355a602383612ceb565b9150613565826134fe565b604082019050919050565b600060208201905081810360008301526135898161354d565b9050919050565b7f5472616e7366657220616d6f756e74206d75737420626520677265617465722060008201527f7468616e207a65726f0000000000000000000000000000000000000000000000602082015250565b60006135ec602983612ceb565b91506135f782613590565b604082019050919050565b6000602082019050818103600083015261361b816135df565b9050919050565b7f544f4b454e3a2054686973206163636f756e742063616e6e6f742073656e642060008201527f746f6b656e7320756e74696c2074726164696e6720697320656e61626c656400602082015250565b600061367e603f83612ceb565b915061368982613622565b604082019050919050565b600060208201905081810360008301526136ad81613671565b9050919050565b7f544f4b454e3a204d6178205472616e73616374696f6e204c696d697400000000600082015250565b60006136ea601c83612ceb565b91506136f5826136b4565b602082019050919050565b60006020820190508181036000830152613719816136dd565b9050919050565b7f544f4b454e3a20596f7572206163636f756e7420697320626c61636b6c69737460008201527f6564210000000000000000000000000000000000000000000000000000000000602082015250565b600061377c602383612ceb565b915061378782613720565b604082019050919050565b600060208201905081810360008301526137ab8161376f565b9050919050565b60006137bd82612d8a565b91506137c883612d8a565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156137fd576137fc61323e565b5b828201905092915050565b7f544f4b454e3a2042616c616e636520657863656564732077616c6c657420736960008201527f7a65210000000000000000000000000000000000000000000000000000000000602082015250565b6000613864602383612ceb565b915061386f82613808565b604082019050919050565b6000602082019050818103600083015261389381613857565b9050919050565b60006138a582612d8a565b91506138b083612d8a565b9250828210156138c3576138c261323e565b5b828203905092915050565b7f416d6f756e74206d757374206265206c657373207468616e20746f74616c207260008201527f65666c656374696f6e7300000000000000000000000000000000000000000000602082015250565b600061392a602a83612ceb565b9150613935826138ce565b604082019050919050565b600060208201905081810360008301526139598161391d565b9050919050565b60008151905061396f81612bd4565b92915050565b60006020828403121561398b5761398a612ad6565b5b600061399984828501613960565b91505092915050565b6000819050919050565b60006139c76139c26139bd846139a2565b612e36565b612d8a565b9050919050565b6139d7816139ac565b82525050565b600081519050919050565b600082825260208201905092915050565b6000819050602082019050919050565b613a1281612bc2565b82525050565b6000613a248383613a09565b60208301905092915050565b6000602082019050919050565b6000613a48826139dd565b613a5281856139e8565b9350613a5d836139f9565b8060005b83811015613a8e578151613a758882613a18565b9750613a8083613a30565b925050600181019050613a61565b5085935050505092915050565b600060a082019050613ab06000830188612eb0565b613abd60208301876139ce565b8181036040830152613acf8186613a3d565b9050613ade6060830185612f64565b613aeb6080830184612eb0565b9695505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000613b2f82612d8a565b9150613b3a83612d8a565b925082613b4a57613b49613af5565b5b828204905092915050565b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000600082015250565b6000613b8b601b83612ceb565b9150613b9682613b55565b602082019050919050565b60006020820190508181036000830152613bba81613b7e565b9050919050565b6000613bcc82612d8a565b9150613bd783612d8a565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615613c1057613c0f61323e565b5b828202905092915050565b7f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f60008201527f7700000000000000000000000000000000000000000000000000000000000000602082015250565b6000613c77602183612ceb565b9150613c8282613c1b565b604082019050919050565b60006020820190508181036000830152613ca681613c6a565b905091905056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122068e3fcc227ac523b259cb55d800c4b67ed94695e16a048b7caf379fd5278ad7564736f6c63430008090033

4076:13401:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12790:169;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;6618:83;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7543:193;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5426:41;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6895:95;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7744:446;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5766:50;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6804:83;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5474:28;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12967:92;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;17127:101;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;12547:235;;;;;;;;;;;;;:::i;:::-;;6998:138;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1563:148;;;;;;;;;;;;;:::i;:::-;;13068:119;;;;;;;;;;;;;:::i;:::-;;5664:43;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5168;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1349:79;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12194:101;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5714:45;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6709:87;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;16936:139;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;16593:291;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;7144:199;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5130:36;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12303:236;;;;;;;;;;;;;:::i;:::-;;17238:234;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;7351:184;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1719:244;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;12790:169;1486:12;:10;:12::i;:::-;1476:22;;:6;;;;;;;;;;:22;;;1468:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;12866:9:::1;12861:91;12885:5;:12;12881:1;:16;12861:91;;;12936:4;12919;:14;12924:5;12930:1;12924:8;;;;;;;;:::i;:::-;;;;;;;;12919:14;;;;;;;;;;;;;;;;:21;;;;;;;;;;;;;;;;;;12899:3;;;;;:::i;:::-;;;;12861:91;;;;12790:169:::0;:::o;6618:83::-;6655:13;6688:5;;;;;;;;;;;;;;;;;6681:12;;6618:83;:::o;7543:193::-;7645:4;7667:39;7676:12;:10;:12::i;:::-;7690:7;7699:6;7667:8;:39::i;:::-;7724:4;7717:11;;7543:193;;;;:::o;5426:41::-;;;;;;;;;;;;;:::o;6895:95::-;6948:7;4633:15;6968:14;;6895:95;:::o;7744:446::-;7876:4;7893:36;7903:6;7911:9;7922:6;7893:9;:36::i;:::-;7940:220;7963:6;7984:12;:10;:12::i;:::-;8011:138;8067:6;8011:138;;;;;;;;;;;;;;;;;:11;:19;8023:6;8011:19;;;;;;;;;;;;;;;:33;8031:12;:10;:12::i;:::-;8011:33;;;;;;;;;;;;;;;;:37;;:138;;;;;:::i;:::-;7940:8;:220::i;:::-;8178:4;8171:11;;7744:446;;;;;:::o;5766:50::-;;;;:::o;6804:83::-;6845:5;4307:1;6863:16;;6804:83;:::o;5474:28::-;;;;;;;;;;;;;:::o;12967:92::-;1486:12;:10;:12::i;:::-;1476:22;;:6;;;;;;;;;;:22;;;1468:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;13046:5:::1;13031:4;:12;13036:6;13031:12;;;;;;;;;;;;;;;;:20;;;;;;;;;;;;;;;;;;12967:92:::0;:::o;17127:101::-;1486:12;:10;:12::i;:::-;1476:22;;:6;;;;;;;;;;:22;;;1468:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;17208:12:::1;17194:11;;:26;;;;;;;;;;;;;;;;;;17127:101:::0;:::o;12547:235::-;12613:19;;;;;;;;;;;12597:35;;:12;:10;:12::i;:::-;:35;;;:72;;;;12652:17;;;;;;;;;;;12636:33;;:12;:10;:12::i;:::-;:33;;;12597:72;12589:81;;;;;;12681:26;12710:21;12681:50;;12742:32;12755:18;12742:12;:32::i;:::-;12578:204;12547:235::o;6998:138::-;7064:7;7091:37;7111:7;:16;7119:7;7111:16;;;;;;;;;;;;;;;;7091:19;:37::i;:::-;7084:44;;6998:138;;;:::o;1563:148::-;1486:12;:10;:12::i;:::-;1476:22;;:6;;;;;;;;;;:22;;;1468:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;1670:1:::1;1633:40;;1654:6;::::0;::::1;;;;;;;;1633:40;;;;;;;;;;;;1701:1;1684:6:::0;::::1;:19;;;;;;;;;;;;;;;;;;1563:148::o:0;13068:119::-;1486:12;:10;:12::i;:::-;1476:22;;:6;;;;;;;;;;:22;;;1468:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;4633:15:::1;13122:12;:22;;;;4633:15;13155:14;:24;;;;13068:119::o:0;5664:43::-;;;;:::o;5168:::-;;;;;;;;;;;;;;;;;:::o;1349:79::-;1387:7;1414:6;;;;;;;;;;;1407:13;;1349:79;:::o;12194:101::-;1486:12;:10;:12::i;:::-;1476:22;;:6;;;;;;;;;;:22;;;1468:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;12275:12:::1;12261:11;;:26;;;;;;;;;;;;;;;;;;12194:101:::0;:::o;5714:45::-;;;;:::o;6709:87::-;6748:13;6781:7;;;;;;;;;;;;;;;;;6774:14;;6709:87;:::o;16936:139::-;1486:12;:10;:12::i;:::-;1476:22;;:6;;;;;;;;;;:22;;;1468:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;17049:18:::1;17027:19;:40;;;;16936:139:::0;:::o;16593:291::-;1486:12;:10;:12::i;:::-;1476:22;;:6;;;;;;;;;;:22;;;1468:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;16744:13:::1;16727:14;:30;;;;16786:14;16768:15;:32;;;;16826:11;16811:12;:26;;;;16864:12;16848:13;:28;;;;16593:291:::0;;;;:::o;7144:199::-;7249:4;7271:42;7281:12;:10;:12::i;:::-;7295:9;7306:6;7271:9;:42::i;:::-;7331:4;7324:11;;7144:199;;;;:::o;5130:36::-;;;;;;;;;;;;;;;;;;;;;;:::o;12303:236::-;12369:19;;;;;;;;;;;12353:35;;:12;:10;:12::i;:::-;:35;;;:72;;;;12408:17;;;;;;;;;;;12392:33;;:12;:10;:12::i;:::-;:33;;;12353:72;12345:81;;;;;;12437:23;12463:24;12481:4;12463:9;:24::i;:::-;12437:50;;12498:33;12515:15;12498:16;:33::i;:::-;12334:205;12303:236::o;17238:234::-;1486:12;:10;:12::i;:::-;1476:22;;:6;;;;;;;;;;:22;;;1468:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;17355:9:::1;17351:114;17374:8;;:15;;17370:1;:19;17351:114;;;17445:8;17411:18;:31;17430:8;;17439:1;17430:11;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;17411:31;;;;;;;;;;;;;;;;:42;;;;;;;;;;;;;;;;;;17391:3;;;;;:::i;:::-;;;;17351:114;;;;17238:234:::0;;;:::o;7351:184::-;7468:7;7500:11;:18;7512:5;7500:18;;;;;;;;;;;;;;;:27;7519:7;7500:27;;;;;;;;;;;;;;;;7493:34;;7351:184;;;;:::o;1719:244::-;1486:12;:10;:12::i;:::-;1476:22;;:6;;;;;;;;;;:22;;;1468:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;1828:1:::1;1808:22;;:8;:22;;;;1800:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;1918:8;1889:38;;1910:6;::::0;::::1;;;;;;;;1889:38;;;;;;;;;;;;1947:8;1938:6;::::0;:17:::1;;;;;;;;;;;;;;;;;;1719:244:::0;:::o;108:98::-;161:7;188:10;181:17;;108:98;:::o;8881:369::-;9025:1;9008:19;;:5;:19;;;;9000:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;9106:1;9087:21;;:7;:21;;;;9079:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;9188:6;9158:11;:18;9170:5;9158:18;;;;;;;;;;;;;;;:27;9177:7;9158:27;;;;;;;;;;;;;;;:36;;;;9226:7;9210:32;;9219:5;9210:32;;;9235:6;9210:32;;;;;;:::i;:::-;;;;;;;;8881:369;;;:::o;9258:2330::-;9396:1;9380:18;;:4;:18;;;;9372:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;9473:1;9459:16;;:2;:16;;;;9451:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;9543:1;9534:6;:10;9526:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;9615:7;:5;:7::i;:::-;9607:15;;:4;:15;;;;:32;;;;;9632:7;:5;:7::i;:::-;9626:13;;:2;:13;;;;9607:32;9603:1259;;;9696:11;;;;;;;;;;;9691:144;;9744:7;:5;:7::i;:::-;9736:15;;:4;:15;;;9728:91;;;;;;;;;;;;:::i;:::-;;;;;;;;;9691:144;9869:12;;9859:6;:22;;9851:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;9938:4;:10;9943:4;9938:10;;;;;;;;;;;;;;;;;;;;;;;;;9937:11;:24;;;;;9953:4;:8;9958:2;9953:8;;;;;;;;;;;;;;;;;;;;;;;;;9952:9;9937:24;9929:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;10027:13;;;;;;;;;;;10021:19;;:2;:19;;;10018:146;;10094:14;;10085:6;10069:13;10079:2;10069:9;:13::i;:::-;:22;;;;:::i;:::-;:39;10061:87;;;;;;;;;;;;:::i;:::-;;;;;;;;;10018:146;10180:28;10211:24;10229:4;10211:9;:24::i;:::-;10180:55;;10250:12;10289:19;;10265:20;:43;;10250:58;;10352:12;;10328:20;:36;10325:124;;10421:12;;10398:35;;10325:124;10469:7;:18;;;;;10481:6;;;;;;;;;;10480:7;10469:18;:43;;;;;10499:13;;;;;;;;;;;10491:21;;:4;:21;;;;10469:43;:58;;;;;10516:11;;;;;;;;;;;10469:58;:87;;;;;10532:18;:24;10551:4;10532:24;;;;;;;;;;;;;;;;;;;;;;;;;10531:25;10469:87;:114;;;;;10561:18;:22;10580:2;10561:22;;;;;;;;;;;;;;;;;;;;;;;;;10560:23;10469:114;10465:386;;;10604:38;10621:20;10604:16;:38::i;:::-;10661:26;10690:21;10661:50;;10755:1;10734:18;:22;10730:106;;;10781:35;10794:21;10781:12;:35::i;:::-;10730:106;10585:266;10465:386;9641:1221;;9603:1259;10874:12;10889:4;10874:19;;10938:18;:24;10957:4;10938:24;;;;;;;;;;;;;;;;;;;;;;;;;:50;;;;10966:18;:22;10985:2;10966:22;;;;;;;;;;;;;;;;;;;;;;;;;10938:50;10937:102;;;;11002:13;;;;;;;;;;;10994:21;;:4;:21;;;;:44;;;;;11025:13;;;;;;;;;;;11019:19;;:2;:19;;;;10994:44;10937:102;10933:594;;;11066:5;11056:15;;10933:594;;;11149:13;;;;;;;;;;;11141:21;;:4;:21;;;:55;;;;;11180:15;;;;;;;;;;;11166:30;;:2;:30;;;;11141:55;11138:162;;;11229:14;;11217:9;:26;;;;11272:12;;11262:7;:22;;;;11138:162;11359:13;;;;;;;;;;;11353:19;;:2;:19;;;:55;;;;;11392:15;;;;;;;;;;;11376:32;;:4;:32;;;;11353:55;11349:165;;;11441:15;;11429:9;:27;;;;11485:13;;11475:7;:23;;;;11349:165;10933:594;11539:41;11554:4;11560:2;11564:6;11572:7;11539:14;:41::i;:::-;9361:2227;9258:2330;;;:::o;2327:224::-;2447:7;2480:1;2475;:6;;2483:12;2467:29;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;2507:9;2523:1;2519;:5;;;;:::i;:::-;2507:17;;2542:1;2535:8;;;2327:224;;;;;:::o;12087:99::-;12144:17;;;;;;;;;;;:26;;:34;12171:6;12144:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12087:99;:::o;8198:323::-;8293:7;8351;;8340;:18;;8318:110;;;;;;;;;;;;:::i;:::-;;;;;;;;;8439:19;8461:10;:8;:10::i;:::-;8439:32;;8489:24;8501:11;8489:7;:11;;:24;;;;:::i;:::-;8482:31;;;8198:323;;;:::o;11596:483::-;5919:4;5910:6;;:13;;;;;;;;;;;;;;;;;;11674:21:::1;11712:1;11698:16;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11674:40;;11743:4;11725;11730:1;11725:7;;;;;;;;:::i;:::-;;;;;;;:23;;;;;;;;;::::0;::::1;11769:15;;;;;;;;;;;:20;;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11759:4;11764:1;11759:7;;;;;;;;:::i;:::-;;;;;;;:32;;;;;;;;;::::0;::::1;11802:62;11819:4;11834:15;;;;;;;;;;;11852:11;11802:8;:62::i;:::-;11875:15;;;;;;;;;;;:66;;;11956:11;11982:1;11998:4;12025;12045:15;11875:196;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;11663:416;5955:5:::0;5946:6;;:14;;;;;;;;;;;;;;;;;;11596:483;:::o;13195:282::-;13351:7;13346:28;;13360:14;:12;:14::i;:::-;13346:28;13385:44;13403:6;13411:9;13422:6;13385:17;:44::i;:::-;13445:7;13440:29;;13454:15;:13;:15::i;:::-;13440:29;13195:282;;;;:::o;16156:164::-;16198:7;16219:15;16236;16255:19;:17;:19::i;:::-;16218:56;;;;16292:20;16304:7;16292;:11;;:20;;;;:::i;:::-;16285:27;;;;16156:164;:::o;2813:132::-;2871:7;2898:39;2902:1;2905;2898:39;;;;;;;;;;;;;;;;;:3;:39::i;:::-;2891:46;;2813:132;;;;:::o;8529:219::-;8589:1;8576:9;;:14;:30;;;;;8605:1;8594:7;;:12;8576:30;8572:43;;;8608:7;;8572:43;8647:9;;8627:17;:29;;;;8685:7;;8667:15;:25;;;;8717:1;8705:9;:13;;;;8739:1;8729:7;:11;;;;8529:219;:::o;13485:610::-;13632:15;13662:23;13700:12;13727:23;13765:12;13792:13;13819:19;13830:7;13819:10;:19::i;:::-;13617:221;;;;;;;;;;;;13867:28;13887:7;13867;:15;13875:6;13867:15;;;;;;;;;;;;;;;;:19;;:28;;;;:::i;:::-;13849:7;:15;13857:6;13849:15;;;;;;;;;;;;;;;:46;;;;13927:39;13950:15;13927:7;:18;13935:9;13927:18;;;;;;;;;;;;;;;;:22;;:39;;;;:::i;:::-;13906:7;:18;13914:9;13906:18;;;;;;;;;;;;;;;:60;;;;13977:16;13987:5;13977:9;:16::i;:::-;14004:23;14016:4;14022;14004:11;:23::i;:::-;14060:9;14043:44;;14052:6;14043:44;;;14071:15;14043:44;;;;;;:::i;:::-;;;;;;;;13606:489;;;;;;13485:610;;;:::o;8756:117::-;8812:17;;8800:9;:29;;;;8850:15;;8840:7;:25;;;;8756:117::o;16328:257::-;16379:7;16388;16408:15;16426:7;;16408:25;;16444:15;4633;16444:25;;16494:20;4633:15;16494:7;;:11;;:20;;;;:::i;:::-;16484:7;:30;16480:61;;;16524:7;;4633:15;16516:25;;;;;;;;16480:61;16560:7;16569;16552:25;;;;;;16328:257;;;:::o;2953:223::-;3073:7;3105:1;3101;:5;3108:12;3093:28;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;3132:9;3148:1;3144;:5;;;;:::i;:::-;3132:17;;3167:1;3160:8;;;2953:223;;;;;:::o;14514:615::-;14614:7;14636;14658;14680;14702;14724;14760:23;14785:12;14799:13;14829:40;14841:7;14850:9;;14861:7;;14829:11;:40::i;:::-;14759:110;;;;;;14880:19;14902:10;:8;:10::i;:::-;14880:32;;14924:15;14941:23;14966:12;14995:46;15007:7;15016:4;15022:5;15029:11;14995;:46::i;:::-;14923:118;;;;;;15060:7;15069:15;15086:4;15092:15;15109:4;15115:5;15052:69;;;;;;;;;;;;;;;;;;;14514:615;;;;;;;:::o;2183:136::-;2241:7;2268:43;2272:1;2275;2268:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;2261:50;;2183:136;;;;:::o;1996:179::-;2054:7;2074:9;2090:1;2086;:5;;;;:::i;:::-;2074:17;;2115:1;2110;:6;;2102:46;;;;;;;;;;;;:::i;:::-;;;;;;;;;2166:1;2159:8;;;1996:179;;;;:::o;14103:211::-;14156:19;14178:10;:8;:10::i;:::-;14156:32;;14199:13;14215:22;14225:11;14215:5;:9;;:22;;;;:::i;:::-;14199:38;;14273:33;14300:5;14273:7;:22;14289:4;14273:22;;;;;;;;;;;;;;;;:26;;:33;;;;:::i;:::-;14248:7;:22;14264:4;14248:22;;;;;;;;;;;;;;;:58;;;;14145:169;;14103:211;:::o;14322:147::-;14400:17;14412:4;14400:7;;:11;;:17;;;;:::i;:::-;14390:7;:27;;;;14441:20;14456:4;14441:10;;:14;;:20;;;;:::i;:::-;14428:10;:33;;;;14322:147;;:::o;15137:469::-;15306:7;15328;15350;15385:12;15400:30;15426:3;15400:21;15412:8;15400:7;:11;;:21;;;;:::i;:::-;:25;;:30;;;;:::i;:::-;15385:45;;15441:13;15457:28;15481:3;15457:19;15469:6;15457:7;:11;;:19;;;;:::i;:::-;:23;;:28;;;;:::i;:::-;15441:44;;15496:23;15522:28;15544:5;15522:17;15534:4;15522:7;:11;;:17;;;;:::i;:::-;:21;;:28;;;;:::i;:::-;15496:54;;15569:15;15586:4;15592:5;15561:37;;;;;;;;;15137:469;;;;;;;:::o;15614:534::-;15808:7;15830;15852;15887:15;15905:24;15917:11;15905:7;:11;;:24;;;;:::i;:::-;15887:42;;15940:12;15955:21;15964:11;15955:4;:8;;:21;;;;:::i;:::-;15940:36;;15987:13;16003:22;16013:11;16003:5;:9;;:22;;;;:::i;:::-;15987:38;;16036:23;16062:28;16084:5;16062:17;16074:4;16062:7;:11;;:17;;;;:::i;:::-;:21;;:28;;;;:::i;:::-;16036:54;;16109:7;16118:15;16135:4;16101:39;;;;;;;;;;15614:534;;;;;;;;:::o;2559:246::-;2617:7;2646:1;2641;:6;2637:47;;;2671:1;2664:8;;;;2637:47;2694:9;2710:1;2706;:5;;;;:::i;:::-;2694:17;;2739:1;2734;2730;:5;;;;:::i;:::-;:10;2722:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;2796:1;2789:8;;;2559:246;;;;;:::o;7:75:1:-;40:6;73:2;67:9;57:19;;7:75;:::o;88:117::-;197:1;194;187:12;211:117;320:1;317;310:12;334:117;443:1;440;433:12;457:102;498:6;549:2;545:7;540:2;533:5;529:14;525:28;515:38;;457:102;;;:::o;565:180::-;613:77;610:1;603:88;710:4;707:1;700:15;734:4;731:1;724:15;751:281;834:27;856:4;834:27;:::i;:::-;826:6;822:40;964:6;952:10;949:22;928:18;916:10;913:34;910:62;907:88;;;975:18;;:::i;:::-;907:88;1015:10;1011:2;1004:22;794:238;751:281;;:::o;1038:129::-;1072:6;1099:20;;:::i;:::-;1089:30;;1128:33;1156:4;1148:6;1128:33;:::i;:::-;1038:129;;;:::o;1173:311::-;1250:4;1340:18;1332:6;1329:30;1326:56;;;1362:18;;:::i;:::-;1326:56;1412:4;1404:6;1400:17;1392:25;;1472:4;1466;1462:15;1454:23;;1173:311;;;:::o;1490:117::-;1599:1;1596;1589:12;1613:126;1650:7;1690:42;1683:5;1679:54;1668:65;;1613:126;;;:::o;1745:96::-;1782:7;1811:24;1829:5;1811:24;:::i;:::-;1800:35;;1745:96;;;:::o;1847:122::-;1920:24;1938:5;1920:24;:::i;:::-;1913:5;1910:35;1900:63;;1959:1;1956;1949:12;1900:63;1847:122;:::o;1975:139::-;2021:5;2059:6;2046:20;2037:29;;2075:33;2102:5;2075:33;:::i;:::-;1975:139;;;;:::o;2137:710::-;2233:5;2258:81;2274:64;2331:6;2274:64;:::i;:::-;2258:81;:::i;:::-;2249:90;;2359:5;2388:6;2381:5;2374:21;2422:4;2415:5;2411:16;2404:23;;2475:4;2467:6;2463:17;2455:6;2451:30;2504:3;2496:6;2493:15;2490:122;;;2523:79;;:::i;:::-;2490:122;2638:6;2621:220;2655:6;2650:3;2647:15;2621:220;;;2730:3;2759:37;2792:3;2780:10;2759:37;:::i;:::-;2754:3;2747:50;2826:4;2821:3;2817:14;2810:21;;2697:144;2681:4;2676:3;2672:14;2665:21;;2621:220;;;2625:21;2239:608;;2137:710;;;;;:::o;2870:370::-;2941:5;2990:3;2983:4;2975:6;2971:17;2967:27;2957:122;;2998:79;;:::i;:::-;2957:122;3115:6;3102:20;3140:94;3230:3;3222:6;3215:4;3207:6;3203:17;3140:94;:::i;:::-;3131:103;;2947:293;2870:370;;;;:::o;3246:539::-;3330:6;3379:2;3367:9;3358:7;3354:23;3350:32;3347:119;;;3385:79;;:::i;:::-;3347:119;3533:1;3522:9;3518:17;3505:31;3563:18;3555:6;3552:30;3549:117;;;3585:79;;:::i;:::-;3549:117;3690:78;3760:7;3751:6;3740:9;3736:22;3690:78;:::i;:::-;3680:88;;3476:302;3246:539;;;;:::o;3791:99::-;3843:6;3877:5;3871:12;3861:22;;3791:99;;;:::o;3896:169::-;3980:11;4014:6;4009:3;4002:19;4054:4;4049:3;4045:14;4030:29;;3896:169;;;;:::o;4071:307::-;4139:1;4149:113;4163:6;4160:1;4157:13;4149:113;;;4248:1;4243:3;4239:11;4233:18;4229:1;4224:3;4220:11;4213:39;4185:2;4182:1;4178:10;4173:15;;4149:113;;;4280:6;4277:1;4274:13;4271:101;;;4360:1;4351:6;4346:3;4342:16;4335:27;4271:101;4120:258;4071:307;;;:::o;4384:364::-;4472:3;4500:39;4533:5;4500:39;:::i;:::-;4555:71;4619:6;4614:3;4555:71;:::i;:::-;4548:78;;4635:52;4680:6;4675:3;4668:4;4661:5;4657:16;4635:52;:::i;:::-;4712:29;4734:6;4712:29;:::i;:::-;4707:3;4703:39;4696:46;;4476:272;4384:364;;;;:::o;4754:313::-;4867:4;4905:2;4894:9;4890:18;4882:26;;4954:9;4948:4;4944:20;4940:1;4929:9;4925:17;4918:47;4982:78;5055:4;5046:6;4982:78;:::i;:::-;4974:86;;4754:313;;;;:::o;5073:77::-;5110:7;5139:5;5128:16;;5073:77;;;:::o;5156:122::-;5229:24;5247:5;5229:24;:::i;:::-;5222:5;5219:35;5209:63;;5268:1;5265;5258:12;5209:63;5156:122;:::o;5284:139::-;5330:5;5368:6;5355:20;5346:29;;5384:33;5411:5;5384:33;:::i;:::-;5284:139;;;;:::o;5429:474::-;5497:6;5505;5554:2;5542:9;5533:7;5529:23;5525:32;5522:119;;;5560:79;;:::i;:::-;5522:119;5680:1;5705:53;5750:7;5741:6;5730:9;5726:22;5705:53;:::i;:::-;5695:63;;5651:117;5807:2;5833:53;5878:7;5869:6;5858:9;5854:22;5833:53;:::i;:::-;5823:63;;5778:118;5429:474;;;;;:::o;5909:90::-;5943:7;5986:5;5979:13;5972:21;5961:32;;5909:90;;;:::o;6005:109::-;6086:21;6101:5;6086:21;:::i;:::-;6081:3;6074:34;6005:109;;:::o;6120:210::-;6207:4;6245:2;6234:9;6230:18;6222:26;;6258:65;6320:1;6309:9;6305:17;6296:6;6258:65;:::i;:::-;6120:210;;;;:::o;6336:60::-;6364:3;6385:5;6378:12;;6336:60;;;:::o;6402:142::-;6452:9;6485:53;6503:34;6512:24;6530:5;6512:24;:::i;:::-;6503:34;:::i;:::-;6485:53;:::i;:::-;6472:66;;6402:142;;;:::o;6550:126::-;6600:9;6633:37;6664:5;6633:37;:::i;:::-;6620:50;;6550:126;;;:::o;6682:152::-;6758:9;6791:37;6822:5;6791:37;:::i;:::-;6778:50;;6682:152;;;:::o;6840:183::-;6953:63;7010:5;6953:63;:::i;:::-;6948:3;6941:76;6840:183;;:::o;7029:274::-;7148:4;7186:2;7175:9;7171:18;7163:26;;7199:97;7293:1;7282:9;7278:17;7269:6;7199:97;:::i;:::-;7029:274;;;;:::o;7309:118::-;7396:24;7414:5;7396:24;:::i;:::-;7391:3;7384:37;7309:118;;:::o;7433:222::-;7526:4;7564:2;7553:9;7549:18;7541:26;;7577:71;7645:1;7634:9;7630:17;7621:6;7577:71;:::i;:::-;7433:222;;;;:::o;7661:619::-;7738:6;7746;7754;7803:2;7791:9;7782:7;7778:23;7774:32;7771:119;;;7809:79;;:::i;:::-;7771:119;7929:1;7954:53;7999:7;7990:6;7979:9;7975:22;7954:53;:::i;:::-;7944:63;;7900:117;8056:2;8082:53;8127:7;8118:6;8107:9;8103:22;8082:53;:::i;:::-;8072:63;;8027:118;8184:2;8210:53;8255:7;8246:6;8235:9;8231:22;8210:53;:::i;:::-;8200:63;;8155:118;7661:619;;;;;:::o;8286:86::-;8321:7;8361:4;8354:5;8350:16;8339:27;;8286:86;;;:::o;8378:112::-;8461:22;8477:5;8461:22;:::i;:::-;8456:3;8449:35;8378:112;;:::o;8496:214::-;8585:4;8623:2;8612:9;8608:18;8600:26;;8636:67;8700:1;8689:9;8685:17;8676:6;8636:67;:::i;:::-;8496:214;;;;:::o;8716:118::-;8803:24;8821:5;8803:24;:::i;:::-;8798:3;8791:37;8716:118;;:::o;8840:222::-;8933:4;8971:2;8960:9;8956:18;8948:26;;8984:71;9052:1;9041:9;9037:17;9028:6;8984:71;:::i;:::-;8840:222;;;;:::o;9068:329::-;9127:6;9176:2;9164:9;9155:7;9151:23;9147:32;9144:119;;;9182:79;;:::i;:::-;9144:119;9302:1;9327:53;9372:7;9363:6;9352:9;9348:22;9327:53;:::i;:::-;9317:63;;9273:117;9068:329;;;;:::o;9403:116::-;9473:21;9488:5;9473:21;:::i;:::-;9466:5;9463:32;9453:60;;9509:1;9506;9499:12;9453:60;9403:116;:::o;9525:133::-;9568:5;9606:6;9593:20;9584:29;;9622:30;9646:5;9622:30;:::i;:::-;9525:133;;;;:::o;9664:323::-;9720:6;9769:2;9757:9;9748:7;9744:23;9740:32;9737:119;;;9775:79;;:::i;:::-;9737:119;9895:1;9920:50;9962:7;9953:6;9942:9;9938:22;9920:50;:::i;:::-;9910:60;;9866:114;9664:323;;;;:::o;9993:329::-;10052:6;10101:2;10089:9;10080:7;10076:23;10072:32;10069:119;;;10107:79;;:::i;:::-;10069:119;10227:1;10252:53;10297:7;10288:6;10277:9;10273:22;10252:53;:::i;:::-;10242:63;;10198:117;9993:329;;;;:::o;10328:765::-;10414:6;10422;10430;10438;10487:3;10475:9;10466:7;10462:23;10458:33;10455:120;;;10494:79;;:::i;:::-;10455:120;10614:1;10639:53;10684:7;10675:6;10664:9;10660:22;10639:53;:::i;:::-;10629:63;;10585:117;10741:2;10767:53;10812:7;10803:6;10792:9;10788:22;10767:53;:::i;:::-;10757:63;;10712:118;10869:2;10895:53;10940:7;10931:6;10920:9;10916:22;10895:53;:::i;:::-;10885:63;;10840:118;10997:2;11023:53;11068:7;11059:6;11048:9;11044:22;11023:53;:::i;:::-;11013:63;;10968:118;10328:765;;;;;;;:::o;11099:117::-;11208:1;11205;11198:12;11239:568;11312:8;11322:6;11372:3;11365:4;11357:6;11353:17;11349:27;11339:122;;11380:79;;:::i;:::-;11339:122;11493:6;11480:20;11470:30;;11523:18;11515:6;11512:30;11509:117;;;11545:79;;:::i;:::-;11509:117;11659:4;11651:6;11647:17;11635:29;;11713:3;11705:4;11697:6;11693:17;11683:8;11679:32;11676:41;11673:128;;;11720:79;;:::i;:::-;11673:128;11239:568;;;;;:::o;11813:698::-;11905:6;11913;11921;11970:2;11958:9;11949:7;11945:23;11941:32;11938:119;;;11976:79;;:::i;:::-;11938:119;12124:1;12113:9;12109:17;12096:31;12154:18;12146:6;12143:30;12140:117;;;12176:79;;:::i;:::-;12140:117;12289:80;12361:7;12352:6;12341:9;12337:22;12289:80;:::i;:::-;12271:98;;;;12067:312;12418:2;12444:50;12486:7;12477:6;12466:9;12462:22;12444:50;:::i;:::-;12434:60;;12389:115;11813:698;;;;;:::o;12517:474::-;12585:6;12593;12642:2;12630:9;12621:7;12617:23;12613:32;12610:119;;;12648:79;;:::i;:::-;12610:119;12768:1;12793:53;12838:7;12829:6;12818:9;12814:22;12793:53;:::i;:::-;12783:63;;12739:117;12895:2;12921:53;12966:7;12957:6;12946:9;12942:22;12921:53;:::i;:::-;12911:63;;12866:118;12517:474;;;;;:::o;12997:182::-;13137:34;13133:1;13125:6;13121:14;13114:58;12997:182;:::o;13185:366::-;13327:3;13348:67;13412:2;13407:3;13348:67;:::i;:::-;13341:74;;13424:93;13513:3;13424:93;:::i;:::-;13542:2;13537:3;13533:12;13526:19;;13185:366;;;:::o;13557:419::-;13723:4;13761:2;13750:9;13746:18;13738:26;;13810:9;13804:4;13800:20;13796:1;13785:9;13781:17;13774:47;13838:131;13964:4;13838:131;:::i;:::-;13830:139;;13557:419;;;:::o;13982:180::-;14030:77;14027:1;14020:88;14127:4;14124:1;14117:15;14151:4;14148:1;14141:15;14168:180;14216:77;14213:1;14206:88;14313:4;14310:1;14303:15;14337:4;14334:1;14327:15;14354:233;14393:3;14416:24;14434:5;14416:24;:::i;:::-;14407:33;;14462:66;14455:5;14452:77;14449:103;;;14532:18;;:::i;:::-;14449:103;14579:1;14572:5;14568:13;14561:20;;14354:233;;;:::o;14593:225::-;14733:34;14729:1;14721:6;14717:14;14710:58;14802:8;14797:2;14789:6;14785:15;14778:33;14593:225;:::o;14824:366::-;14966:3;14987:67;15051:2;15046:3;14987:67;:::i;:::-;14980:74;;15063:93;15152:3;15063:93;:::i;:::-;15181:2;15176:3;15172:12;15165:19;;14824:366;;;:::o;15196:419::-;15362:4;15400:2;15389:9;15385:18;15377:26;;15449:9;15443:4;15439:20;15435:1;15424:9;15420:17;15413:47;15477:131;15603:4;15477:131;:::i;:::-;15469:139;;15196:419;;;:::o;15621:223::-;15761:34;15757:1;15749:6;15745:14;15738:58;15830:6;15825:2;15817:6;15813:15;15806:31;15621:223;:::o;15850:366::-;15992:3;16013:67;16077:2;16072:3;16013:67;:::i;:::-;16006:74;;16089:93;16178:3;16089:93;:::i;:::-;16207:2;16202:3;16198:12;16191:19;;15850:366;;;:::o;16222:419::-;16388:4;16426:2;16415:9;16411:18;16403:26;;16475:9;16469:4;16465:20;16461:1;16450:9;16446:17;16439:47;16503:131;16629:4;16503:131;:::i;:::-;16495:139;;16222:419;;;:::o;16647:221::-;16787:34;16783:1;16775:6;16771:14;16764:58;16856:4;16851:2;16843:6;16839:15;16832:29;16647:221;:::o;16874:366::-;17016:3;17037:67;17101:2;17096:3;17037:67;:::i;:::-;17030:74;;17113:93;17202:3;17113:93;:::i;:::-;17231:2;17226:3;17222:12;17215:19;;16874:366;;;:::o;17246:419::-;17412:4;17450:2;17439:9;17435:18;17427:26;;17499:9;17493:4;17489:20;17485:1;17474:9;17470:17;17463:47;17527:131;17653:4;17527:131;:::i;:::-;17519:139;;17246:419;;;:::o;17671:224::-;17811:34;17807:1;17799:6;17795:14;17788:58;17880:7;17875:2;17867:6;17863:15;17856:32;17671:224;:::o;17901:366::-;18043:3;18064:67;18128:2;18123:3;18064:67;:::i;:::-;18057:74;;18140:93;18229:3;18140:93;:::i;:::-;18258:2;18253:3;18249:12;18242:19;;17901:366;;;:::o;18273:419::-;18439:4;18477:2;18466:9;18462:18;18454:26;;18526:9;18520:4;18516:20;18512:1;18501:9;18497:17;18490:47;18554:131;18680:4;18554:131;:::i;:::-;18546:139;;18273:419;;;:::o;18698:222::-;18838:34;18834:1;18826:6;18822:14;18815:58;18907:5;18902:2;18894:6;18890:15;18883:30;18698:222;:::o;18926:366::-;19068:3;19089:67;19153:2;19148:3;19089:67;:::i;:::-;19082:74;;19165:93;19254:3;19165:93;:::i;:::-;19283:2;19278:3;19274:12;19267:19;;18926:366;;;:::o;19298:419::-;19464:4;19502:2;19491:9;19487:18;19479:26;;19551:9;19545:4;19541:20;19537:1;19526:9;19522:17;19515:47;19579:131;19705:4;19579:131;:::i;:::-;19571:139;;19298:419;;;:::o;19723:228::-;19863:34;19859:1;19851:6;19847:14;19840:58;19932:11;19927:2;19919:6;19915:15;19908:36;19723:228;:::o;19957:366::-;20099:3;20120:67;20184:2;20179:3;20120:67;:::i;:::-;20113:74;;20196:93;20285:3;20196:93;:::i;:::-;20314:2;20309:3;20305:12;20298:19;;19957:366;;;:::o;20329:419::-;20495:4;20533:2;20522:9;20518:18;20510:26;;20582:9;20576:4;20572:20;20568:1;20557:9;20553:17;20546:47;20610:131;20736:4;20610:131;:::i;:::-;20602:139;;20329:419;;;:::o;20754:250::-;20894:34;20890:1;20882:6;20878:14;20871:58;20963:33;20958:2;20950:6;20946:15;20939:58;20754:250;:::o;21010:366::-;21152:3;21173:67;21237:2;21232:3;21173:67;:::i;:::-;21166:74;;21249:93;21338:3;21249:93;:::i;:::-;21367:2;21362:3;21358:12;21351:19;;21010:366;;;:::o;21382:419::-;21548:4;21586:2;21575:9;21571:18;21563:26;;21635:9;21629:4;21625:20;21621:1;21610:9;21606:17;21599:47;21663:131;21789:4;21663:131;:::i;:::-;21655:139;;21382:419;;;:::o;21807:178::-;21947:30;21943:1;21935:6;21931:14;21924:54;21807:178;:::o;21991:366::-;22133:3;22154:67;22218:2;22213:3;22154:67;:::i;:::-;22147:74;;22230:93;22319:3;22230:93;:::i;:::-;22348:2;22343:3;22339:12;22332:19;;21991:366;;;:::o;22363:419::-;22529:4;22567:2;22556:9;22552:18;22544:26;;22616:9;22610:4;22606:20;22602:1;22591:9;22587:17;22580:47;22644:131;22770:4;22644:131;:::i;:::-;22636:139;;22363:419;;;:::o;22788:222::-;22928:34;22924:1;22916:6;22912:14;22905:58;22997:5;22992:2;22984:6;22980:15;22973:30;22788:222;:::o;23016:366::-;23158:3;23179:67;23243:2;23238:3;23179:67;:::i;:::-;23172:74;;23255:93;23344:3;23255:93;:::i;:::-;23373:2;23368:3;23364:12;23357:19;;23016:366;;;:::o;23388:419::-;23554:4;23592:2;23581:9;23577:18;23569:26;;23641:9;23635:4;23631:20;23627:1;23616:9;23612:17;23605:47;23669:131;23795:4;23669:131;:::i;:::-;23661:139;;23388:419;;;:::o;23813:305::-;23853:3;23872:20;23890:1;23872:20;:::i;:::-;23867:25;;23906:20;23924:1;23906:20;:::i;:::-;23901:25;;24060:1;23992:66;23988:74;23985:1;23982:81;23979:107;;;24066:18;;:::i;:::-;23979:107;24110:1;24107;24103:9;24096:16;;23813:305;;;;:::o;24124:222::-;24264:34;24260:1;24252:6;24248:14;24241:58;24333:5;24328:2;24320:6;24316:15;24309:30;24124:222;:::o;24352:366::-;24494:3;24515:67;24579:2;24574:3;24515:67;:::i;:::-;24508:74;;24591:93;24680:3;24591:93;:::i;:::-;24709:2;24704:3;24700:12;24693:19;;24352:366;;;:::o;24724:419::-;24890:4;24928:2;24917:9;24913:18;24905:26;;24977:9;24971:4;24967:20;24963:1;24952:9;24948:17;24941:47;25005:131;25131:4;25005:131;:::i;:::-;24997:139;;24724:419;;;:::o;25149:191::-;25189:4;25209:20;25227:1;25209:20;:::i;:::-;25204:25;;25243:20;25261:1;25243:20;:::i;:::-;25238:25;;25282:1;25279;25276:8;25273:34;;;25287:18;;:::i;:::-;25273:34;25332:1;25329;25325:9;25317:17;;25149:191;;;;:::o;25346:229::-;25486:34;25482:1;25474:6;25470:14;25463:58;25555:12;25550:2;25542:6;25538:15;25531:37;25346:229;:::o;25581:366::-;25723:3;25744:67;25808:2;25803:3;25744:67;:::i;:::-;25737:74;;25820:93;25909:3;25820:93;:::i;:::-;25938:2;25933:3;25929:12;25922:19;;25581:366;;;:::o;25953:419::-;26119:4;26157:2;26146:9;26142:18;26134:26;;26206:9;26200:4;26196:20;26192:1;26181:9;26177:17;26170:47;26234:131;26360:4;26234:131;:::i;:::-;26226:139;;25953:419;;;:::o;26378:143::-;26435:5;26466:6;26460:13;26451:22;;26482:33;26509:5;26482:33;:::i;:::-;26378:143;;;;:::o;26527:351::-;26597:6;26646:2;26634:9;26625:7;26621:23;26617:32;26614:119;;;26652:79;;:::i;:::-;26614:119;26772:1;26797:64;26853:7;26844:6;26833:9;26829:22;26797:64;:::i;:::-;26787:74;;26743:128;26527:351;;;;:::o;26884:85::-;26929:7;26958:5;26947:16;;26884:85;;;:::o;26975:158::-;27033:9;27066:61;27084:42;27093:32;27119:5;27093:32;:::i;:::-;27084:42;:::i;:::-;27066:61;:::i;:::-;27053:74;;26975:158;;;:::o;27139:147::-;27234:45;27273:5;27234:45;:::i;:::-;27229:3;27222:58;27139:147;;:::o;27292:114::-;27359:6;27393:5;27387:12;27377:22;;27292:114;;;:::o;27412:184::-;27511:11;27545:6;27540:3;27533:19;27585:4;27580:3;27576:14;27561:29;;27412:184;;;;:::o;27602:132::-;27669:4;27692:3;27684:11;;27722:4;27717:3;27713:14;27705:22;;27602:132;;;:::o;27740:108::-;27817:24;27835:5;27817:24;:::i;:::-;27812:3;27805:37;27740:108;;:::o;27854:179::-;27923:10;27944:46;27986:3;27978:6;27944:46;:::i;:::-;28022:4;28017:3;28013:14;27999:28;;27854:179;;;;:::o;28039:113::-;28109:4;28141;28136:3;28132:14;28124:22;;28039:113;;;:::o;28188:732::-;28307:3;28336:54;28384:5;28336:54;:::i;:::-;28406:86;28485:6;28480:3;28406:86;:::i;:::-;28399:93;;28516:56;28566:5;28516:56;:::i;:::-;28595:7;28626:1;28611:284;28636:6;28633:1;28630:13;28611:284;;;28712:6;28706:13;28739:63;28798:3;28783:13;28739:63;:::i;:::-;28732:70;;28825:60;28878:6;28825:60;:::i;:::-;28815:70;;28671:224;28658:1;28655;28651:9;28646:14;;28611:284;;;28615:14;28911:3;28904:10;;28312:608;;;28188:732;;;;:::o;28926:831::-;29189:4;29227:3;29216:9;29212:19;29204:27;;29241:71;29309:1;29298:9;29294:17;29285:6;29241:71;:::i;:::-;29322:80;29398:2;29387:9;29383:18;29374:6;29322:80;:::i;:::-;29449:9;29443:4;29439:20;29434:2;29423:9;29419:18;29412:48;29477:108;29580:4;29571:6;29477:108;:::i;:::-;29469:116;;29595:72;29663:2;29652:9;29648:18;29639:6;29595:72;:::i;:::-;29677:73;29745:3;29734:9;29730:19;29721:6;29677:73;:::i;:::-;28926:831;;;;;;;;:::o;29763:180::-;29811:77;29808:1;29801:88;29908:4;29905:1;29898:15;29932:4;29929:1;29922:15;29949:185;29989:1;30006:20;30024:1;30006:20;:::i;:::-;30001:25;;30040:20;30058:1;30040:20;:::i;:::-;30035:25;;30079:1;30069:35;;30084:18;;:::i;:::-;30069:35;30126:1;30123;30119:9;30114:14;;29949:185;;;;:::o;30140:177::-;30280:29;30276:1;30268:6;30264:14;30257:53;30140:177;:::o;30323:366::-;30465:3;30486:67;30550:2;30545:3;30486:67;:::i;:::-;30479:74;;30562:93;30651:3;30562:93;:::i;:::-;30680:2;30675:3;30671:12;30664:19;;30323:366;;;:::o;30695:419::-;30861:4;30899:2;30888:9;30884:18;30876:26;;30948:9;30942:4;30938:20;30934:1;30923:9;30919:17;30912:47;30976:131;31102:4;30976:131;:::i;:::-;30968:139;;30695:419;;;:::o;31120:348::-;31160:7;31183:20;31201:1;31183:20;:::i;:::-;31178:25;;31217:20;31235:1;31217:20;:::i;:::-;31212:25;;31405:1;31337:66;31333:74;31330:1;31327:81;31322:1;31315:9;31308:17;31304:105;31301:131;;;31412:18;;:::i;:::-;31301:131;31460:1;31457;31453:9;31442:20;;31120:348;;;;:::o;31474:220::-;31614:34;31610:1;31602:6;31598:14;31591:58;31683:3;31678:2;31670:6;31666:15;31659:28;31474:220;:::o;31700:366::-;31842:3;31863:67;31927:2;31922:3;31863:67;:::i;:::-;31856:74;;31939:93;32028:3;31939:93;:::i;:::-;32057:2;32052:3;32048:12;32041:19;;31700:366;;;:::o;32072:419::-;32238:4;32276:2;32265:9;32261:18;32253:26;;32325:9;32319:4;32315:20;32311:1;32300:9;32296:17;32289:47;32353:131;32479:4;32353:131;:::i;:::-;32345:139;;32072:419;;;:::o

ipfs://68e3fcc227ac523b259cb55d800c4b67ed94695e16a048b7caf379fd5278ad75