Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-05-20
*/

/**
Hotei 布袋 (One of the seven gods of luck) is frequently displayed as a cheerful, contented Buddhist monk with a large exposed belly. 

He is considered as the God of Happiness and Luck. Carrying a large cloth bag over his back includes an inexhaustible cache of treasures, including food and drink. 

With his present, He may bless us with his luck in this crypto space and bring prosperity to many.

Stealth Launch

Max Wallet 3%

Will be locked and renounced.
Launched by the safe Dev

https://t.me/HoteiETH
https://twitter.com/EthHotei

*/

pragma solidity ^0.8.4;
// SPDX-License-Identifier: UNLICENSED
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);
}

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;
    }

}

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);
    }

}  

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

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
}

contract Hotei is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _rOwned;
    mapping (address => uint256) private _tOwned;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping (address => bool) private bots;
    mapping (address => uint) private cooldown;
    uint256 private constant MAX = ~uint256(0);
    uint256 private constant _tTotal = 1000000000000 * 10**9;
    uint256 private _rTotal = (MAX - (MAX % _tTotal));
    uint256 private _tFeeTotal;
    
    uint256 private _feeAddr1;
    uint256 private _feeAddr2;
    address payable private _feeAddrWallet1;
    address payable private _feeAddrWallet2;
    
    string private constant _name = unicode"Hotei 布袋";
    string private constant _symbol = unicode"Hotei 布袋";
    uint8 private constant _decimals = 9;
    
    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    bool private cooldownEnabled = false;
    uint256 private _maxTxAmount = _tTotal;
    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }
    constructor () {
        _feeAddrWallet1 = payable(0x098B151e6Ac2B9C311F2350b854a50b6731bd387);
        _feeAddrWallet2 = payable(0x098B151e6Ac2B9C311F2350b854a50b6731bd387);
        _rOwned[_msgSender()] = _rTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_feeAddrWallet1] = true;
        _isExcludedFromFee[_feeAddrWallet2] = true;
        emit Transfer(address(0x098B151e6Ac2B9C311F2350b854a50b6731bd387), _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 setCooldownEnabled(bool onoff) external onlyOwner() {
        cooldownEnabled = onoff;
    }

    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 _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");
        _feeAddr1 = 0;
        _feeAddr2 = 7;
        if (from != owner() && to != owner()) {
            require(!bots[from] && !bots[to]);
            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] && cooldownEnabled) {
                // Cooldown
                require(amount <= _maxTxAmount);
                require(cooldown[to] < block.timestamp);
                cooldown[to] = block.timestamp + (30 seconds);
            }
            
            
            if (to == uniswapV2Pair && from != address(uniswapV2Router) && ! _isExcludedFromFee[from]) {
                _feeAddr1 = 0;
                _feeAddr2 = 7;
            }
            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && from != uniswapV2Pair && swapEnabled) {
                swapTokensForEth(contractTokenBalance);
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }
		
        _tokenTransfer(from,to,amount);
    }

    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 {
        _feeAddrWallet1.transfer(amount.div(2));
        _feeAddrWallet2.transfer(amount.div(2));
    }
    
    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        IUniswapV2Router02 _uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        uniswapV2Router = _uniswapV2Router;
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(_uniswapV2Router.factory()).createPair(address(this), _uniswapV2Router.WETH());
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        swapEnabled = true;
        cooldownEnabled = true;
        _maxTxAmount = 30000000000 * 10**9;
        tradingOpen = true;
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
    }
    
    function setBots(address[] memory bots_) public onlyOwner {
        for (uint i = 0; i < bots_.length; i++) {
            bots[bots_[i]] = true;
        }
    }
    
    function delBot(address notbot) public onlyOwner {
        bots[notbot] = false;
    }
        
    function _tokenTransfer(address sender, address recipient, uint256 amount) private {
        _transferStandard(sender, recipient, amount);
    }

    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 manualswap() external {
        require(_msgSender() == _feeAddrWallet1);
        uint256 contractBalance = balanceOf(address(this));
        swapTokensForEth(contractBalance);
    }
    
    function manualsend() external {
        require(_msgSender() == _feeAddrWallet1);
        uint256 contractETHBalance = address(this).balance;
        sendETHToFee(contractETHBalance);
    }
    

    function _getValues(uint256 tAmount) private view returns (uint256, uint256, uint256, uint256, uint256, uint256) {
        (uint256 tTransferAmount, uint256 tFee, uint256 tTeam) = _getTValues(tAmount, _feeAddr1, _feeAddr2);
        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 taxFee, uint256 TeamFee) private pure returns (uint256, uint256, uint256) {
        uint256 tFee = tAmount.mul(taxFee).div(100);
        uint256 tTeam = tAmount.mul(TeamFee).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);
    }
}

• 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":"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":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"notbot","type":"address"}],"name":"delBot","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":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"bots_","type":"address[]"}],"name":"setBots","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bool","name":"onoff","type":"bool"}],"name":"setCooldownEnabled","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","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"},{"stateMutability":"payable","type":"receive"}]

