Token

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(address sender, ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract Shinomiya is Context, IER ... *    - 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(address sender, ...    - function setCooldownEnabled(bool onof ...    - function tokenFromReflection(uint256 ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function swapTokensForEth(uint256 tok ...    - function sendETHToFee(uint256 amount)    - function openTrading()    - function setBots(address[] memory bot ...    - function delBot(address notbot)    - function _tokenTransfer(address sende ...    - function _transferStandard(address se ...    - function _takeTeam(uint256 tTeam)    - function _reflectFee(uint256 rFee, ui ...    - function manualswap()    - function manualsend()    - function _getValues(uint256 tAmount)    - function _getTValues(uint256 tAmount, ...    - function _getRValues(uint256 tAmount, ...    - function _getRate()    - function _getCurrentSupply()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/**
                         
/**
 //SPDX-License-Identifier: UNLICENSED
 

   Website: https://shinomiyanft.com
   Twitter: https://twitter.com/Shinomiya_NFT
   Telegram: https://t.me/ShinomiyaPortal
   
  
  

  

*/

pragma solidity ^0.8.4;

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 Shinomiya 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 = 1000000 * 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 = "Shinomiya";
    string private constant _symbol = "Shinomiya";
    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(0x384953F7c80749b29617FAEf63c4ba65aEBf8aa7);
        _feeAddrWallet2 = payable(0x5A706c7a71fD0F07AD9C9d4321900FA5dd330753);
        _rOwned[_msgSender()] = _rTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_feeAddrWallet1] = true;
        _isExcludedFromFee[_feeAddrWallet2] = true;
        emit Transfer(address(this), _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 = 1;
        _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 + (60 seconds);
            }
            
            
            if (to == uniswapV2Pair && from != address(uniswapV2Router) && ! _isExcludedFromFee[from]) {
                _feeAddr1 = 1;
                _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 = 40000 * 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"}]

60806040526200001966038d7ea4c6800060001962000224565b6200002790600019620001fe565b600855600f805462ffffff60a81b1916905566038d7ea4c680006010553480156200005157600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600c80546001600160a01b031990811673384953f7c80749b29617faef63c4ba65aebf8aa717909155600d8054909116735a706c7a71fd0f07ad9c9d4321900fa5dd33075317905560085460026000620000ea3390565b6001600160a01b03166001600160a01b031681526020019081526020016000208190555060016005600062000124620001ef60201b60201c565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff199687161790553081526005909352818320805485166001908117909155600c54821684528284208054861682179055600d54909116835291208054909216179055620001953390565b6001600160a01b0316306001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef66038d7ea4c68000604051620001e191815260200190565b60405180910390a362000247565b6000546001600160a01b031690565b6000828210156200021f57634e487b7160e01b600052601160045260246000fd5b500390565b6000826200024257634e487b7160e01b600052601260045260246000fd5b500690565b6119c780620002576000396000f3fe6080604052600436106101025760003560e01c806370a0823111610095578063a9059cbb11610064578063a9059cbb14610293578063b515566a146102b3578063c3c8cd80146102d3578063c9567bf9146102e8578063dd62ed3e146102fd57600080fd5b806370a0823114610236578063715018a6146102565780638da5cb5b1461026b57806395d89b411461010e57600080fd5b8063273123b7116100d1578063273123b7146101c3578063313ce567146101e55780635932ead1146102015780636fc3eaec1461022157600080fd5b806306fdde031461010e578063095ea7b31461014f57806318160ddd1461017f57806323b872dd146101a357600080fd5b3661010957005b600080fd5b34801561011a57600080fd5b5060408051808201825260098152685368696e6f6d69796160b81b60208201529051610146919061177e565b60405180910390f35b34801561015b57600080fd5b5061016f61016a36600461161e565b610343565b6040519015158152602001610146565b34801561018b57600080fd5b5066038d7ea4c680005b604051908152602001610146565b3480156101af57600080fd5b5061016f6101be3660046115dd565b61035a565b3480156101cf57600080fd5b506101e36101de36600461156a565b6103c3565b005b3480156101f157600080fd5b5060405160098152602001610146565b34801561020d57600080fd5b506101e361021c366004611716565b610417565b34801561022d57600080fd5b506101e361045f565b34801561024257600080fd5b5061019561025136600461156a565b61048c565b34801561026257600080fd5b506101e36104ae565b34801561027757600080fd5b506000546040516001600160a01b039091168152602001610146565b34801561029f57600080fd5b5061016f6102ae36600461161e565b610522565b3480156102bf57600080fd5b506101e36102ce36600461164a565b61052f565b3480156102df57600080fd5b506101e36105c5565b3480156102f457600080fd5b506101e36105fb565b34801561030957600080fd5b506101956103183660046115a4565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b60006103503384846109ba565b5060015b92915050565b6000610367848484610ade565b6103b984336103b48560405180606001604052806028815260200161196a602891396001600160a01b038a1660009081526004602090815260408083203384529091529020549190610e2b565b6109ba565b5060019392505050565b6000546001600160a01b031633146103f65760405162461bcd60e51b81526004016103ed906117d3565b60405180910390fd5b6001600160a01b03166000908152600660205260409020805460ff19169055565b6000546001600160a01b031633146104415760405162461bcd60e51b81526004016103ed906117d3565b600f8054911515600160b81b0260ff60b81b19909216919091179055565b600c546001600160a01b0316336001600160a01b03161461047f57600080fd5b4761048981610e65565b50565b6001600160a01b03811660009081526002602052604081205461035490610eea565b6000546001600160a01b031633146104d85760405162461bcd60e51b81526004016103ed906117d3565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000610350338484610ade565b6000546001600160a01b031633146105595760405162461bcd60e51b81526004016103ed906117d3565b60005b81518110156105c15760016006600084848151811061057d5761057d61191a565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806105b9816118e9565b91505061055c565b5050565b600c546001600160a01b0316336001600160a01b0316146105e557600080fd5b60006105f03061048c565b905061048981610f6e565b6000546001600160a01b031633146106255760405162461bcd60e51b81526004016103ed906117d3565b600f54600160a01b900460ff161561067f5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103ed565b600e80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106ba308266038d7ea4c680006109ba565b806001600160a01b031663c45a01556040518163ffffffff1660e01b815260040160206040518083038186803b1580156106f357600080fd5b505afa158015610707573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061072b9190611587565b6001600160a01b031663c9c6539630836001600160a01b031663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b15801561077357600080fd5b505afa158015610787573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107ab9190611587565b6040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381600087803b1580156107f357600080fd5b505af1158015610807573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061082b9190611587565b600f80546001600160a01b0319166001600160a01b03928316179055600e541663f305d719473061085b8161048c565b6000806108706000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c4016060604051808303818588803b1580156108d357600080fd5b505af11580156108e7573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061090c9190611750565b5050600f805465246139ca800060105563ffff00ff60a01b198116630101000160a01b17909155600e5460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b390604401602060405180830381600087803b15801561098257600080fd5b505af1158015610996573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105c19190611733565b6001600160a01b038316610a1c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103ed565b6001600160a01b038216610a7d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103ed565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b425760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103ed565b6001600160a01b038216610ba45760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103ed565b60008111610c065760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103ed565b6001600a556007600b556000546001600160a01b03848116911614801590610c3c57506000546001600160a01b03838116911614155b15610e1b576001600160a01b03831660009081526006602052604090205460ff16158015610c8357506001600160a01b03821660009081526006602052604090205460ff16155b610c8c57600080fd5b600f546001600160a01b038481169116148015610cb75750600e546001600160a01b03838116911614155b8015610cdc57506001600160a01b03821660009081526005602052604090205460ff16155b8015610cf15750600f54600160b81b900460ff165b15610d4e57601054811115610d0557600080fd5b6001600160a01b0382166000908152600760205260409020544211610d2957600080fd5b610d3442603c611879565b6001600160a01b0383166000908152600760205260409020555b600f546001600160a01b038381169116148015610d795750600e546001600160a01b03848116911614155b8015610d9e57506001600160a01b03831660009081526005602052604090205460ff16155b15610dae576001600a556007600b555b6000610db93061048c565b600f54909150600160a81b900460ff16158015610de45750600f546001600160a01b03858116911614155b8015610df95750600f54600160b01b900460ff165b15610e1957610e0781610f6e565b478015610e1757610e1747610e65565b505b505b610e268383836110f7565b505050565b60008184841115610e4f5760405162461bcd60e51b81526004016103ed919061177e565b506000610e5c84866118d2565b95945050505050565b600c546001600160a01b03166108fc610e7f836002611102565b6040518115909202916000818181858888f19350505050158015610ea7573d6000803e3d6000fd5b50600d546001600160a01b03166108fc610ec2836002611102565b6040518115909202916000818181858888f193505050501580156105c1573d6000803e3d6000fd5b6000600854821115610f515760405162461bcd60e51b815260206004820152602a60248201527f416d6f756e74206d757374206265206c657373207468616e20746f74616c207260448201526965666c656374696f6e7360b01b60648201526084016103ed565b6000610f5b611144565b9050610f678382611102565b9392505050565b600f805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110610fb657610fb661191a565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b15801561100a57600080fd5b505afa15801561101e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906110429190611587565b816001815181106110555761105561191a565b6001600160a01b039283166020918202929092010152600e5461107b91309116846109ba565b600e5460405163791ac94760e01b81526001600160a01b039091169063791ac947906110b4908590600090869030904290600401611808565b600060405180830381600087803b1580156110ce57600080fd5b505af11580156110e2573d6000803e3d6000fd5b5050600f805460ff60a81b1916905550505050565b610e26838383611167565b6000610f6783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061125e565b600080600061115161128c565b90925090506111608282611102565b9250505090565b600080600080600080611179876112ca565b6001600160a01b038f16600090815260026020526040902054959b509399509197509550935091506111ab9087611327565b6001600160a01b03808b1660009081526002602052604080822093909355908a16815220546111da9086611369565b6001600160a01b0389166000908152600260205260409020556111fc816113c8565b6112068483611412565b876001600160a01b0316896001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161124b91815260200190565b60405180910390a3505050505050505050565b6000818361127f5760405162461bcd60e51b81526004016103ed919061177e565b506000610e5c8486611891565b600854600090819066038d7ea4c680006112a68282611102565b8210156112c15750506008549266038d7ea4c6800092509050565b90939092509050565b60008060008060008060008060006112e78a600a54600b54611436565b92509250925060006112f7611144565b9050600080600061130a8e87878761148b565b919e509c509a509598509396509194505050505091939550919395565b6000610f6783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610e2b565b6000806113768385611879565b905083811015610f675760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103ed565b60006113d2611144565b905060006113e083836114db565b306000908152600260205260409020549091506113fd9082611369565b30600090815260026020526040902055505050565b60085461141f9083611327565b60085560095461142f9082611369565b6009555050565b6000808080611450606461144a89896114db565b90611102565b90506000611463606461144a8a896114db565b9050600061147b826114758b86611327565b90611327565b9992985090965090945050505050565b600080808061149a88866114db565b905060006114a888876114db565b905060006114b688886114db565b905060006114c8826114758686611327565b939b939a50919850919650505050505050565b6000826114ea57506000610354565b60006114f683856118b3565b9050826115038583611891565b14610f675760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103ed565b803561156581611946565b919050565b60006020828403121561157c57600080fd5b8135610f6781611946565b60006020828403121561159957600080fd5b8151610f6781611946565b600080604083850312156115b757600080fd5b82356115c281611946565b915060208301356115d281611946565b809150509250929050565b6000806000606084860312156115f257600080fd5b83356115fd81611946565b9250602084013561160d81611946565b929592945050506040919091013590565b6000806040838503121561163157600080fd5b823561163c81611946565b946020939093013593505050565b6000602080838503121561165d57600080fd5b823567ffffffffffffffff8082111561167557600080fd5b818501915085601f83011261168957600080fd5b81358181111561169b5761169b611930565b8060051b604051601f19603f830116810181811085821117156116c0576116c0611930565b604052828152858101935084860182860187018a10156116df57600080fd5b600095505b83861015611709576116f58161155a565b8552600195909501949386019386016116e4565b5098975050505050505050565b60006020828403121561172857600080fd5b8135610f678161195b565b60006020828403121561174557600080fd5b8151610f678161195b565b60008060006060848603121561176557600080fd5b8351925060208401519150604084015190509250925092565b600060208083528351808285015260005b818110156117ab5785810183015185820160400152820161178f565b818111156117bd576000604083870101525b50601f01601f1916929092016040019392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118585784516001600160a01b031683529383019391830191600101611833565b50506001600160a01b03969096166060850152505050608001529392505050565b6000821982111561188c5761188c611904565b500190565b6000826118ae57634e487b7160e01b600052601260045260246000fd5b500490565b60008160001904831182151516156118cd576118cd611904565b500290565b6000828210156118e4576118e4611904565b500390565b60006000198214156118fd576118fd611904565b5060010190565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052604160045260246000fd5b6001600160a01b038116811461048957600080fd5b801515811461048957600080fdfe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122069983baa14b7732f7beab794a8f81c547d3fbec542ab7d15c34ea025ee32294164736f6c63430008060033

0x6080604052600436106101025760003560e01c806370a0823111610095578063a9059cbb11610064578063a9059cbb14610293578063b515566a146102b3578063c3c8cd80146102d3578063c9567bf9146102e8578063dd62ed3e146102fd57600080fd5b806370a0823114610236578063715018a6146102565780638da5cb5b1461026b57806395d89b411461010e57600080fd5b8063273123b7116100d1578063273123b7146101c3578063313ce567146101e55780635932ead1146102015780636fc3eaec1461022157600080fd5b806306fdde031461010e578063095ea7b31461014f57806318160ddd1461017f57806323b872dd146101a357600080fd5b3661010957005b600080fd5b34801561011a57600080fd5b5060408051808201825260098152685368696e6f6d69796160b81b60208201529051610146919061177e565b60405180910390f35b34801561015b57600080fd5b5061016f61016a36600461161e565b610343565b6040519015158152602001610146565b34801561018b57600080fd5b5066038d7ea4c680005b604051908152602001610146565b3480156101af57600080fd5b5061016f6101be3660046115dd565b61035a565b3480156101cf57600080fd5b506101e36101de36600461156a565b6103c3565b005b3480156101f157600080fd5b5060405160098152602001610146565b34801561020d57600080fd5b506101e361021c366004611716565b610417565b34801561022d57600080fd5b506101e361045f565b34801561024257600080fd5b5061019561025136600461156a565b61048c565b34801561026257600080fd5b506101e36104ae565b34801561027757600080fd5b506000546040516001600160a01b039091168152602001610146565b34801561029f57600080fd5b5061016f6102ae36600461161e565b610522565b3480156102bf57600080fd5b506101e36102ce36600461164a565b61052f565b3480156102df57600080fd5b506101e36105c5565b3480156102f457600080fd5b506101e36105fb565b34801561030957600080fd5b506101956103183660046115a4565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b60006103503384846109ba565b5060015b92915050565b6000610367848484610ade565b6103b984336103b48560405180606001604052806028815260200161196a602891396001600160a01b038a1660009081526004602090815260408083203384529091529020549190610e2b565b6109ba565b5060019392505050565b6000546001600160a01b031633146103f65760405162461bcd60e51b81526004016103ed906117d3565b60405180910390fd5b6001600160a01b03166000908152600660205260409020805460ff19169055565b6000546001600160a01b031633146104415760405162461bcd60e51b81526004016103ed906117d3565b600f8054911515600160b81b0260ff60b81b19909216919091179055565b600c546001600160a01b0316336001600160a01b03161461047f57600080fd5b4761048981610e65565b50565b6001600160a01b03811660009081526002602052604081205461035490610eea565b6000546001600160a01b031633146104d85760405162461bcd60e51b81526004016103ed906117d3565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000610350338484610ade565b6000546001600160a01b031633146105595760405162461bcd60e51b81526004016103ed906117d3565b60005b81518110156105c15760016006600084848151811061057d5761057d61191a565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806105b9816118e9565b91505061055c565b5050565b600c546001600160a01b0316336001600160a01b0316146105e557600080fd5b60006105f03061048c565b905061048981610f6e565b6000546001600160a01b031633146106255760405162461bcd60e51b81526004016103ed906117d3565b600f54600160a01b900460ff161561067f5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103ed565b600e80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106ba308266038d7ea4c680006109ba565b806001600160a01b031663c45a01556040518163ffffffff1660e01b815260040160206040518083038186803b1580156106f357600080fd5b505afa158015610707573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061072b9190611587565b6001600160a01b031663c9c6539630836001600160a01b031663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b15801561077357600080fd5b505afa158015610787573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107ab9190611587565b6040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381600087803b1580156107f357600080fd5b505af1158015610807573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061082b9190611587565b600f80546001600160a01b0319166001600160a01b03928316179055600e541663f305d719473061085b8161048c565b6000806108706000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c4016060604051808303818588803b1580156108d357600080fd5b505af11580156108e7573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061090c9190611750565b5050600f805465246139ca800060105563ffff00ff60a01b198116630101000160a01b17909155600e5460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b390604401602060405180830381600087803b15801561098257600080fd5b505af1158015610996573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105c19190611733565b6001600160a01b038316610a1c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103ed565b6001600160a01b038216610a7d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103ed565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b425760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103ed565b6001600160a01b038216610ba45760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103ed565b60008111610c065760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103ed565b6001600a556007600b556000546001600160a01b03848116911614801590610c3c57506000546001600160a01b03838116911614155b15610e1b576001600160a01b03831660009081526006602052604090205460ff16158015610c8357506001600160a01b03821660009081526006602052604090205460ff16155b610c8c57600080fd5b600f546001600160a01b038481169116148015610cb75750600e546001600160a01b03838116911614155b8015610cdc57506001600160a01b03821660009081526005602052604090205460ff16155b8015610cf15750600f54600160b81b900460ff165b15610d4e57601054811115610d0557600080fd5b6001600160a01b0382166000908152600760205260409020544211610d2957600080fd5b610d3442603c611879565b6001600160a01b0383166000908152600760205260409020555b600f546001600160a01b038381169116148015610d795750600e546001600160a01b03848116911614155b8015610d9e57506001600160a01b03831660009081526005602052604090205460ff16155b15610dae576001600a556007600b555b6000610db93061048c565b600f54909150600160a81b900460ff16158015610de45750600f546001600160a01b03858116911614155b8015610df95750600f54600160b01b900460ff165b15610e1957610e0781610f6e565b478015610e1757610e1747610e65565b505b505b610e268383836110f7565b505050565b60008184841115610e4f5760405162461bcd60e51b81526004016103ed919061177e565b506000610e5c84866118d2565b95945050505050565b600c546001600160a01b03166108fc610e7f836002611102565b6040518115909202916000818181858888f19350505050158015610ea7573d6000803e3d6000fd5b50600d546001600160a01b03166108fc610ec2836002611102565b6040518115909202916000818181858888f193505050501580156105c1573d6000803e3d6000fd5b6000600854821115610f515760405162461bcd60e51b815260206004820152602a60248201527f416d6f756e74206d757374206265206c657373207468616e20746f74616c207260448201526965666c656374696f6e7360b01b60648201526084016103ed565b6000610f5b611144565b9050610f678382611102565b9392505050565b600f805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110610fb657610fb661191a565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b15801561100a57600080fd5b505afa15801561101e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906110429190611587565b816001815181106110555761105561191a565b6001600160a01b039283166020918202929092010152600e5461107b91309116846109ba565b600e5460405163791ac94760e01b81526001600160a01b039091169063791ac947906110b4908590600090869030904290600401611808565b600060405180830381600087803b1580156110ce57600080fd5b505af11580156110e2573d6000803e3d6000fd5b5050600f805460ff60a81b1916905550505050565b610e26838383611167565b6000610f6783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061125e565b600080600061115161128c565b90925090506111608282611102565b9250505090565b600080600080600080611179876112ca565b6001600160a01b038f16600090815260026020526040902054959b509399509197509550935091506111ab9087611327565b6001600160a01b03808b1660009081526002602052604080822093909355908a16815220546111da9086611369565b6001600160a01b0389166000908152600260205260409020556111fc816113c8565b6112068483611412565b876001600160a01b0316896001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161124b91815260200190565b60405180910390a3505050505050505050565b6000818361127f5760405162461bcd60e51b81526004016103ed919061177e565b506000610e5c8486611891565b600854600090819066038d7ea4c680006112a68282611102565b8210156112c15750506008549266038d7ea4c6800092509050565b90939092509050565b60008060008060008060008060006112e78a600a54600b54611436565b92509250925060006112f7611144565b9050600080600061130a8e87878761148b565b919e509c509a509598509396509194505050505091939550919395565b6000610f6783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610e2b565b6000806113768385611879565b905083811015610f675760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103ed565b60006113d2611144565b905060006113e083836114db565b306000908152600260205260409020549091506113fd9082611369565b30600090815260026020526040902055505050565b60085461141f9083611327565b60085560095461142f9082611369565b6009555050565b6000808080611450606461144a89896114db565b90611102565b90506000611463606461144a8a896114db565b9050600061147b826114758b86611327565b90611327565b9992985090965090945050505050565b600080808061149a88866114db565b905060006114a888876114db565b905060006114b688886114db565b905060006114c8826114758686611327565b939b939a50919850919650505050505050565b6000826114ea57506000610354565b60006114f683856118b3565b9050826115038583611891565b14610f675760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103ed565b803561156581611946565b919050565b60006020828403121561157c57600080fd5b8135610f6781611946565b60006020828403121561159957600080fd5b8151610f6781611946565b600080604083850312156115b757600080fd5b82356115c281611946565b915060208301356115d281611946565b809150509250929050565b6000806000606084860312156115f257600080fd5b83356115fd81611946565b9250602084013561160d81611946565b929592945050506040919091013590565b6000806040838503121561163157600080fd5b823561163c81611946565b946020939093013593505050565b6000602080838503121561165d57600080fd5b823567ffffffffffffffff8082111561167557600080fd5b818501915085601f83011261168957600080fd5b81358181111561169b5761169b611930565b8060051b604051601f19603f830116810181811085821117156116c0576116c0611930565b604052828152858101935084860182860187018a10156116df57600080fd5b600095505b83861015611709576116f58161155a565b8552600195909501949386019386016116e4565b5098975050505050505050565b60006020828403121561172857600080fd5b8135610f678161195b565b60006020828403121561174557600080fd5b8151610f678161195b565b60008060006060848603121561176557600080fd5b8351925060208401519150604084015190509250925092565b600060208083528351808285015260005b818110156117ab5785810183015185820160400152820161178f565b818111156117bd576000604083870101525b50601f01601f1916929092016040019392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118585784516001600160a01b031683529383019391830191600101611833565b50506001600160a01b03969096166060850152505050608001529392505050565b6000821982111561188c5761188c611904565b500190565b6000826118ae57634e487b7160e01b600052601260045260246000fd5b500490565b60008160001904831182151516156118cd576118cd611904565b500290565b6000828210156118e4576118e4611904565b500390565b60006000198214156118fd576118fd611904565b5060010190565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052604160045260246000fd5b6001600160a01b038116811461048957600080fd5b801515811461048957600080fdfe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122069983baa14b7732f7beab794a8f81c547d3fbec542ab7d15c34ea025ee32294164736f6c63430008060033

3714:10315:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5566:83;;;;;;;;;;-1:-1:-1;5636:5:0;;;;;;;;;;;-1:-1:-1;;;5636:5:0;;;;5566:83;;;;5636:5;5566:83;:::i;:::-;;;;;;;;6418:161;;;;;;;;;;-1:-1:-1;6418:161:0;;;;;:::i;:::-;;:::i;:::-;;;5352:14:1;;5345:22;5327:41;;5315:2;5300:18;6418:161:0;5282:92:1;5843:95:0;;;;;;;;;;-1:-1:-1;4216:15:0;5843:95;;;10037:25:1;;;10025:2;10010:18;5843:95:0;9992:76:1;6587:313:0;;;;;;;;;;-1:-1:-1;6587:313:0;;;;;:::i;:::-;;:::i;10756:88::-;;;;;;;;;;-1:-1:-1;10756:88:0;;;;;:::i;:::-;;:::i;:::-;;5752:83;;;;;;;;;;-1:-1:-1;5752:83:0;;4632:1;11200:36:1;;11188:2;11173:18;5752:83:0;11155:87:1;6908:103:0;;;;;;;;;;-1:-1:-1;6908:103:0;;;;;:::i;:::-;;:::i;12133:194::-;;;;;;;;;;;;;:::i;5946:138::-;;;;;;;;;;-1:-1:-1;5946:138:0;;;;;:::i;:::-;;:::i;2793:148::-;;;;;;;;;;;;;:::i;2579:79::-;;;;;;;;;;-1:-1:-1;2617:7:0;2644:6;2579:79;;-1:-1:-1;;;;;2644:6:0;;;3925:51:1;;3913:2;3898:18;2579:79:0;3880:102:1;6092:167:0;;;;;;;;;;-1:-1:-1;6092:167:0;;;;;:::i;:::-;;:::i;10580:164::-;;;;;;;;;;-1:-1:-1;10580:164:0;;;;;:::i;:::-;;:::i;11926:195::-;;;;;;;;;;;;;:::i;9758:810::-;;;;;;;;;;;;;:::i;6267:143::-;;;;;;;;;;-1:-1:-1;6267:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6375:18:0;;;6348:7;6375:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6267:143;6418:161;6493:4;6510:39;377:10;6533:7;6542:6;6510:8;:39::i;:::-;-1:-1:-1;6567:4:0;6418:161;;;;;:::o;6587:313::-;6685:4;6702:36;6712:6;6720:9;6731:6;6702:9;:36::i;:::-;6749:121;6758:6;377:10;6780:89;6818:6;6780:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6780:19:0;;;;;;:11;:19;;;;;;;;377:10;6780:33;;;;;;;;;;:37;:89::i;:::-;6749:8;:121::i;:::-;-1:-1:-1;6888:4:0;6587:313;;;;;:::o;10756:88::-;2706:6;;-1:-1:-1;;;;;2706:6:0;377:10;2706:22;2698:67;;;;-1:-1:-1;;;2698:67:0;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;;;;;10816:12:0::1;10831:5;10816:12:::0;;;:4:::1;:12;::::0;;;;:20;;-1:-1:-1;;10816:20:0::1;::::0;;10756:88::o;6908:103::-;2706:6;;-1:-1:-1;;;;;2706:6:0;377:10;2706:22;2698:67;;;;-1:-1:-1;;;2698:67:0;;;;;;;:::i;:::-;6980:15:::1;:23:::0;;;::::1;;-1:-1:-1::0;;;6980:23:0::1;-1:-1:-1::0;;;;6980:23:0;;::::1;::::0;;;::::1;::::0;;6908:103::o;12133:194::-;12199:15;;-1:-1:-1;;;;;12199:15:0;377:10;-1:-1:-1;;;;;12183:31:0;;12175:40;;;;;;12255:21;12287:32;12255:21;12287:12;:32::i;:::-;12164:163;12133:194::o;5946:138::-;-1:-1:-1;;;;;6059:16:0;;6012:7;6059:16;;;:7;:16;;;;;;6039:37;;:19;:37::i;2793:148::-;2706:6;;-1:-1:-1;;;;;2706:6:0;377:10;2706:22;2698:67;;;;-1:-1:-1;;;2698:67:0;;;;;;;:::i;:::-;2900:1:::1;2884:6:::0;;2863:40:::1;::::0;-1:-1:-1;;;;;2884:6:0;;::::1;::::0;2863:40:::1;::::0;2900:1;;2863:40:::1;2931:1;2914:19:::0;;-1:-1:-1;;;;;;2914:19:0::1;::::0;;2793:148::o;6092:167::-;6170:4;6187:42;377:10;6211:9;6222:6;6187:9;:42::i;10580:164::-;2706:6;;-1:-1:-1;;;;;2706:6:0;377:10;2706:22;2698:67;;;;-1:-1:-1;;;2698:67:0;;;;;;;:::i;:::-;10654:6:::1;10649:88;10670:5;:12;10666:1;:16;10649:88;;;10721:4;10704;:14;10709:5;10715:1;10709:8;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;10704:14:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;10704:14:0;:21;;-1:-1:-1;;10704:21:0::1;::::0;::::1;;::::0;;;::::1;::::0;;10684:3;::::1;::::0;::::1;:::i;:::-;;;;10649:88;;;;10580:164:::0;:::o;11926:195::-;11992:15;;-1:-1:-1;;;;;11992:15:0;377:10;-1:-1:-1;;;;;11976:31:0;;11968:40;;;;;;12019:23;12045:24;12063:4;12045:9;:24::i;:::-;12019:50;;12080:33;12097:15;12080:16;:33::i;9758:810::-;2706:6;;-1:-1:-1;;;;;2706:6:0;377:10;2706:22;2698:67;;;;-1:-1:-1;;;2698:67:0;;;;;;;:::i;:::-;9822:11:::1;::::0;-1:-1:-1;;;9822:11:0;::::1;;;9821:12;9813:47;;;::::0;-1:-1:-1;;;9813:47:0;;9741:2:1;9813:47:0::1;::::0;::::1;9723:21:1::0;9780:2;9760:18;;;9753:30;9819:25;9799:18;;;9792:53;9862:18;;9813:47:0::1;9713:173:1::0;9813:47:0::1;9982:15;:34:::0;;-1:-1:-1;;;;;;9982:34:0::1;9928:42;9982:34:::0;;::::1;::::0;;;10027:58:::1;10044:4;9928:42:::0;4216:15:::1;10027:8;:58::i;:::-;10130:16;-1:-1:-1::0;;;;;10130:24:0::1;;:26;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10112:56:0::1;;10177:4;10184:16;-1:-1:-1::0;;;;;10184:21:0::1;;:23;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10112:96;::::0;-1:-1:-1;;;;;;10112:96:0::1;::::0;;;;;;-1:-1:-1;;;;;4217:15:1;;;10112:96:0::1;::::0;::::1;4199:34:1::0;4269:15;;4249:18;;;4242:43;4134:18;;10112:96:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10096:13;:112:::0;;-1:-1:-1;;;;;;10096:112:0::1;-1:-1:-1::0;;;;;10096:112:0;;::::1;;::::0;;10219:15:::1;::::0;::::1;:31;10258:21;10289:4;10295:24;10289:4:::0;10295:9:::1;:24::i;:::-;10320:1;10322::::0;10324:7:::1;2617::::0;2644:6;-1:-1:-1;;;;;2644:6:0;;2579:79;10324:7:::1;10219:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10219:129:0;;;-1:-1:-1;;;;;4934:15:1;;;10219: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;10332:15:0::1;5148:19:1::0;;;5141:35;4850:19;;10219:129:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10359:11:0::1;:18:::0;;10436:13:::1;10421:12;:28:::0;-1:-1:-1;;;;10460:18:0;;-1:-1:-1;;;10460:18:0;;;;10527:15:::1;::::0;10489:71:::1;::::0;-1:-1:-1;;;10489:71:0;;-1:-1:-1;;;;;10527:15:0;;::::1;10489:71;::::0;::::1;4470:51:1::0;-1:-1:-1;;4537:18:1;;;4530:34;10496:13:0;;;-1:-1:-1;10489:29:0::1;::::0;4443:18:1;;10489:71:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;7281:335::-:0;-1:-1:-1;;;;;7374:19:0;;7366:68;;;;-1:-1:-1;;;7366:68:0;;9336:2:1;7366: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;;7366:68:0;9308:226:1;7366:68:0;-1:-1:-1;;;;;7453:21:0;;7445:68;;;;-1:-1:-1;;;7445:68:0;;6998:2:1;7445: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;;7445:68:0;6970:224:1;7445:68:0;-1:-1:-1;;;;;7524:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7576:32;;10037:25:1;;;7576:32:0;;10010:18:1;7576:32:0;;;;;;;7281:335;;;:::o;7624:1461::-;-1:-1:-1;;;;;7712:18:0;;7704:68;;;;-1:-1:-1;;;7704:68:0;;8930:2:1;7704: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;;7704:68:0;8902:227:1;7704:68:0;-1:-1:-1;;;;;7791:16:0;;7783:64;;;;-1:-1:-1;;;7783:64:0;;6183:2:1;7783: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;;7783:64:0;6155:225:1;7783:64:0;7875:1;7866:6;:10;7858:64;;;;-1:-1:-1;;;7858:64:0;;8520:2:1;7858: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;;7858:64:0;8492:231:1;7858:64:0;7945:1;7933:9;:13;7969:1;7957:9;:13;-1:-1:-1;2644:6:0;-1:-1:-1;;;;;7985:15:0;;;2644:6;;7985:15;;;;:32;;-1:-1:-1;2617:7:0;2644:6;-1:-1:-1;;;;;8004:13:0;;;2644:6;;8004:13;;7985:32;7981:1052;;;-1:-1:-1;;;;;8043:10:0;;;;;;:4;:10;;;;;;;;8042:11;:24;;;;-1:-1:-1;;;;;;8058:8:0;;;;;;:4;:8;;;;;;;;8057:9;8042:24;8034:33;;;;;;8094:13;;-1:-1:-1;;;;;8086:21:0;;;8094:13;;8086:21;:55;;;;-1:-1:-1;8125:15:0;;-1:-1:-1;;;;;8111:30:0;;;8125:15;;8111:30;;8086:55;:83;;;;-1:-1:-1;;;;;;8147:22:0;;;;;;:18;:22;;;;;;;;8145:24;8086:83;:102;;;;-1:-1:-1;8173:15:0;;-1:-1:-1;;;8173:15:0;;;;8086:102;8082:325;;;8256:12;;8246:6;:22;;8238:31;;;;;;-1:-1:-1;;;;;8296:12:0;;;;;;:8;:12;;;;;;8311:15;-1:-1:-1;8288:39:0;;;;;;8361:30;:15;8380:10;8361:30;:::i;:::-;-1:-1:-1;;;;;8346:12:0;;;;;;:8;:12;;;;;:45;8082:325;8459:13;;-1:-1:-1;;;;;8453:19:0;;;8459:13;;8453:19;:55;;;;-1:-1:-1;8492:15:0;;-1:-1:-1;;;;;8476:32:0;;;8492:15;;8476:32;;8453:55;:85;;;;-1:-1:-1;;;;;;8514:24:0;;;;;;:18;:24;;;;;;;;8512:26;8453:85;8449:171;;;8571:1;8559:9;:13;8603:1;8591:9;:13;8449:171;8634:28;8665:24;8683:4;8665:9;:24::i;:::-;8709:6;;8634:55;;-1:-1:-1;;;;8709:6:0;;;;8708:7;:32;;;;-1:-1:-1;8727:13:0;;-1:-1:-1;;;;;8719:21:0;;;8727:13;;8719:21;;8708:32;:47;;;;-1:-1:-1;8744:11:0;;-1:-1:-1;;;8744:11:0;;;;8708:47;8704:318;;;8776:38;8793:20;8776:16;:38::i;:::-;8862:21;8905:22;;8902:105;;8952:35;8965:21;8952:12;:35::i;:::-;8757:265;8704:318;8019:1014;7981:1052;9047:30;9062:4;9067:2;9070:6;9047:14;:30::i;:::-;7624:1461;;;:::o;1434:190::-;1520:7;1556:12;1548:6;;;;1540:29;;;;-1:-1:-1;;;1540:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1580:9:0;1592:5;1596:1;1592;:5;:::i;:::-;1580:17;1434:190;-1:-1:-1;;;;;1434:190:0:o;9592:154::-;9649:15;;-1:-1:-1;;;;;9649:15:0;:39;9674:13;:6;9685:1;9674:10;:13::i;:::-;9649:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;9699:15:0;;-1:-1:-1;;;;;9699:15:0;:39;9724:13;:6;9735:1;9724:10;:13::i;:::-;9699:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7019:254;7086:7;7125;;7114;:18;;7106:73;;;;-1:-1:-1;;;7106:73:0;;6587:2:1;7106: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;;7106:73:0;6559:232:1;7106:73:0;7190:19;7213:10;:8;:10::i;:::-;7190:33;-1:-1:-1;7241:24:0;:7;7190:33;7241:11;:24::i;:::-;7234:31;7019:254;-1:-1:-1;;;7019:254:0:o;9093:483::-;5005:6;:13;;-1:-1:-1;;;;5005:13:0;-1:-1:-1;;;5005:13:0;;;9195:16:::1;::::0;;9209:1:::1;9195:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9195:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9195:16:0::1;9171:40;;9240:4;9222;9227:1;9222:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9222:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9266:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9266:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9222:7;;9266:22;;;;;:15;:22;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9256:4;9261:1;9256:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9256:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9331:15:::1;::::0;9299:62:::1;::::0;9316:4:::1;::::0;9331:15:::1;9349:11:::0;9299:8:::1;:62::i;:::-;9372:15;::::0;:196:::1;::::0;-1:-1:-1;;;9372:196:0;;-1:-1:-1;;;;;9372:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9453:11;;9372:15:::1;::::0;9495:4;;9522::::1;::::0;9542:15:::1;::::0;9372:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5041:6:0;:14;;-1:-1:-1;;;;5041:14:0;;;-1:-1:-1;;;;9093:483:0:o;10860:146::-;10954:44;10972:6;10980:9;10991:6;10954:17;:44::i;1886:132::-;1944:7;1971:39;1975:1;1978;1971:39;;;;;;;;;;;;;;;;;:3;:39::i;13593:163::-;13634:7;13655:15;13672;13691:19;:17;:19::i;:::-;13654:56;;-1:-1:-1;13654:56:0;-1:-1:-1;13728:20:0;13654:56;;13728:11;:20::i;:::-;13721:27;;;;13593:163;:::o;11014:488::-;11113:15;11130:23;11155:12;11169:23;11194:12;11208:13;11225:19;11236:7;11225:10;:19::i;:::-;-1:-1:-1;;;;;11273:15:0;;;;;;:7;:15;;;;;;11112:132;;-1:-1:-1;11112:132:0;;-1:-1:-1;11112:132:0;;-1:-1:-1;11112:132:0;-1:-1:-1;11112:132:0;-1:-1:-1;11112:132:0;-1:-1:-1;11273:28:0;;11112:132;11273:19;:28::i;:::-;-1:-1:-1;;;;;11255:15:0;;;;;;;:7;:15;;;;;;:46;;;;11333:18;;;;;;;:39;;11356:15;11333:22;:39::i;:::-;-1:-1:-1;;;;;11312:18:0;;;;;;:7;:18;;;;;:60;11384:16;11394:5;11384:9;:16::i;:::-;11411:23;11423:4;11429;11411:11;:23::i;:::-;11467:9;-1:-1:-1;;;;;11450:44:0;11459:6;-1:-1:-1;;;;;11450:44:0;;11478:15;11450:44;;;;10037:25:1;;10025:2;10010:18;;9992:76;11450:44:0;;;;;;;;11101:401;;;;;;11014:488;;;:::o;2026:189::-;2112:7;2147:12;2140:5;2132:28;;;;-1:-1:-1;;;2132:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2171:9:0;2183:5;2187:1;2183;:5;:::i;13764:262::-;13861:7;;13814;;;;4216:15;13935:20;13861:7;4216:15;13935:11;:20::i;:::-;13925:7;:30;13921:61;;;-1:-1:-1;;13965:7:0;;;4216:15;;-1:-1:-1;13764:262:0;-1:-1:-1;13764:262:0:o;13921:61::-;14001:7;;14010;;-1:-1:-1;13764:262:0;-1:-1:-1;13764:262:0:o;12341:471::-;12400:7;12409;12418;12427;12436;12445;12466:23;12491:12;12505:13;12522:42;12534:7;12543:9;;12554;;12522:11;:42::i;:::-;12465:99;;;;;;12575:19;12598:10;:8;:10::i;:::-;12575:33;;12620:15;12637:23;12662:12;12678:46;12690:7;12699:4;12705:5;12712:11;12678;:46::i;:::-;12619:105;;-1:-1:-1;12619:105:0;-1:-1:-1;12619:105:0;-1:-1:-1;12775:15:0;;-1:-1:-1;12792:4:0;;-1:-1:-1;12798:5:0;;-1:-1:-1;;;;;12341:471:0;;;;;;;:::o;1290:136::-;1348:7;1375:43;1379:1;1382;1375:43;;;;;;;;;;;;;;;;;:3;:43::i;1103:179::-;1161:7;;1193:5;1197:1;1193;:5;:::i;:::-;1181:17;;1222:1;1217;:6;;1209:46;;;;-1:-1:-1;;;1209:46:0;;7401:2:1;1209:46:0;;;7383:21:1;7440:2;7420:18;;;7413:30;7479:29;7459:18;;;7452:57;7526:18;;1209:46:0;7373:177:1;11510:212:0;11563:19;11586:10;:8;:10::i;:::-;11563:33;-1:-1:-1;11607:13:0;11623:22;:5;11563:33;11623:9;:22::i;:::-;11697:4;11681:22;;;;:7;:22;;;;;;11607:38;;-1:-1:-1;11681:33:0;;11607:38;11681:26;:33::i;:::-;11672:4;11656:22;;;;:7;:22;;;;;:58;-1:-1:-1;;;11510:212:0:o;11730:147::-;11808:7;;:17;;11820:4;11808:11;:17::i;:::-;11798:7;:27;11849:10;;:20;;11864:4;11849:14;:20::i;:::-;11836:10;:33;-1:-1:-1;;11730:147:0:o;12820:351::-;12913:7;;;;12966:28;12990:3;12966:19;:7;12978:6;12966:11;:19::i;:::-;:23;;:28::i;:::-;12951:43;-1:-1:-1;13005:13:0;13021:29;13046:3;13021:20;:7;13033;13021:11;:20::i;:29::-;13005:45;-1:-1:-1;13061:23:0;13087:28;13005:45;13087:17;:7;13099:4;13087:11;:17::i;:::-;:21;;:28::i;:::-;13061:54;13151:4;;-1:-1:-1;13157:5:0;;-1:-1:-1;12820:351:0;;-1:-1:-1;;;;;12820:351:0:o;13179:409::-;13289:7;;;;13345:24;:7;13357:11;13345;:24::i;:::-;13327:42;-1:-1:-1;13380:12:0;13395:21;:4;13404:11;13395:8;:21::i;:::-;13380:36;-1:-1:-1;13427:13:0;13443:22;:5;13453:11;13443:9;:22::i;:::-;13427:38;-1:-1:-1;13476:23:0;13502:28;13427:38;13502:17;:7;13514:4;13502:11;:17::i;:28::-;13549:7;;;;-1:-1:-1;13575:4:0;;-1:-1:-1;13179:409:0;;-1:-1:-1;;;;;;;13179:409:0:o;1632:246::-;1690:7;1714:6;1710:47;;-1:-1:-1;1744:1:0;1737:8;;1710:47;1767:9;1779:5;1783:1;1779;:5;:::i;:::-;1767:17;-1:-1:-1;1812:1:0;1803:5;1807:1;1767:17;1803:5;:::i;:::-;:10;1795:56;;;;-1:-1:-1;;;1795:56:0;;7757:2:1;1795: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;;1795:56:0;7729:223:1;14:134;82:20;;111:31;82:20;111:31;:::i;:::-;63:85;;;:::o;153:247::-;212:6;265:2;253:9;244:7;240:23;236:32;233:2;;;281:1;278;271:12;233:2;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:2;;;544:1;541;534:12;496:2;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:2;;;806:1;803;796:12;758:2;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;;;748:301;;;;;:::o;1054:456::-;1131:6;1139;1147;1200:2;1188:9;1179:7;1175:23;1171:32;1168:2;;;1216:1;1213;1206:12;1168:2;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;:::-;1158:352;;1446:7;;-1:-1:-1;;;1500:2:1;1485:18;;;;1472:32;;1158:352::o;1515:315::-;1583:6;1591;1644:2;1632:9;1623:7;1619:23;1615:32;1612:2;;;1660:1;1657;1650:12;1612:2;1699:9;1686:23;1718:31;1743:5;1718:31;:::i;:::-;1768:5;1820:2;1805:18;;;;1792:32;;-1:-1:-1;;;1602:228:1:o;1835:1132::-;1919:6;1950:2;1993;1981:9;1972:7;1968:23;1964:32;1961:2;;;2009:1;2006;1999:12;1961:2;2049:9;2036:23;2078:18;2119:2;2111:6;2108:14;2105:2;;;2135:1;2132;2125:12;2105:2;2173:6;2162:9;2158:22;2148:32;;2218:7;2211:4;2207:2;2203:13;2199:27;2189:2;;2240:1;2237;2230:12;2189:2;2276;2263:16;2298:2;2294;2291:10;2288:2;;;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:2;;;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:2:1;;;2735:1;2732;2725:12;2686:2;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;1930:1037;-1:-1:-1;;;;;;;;1930:1037:1:o;2972:241::-;3028:6;3081:2;3069:9;3060:7;3056:23;3052:32;3049:2;;;3097:1;3094;3087:12;3049:2;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:2;;;3354:1;3351;3344:12;3306:2;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:2;;;3641:1;3638;3631:12;3593:2;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;;3583:191;;;;;:::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:2;;;5887:1;5882:2;5873:6;5862:9;5858:22;5854:31;5847:42;5808:2;-1:-1:-1;5960:2:1;5939:15;-1:-1:-1;;5935:29:1;5920:45;;;;5967:2;5916:54;;5500:476;-1:-1:-1;;;5500:476:1:o;7957:356::-;8159:2;8141:21;;;8178:18;;;8171:30;8237:34;8232:2;8217:18;;8210:62;8304:2;8289:18;;8131:182::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;10344:709;-1:-1:-1;;;10344:709:1:o;11247:128::-;11287:3;11318:1;11314:6;11311:1;11308:13;11305:2;;;11324:18;;:::i;:::-;-1:-1:-1;11360:9:1;;11295:80::o;11380:217::-;11420:1;11446;11436:2;;11490:10;11485:3;11481:20;11478:1;11471:31;11525:4;11522:1;11515:15;11553:4;11550:1;11543:15;11436:2;-1:-1:-1;11582:9:1;;11426:171::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:2;;;11715:18;;:::i;:::-;-1:-1:-1;11755:9:1;;11654:116::o;11775:125::-;11815:4;11843:1;11840;11837:8;11834:2;;;11848:18;;:::i;:::-;-1:-1:-1;11885:9:1;;11824:76::o;11905:135::-;11944:3;-1:-1:-1;;11965:17:1;;11962:2;;;11985:18;;:::i;:::-;-1:-1:-1;12032:1:1;12021:13;;11952:88::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:2;;12562:1;12559;12552:12;12577:118;12663:5;12656:13;12649:21;12642:5;12639:32;12629:2;;12685:1;12682;12675:12

ipfs://69983baa14b7732f7beab794a8f81c547d3fbec542ab7d15c34ea025ee322941