60806040526200001b683635c9adc5dea000006000196200022c565b620000299060001962000206565b600855600f805462ffffff60a81b19169055683635c9adc5dea000006010553480156200005557600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600c805473098b151e6ac2b9c311f2350b854a50b6731bd3876001600160a01b03199182168117909255600d8054909116909117905560085460026000620000dc3390565b6001600160a01b03166001600160a01b031681526020019081526020016000208190555060016005600062000116620001f760201b60201c565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff199687161790553081526005909352818320805485166001908117909155600c54821684528284208054861682179055600d54909116835291208054909216179055620001873390565b6001600160a01b031673098b151e6ac2b9c311f2350b854a50b6731bd3876001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef683635c9adc5dea00000604051620001e991815260200190565b60405180910390a36200024f565b6000546001600160a01b031690565b6000828210156200022757634e487b7160e01b600052601160045260246000fd5b500390565b6000826200024a57634e487b7160e01b600052601260045260246000fd5b500690565b6119ea806200025f6000396000f3fe6080604052600436106101025760003560e01c806370a0823111610095578063a9059cbb11610064578063a9059cbb14610298578063b515566a146102b8578063c3c8cd80146102d8578063c9567bf9146102ed578063dd62ed3e1461030257600080fd5b806370a082311461023b578063715018a61461025b5780638da5cb5b1461027057806395d89b411461010e57600080fd5b8063273123b7116100d1578063273123b7146101c8578063313ce567146101ea5780635932ead1146102065780636fc3eaec1461022657600080fd5b806306fdde031461010e578063095ea7b31461015257806318160ddd1461018257806323b872dd146101a857600080fd5b3661010957005b600080fd5b34801561011a57600080fd5b50604080518082018252600c81526b486f74656920e5b883e8a28b60a01b6020820152905161014991906117a1565b60405180910390f35b34801561015e57600080fd5b5061017261016d366004611641565b610348565b6040519015158152602001610149565b34801561018e57600080fd5b50683635c9adc5dea000005b604051908152602001610149565b3480156101b457600080fd5b506101726101c3366004611600565b61035f565b3480156101d457600080fd5b506101e86101e336600461158d565b6103c8565b005b3480156101f657600080fd5b5060405160098152602001610149565b34801561021257600080fd5b506101e8610221366004611739565b61041c565b34801561023257600080fd5b506101e8610464565b34801561024757600080fd5b5061019a61025636600461158d565b610491565b34801561026757600080fd5b506101e86104b3565b34801561027c57600080fd5b506000546040516001600160a01b039091168152602001610149565b3480156102a457600080fd5b506101726102b3366004611641565b610527565b3480156102c457600080fd5b506101e86102d336600461166d565b610534565b3480156102e457600080fd5b506101e86105ca565b3480156102f957600080fd5b506101e8610600565b34801561030e57600080fd5b5061019a61031d3660046115c7565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b60006103553384846109c4565b5060015b92915050565b600061036c848484610ae8565b6103be84336103b98560405180606001604052806028815260200161198d602891396001600160a01b038a1660009081526004602090815260408083203384529091529020549190610e4a565b6109c4565b5060019392505050565b6000546001600160a01b031633146103fb5760405162461bcd60e51b81526004016103f2906117f6565b60405180910390fd5b6001600160a01b03166000908152600660205260409020805460ff19169055565b6000546001600160a01b031633146104465760405162461bcd60e51b81526004016103f2906117f6565b600f8054911515600160b81b0260ff60b81b19909216919091179055565b600c546001600160a01b0316336001600160a01b03161461048457600080fd5b4761048e81610e84565b50565b6001600160a01b03811660009081526002602052604081205461035990610f09565b6000546001600160a01b031633146104dd5760405162461bcd60e51b81526004016103f2906117f6565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000610355338484610ae8565b6000546001600160a01b0316331461055e5760405162461bcd60e51b81526004016103f2906117f6565b60005b81518110156105c6576001600660008484815181106105825761058261193d565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806105be8161190c565b915050610561565b5050565b600c546001600160a01b0316336001600160a01b0316146105ea57600080fd5b60006105f530610491565b905061048e81610f8d565b6000546001600160a01b0316331461062a5760405162461bcd60e51b81526004016103f2906117f6565b600f54600160a01b900460ff16156106845760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103f2565b600e80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106c13082683635c9adc5dea000006109c4565b806001600160a01b031663c45a01556040518163ffffffff1660e01b815260040160206040518083038186803b1580156106fa57600080fd5b505afa15801561070e573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061073291906115aa565b6001600160a01b031663c9c6539630836001600160a01b031663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b15801561077a57600080fd5b505afa15801561078e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107b291906115aa565b6040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381600087803b1580156107fa57600080fd5b505af115801561080e573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061083291906115aa565b600f80546001600160a01b0319166001600160a01b03928316179055600e541663f305d719473061086281610491565b6000806108776000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c4016060604051808303818588803b1580156108da57600080fd5b505af11580156108ee573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109139190611773565b5050600f80546801a055690d9db8000060105563ffff00ff60a01b198116630101000160a01b17909155600e5460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b390604401602060405180830381600087803b15801561098c57600080fd5b505af11580156109a0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105c69190611756565b6001600160a01b038316610a265760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103f2565b6001600160a01b038216610a875760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103f2565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b4c5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103f2565b6001600160a01b038216610bae5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103f2565b60008111610c105760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103f2565b6000600a556007600b55610c2c6000546001600160a01b031690565b6001600160a01b0316836001600160a01b031614158015610c5b57506000546001600160a01b03838116911614155b15610e3a576001600160a01b03831660009081526006602052604090205460ff16158015610ca257506001600160a01b03821660009081526006602052604090205460ff16155b610cab57600080fd5b600f546001600160a01b038481169116148015610cd65750600e546001600160a01b03838116911614155b8015610cfb57506001600160a01b03821660009081526005602052604090205460ff16155b8015610d105750600f54600160b81b900460ff165b15610d6d57601054811115610d2457600080fd5b6001600160a01b0382166000908152600760205260409020544211610d4857600080fd5b610d5342601e61189c565b6001600160a01b0383166000908152600760205260409020555b600f546001600160a01b038381169116148015610d985750600e546001600160a01b03848116911614155b8015610dbd57506001600160a01b03831660009081526005602052604090205460ff16155b15610dcd576000600a556007600b555b6000610dd830610491565b600f54909150600160a81b900460ff16158015610e035750600f546001600160a01b03858116911614155b8015610e185750600f54600160b01b900460ff165b15610e3857610e2681610f8d565b478015610e3657610e3647610e84565b505b505b610e45838383611116565b505050565b60008184841115610e6e5760405162461bcd60e51b81526004016103f291906117a1565b506000610e7b84866118f5565b95945050505050565b600c546001600160a01b03166108fc610e9e836002611121565b6040518115909202916000818181858888f19350505050158015610ec6573d6000803e3d6000fd5b50600d546001600160a01b03166108fc610ee1836002611121565b6040518115909202916000818181858888f193505050501580156105c6573d6000803e3d6000fd5b6000600854821115610f705760405162461bcd60e51b815260206004820152602a60248201527f416d6f756e74206d757374206265206c657373207468616e20746f74616c207260448201526965666c656374696f6e7360b01b60648201526084016103f2565b6000610f7a611163565b9050610f868382611121565b9392505050565b600f805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110610fd557610fd561193d565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b15801561102957600080fd5b505afa15801561103d573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061106191906115aa565b816001815181106110745761107461193d565b6001600160a01b039283166020918202929092010152600e5461109a91309116846109c4565b600e5460405163791ac94760e01b81526001600160a01b039091169063791ac947906110d390859060009086903090429060040161182b565b600060405180830381600087803b1580156110ed57600080fd5b505af1158015611101573d6000803e3d6000fd5b5050600f805460ff60a81b1916905550505050565b610e45838383611186565b6000610f8683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061127d565b60008060006111706112ab565b909250905061117f8282611121565b9250505090565b600080600080600080611198876112ed565b6001600160a01b038f16600090815260026020526040902054959b509399509197509550935091506111ca908761134a565b6001600160a01b03808b1660009081526002602052604080822093909355908a16815220546111f9908661138c565b6001600160a01b03891660009081526002602052604090205561121b816113eb565b6112258483611435565b876001600160a01b0316896001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161126a91815260200190565b60405180910390a3505050505050505050565b6000818361129e5760405162461bcd60e51b81526004016103f291906117a1565b506000610e7b84866118b4565b6008546000908190683635c9adc5dea000006112c78282611121565b8210156112e457505060085492683635c9adc5dea0000092509050565b90939092509050565b600080600080600080600080600061130a8a600a54600b54611459565b925092509250600061131a611163565b9050600080600061132d8e8787876114ae565b919e509c509a509598509396509194505050505091939550919395565b6000610f8683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610e4a565b600080611399838561189c565b905083811015610f865760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103f2565b60006113f5611163565b9050600061140383836114fe565b30600090815260026020526040902054909150611420908261138c565b30600090815260026020526040902055505050565b600854611442908361134a565b600855600954611452908261138c565b6009555050565b6000808080611473606461146d89896114fe565b90611121565b90506000611486606461146d8a896114fe565b9050600061149e826114988b8661134a565b9061134a565b9992985090965090945050505050565b60008080806114bd88866114fe565b905060006114cb88876114fe565b905060006114d988886114fe565b905060006114eb82611498868661134a565b939b939a50919850919650505050505050565b60008261150d57506000610359565b600061151983856118d6565b90508261152685836118b4565b14610f865760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103f2565b803561158881611969565b919050565b60006020828403121561159f57600080fd5b8135610f8681611969565b6000602082840312156115bc57600080fd5b8151610f8681611969565b600080604083850312156115da57600080fd5b82356115e581611969565b915060208301356115f581611969565b809150509250929050565b60008060006060848603121561161557600080fd5b833561162081611969565b9250602084013561163081611969565b929592945050506040919091013590565b6000806040838503121561165457600080fd5b823561165f81611969565b946020939093013593505050565b6000602080838503121561168057600080fd5b823567ffffffffffffffff8082111561169857600080fd5b818501915085601f8301126116ac57600080fd5b8135818111156116be576116be611953565b8060051b604051601f19603f830116810181811085821117156116e3576116e3611953565b604052828152858101935084860182860187018a101561170257600080fd5b600095505b8386101561172c576117188161157d565b855260019590950194938601938601611707565b5098975050505050505050565b60006020828403121561174b57600080fd5b8135610f868161197e565b60006020828403121561176857600080fd5b8151610f868161197e565b60008060006060848603121561178857600080fd5b8351925060208401519150604084015190509250925092565b600060208083528351808285015260005b818110156117ce578581018301518582016040015282016117b2565b818111156117e0576000604083870101525b50601f01601f1916929092016040019392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561187b5784516001600160a01b031683529383019391830191600101611856565b50506001600160a01b03969096166060850152505050608001529392505050565b600082198211156118af576118af611927565b500190565b6000826118d157634e487b7160e01b600052601260045260246000fd5b500490565b60008160001904831182151516156118f0576118f0611927565b500290565b60008282101561190757611907611927565b500390565b600060001982141561192057611920611927565b5060010190565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052604160045260246000fd5b6001600160a01b038116811461048e57600080fd5b801515811461048e57600080fdfe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212205d71b34ac1208a801f96ad48aa916b050d8e0dfd5701877bfa1261dad24f90ea64736f6c63430008070033

0x6080604052600436106101025760003560e01c806370a0823111610095578063a9059cbb11610064578063a9059cbb14610298578063b515566a146102b8578063c3c8cd80146102d8578063c9567bf9146102ed578063dd62ed3e1461030257600080fd5b806370a082311461023b578063715018a61461025b5780638da5cb5b1461027057806395d89b411461010e57600080fd5b8063273123b7116100d1578063273123b7146101c8578063313ce567146101ea5780635932ead1146102065780636fc3eaec1461022657600080fd5b806306fdde031461010e578063095ea7b31461015257806318160ddd1461018257806323b872dd146101a857600080fd5b3661010957005b600080fd5b34801561011a57600080fd5b50604080518082018252600c81526b486f74656920e5b883e8a28b60a01b6020820152905161014991906117a1565b60405180910390f35b34801561015e57600080fd5b5061017261016d366004611641565b610348565b6040519015158152602001610149565b34801561018e57600080fd5b50683635c9adc5dea000005b604051908152602001610149565b3480156101b457600080fd5b506101726101c3366004611600565b61035f565b3480156101d457600080fd5b506101e86101e336600461158d565b6103c8565b005b3480156101f657600080fd5b5060405160098152602001610149565b34801561021257600080fd5b506101e8610221366004611739565b61041c565b34801561023257600080fd5b506101e8610464565b34801561024757600080fd5b5061019a61025636600461158d565b610491565b34801561026757600080fd5b506101e86104b3565b34801561027c57600080fd5b506000546040516001600160a01b039091168152602001610149565b3480156102a457600080fd5b506101726102b3366004611641565b610527565b3480156102c457600080fd5b506101e86102d336600461166d565b610534565b3480156102e457600080fd5b506101e86105ca565b3480156102f957600080fd5b506101e8610600565b34801561030e57600080fd5b5061019a61031d3660046115c7565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b60006103553384846109c4565b5060015b92915050565b600061036c848484610ae8565b6103be84336103b98560405180606001604052806028815260200161198d602891396001600160a01b038a1660009081526004602090815260408083203384529091529020549190610e4a565b6109c4565b5060019392505050565b6000546001600160a01b031633146103fb5760405162461bcd60e51b81526004016103f2906117f6565b60405180910390fd5b6001600160a01b03166000908152600660205260409020805460ff19169055565b6000546001600160a01b031633146104465760405162461bcd60e51b81526004016103f2906117f6565b600f8054911515600160b81b0260ff60b81b19909216919091179055565b600c546001600160a01b0316336001600160a01b03161461048457600080fd5b4761048e81610e84565b50565b6001600160a01b03811660009081526002602052604081205461035990610f09565b6000546001600160a01b031633146104dd5760405162461bcd60e51b81526004016103f2906117f6565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000610355338484610ae8565b6000546001600160a01b0316331461055e5760405162461bcd60e51b81526004016103f2906117f6565b60005b81518110156105c6576001600660008484815181106105825761058261193d565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806105be8161190c565b915050610561565b5050565b600c546001600160a01b0316336001600160a01b0316146105ea57600080fd5b60006105f530610491565b905061048e81610f8d565b6000546001600160a01b0316331461062a5760405162461bcd60e51b81526004016103f2906117f6565b600f54600160a01b900460ff16156106845760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103f2565b600e80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106c13082683635c9adc5dea000006109c4565b806001600160a01b031663c45a01556040518163ffffffff1660e01b815260040160206040518083038186803b1580156106fa57600080fd5b505afa15801561070e573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061073291906115aa565b6001600160a01b031663c9c6539630836001600160a01b031663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b15801561077a57600080fd5b505afa15801561078e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107b291906115aa565b6040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381600087803b1580156107fa57600080fd5b505af115801561080e573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061083291906115aa565b600f80546001600160a01b0319166001600160a01b03928316179055600e541663f305d719473061086281610491565b6000806108776000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c4016060604051808303818588803b1580156108da57600080fd5b505af11580156108ee573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109139190611773565b5050600f80546801a055690d9db8000060105563ffff00ff60a01b198116630101000160a01b17909155600e5460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b390604401602060405180830381600087803b15801561098c57600080fd5b505af11580156109a0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105c69190611756565b6001600160a01b038316610a265760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103f2565b6001600160a01b038216610a875760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103f2565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b4c5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103f2565b6001600160a01b038216610bae5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103f2565b60008111610c105760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103f2565b6000600a556007600b55610c2c6000546001600160a01b031690565b6001600160a01b0316836001600160a01b031614158015610c5b57506000546001600160a01b03838116911614155b15610e3a576001600160a01b03831660009081526006602052604090205460ff16158015610ca257506001600160a01b03821660009081526006602052604090205460ff16155b610cab57600080fd5b600f546001600160a01b038481169116148015610cd65750600e546001600160a01b03838116911614155b8015610cfb57506001600160a01b03821660009081526005602052604090205460ff16155b8015610d105750600f54600160b81b900460ff165b15610d6d57601054811115610d2457600080fd5b6001600160a01b0382166000908152600760205260409020544211610d4857600080fd5b610d5342601e61189c565b6001600160a01b0383166000908152600760205260409020555b600f546001600160a01b038381169116148015610d985750600e546001600160a01b03848116911614155b8015610dbd57506001600160a01b03831660009081526005602052604090205460ff16155b15610dcd576000600a556007600b555b6000610dd830610491565b600f54909150600160a81b900460ff16158015610e035750600f546001600160a01b03858116911614155b8015610e185750600f54600160b01b900460ff165b15610e3857610e2681610f8d565b478015610e3657610e3647610e84565b505b505b610e45838383611116565b505050565b60008184841115610e6e5760405162461bcd60e51b81526004016103f291906117a1565b506000610e7b84866118f5565b95945050505050565b600c546001600160a01b03166108fc610e9e836002611121565b6040518115909202916000818181858888f19350505050158015610ec6573d6000803e3d6000fd5b50600d546001600160a01b03166108fc610ee1836002611121565b6040518115909202916000818181858888f193505050501580156105c6573d6000803e3d6000fd5b6000600854821115610f705760405162461bcd60e51b815260206004820152602a60248201527f416d6f756e74206d757374206265206c657373207468616e20746f74616c207260448201526965666c656374696f6e7360b01b60648201526084016103f2565b6000610f7a611163565b9050610f868382611121565b9392505050565b600f805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110610fd557610fd561193d565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b15801561102957600080fd5b505afa15801561103d573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061106191906115aa565b816001815181106110745761107461193d565b6001600160a01b039283166020918202929092010152600e5461109a91309116846109c4565b600e5460405163791ac94760e01b81526001600160a01b039091169063791ac947906110d390859060009086903090429060040161182b565b600060405180830381600087803b1580156110ed57600080fd5b505af1158015611101573d6000803e3d6000fd5b5050600f805460ff60a81b1916905550505050565b610e45838383611186565b6000610f8683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061127d565b60008060006111706112ab565b909250905061117f8282611121565b9250505090565b600080600080600080611198876112ed565b6001600160a01b038f16600090815260026020526040902054959b509399509197509550935091506111ca908761134a565b6001600160a01b03808b1660009081526002602052604080822093909355908a16815220546111f9908661138c565b6001600160a01b03891660009081526002602052604090205561121b816113eb565b6112258483611435565b876001600160a01b0316896001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161126a91815260200190565b60405180910390a3505050505050505050565b6000818361129e5760405162461bcd60e51b81526004016103f291906117a1565b506000610e7b84866118b4565b6008546000908190683635c9adc5dea000006112c78282611121565b8210156112e457505060085492683635c9adc5dea0000092509050565b90939092509050565b600080600080600080600080600061130a8a600a54600b54611459565b925092509250600061131a611163565b9050600080600061132d8e8787876114ae565b919e509c509a509598509396509194505050505091939550919395565b6000610f8683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610e4a565b600080611399838561189c565b905083811015610f865760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103f2565b60006113f5611163565b9050600061140383836114fe565b30600090815260026020526040902054909150611420908261138c565b30600090815260026020526040902055505050565b600854611442908361134a565b600855600954611452908261138c565b6009555050565b6000808080611473606461146d89896114fe565b90611121565b90506000611486606461146d8a896114fe565b9050600061149e826114988b8661134a565b9061134a565b9992985090965090945050505050565b60008080806114bd88866114fe565b905060006114cb88876114fe565b905060006114d988886114fe565b905060006114eb82611498868661134a565b939b939a50919850919650505050505050565b60008261150d57506000610359565b600061151983856118d6565b90508261152685836118b4565b14610f865760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103f2565b803561158881611969565b919050565b60006020828403121561159f57600080fd5b8135610f8681611969565b6000602082840312156115bc57600080fd5b8151610f8681611969565b600080604083850312156115da57600080fd5b82356115e581611969565b915060208301356115f581611969565b809150509250929050565b60008060006060848603121561161557600080fd5b833561162081611969565b9250602084013561163081611969565b929592945050506040919091013590565b6000806040838503121561165457600080fd5b823561165f81611969565b946020939093013593505050565b6000602080838503121561168057600080fd5b823567ffffffffffffffff8082111561169857600080fd5b818501915085601f8301126116ac57600080fd5b8135818111156116be576116be611953565b8060051b604051601f19603f830116810181811085821117156116e3576116e3611953565b604052828152858101935084860182860187018a101561170257600080fd5b600095505b8386101561172c576117188161157d565b855260019590950194938601938601611707565b5098975050505050505050565b60006020828403121561174b57600080fd5b8135610f868161197e565b60006020828403121561176857600080fd5b8151610f868161197e565b60008060006060848603121561178857600080fd5b8351925060208401519150604084015190509250925092565b600060208083528351808285015260005b818110156117ce578581018301518582016040015282016117b2565b818111156117e0576000604083870101525b50601f01601f1916929092016040019392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561187b5784516001600160a01b031683529383019391830191600101611856565b50506001600160a01b03969096166060850152505050608001529392505050565b600082198211156118af576118af611927565b500190565b6000826118d157634e487b7160e01b600052601260045260246000fd5b500490565b60008160001904831182151516156118f0576118f0611927565b500290565b60008282101561190757611907611927565b500390565b600060001982141561192057611920611927565b5060010190565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052604160045260246000fd5b6001600160a01b038116811461048e57600080fd5b801515811461048e57600080fdfe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212205d71b34ac1208a801f96ad48aa916b050d8e0dfd5701877bfa1261dad24f90ea64736f6c63430008070033

4085:10381:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5997:83;;;;;;;;;;-1:-1:-1;6067:5:0;;;;;;;;;;;-1:-1:-1;;;6067:5:0;;;;5997:83;;;;6067:5;5997:83;:::i;:::-;;;;;;;;6849:161;;;;;;;;;;-1:-1:-1;6849:161:0;;;;;:::i;:::-;;:::i;:::-;;;5352:14:1;;5345:22;5327:41;;5315:2;5300:18;6849:161:0;5187:187:1;6274:95:0;;;;;;;;;;-1:-1:-1;4583:21:0;6274:95;;;10037:25:1;;;10025:2;10010:18;6274:95:0;9891:177:1;7018:313:0;;;;;;;;;;-1:-1:-1;7018:313:0;;;;;:::i;:::-;;:::i;11193:88::-;;;;;;;;;;-1:-1:-1;11193:88:0;;;;;:::i;:::-;;:::i;:::-;;6183:83;;;;;;;;;;-1:-1:-1;6183:83:0;;5025:1;11200:36:1;;11188:2;11173:18;6183:83:0;11058:184:1;7339:103:0;;;;;;;;;;-1:-1:-1;7339:103:0;;;;;:::i;:::-;;:::i;12570:194::-;;;;;;;;;;;;;:::i;6377:138::-;;;;;;;;;;-1:-1:-1;6377:138:0;;;;;:::i;:::-;;:::i;3164:148::-;;;;;;;;;;;;;:::i;2950:79::-;;;;;;;;;;-1:-1:-1;2988:7:0;3015:6;2950:79;;-1:-1:-1;;;;;3015:6:0;;;3925:51:1;;3913:2;3898:18;2950:79:0;3779:203:1;6523:167:0;;;;;;;;;;-1:-1:-1;6523:167:0;;;;;:::i;:::-;;:::i;11017:164::-;;;;;;;;;;-1:-1:-1;11017:164:0;;;;;:::i;:::-;;:::i;12363:195::-;;;;;;;;;;;;;:::i;10189:816::-;;;;;;;;;;;;;:::i;6698:143::-;;;;;;;;;;-1:-1:-1;6698:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6806:18:0;;;6779:7;6806:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6698:143;6849:161;6924:4;6941:39;748:10;6964:7;6973:6;6941:8;:39::i;:::-;-1:-1:-1;6998:4:0;6849:161;;;;;:::o;7018:313::-;7116:4;7133:36;7143:6;7151:9;7162:6;7133:9;:36::i;:::-;7180:121;7189:6;748:10;7211:89;7249:6;7211:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7211:19:0;;;;;;:11;:19;;;;;;;;748:10;7211:33;;;;;;;;;;:37;:89::i;:::-;7180:8;:121::i;:::-;-1:-1:-1;7319:4:0;7018:313;;;;;:::o;11193:88::-;3077:6;;-1:-1:-1;;;;;3077:6:0;748:10;3077:22;3069:67;;;;-1:-1:-1;;;3069:67:0;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;;;;;11253:12:0::1;11268:5;11253:12:::0;;;:4:::1;:12;::::0;;;;:20;;-1:-1:-1;;11253:20:0::1;::::0;;11193:88::o;7339:103::-;3077:6;;-1:-1:-1;;;;;3077:6:0;748:10;3077:22;3069:67;;;;-1:-1:-1;;;3069:67:0;;;;;;;:::i;:::-;7411:15:::1;:23:::0;;;::::1;;-1:-1:-1::0;;;7411:23:0::1;-1:-1:-1::0;;;;7411:23:0;;::::1;::::0;;;::::1;::::0;;7339:103::o;12570:194::-;12636:15;;-1:-1:-1;;;;;12636:15:0;748:10;-1:-1:-1;;;;;12620:31:0;;12612:40;;;;;;12692:21;12724:32;12692:21;12724:12;:32::i;:::-;12601:163;12570:194::o;6377:138::-;-1:-1:-1;;;;;6490:16:0;;6443:7;6490:16;;;:7;:16;;;;;;6470:37;;:19;:37::i;3164:148::-;3077:6;;-1:-1:-1;;;;;3077:6:0;748:10;3077:22;3069:67;;;;-1:-1:-1;;;3069:67:0;;;;;;;:::i;:::-;3271:1:::1;3255:6:::0;;3234:40:::1;::::0;-1:-1:-1;;;;;3255:6:0;;::::1;::::0;3234:40:::1;::::0;3271:1;;3234:40:::1;3302:1;3285:19:::0;;-1:-1:-1;;;;;;3285:19:0::1;::::0;;3164:148::o;6523:167::-;6601:4;6618:42;748:10;6642:9;6653:6;6618:9;:42::i;11017:164::-;3077:6;;-1:-1:-1;;;;;3077:6:0;748:10;3077:22;3069:67;;;;-1:-1:-1;;;3069:67:0;;;;;;;:::i;:::-;11091:6:::1;11086:88;11107:5;:12;11103:1;:16;11086:88;;;11158:4;11141;:14;11146:5;11152:1;11146:8;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;11141:14:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;11141:14:0;:21;;-1:-1:-1;;11141:21:0::1;::::0;::::1;;::::0;;;::::1;::::0;;11121:3;::::1;::::0;::::1;:::i;:::-;;;;11086:88;;;;11017:164:::0;:::o;12363:195::-;12429:15;;-1:-1:-1;;;;;12429:15:0;748:10;-1:-1:-1;;;;;12413:31:0;;12405:40;;;;;;12456:23;12482:24;12500:4;12482:9;:24::i;:::-;12456:50;;12517:33;12534:15;12517:16;:33::i;10189:816::-;3077:6;;-1:-1:-1;;;;;3077:6:0;748:10;3077:22;3069:67;;;;-1:-1:-1;;;3069:67:0;;;;;;;:::i;:::-;10253:11:::1;::::0;-1:-1:-1;;;10253:11:0;::::1;;;10252:12;10244:47;;;::::0;-1:-1:-1;;;10244:47:0;;9741:2:1;10244:47:0::1;::::0;::::1;9723:21:1::0;9780:2;9760:18;;;9753:30;9819:25;9799:18;;;9792:53;9862:18;;10244:47:0::1;9539:347:1::0;10244:47:0::1;10413:15;:34:::0;;-1:-1:-1;;;;;;10413:34:0::1;10359:42;10413:34:::0;;::::1;::::0;;;10458:58:::1;10475:4;10359:42:::0;4583:21:::1;10458:8;:58::i;:::-;10561:16;-1:-1:-1::0;;;;;10561:24:0::1;;:26;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10543:56:0::1;;10608:4;10615:16;-1:-1:-1::0;;;;;10615:21:0::1;;:23;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10543:96;::::0;-1:-1:-1;;;;;;10543:96:0::1;::::0;;;;;;-1:-1:-1;;;;;4217:15:1;;;10543:96:0::1;::::0;::::1;4199:34:1::0;4269:15;;4249:18;;;4242:43;4134:18;;10543:96:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10527:13;:112:::0;;-1:-1:-1;;;;;;10527:112:0::1;-1:-1:-1::0;;;;;10527:112:0;;::::1;;::::0;;10650:15:::1;::::0;::::1;:31;10689:21;10720:4;10726:24;10720:4:::0;10726:9:::1;:24::i;:::-;10751:1;10753::::0;10755:7:::1;2988::::0;3015:6;-1:-1:-1;;;;;3015:6:0;;2950:79;10755:7:::1;10650:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10650:129:0;;;-1:-1:-1;;;;;4934:15:1;;;10650:129:0::1;::::0;::::1;4916:34:1::0;4966:18;;;4959:34;;;;5009:18;;;5002:34;;;;5052:18;;;5045:34;5116:15;;;5095:19;;;5088:44;10763:15:0::1;5148:19:1::0;;;5141:35;4850:19;;10650:129:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10790:11:0::1;:18:::0;;10867:19:::1;10852:12;:34:::0;-1:-1:-1;;;;10897:18:0;;-1:-1:-1;;;10897:18:0;;;;10964:15:::1;::::0;10926:71:::1;::::0;-1:-1:-1;;;10926:71:0;;-1:-1:-1;;;;;10964:15:0;;::::1;10926:71;::::0;::::1;4470:51:1::0;-1:-1:-1;;4537:18:1;;;4530:34;10933:13:0;;;-1:-1:-1;10926:29:0::1;::::0;4443:18:1;;10926:71:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;7712:335::-:0;-1:-1:-1;;;;;7805:19:0;;7797:68;;;;-1:-1:-1;;;7797:68:0;;9336:2:1;7797:68:0;;;9318:21:1;9375:2;9355:18;;;9348:30;9414:34;9394:18;;;9387:62;-1:-1:-1;;;9465:18:1;;;9458:34;9509:19;;7797:68:0;9134:400:1;7797:68:0;-1:-1:-1;;;;;7884:21:0;;7876:68;;;;-1:-1:-1;;;7876:68:0;;6998:2:1;7876:68:0;;;6980:21:1;7037:2;7017:18;;;7010:30;7076:34;7056:18;;;7049:62;-1:-1:-1;;;7127:18:1;;;7120:32;7169:19;;7876:68:0;6796:398:1;7876:68:0;-1:-1:-1;;;;;7955:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8007:32;;10037:25:1;;;8007:32:0;;10010:18:1;8007:32:0;;;;;;;7712:335;;;:::o;8055:1461::-;-1:-1:-1;;;;;8143:18:0;;8135:68;;;;-1:-1:-1;;;8135:68:0;;8930:2:1;8135:68:0;;;8912:21:1;8969:2;8949:18;;;8942:30;9008:34;8988:18;;;8981:62;-1:-1:-1;;;9059:18:1;;;9052:35;9104:19;;8135:68:0;8728:401:1;8135:68:0;-1:-1:-1;;;;;8222:16:0;;8214:64;;;;-1:-1:-1;;;8214:64:0;;6183:2:1;8214:64:0;;;6165:21:1;6222:2;6202:18;;;6195:30;6261:34;6241:18;;;6234:62;-1:-1:-1;;;6312:18:1;;;6305:33;6355:19;;8214:64:0;5981:399:1;8214:64:0;8306:1;8297:6;:10;8289:64;;;;-1:-1:-1;;;8289:64:0;;8520:2:1;8289:64:0;;;8502:21:1;8559:2;8539:18;;;8532:30;8598:34;8578:18;;;8571:62;-1:-1:-1;;;8649:18:1;;;8642:39;8698:19;;8289:64:0;8318:405:1;8289:64:0;8376:1;8364:9;:13;8400:1;8388:9;:13;8424:7;2988;3015:6;-1:-1:-1;;;;;3015:6:0;;2950:79;8424:7;-1:-1:-1;;;;;8416:15:0;:4;-1:-1:-1;;;;;8416:15:0;;;:32;;;;-1:-1:-1;2988:7:0;3015:6;-1:-1:-1;;;;;8435:13:0;;;3015:6;;8435:13;;8416:32;8412:1052;;;-1:-1:-1;;;;;8474:10:0;;;;;;:4;:10;;;;;;;;8473:11;:24;;;;-1:-1:-1;;;;;;8489:8:0;;;;;;:4;:8;;;;;;;;8488:9;8473:24;8465:33;;;;;;8525:13;;-1:-1:-1;;;;;8517:21:0;;;8525:13;;8517:21;:55;;;;-1:-1:-1;8556:15:0;;-1:-1:-1;;;;;8542:30:0;;;8556:15;;8542:30;;8517:55;:83;;;;-1:-1:-1;;;;;;8578:22:0;;;;;;:18;:22;;;;;;;;8576:24;8517:83;:102;;;;-1:-1:-1;8604:15:0;;-1:-1:-1;;;8604:15:0;;;;8517:102;8513:325;;;8687:12;;8677:6;:22;;8669:31;;;;;;-1:-1:-1;;;;;8727:12:0;;;;;;:8;:12;;;;;;8742:15;-1:-1:-1;8719:39:0;;;;;;8792:30;:15;8811:10;8792:30;:::i;:::-;-1:-1:-1;;;;;8777:12:0;;;;;;:8;:12;;;;;:45;8513:325;8890:13;;-1:-1:-1;;;;;8884:19:0;;;8890:13;;8884:19;:55;;;;-1:-1:-1;8923:15:0;;-1:-1:-1;;;;;8907:32:0;;;8923:15;;8907:32;;8884:55;:85;;;;-1:-1:-1;;;;;;8945:24:0;;;;;;:18;:24;;;;;;;;8943:26;8884:85;8880:171;;;9002:1;8990:9;:13;9034:1;9022:9;:13;8880:171;9065:28;9096:24;9114:4;9096:9;:24::i;:::-;9140:6;;9065:55;;-1:-1:-1;;;;9140:6:0;;;;9139:7;:32;;;;-1:-1:-1;9158:13:0;;-1:-1:-1;;;;;9150:21:0;;;9158:13;;9150:21;;9139:32;:47;;;;-1:-1:-1;9175:11:0;;-1:-1:-1;;;9175:11:0;;;;9139:47;9135:318;;;9207:38;9224:20;9207:16;:38::i;:::-;9293:21;9336:22;;9333:105;;9383:35;9396:21;9383:12;:35::i;:::-;9188:265;9135:318;8450:1014;8412:1052;9478:30;9493:4;9498:2;9501:6;9478:14;:30::i;:::-;8055:1461;;;:::o;1805:190::-;1891:7;1927:12;1919:6;;;;1911:29;;;;-1:-1:-1;;;1911:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1951:9:0;1963:5;1967:1;1963;:5;:::i;:::-;1951:17;1805:190;-1:-1:-1;;;;;1805:190:0:o;10023:154::-;10080:15;;-1:-1:-1;;;;;10080:15:0;:39;10105:13;:6;10116:1;10105:10;:13::i;:::-;10080:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;10130:15:0;;-1:-1:-1;;;;;10130:15:0;:39;10155:13;:6;10166:1;10155:10;:13::i;:::-;10130:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7450:254;7517:7;7556;;7545;:18;;7537:73;;;;-1:-1:-1;;;7537:73:0;;6587:2:1;7537:73:0;;;6569:21:1;6626:2;6606:18;;;6599:30;6665:34;6645:18;;;6638:62;-1:-1:-1;;;6716:18:1;;;6709:40;6766:19;;7537:73:0;6385:406:1;7537:73:0;7621:19;7644:10;:8;:10::i;:::-;7621:33;-1:-1:-1;7672:24:0;:7;7621:33;7672:11;:24::i;:::-;7665:31;7450:254;-1:-1:-1;;;7450:254:0:o;9524:483::-;5398:6;:13;;-1:-1:-1;;;;5398:13:0;-1:-1:-1;;;5398:13:0;;;9626:16:::1;::::0;;9640:1:::1;9626:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9626:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9626:16:0::1;9602:40;;9671:4;9653;9658:1;9653:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9653:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9697:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9697:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9653:7;;9697:22;;;;;:15;:22;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9687:4;9692:1;9687:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9687:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9762:15:::1;::::0;9730:62:::1;::::0;9747:4:::1;::::0;9762:15:::1;9780:11:::0;9730:8:::1;:62::i;:::-;9803:15;::::0;:196:::1;::::0;-1:-1:-1;;;9803:196:0;;-1:-1:-1;;;;;9803:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9884:11;;9803:15:::1;::::0;9926:4;;9953::::1;::::0;9973:15:::1;::::0;9803:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5434:6:0;:14;;-1:-1:-1;;;;5434:14:0;;;-1:-1:-1;;;;9524:483:0:o;11297:146::-;11391:44;11409:6;11417:9;11428:6;11391:17;:44::i;2257:132::-;2315:7;2342:39;2346:1;2349;2342:39;;;;;;;;;;;;;;;;;:3;:39::i;14030:163::-;14071:7;14092:15;14109;14128:19;:17;:19::i;:::-;14091:56;;-1:-1:-1;14091:56:0;-1:-1:-1;14165:20:0;14091:56;;14165:11;:20::i;:::-;14158:27;;;;14030:163;:::o;11451:488::-;11550:15;11567:23;11592:12;11606:23;11631:12;11645:13;11662:19;11673:7;11662:10;:19::i;:::-;-1:-1:-1;;;;;11710:15:0;;;;;;:7;:15;;;;;;11549:132;;-1:-1:-1;11549:132:0;;-1:-1:-1;11549:132:0;;-1:-1:-1;11549:132:0;-1:-1:-1;11549:132:0;-1:-1:-1;11549:132:0;-1:-1:-1;11710:28:0;;11549:132;11710:19;:28::i;:::-;-1:-1:-1;;;;;11692:15:0;;;;;;;:7;:15;;;;;;:46;;;;11770:18;;;;;;;:39;;11793:15;11770:22;:39::i;:::-;-1:-1:-1;;;;;11749:18:0;;;;;;:7;:18;;;;;:60;11821:16;11831:5;11821:9;:16::i;:::-;11848:23;11860:4;11866;11848:11;:23::i;:::-;11904:9;-1:-1:-1;;;;;11887:44:0;11896:6;-1:-1:-1;;;;;11887:44:0;;11915:15;11887:44;;;;10037:25:1;;10025:2;10010:18;;9891:177;11887:44:0;;;;;;;;11538:401;;;;;;11451:488;;;:::o;2397:189::-;2483:7;2518:12;2511:5;2503:28;;;;-1:-1:-1;;;2503:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2542:9:0;2554:5;2558:1;2554;:5;:::i;14201:262::-;14298:7;;14251;;;;4583:21;14372:20;14298:7;4583:21;14372:11;:20::i;:::-;14362:7;:30;14358:61;;;-1:-1:-1;;14402:7:0;;;4583:21;;-1:-1:-1;14201:262:0;-1:-1:-1;14201:262:0:o;14358:61::-;14438:7;;14447;;-1:-1:-1;14201:262:0;-1:-1:-1;14201:262:0:o;12778:471::-;12837:7;12846;12855;12864;12873;12882;12903:23;12928:12;12942:13;12959:42;12971:7;12980:9;;12991;;12959:11;:42::i;:::-;12902:99;;;;;;13012:19;13035:10;:8;:10::i;:::-;13012:33;;13057:15;13074:23;13099:12;13115:46;13127:7;13136:4;13142:5;13149:11;13115;:46::i;:::-;13056:105;;-1:-1:-1;13056:105:0;-1:-1:-1;13056:105:0;-1:-1:-1;13212:15:0;;-1:-1:-1;13229:4:0;;-1:-1:-1;13235:5:0;;-1:-1:-1;;;;;12778:471:0;;;;;;;:::o;1661:136::-;1719:7;1746:43;1750:1;1753;1746:43;;;;;;;;;;;;;;;;;:3;:43::i;1474:179::-;1532:7;;1564:5;1568:1;1564;:5;:::i;:::-;1552:17;;1593:1;1588;:6;;1580:46;;;;-1:-1:-1;;;1580:46:0;;7401:2:1;1580:46:0;;;7383:21:1;7440:2;7420:18;;;7413:30;7479:29;7459:18;;;7452:57;7526:18;;1580:46:0;7199:351:1;11947:212:0;12000:19;12023:10;:8;:10::i;:::-;12000:33;-1:-1:-1;12044:13:0;12060:22;:5;12000:33;12060:9;:22::i;:::-;12134:4;12118:22;;;;:7;:22;;;;;;12044:38;;-1:-1:-1;12118:33:0;;12044:38;12118:26;:33::i;:::-;12109:4;12093:22;;;;:7;:22;;;;;:58;-1:-1:-1;;;11947:212:0:o;12167:147::-;12245:7;;:17;;12257:4;12245:11;:17::i;:::-;12235:7;:27;12286:10;;:20;;12301:4;12286:14;:20::i;:::-;12273:10;:33;-1:-1:-1;;12167:147:0:o;13257:351::-;13350:7;;;;13403:28;13427:3;13403:19;:7;13415:6;13403:11;:19::i;:::-;:23;;:28::i;:::-;13388:43;-1:-1:-1;13442:13:0;13458:29;13483:3;13458:20;:7;13470;13458:11;:20::i;:29::-;13442:45;-1:-1:-1;13498:23:0;13524:28;13442:45;13524:17;:7;13536:4;13524:11;:17::i;:::-;:21;;:28::i;:::-;13498:54;13588:4;;-1:-1:-1;13594:5:0;;-1:-1:-1;13257:351:0;;-1:-1:-1;;;;;13257:351:0:o;13616:409::-;13726:7;;;;13782:24;:7;13794:11;13782;:24::i;:::-;13764:42;-1:-1:-1;13817:12:0;13832:21;:4;13841:11;13832:8;:21::i;:::-;13817:36;-1:-1:-1;13864:13:0;13880:22;:5;13890:11;13880:9;:22::i;:::-;13864:38;-1:-1:-1;13913:23:0;13939:28;13864:38;13939:17;:7;13951:4;13939:11;:17::i;:28::-;13986:7;;;;-1:-1:-1;14012:4:0;;-1:-1:-1;13616:409:0;;-1:-1:-1;;;;;;;13616:409:0:o;2003:246::-;2061:7;2085:6;2081:47;;-1:-1:-1;2115:1:0;2108:8;;2081:47;2138:9;2150:5;2154:1;2150;:5;:::i;:::-;2138:17;-1:-1:-1;2183:1:0;2174:5;2178:1;2138:17;2174:5;:::i;:::-;:10;2166:56;;;;-1:-1:-1;;;2166:56:0;;7757:2:1;2166:56:0;;;7739:21:1;7796:2;7776:18;;;7769:30;7835:34;7815:18;;;7808:62;-1:-1:-1;;;7886:18:1;;;7879:31;7927:19;;2166:56:0;7555:397:1;14:134;82:20;;111:31;82:20;111:31;:::i;:::-;14:134;;;:::o;153:247::-;212:6;265:2;253:9;244:7;240:23;236:32;233:52;;;281:1;278;271:12;233:52;320:9;307:23;339:31;364:5;339:31;:::i;405:251::-;475:6;528:2;516:9;507:7;503:23;499:32;496:52;;;544:1;541;534:12;496:52;576:9;570:16;595:31;620:5;595:31;:::i;661:388::-;729:6;737;790:2;778:9;769:7;765:23;761:32;758:52;;;806:1;803;796:12;758:52;845:9;832:23;864:31;889:5;864:31;:::i;:::-;914:5;-1:-1:-1;971:2:1;956:18;;943:32;984:33;943:32;984:33;:::i;:::-;1036:7;1026:17;;;661:388;;;;;:::o;1054:456::-;1131:6;1139;1147;1200:2;1188:9;1179:7;1175:23;1171:32;1168:52;;;1216:1;1213;1206:12;1168:52;1255:9;1242:23;1274:31;1299:5;1274:31;:::i;:::-;1324:5;-1:-1:-1;1381:2:1;1366:18;;1353:32;1394:33;1353:32;1394:33;:::i;:::-;1054:456;;1446:7;;-1:-1:-1;;;1500:2:1;1485:18;;;;1472:32;;1054:456::o;1515:315::-;1583:6;1591;1644:2;1632:9;1623:7;1619:23;1615:32;1612:52;;;1660:1;1657;1650:12;1612:52;1699:9;1686:23;1718:31;1743:5;1718:31;:::i;:::-;1768:5;1820:2;1805:18;;;;1792:32;;-1:-1:-1;;;1515:315:1:o;1835:1132::-;1919:6;1950:2;1993;1981:9;1972:7;1968:23;1964:32;1961:52;;;2009:1;2006;1999:12;1961:52;2049:9;2036:23;2078:18;2119:2;2111:6;2108:14;2105:34;;;2135:1;2132;2125:12;2105:34;2173:6;2162:9;2158:22;2148:32;;2218:7;2211:4;2207:2;2203:13;2199:27;2189:55;;2240:1;2237;2230:12;2189:55;2276:2;2263:16;2298:2;2294;2291:10;2288:36;;;2304:18;;:::i;:::-;2350:2;2347:1;2343:10;2382:2;2376:9;2445:2;2441:7;2436:2;2432;2428:11;2424:25;2416:6;2412:38;2500:6;2488:10;2485:22;2480:2;2468:10;2465:18;2462:46;2459:72;;;2511:18;;:::i;:::-;2547:2;2540:22;2597:18;;;2631:15;;;;-1:-1:-1;2666:11:1;;;2696;;;2692:20;;2689:33;-1:-1:-1;2686:53:1;;;2735:1;2732;2725:12;2686:53;2757:1;2748:10;;2767:169;2781:2;2778:1;2775:9;2767:169;;;2838:23;2857:3;2838:23;:::i;:::-;2826:36;;2799:1;2792:9;;;;;2882:12;;;;2914;;2767:169;;;-1:-1:-1;2955:6:1;1835:1132;-1:-1:-1;;;;;;;;1835:1132:1:o;2972:241::-;3028:6;3081:2;3069:9;3060:7;3056:23;3052:32;3049:52;;;3097:1;3094;3087:12;3049:52;3136:9;3123:23;3155:28;3177:5;3155:28;:::i;3218:245::-;3285:6;3338:2;3326:9;3317:7;3313:23;3309:32;3306:52;;;3354:1;3351;3344:12;3306:52;3386:9;3380:16;3405:28;3427:5;3405:28;:::i;3468:306::-;3556:6;3564;3572;3625:2;3613:9;3604:7;3600:23;3596:32;3593:52;;;3641:1;3638;3631:12;3593:52;3670:9;3664:16;3654:26;;3720:2;3709:9;3705:18;3699:25;3689:35;;3764:2;3753:9;3749:18;3743:25;3733:35;;3468:306;;;;;:::o;5379:597::-;5491:4;5520:2;5549;5538:9;5531:21;5581:6;5575:13;5624:6;5619:2;5608:9;5604:18;5597:34;5649:1;5659:140;5673:6;5670:1;5667:13;5659:140;;;5768:14;;;5764:23;;5758:30;5734:17;;;5753:2;5730:26;5723:66;5688:10;;5659:140;;;5817:6;5814:1;5811:13;5808:91;;;5887:1;5882:2;5873:6;5862:9;5858:22;5854:31;5847:42;5808:91;-1:-1:-1;5960:2:1;5939:15;-1:-1:-1;;5935:29:1;5920:45;;;;5967:2;5916:54;;5379:597;-1:-1:-1;;;5379:597:1:o;7957:356::-;8159:2;8141:21;;;8178:18;;;8171:30;8237:34;8232:2;8217:18;;8210:62;8304:2;8289:18;;7957:356::o;10073:980::-;10335:4;10383:3;10372:9;10368:19;10414:6;10403:9;10396:25;10440:2;10478:6;10473:2;10462:9;10458:18;10451:34;10521:3;10516:2;10505:9;10501:18;10494:31;10545:6;10580;10574:13;10611:6;10603;10596:22;10649:3;10638:9;10634:19;10627:26;;10688:2;10680:6;10676:15;10662:29;;10709:1;10719:195;10733:6;10730:1;10727:13;10719:195;;;10798:13;;-1:-1:-1;;;;;10794:39:1;10782:52;;10889:15;;;;10854:12;;;;10830:1;10748:9;10719:195;;;-1:-1:-1;;;;;;;10970:32:1;;;;10965:2;10950:18;;10943:60;-1:-1:-1;;;11034:3:1;11019:19;11012:35;10931:3;10073:980;-1:-1:-1;;;10073:980:1:o;11247:128::-;11287:3;11318:1;11314:6;11311:1;11308:13;11305:39;;;11324:18;;:::i;:::-;-1:-1:-1;11360:9:1;;11247:128::o;11380:217::-;11420:1;11446;11436:132;;11490:10;11485:3;11481:20;11478:1;11471:31;11525:4;11522:1;11515:15;11553:4;11550:1;11543:15;11436:132;-1:-1:-1;11582:9:1;;11380:217::o;11602:168::-;11642:7;11708:1;11704;11700:6;11696:14;11693:1;11690:21;11685:1;11678:9;11671:17;11667:45;11664:71;;;11715:18;;:::i;:::-;-1:-1:-1;11755:9:1;;11602:168::o;11775:125::-;11815:4;11843:1;11840;11837:8;11834:34;;;11848:18;;:::i;:::-;-1:-1:-1;11885:9:1;;11775:125::o;11905:135::-;11944:3;-1:-1:-1;;11965:17:1;;11962:43;;;11985:18;;:::i;:::-;-1:-1:-1;12032:1:1;12021:13;;11905:135::o;12045:127::-;12106:10;12101:3;12097:20;12094:1;12087:31;12137:4;12134:1;12127:15;12161:4;12158:1;12151:15;12177:127;12238:10;12233:3;12229:20;12226:1;12219:31;12269:4;12266:1;12259:15;12293:4;12290:1;12283:15;12309:127;12370:10;12365:3;12361:20;12358:1;12351:31;12401:4;12398:1;12391:15;12425:4;12422:1;12415:15;12441:131;-1:-1:-1;;;;;12516:31:1;;12506:42;;12496:70;;12562:1;12559;12552:12;12577:118;12663:5;12656:13;12649:21;12642:5;12639:32;12629:60;;12685:1;12682;12675:12

ipfs://5d71b34ac1208a801f96ad48aa916b050d8e0dfd5701877bfa1261dad24f90ea