Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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 ERC20    - function totalSupply()    - function decimals()    - function symbol()    - function name()    - function getOwner()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address _owner, ad ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function isOwner(address account)    - function renounceOwnership() interface IDEXFactory    - function createPair(address tokenA, a ... interface IDEXRouter    - function factory()    - function WETH()    - function addLiquidity(    - function addLiquidityETH(    - function swapExactTokensForTokensSupp ...    - function swapExactETHForTokensSupport ...    - function swapExactTokensForETHSupport ...  contract TruthfulAI is ERC20, Owna ... *    - function totalSupply()    - function decimals()    - function symbol()    - function name()    - function getOwner()    - function balanceOf(address account)    - function allowance(address holder, ad ...    - function approve(address spender, uin ...    - function approveMax(address spender)    - function transfer(address recipient, ...    - function transferFrom(address sender, ...    - function _transferFrom(address sender ...    - function _basicTransfer(address sende ...    - function shouldTakeFee(address sender ...    - function takeFee(address sender, uint ...    - function shouldSwapBack()    - function swapBack()    - function buyTokens(uint256 amount, ad ...    - function clearStuckBalance()    - function setWalletLimit(uint256 amoun ...    - function setFee(uint256 _liquidityFee ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-09-04
*/

/*

    The AI-Based Solution to Detect and Unmask Deepfake 
    & Text/Image Generation Technologies - Fire with Fire.

    To use Truthful AI follow these steps: 

    - Access our app at https://www.truthfulai.io/dashboard
    - Choose analysis type (video deepfake, image, text)
    - Upload content
    - Unveil

    Website: https://www.truthfulai.io/
    Twitter: https://twitter.com/truthfulai_io
    Telegram: https://t.me/truthfulai_io
    Rumble: https://rumble.com/truthfulai

*/
 
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.5;
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 ERC20 {
    function totalSupply() external view returns (uint256);
    function decimals() external view returns (uint8);
    function symbol() external view returns (string memory);
    function name() external view returns (string memory);
    function getOwner() external view returns (address);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address _owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

abstract contract Ownable {
    address internal owner;
    constructor(address _owner) {
        owner = _owner;
    }
    modifier onlyOwner() {
        require(isOwner(msg.sender), "!OWNER"); _;
    }
    function isOwner(address account) public view returns (bool) {
        return account == owner;
    }
    function renounceOwnership() public onlyOwner {
        owner = address(0);
        emit OwnershipTransferred(address(0));
    }  
    event OwnershipTransferred(address owner);
}

interface IDEXFactory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
}

interface IDEXRouter {
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidity(
        address tokenA,
        address tokenB,
        uint amountADesired,
        uint amountBDesired,
        uint amountAMin,
        uint amountBMin,
        address to,
        uint deadline
    ) external returns (uint amountA, uint amountB, uint liquidity);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
    function swapExactTokensForTokensSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function swapExactETHForTokensSupportingFeeOnTransferTokens(
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external payable;
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
}

contract TruthfulAI is ERC20, Ownable {
    using SafeMath for uint256;
    address routerAdress = 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D;
    address DEAD = 0x000000000000000000000000000000000000dEaD;

    string constant _name = "Truthful AI";
    string constant _symbol = "TruthAI";
    uint8 constant _decimals = 9;

    uint256 _totalSupply = 100_000_000 * (10 ** _decimals);
    uint256 public _maxWalletAmount = (_totalSupply * 100) / 100;

    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) _allowances;

    mapping (address => bool) isFeeExempt;
    mapping (address => bool) isTxLimitExempt;

    uint256 liquidityFee = 0; 
    uint256 marketingFee = 4;
    uint256 totalFee = liquidityFee + marketingFee;
    uint256 feeDenominator = 100;

    address public marketingFeeReceiver = 0x2D609BE29C56FC833770049d366409D3625d468F;

    IDEXRouter public router;
    address public pair;

    bool public swapEnabled = true;
    uint256 public swapThreshold = _totalSupply / 1000 * 4; // 0.5%
    bool inSwap;
    modifier swapping() { inSwap = true; _; inSwap = false; }

    constructor () Ownable(msg.sender) {
        router = IDEXRouter(routerAdress);
        pair = IDEXFactory(router.factory()).createPair(router.WETH(), address(this));
        _allowances[address(this)][address(router)] = type(uint256).max;

        address _owner = owner;
        isFeeExempt[0x2D609BE29C56FC833770049d366409D3625d468F] = true;
        isTxLimitExempt[_owner] = true;
        isTxLimitExempt[0x2D609BE29C56FC833770049d366409D3625d468F] = true;
        isTxLimitExempt[DEAD] = true;

        _balances[_owner] = _totalSupply;
        emit Transfer(address(0), _owner, _totalSupply);
    }

    receive() external payable { }

    function totalSupply() external view override returns (uint256) { return _totalSupply; }
    function decimals() external pure override returns (uint8) { return _decimals; }
    function symbol() external pure override returns (string memory) { return _symbol; }
    function name() external pure override returns (string memory) { return _name; }
    function getOwner() external view override returns (address) { return owner; }
    function balanceOf(address account) public view override returns (uint256) { return _balances[account]; }
    function allowance(address holder, address spender) external view override returns (uint256) { return _allowances[holder][spender]; }

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

    function approveMax(address spender) external returns (bool) {
        return approve(spender, type(uint256).max);
    }

    function transfer(address recipient, uint256 amount) external override returns (bool) {
        return _transferFrom(msg.sender, recipient, amount);
    }

    function transferFrom(address sender, address recipient, uint256 amount) external override returns (bool) {
        if(_allowances[sender][msg.sender] != type(uint256).max){
            _allowances[sender][msg.sender] = _allowances[sender][msg.sender].sub(amount, "Insufficient Allowance");
        }

        return _transferFrom(sender, recipient, amount);
    }

    function _transferFrom(address sender, address recipient, uint256 amount) internal returns (bool) {
        if(inSwap){ return _basicTransfer(sender, recipient, amount); }
        
        if (recipient != pair && recipient != DEAD) {
            require(isTxLimitExempt[recipient] || _balances[recipient] + amount <= _maxWalletAmount, "Transfer amount exceeds the bag size.");
        }
        
        if(shouldSwapBack()){ swapBack(); } 

        _balances[sender] = _balances[sender].sub(amount, "Insufficient Balance");

        uint256 amountReceived = shouldTakeFee(sender) ? takeFee(sender, amount) : amount;
        _balances[recipient] = _balances[recipient].add(amountReceived);

        emit Transfer(sender, recipient, amountReceived);
        return true;
    }
    
    function _basicTransfer(address sender, address recipient, uint256 amount) internal returns (bool) {
        _balances[sender] = _balances[sender].sub(amount, "Insufficient Balance");
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
        return true;
    }

    function shouldTakeFee(address sender) internal view returns (bool) {
        return !isFeeExempt[sender];
    }

    function takeFee(address sender, uint256 amount) internal returns (uint256) {
        uint256 feeAmount = amount.mul(totalFee).div(feeDenominator);
        _balances[address(this)] = _balances[address(this)].add(feeAmount);
        emit Transfer(sender, address(this), feeAmount);
        return amount.sub(feeAmount);
    }

    function shouldSwapBack() internal view returns (bool) {
        return msg.sender != pair
        && !inSwap
        && swapEnabled
        && _balances[address(this)] >= swapThreshold;
    }

    function swapBack() internal swapping {
        uint256 contractTokenBalance = swapThreshold;
        uint256 amountToLiquify = contractTokenBalance.mul(liquidityFee).div(totalFee).div(2);
        uint256 amountToSwap = contractTokenBalance.sub(amountToLiquify);

        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = router.WETH();

        uint256 balanceBefore = address(this).balance;

        router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            amountToSwap,
            0,
            path,
            address(this),
            block.timestamp
        );
        uint256 amountETH = address(this).balance.sub(balanceBefore);
        uint256 totalETHFee = totalFee.sub(liquidityFee.div(2));
        uint256 amountETHLiquidity = amountETH.mul(liquidityFee).div(totalETHFee).div(2);
        uint256 amountETHMarketing = amountETH.mul(marketingFee).div(totalETHFee);


        (bool MarketingSuccess, /* bytes memory data */) = payable(marketingFeeReceiver).call{value: amountETHMarketing, gas: 30000}("");
        require(MarketingSuccess, "receiver rejected ETH transfer");

        if(amountToLiquify > 0){
            router.addLiquidityETH{value: amountETHLiquidity}(
                address(this),
                amountToLiquify,
                0,
                0,
                0x2D609BE29C56FC833770049d366409D3625d468F,
                block.timestamp
            );
            emit AutoLiquify(amountETHLiquidity, amountToLiquify);
        }
    }

    function buyTokens(uint256 amount, address to) internal swapping {
        address[] memory path = new address[](2);
        path[0] = router.WETH();
        path[1] = address(this);

        router.swapExactETHForTokensSupportingFeeOnTransferTokens{value: amount}(
            0,
            path,
            to,
            block.timestamp
        );
    }

    function clearStuckBalance() external {
        payable(marketingFeeReceiver).transfer(address(this).balance);
    }

    function setWalletLimit(uint256 amountPercent) external onlyOwner {
        _maxWalletAmount = (_totalSupply * amountPercent ) / 1000;
    }

    function setFee(uint256 _liquidityFee, uint256 _marketingFee) external onlyOwner {
         liquidityFee = _liquidityFee; 
         marketingFee = _marketingFee;
         totalFee = liquidityFee + marketingFee;
    }    
    
    event AutoLiquify(uint256 amountETH, uint256 amountBOG);
}

• 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":"amountETH","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amountBOG","type":"uint256"}],"name":"AutoLiquify","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"owner","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":"_maxWalletAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"holder","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":"spender","type":"address"}],"name":"approveMax","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":"clearStuckBalance","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"marketingFeeReceiver","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"router","outputs":[{"internalType":"contract IDEXRouter","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_liquidityFee","type":"uint256"},{"internalType":"uint256","name":"_marketingFee","type":"uint256"}],"name":"setFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amountPercent","type":"uint256"}],"name":"setWalletLimit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"swapEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"swapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","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":"view","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"},{"stateMutability":"payable","type":"receive"}]

6080604052737a250d5630b4cf539739df2c5dacb4c659f2488d600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555061dead600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506009600a620000ac919062000953565b6305f5e100620000bd919062000a90565b600355606480600354620000d2919062000a90565b620000de9190620008c0565b60045560006009556004600a55600a54600954620000fd919062000863565b600b556064600c55732d609be29c56fc833770049d366409d3625d468f600d60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600f60146101000a81548160ff02191690831515021790555060046103e8600354620001899190620008c0565b62000195919062000a90565b601055348015620001a557600080fd5b5033806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600e60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b815260040160206040518083038186803b158015620002b457600080fd5b505afa158015620002c9573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002ef9190620007c5565b73ffffffffffffffffffffffffffffffffffffffff1663c9c65396600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b1580156200037357600080fd5b505afa15801562000388573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620003ae9190620007c5565b306040518363ffffffff1660e01b8152600401620003ce92919062000819565b602060405180830381600087803b158015620003e957600080fd5b505af1158015620003fe573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620004249190620007c5565b600f60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600660003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050600160076000732d609be29c56fc833770049d366409d3625d468f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055506001600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550600160086000732d609be29c56fc833770049d366409d3625d468f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550600160086000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550600354600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6003546040516200079f919062000846565b60405180910390a35062000bc6565b600081519050620007bf8162000bac565b92915050565b600060208284031215620007de57620007dd62000b9a565b5b6000620007ee84828501620007ae565b91505092915050565b620008028162000af1565b82525050565b620008138162000b25565b82525050565b6000604082019050620008306000830185620007f7565b6200083f6020830184620007f7565b9392505050565b60006020820190506200085d600083018462000808565b92915050565b6000620008708262000b25565b91506200087d8362000b25565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115620008b557620008b462000b3c565b5b828201905092915050565b6000620008cd8262000b25565b9150620008da8362000b25565b925082620008ed57620008ec62000b6b565b5b828204905092915050565b6000808291508390505b60018511156200094a5780860481111562000922576200092162000b3c565b5b6001851615620009325780820291505b8081029050620009428562000b9f565b945062000902565b94509492505050565b6000620009608262000b25565b91506200096d8362000b2f565b92506200099c7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484620009a4565b905092915050565b600082620009b6576001905062000a89565b81620009c6576000905062000a89565b8160018114620009df5760028114620009ea5762000a20565b600191505062000a89565b60ff841115620009ff57620009fe62000b3c565b5b8360020a91508482111562000a195762000a1862000b3c565b5b5062000a89565b5060208310610133831016604e8410600b841016171562000a5a5782820a90508381111562000a545762000a5362000b3c565b5b62000a89565b62000a698484846001620008f8565b9250905081840481111562000a835762000a8262000b3c565b5b81810290505b9392505050565b600062000a9d8262000b25565b915062000aaa8362000b25565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161562000ae65762000ae562000b3c565b5b828202905092915050565b600062000afe8262000b05565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b600080fd5b60008160011c9050919050565b62000bb78162000af1565b811462000bc357600080fd5b50565b61278b8062000bd66000396000f3fe6080604052600436106101395760003560e01c80636ddd1713116100ab578063a8aa1b311161006f578063a8aa1b3114610425578063a9059cbb14610450578063dd62ed3e1461048d578063e96fada2146104ca578063f1d5f517146104f5578063f887ea401461051e57610140565b80636ddd17131461035057806370a082311461037b578063715018a6146103b8578063893d20e8146103cf57806395d89b41146103fa57610140565b80632f54bf6e116100fd5780632f54bf6e14610240578063313ce5671461027d578063364333f4146102a857806352f7c988146102bf578063571ac8b0146102e85780636c0a24eb1461032557610140565b80630445b6671461014557806306fdde0314610170578063095ea7b31461019b57806318160ddd146101d857806323b872dd1461020357610140565b3661014057005b600080fd5b34801561015157600080fd5b5061015a610549565b604051610167919061224d565b60405180910390f35b34801561017c57600080fd5b5061018561054f565b604051610192919061218b565b60405180910390f35b3480156101a757600080fd5b506101c260048036038101906101bd9190611dda565b61058c565b6040516101cf9190612155565b60405180910390f35b3480156101e457600080fd5b506101ed61067e565b6040516101fa919061224d565b60405180910390f35b34801561020f57600080fd5b5061022a60048036038101906102259190611d87565b610688565b6040516102379190612155565b60405180910390f35b34801561024c57600080fd5b5061026760048036038101906102629190611ced565b610888565b6040516102749190612155565b60405180910390f35b34801561028957600080fd5b506102926108e1565b60405161029f91906122eb565b60405180910390f35b3480156102b457600080fd5b506102bd6108ea565b005b3480156102cb57600080fd5b506102e660048036038101906102e19190611e47565b610955565b005b3480156102f457600080fd5b5061030f600480360381019061030a9190611ced565b6109c5565b60405161031c9190612155565b60405180910390f35b34801561033157600080fd5b5061033a6109f8565b604051610347919061224d565b60405180910390f35b34801561035c57600080fd5b506103656109fe565b6040516103729190612155565b60405180910390f35b34801561038757600080fd5b506103a2600480360381019061039d9190611ced565b610a11565b6040516103af919061224d565b60405180910390f35b3480156103c457600080fd5b506103cd610a5a565b005b3480156103db57600080fd5b506103e4610b1d565b6040516103f191906120d9565b60405180910390f35b34801561040657600080fd5b5061040f610b46565b60405161041c919061218b565b60405180910390f35b34801561043157600080fd5b5061043a610b83565b60405161044791906120d9565b60405180910390f35b34801561045c57600080fd5b5061047760048036038101906104729190611dda565b610ba9565b6040516104849190612155565b60405180910390f35b34801561049957600080fd5b506104b460048036038101906104af9190611d47565b610bbe565b6040516104c1919061224d565b60405180910390f35b3480156104d657600080fd5b506104df610c45565b6040516104ec91906120d9565b60405180910390f35b34801561050157600080fd5b5061051c60048036038101906105179190611e1a565b610c6b565b005b34801561052a57600080fd5b50610533610cd7565b6040516105409190612170565b60405180910390f35b60105481565b60606040518060400160405280600b81526020017f547275746866756c204149000000000000000000000000000000000000000000815250905090565b600081600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161066c919061224d565b60405180910390a36001905092915050565b6000600354905090565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414610874576107f3826040518060400160405280601681526020017f496e73756666696369656e7420416c6c6f77616e636500000000000000000000815250600660008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610cfd9092919063ffffffff16565b600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b61087f848484610d61565b90509392505050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16149050919050565b60006009905090565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc479081150290604051600060405180830381858888f19350505050158015610952573d6000803e3d6000fd5b50565b61095e33610888565b61099d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109949061222d565b60405180910390fd5b8160098190555080600a81905550600a546009546109bb9190612366565b600b819055505050565b60006109f1827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff61058c565b9050919050565b60045481565b600f60149054906101000a900460ff1681565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610a6333610888565b610aa2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a999061222d565b60405180910390fd5b60008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861636000604051610b1391906120d9565b60405180910390a1565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606040518060400160405280600781526020017f5472757468414900000000000000000000000000000000000000000000000000815250905090565b600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000610bb6338484610d61565b905092915050565b6000600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b610c7433610888565b610cb3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610caa9061222d565b60405180910390fd5b6103e881600354610cc491906123ed565b610cce91906123bc565b60048190555050565b600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000838311158290610d45576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d3c919061218b565b60405180910390fd5b5060008385610d549190612447565b9050809150509392505050565b6000601160009054906101000a900460ff1615610d8a57610d8384848461112a565b9050611123565b600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614158015610e365750600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614155b15610f1f57600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1680610edf575060045482600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610edc9190612366565b11155b610f1e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f15906121ad565b60405180910390fd5b5b610f276112fd565b15610f3557610f346113d4565b5b610fbe826040518060400160405280601481526020017f496e73756666696369656e742042616c616e6365000000000000000000000000815250600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610cfd9092919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600061100c8561192e565b6110165782611021565b6110208584611985565b5b905061107581600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611ac990919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051611115919061224d565b60405180910390a360019150505b9392505050565b60006111b5826040518060400160405280601481526020017f496e73756666696369656e742042616c616e6365000000000000000000000000815250600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610cfd9092919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061124a82600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611ac990919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516112ea919061224d565b60405180910390a3600190509392505050565b6000600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415801561136a5750601160009054906101000a900460ff16155b80156113825750600f60149054906101000a900460ff165b80156113cf5750601054600560003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410155b905090565b6001601160006101000a81548160ff0219169083151502179055506000601054905060006114346002611426600b5461141860095487611b2790919063ffffffff16565b611ba290919063ffffffff16565b611ba290919063ffffffff16565b9050600061144b8284611bec90919063ffffffff16565b90506000600267ffffffffffffffff81111561146a576114696125c6565b5b6040519080825280602002602001820160405280156114985781602001602082028036833780820191505090505b50905030816000815181106114b0576114af612597565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff1681525050600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b15801561155257600080fd5b505afa158015611566573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061158a9190611d1a565b8160018151811061159e5761159d612597565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250506000479050600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663791ac9478460008530426040518663ffffffff1660e01b8152600401611641959493929190612268565b600060405180830381600087803b15801561165b57600080fd5b505af115801561166f573d6000803e3d6000fd5b5050505060006116888247611bec90919063ffffffff16565b905060006116b66116a56002600954611ba290919063ffffffff16565b600b54611bec90919063ffffffff16565b905060006116f460026116e6846116d860095488611b2790919063ffffffff16565b611ba290919063ffffffff16565b611ba290919063ffffffff16565b9050600061171f83611711600a5487611b2790919063ffffffff16565b611ba290919063ffffffff16565b90506000600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16826175309060405161176d906120c4565b600060405180830381858888f193505050503d80600081146117ab576040519150601f19603f3d011682016040523d82523d6000602084013e6117b0565b606091505b50509050806117f4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117eb906121ed565b60405180910390fd5b600089111561190757600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f305d71984308c600080732d609be29c56fc833770049d366409d3625d468f426040518863ffffffff1660e01b8152600401611878969594939291906120f4565b6060604051808303818588803b15801561189157600080fd5b505af11580156118a5573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906118ca9190611e87565b5050507f424db2872186fa7e7afa7a5e902ed3b49a2ef19c2f5431e672462495dd6b4506838a6040516118fe9291906122c2565b60405180910390a15b505050505050505050506000601160006101000a81548160ff021916908315150217905550565b6000600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16159050919050565b6000806119b1600c546119a3600b5486611b2790919063ffffffff16565b611ba290919063ffffffff16565b9050611a0581600560003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611ac990919063ffffffff16565b600560003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051611aa5919061224d565b60405180910390a3611ac08184611bec90919063ffffffff16565b91505092915050565b6000808284611ad89190612366565b905083811015611b1d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b14906121cd565b60405180910390fd5b8091505092915050565b600080831415611b3a5760009050611b9c565b60008284611b4891906123ed565b9050828482611b5791906123bc565b14611b97576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b8e9061220d565b60405180910390fd5b809150505b92915050565b6000611be483836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611c36565b905092915050565b6000611c2e83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610cfd565b905092915050565b60008083118290611c7d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611c74919061218b565b60405180910390fd5b5060008385611c8c91906123bc565b9050809150509392505050565b600081359050611ca881612727565b92915050565b600081519050611cbd81612727565b92915050565b600081359050611cd28161273e565b92915050565b600081519050611ce78161273e565b92915050565b600060208284031215611d0357611d026125f5565b5b6000611d1184828501611c99565b91505092915050565b600060208284031215611d3057611d2f6125f5565b5b6000611d3e84828501611cae565b91505092915050565b60008060408385031215611d5e57611d5d6125f5565b5b6000611d6c85828601611c99565b9250506020611d7d85828601611c99565b9150509250929050565b600080600060608486031215611da057611d9f6125f5565b5b6000611dae86828701611c99565b9350506020611dbf86828701611c99565b9250506040611dd086828701611cc3565b9150509250925092565b60008060408385031215611df157611df06125f5565b5b6000611dff85828601611c99565b9250506020611e1085828601611cc3565b9150509250929050565b600060208284031215611e3057611e2f6125f5565b5b6000611e3e84828501611cc3565b91505092915050565b60008060408385031215611e5e57611e5d6125f5565b5b6000611e6c85828601611cc3565b9250506020611e7d85828601611cc3565b9150509250929050565b600080600060608486031215611ea057611e9f6125f5565b5b6000611eae86828701611cd8565b9350506020611ebf86828701611cd8565b9250506040611ed086828701611cd8565b9150509250925092565b6000611ee68383611ef2565b60208301905092915050565b611efb8161247b565b82525050565b611f0a8161247b565b82525050565b6000611f1b82612316565b611f258185612339565b9350611f3083612306565b8060005b83811015611f61578151611f488882611eda565b9750611f538361232c565b925050600181019050611f34565b5085935050505092915050565b611f778161248d565b82525050565b611f86816124d0565b82525050565b611f95816124f4565b82525050565b6000611fa682612321565b611fb08185612355565b9350611fc0818560208601612506565b611fc9816125fa565b840191505092915050565b6000611fe1602583612355565b9150611fec8261260b565b604082019050919050565b6000612004601b83612355565b915061200f8261265a565b602082019050919050565b6000612027601e83612355565b915061203282612683565b602082019050919050565b600061204a602183612355565b9150612055826126ac565b604082019050919050565b600061206d600683612355565b9150612078826126fb565b602082019050919050565b600061209060008361234a565b915061209b82612724565b600082019050919050565b6120af816124b9565b82525050565b6120be816124c3565b82525050565b60006120cf82612083565b9150819050919050565b60006020820190506120ee6000830184611f01565b92915050565b600060c0820190506121096000830189611f01565b61211660208301886120a6565b6121236040830187611f8c565b6121306060830186611f8c565b61213d6080830185611f01565b61214a60a08301846120a6565b979650505050505050565b600060208201905061216a6000830184611f6e565b92915050565b60006020820190506121856000830184611f7d565b92915050565b600060208201905081810360008301526121a58184611f9b565b905092915050565b600060208201905081810360008301526121c681611fd4565b9050919050565b600060208201905081810360008301526121e681611ff7565b9050919050565b600060208201905081810360008301526122068161201a565b9050919050565b600060208201905081810360008301526122268161203d565b9050919050565b6000602082019050818103600083015261224681612060565b9050919050565b600060208201905061226260008301846120a6565b92915050565b600060a08201905061227d60008301886120a6565b61228a6020830187611f8c565b818103604083015261229c8186611f10565b90506122ab6060830185611f01565b6122b860808301846120a6565b9695505050505050565b60006040820190506122d760008301856120a6565b6122e460208301846120a6565b9392505050565b600060208201905061230060008301846120b5565b92915050565b6000819050602082019050919050565b600081519050919050565b600081519050919050565b6000602082019050919050565b600082825260208201905092915050565b600081905092915050565b600082825260208201905092915050565b6000612371826124b9565b915061237c836124b9565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156123b1576123b0612539565b5b828201905092915050565b60006123c7826124b9565b91506123d2836124b9565b9250826123e2576123e1612568565b5b828204905092915050565b60006123f8826124b9565b9150612403836124b9565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561243c5761243b612539565b5b828202905092915050565b6000612452826124b9565b915061245d836124b9565b9250828210156124705761246f612539565b5b828203905092915050565b600061248682612499565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60006124db826124e2565b9050919050565b60006124ed82612499565b9050919050565b60006124ff826124b9565b9050919050565b60005b83811015612524578082015181840152602081019050612509565b83811115612533576000848401525b50505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f5472616e7366657220616d6f756e74206578636565647320746865206261672060008201527f73697a652e000000000000000000000000000000000000000000000000000000602082015250565b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000600082015250565b7f72656365697665722072656a656374656420455448207472616e736665720000600082015250565b7f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f60008201527f7700000000000000000000000000000000000000000000000000000000000000602082015250565b7f214f574e45520000000000000000000000000000000000000000000000000000600082015250565b50565b6127308161247b565b811461273b57600080fd5b50565b612747816124b9565b811461275257600080fd5b5056fea264697066735822122064000ce93920dba8107d6676c5b3956359fd617749e2750994d1aba84d7ccaad64736f6c63430008050033

0x6080604052600436106101395760003560e01c80636ddd1713116100ab578063a8aa1b311161006f578063a8aa1b3114610425578063a9059cbb14610450578063dd62ed3e1461048d578063e96fada2146104ca578063f1d5f517146104f5578063f887ea401461051e57610140565b80636ddd17131461035057806370a082311461037b578063715018a6146103b8578063893d20e8146103cf57806395d89b41146103fa57610140565b80632f54bf6e116100fd5780632f54bf6e14610240578063313ce5671461027d578063364333f4146102a857806352f7c988146102bf578063571ac8b0146102e85780636c0a24eb1461032557610140565b80630445b6671461014557806306fdde0314610170578063095ea7b31461019b57806318160ddd146101d857806323b872dd1461020357610140565b3661014057005b600080fd5b34801561015157600080fd5b5061015a610549565b604051610167919061224d565b60405180910390f35b34801561017c57600080fd5b5061018561054f565b604051610192919061218b565b60405180910390f35b3480156101a757600080fd5b506101c260048036038101906101bd9190611dda565b61058c565b6040516101cf9190612155565b60405180910390f35b3480156101e457600080fd5b506101ed61067e565b6040516101fa919061224d565b60405180910390f35b34801561020f57600080fd5b5061022a60048036038101906102259190611d87565b610688565b6040516102379190612155565b60405180910390f35b34801561024c57600080fd5b5061026760048036038101906102629190611ced565b610888565b6040516102749190612155565b60405180910390f35b34801561028957600080fd5b506102926108e1565b60405161029f91906122eb565b60405180910390f35b3480156102b457600080fd5b506102bd6108ea565b005b3480156102cb57600080fd5b506102e660048036038101906102e19190611e47565b610955565b005b3480156102f457600080fd5b5061030f600480360381019061030a9190611ced565b6109c5565b60405161031c9190612155565b60405180910390f35b34801561033157600080fd5b5061033a6109f8565b604051610347919061224d565b60405180910390f35b34801561035c57600080fd5b506103656109fe565b6040516103729190612155565b60405180910390f35b34801561038757600080fd5b506103a2600480360381019061039d9190611ced565b610a11565b6040516103af919061224d565b60405180910390f35b3480156103c457600080fd5b506103cd610a5a565b005b3480156103db57600080fd5b506103e4610b1d565b6040516103f191906120d9565b60405180910390f35b34801561040657600080fd5b5061040f610b46565b60405161041c919061218b565b60405180910390f35b34801561043157600080fd5b5061043a610b83565b60405161044791906120d9565b60405180910390f35b34801561045c57600080fd5b5061047760048036038101906104729190611dda565b610ba9565b6040516104849190612155565b60405180910390f35b34801561049957600080fd5b506104b460048036038101906104af9190611d47565b610bbe565b6040516104c1919061224d565b60405180910390f35b3480156104d657600080fd5b506104df610c45565b6040516104ec91906120d9565b60405180910390f35b34801561050157600080fd5b5061051c60048036038101906105179190611e1a565b610c6b565b005b34801561052a57600080fd5b50610533610cd7565b6040516105409190612170565b60405180910390f35b60105481565b60606040518060400160405280600b81526020017f547275746866756c204149000000000000000000000000000000000000000000815250905090565b600081600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161066c919061224d565b60405180910390a36001905092915050565b6000600354905090565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414610874576107f3826040518060400160405280601681526020017f496e73756666696369656e7420416c6c6f77616e636500000000000000000000815250600660008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610cfd9092919063ffffffff16565b600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b61087f848484610d61565b90509392505050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16149050919050565b60006009905090565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc479081150290604051600060405180830381858888f19350505050158015610952573d6000803e3d6000fd5b50565b61095e33610888565b61099d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109949061222d565b60405180910390fd5b8160098190555080600a81905550600a546009546109bb9190612366565b600b819055505050565b60006109f1827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff61058c565b9050919050565b60045481565b600f60149054906101000a900460ff1681565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610a6333610888565b610aa2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a999061222d565b60405180910390fd5b60008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861636000604051610b1391906120d9565b60405180910390a1565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606040518060400160405280600781526020017f5472757468414900000000000000000000000000000000000000000000000000815250905090565b600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000610bb6338484610d61565b905092915050565b6000600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b610c7433610888565b610cb3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610caa9061222d565b60405180910390fd5b6103e881600354610cc491906123ed565b610cce91906123bc565b60048190555050565b600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000838311158290610d45576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d3c919061218b565b60405180910390fd5b5060008385610d549190612447565b9050809150509392505050565b6000601160009054906101000a900460ff1615610d8a57610d8384848461112a565b9050611123565b600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614158015610e365750600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614155b15610f1f57600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1680610edf575060045482600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610edc9190612366565b11155b610f1e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f15906121ad565b60405180910390fd5b5b610f276112fd565b15610f3557610f346113d4565b5b610fbe826040518060400160405280601481526020017f496e73756666696369656e742042616c616e6365000000000000000000000000815250600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610cfd9092919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600061100c8561192e565b6110165782611021565b6110208584611985565b5b905061107581600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611ac990919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051611115919061224d565b60405180910390a360019150505b9392505050565b60006111b5826040518060400160405280601481526020017f496e73756666696369656e742042616c616e6365000000000000000000000000815250600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610cfd9092919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061124a82600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611ac990919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516112ea919061224d565b60405180910390a3600190509392505050565b6000600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415801561136a5750601160009054906101000a900460ff16155b80156113825750600f60149054906101000a900460ff165b80156113cf5750601054600560003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410155b905090565b6001601160006101000a81548160ff0219169083151502179055506000601054905060006114346002611426600b5461141860095487611b2790919063ffffffff16565b611ba290919063ffffffff16565b611ba290919063ffffffff16565b9050600061144b8284611bec90919063ffffffff16565b90506000600267ffffffffffffffff81111561146a576114696125c6565b5b6040519080825280602002602001820160405280156114985781602001602082028036833780820191505090505b50905030816000815181106114b0576114af612597565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff1681525050600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b15801561155257600080fd5b505afa158015611566573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061158a9190611d1a565b8160018151811061159e5761159d612597565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250506000479050600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663791ac9478460008530426040518663ffffffff1660e01b8152600401611641959493929190612268565b600060405180830381600087803b15801561165b57600080fd5b505af115801561166f573d6000803e3d6000fd5b5050505060006116888247611bec90919063ffffffff16565b905060006116b66116a56002600954611ba290919063ffffffff16565b600b54611bec90919063ffffffff16565b905060006116f460026116e6846116d860095488611b2790919063ffffffff16565b611ba290919063ffffffff16565b611ba290919063ffffffff16565b9050600061171f83611711600a5487611b2790919063ffffffff16565b611ba290919063ffffffff16565b90506000600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16826175309060405161176d906120c4565b600060405180830381858888f193505050503d80600081146117ab576040519150601f19603f3d011682016040523d82523d6000602084013e6117b0565b606091505b50509050806117f4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117eb906121ed565b60405180910390fd5b600089111561190757600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f305d71984308c600080732d609be29c56fc833770049d366409d3625d468f426040518863ffffffff1660e01b8152600401611878969594939291906120f4565b6060604051808303818588803b15801561189157600080fd5b505af11580156118a5573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906118ca9190611e87565b5050507f424db2872186fa7e7afa7a5e902ed3b49a2ef19c2f5431e672462495dd6b4506838a6040516118fe9291906122c2565b60405180910390a15b505050505050505050506000601160006101000a81548160ff021916908315150217905550565b6000600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16159050919050565b6000806119b1600c546119a3600b5486611b2790919063ffffffff16565b611ba290919063ffffffff16565b9050611a0581600560003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611ac990919063ffffffff16565b600560003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051611aa5919061224d565b60405180910390a3611ac08184611bec90919063ffffffff16565b91505092915050565b6000808284611ad89190612366565b905083811015611b1d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b14906121cd565b60405180910390fd5b8091505092915050565b600080831415611b3a5760009050611b9c565b60008284611b4891906123ed565b9050828482611b5791906123bc565b14611b97576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b8e9061220d565b60405180910390fd5b809150505b92915050565b6000611be483836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611c36565b905092915050565b6000611c2e83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610cfd565b905092915050565b60008083118290611c7d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611c74919061218b565b60405180910390fd5b5060008385611c8c91906123bc565b9050809150509392505050565b600081359050611ca881612727565b92915050565b600081519050611cbd81612727565b92915050565b600081359050611cd28161273e565b92915050565b600081519050611ce78161273e565b92915050565b600060208284031215611d0357611d026125f5565b5b6000611d1184828501611c99565b91505092915050565b600060208284031215611d3057611d2f6125f5565b5b6000611d3e84828501611cae565b91505092915050565b60008060408385031215611d5e57611d5d6125f5565b5b6000611d6c85828601611c99565b9250506020611d7d85828601611c99565b9150509250929050565b600080600060608486031215611da057611d9f6125f5565b5b6000611dae86828701611c99565b9350506020611dbf86828701611c99565b9250506040611dd086828701611cc3565b9150509250925092565b60008060408385031215611df157611df06125f5565b5b6000611dff85828601611c99565b9250506020611e1085828601611cc3565b9150509250929050565b600060208284031215611e3057611e2f6125f5565b5b6000611e3e84828501611cc3565b91505092915050565b60008060408385031215611e5e57611e5d6125f5565b5b6000611e6c85828601611cc3565b9250506020611e7d85828601611cc3565b9150509250929050565b600080600060608486031215611ea057611e9f6125f5565b5b6000611eae86828701611cd8565b9350506020611ebf86828701611cd8565b9250506040611ed086828701611cd8565b9150509250925092565b6000611ee68383611ef2565b60208301905092915050565b611efb8161247b565b82525050565b611f0a8161247b565b82525050565b6000611f1b82612316565b611f258185612339565b9350611f3083612306565b8060005b83811015611f61578151611f488882611eda565b9750611f538361232c565b925050600181019050611f34565b5085935050505092915050565b611f778161248d565b82525050565b611f86816124d0565b82525050565b611f95816124f4565b82525050565b6000611fa682612321565b611fb08185612355565b9350611fc0818560208601612506565b611fc9816125fa565b840191505092915050565b6000611fe1602583612355565b9150611fec8261260b565b604082019050919050565b6000612004601b83612355565b915061200f8261265a565b602082019050919050565b6000612027601e83612355565b915061203282612683565b602082019050919050565b600061204a602183612355565b9150612055826126ac565b604082019050919050565b600061206d600683612355565b9150612078826126fb565b602082019050919050565b600061209060008361234a565b915061209b82612724565b600082019050919050565b6120af816124b9565b82525050565b6120be816124c3565b82525050565b60006120cf82612083565b9150819050919050565b60006020820190506120ee6000830184611f01565b92915050565b600060c0820190506121096000830189611f01565b61211660208301886120a6565b6121236040830187611f8c565b6121306060830186611f8c565b61213d6080830185611f01565b61214a60a08301846120a6565b979650505050505050565b600060208201905061216a6000830184611f6e565b92915050565b60006020820190506121856000830184611f7d565b92915050565b600060208201905081810360008301526121a58184611f9b565b905092915050565b600060208201905081810360008301526121c681611fd4565b9050919050565b600060208201905081810360008301526121e681611ff7565b9050919050565b600060208201905081810360008301526122068161201a565b9050919050565b600060208201905081810360008301526122268161203d565b9050919050565b6000602082019050818103600083015261224681612060565b9050919050565b600060208201905061226260008301846120a6565b92915050565b600060a08201905061227d60008301886120a6565b61228a6020830187611f8c565b818103604083015261229c8186611f10565b90506122ab6060830185611f01565b6122b860808301846120a6565b9695505050505050565b60006040820190506122d760008301856120a6565b6122e460208301846120a6565b9392505050565b600060208201905061230060008301846120b5565b92915050565b6000819050602082019050919050565b600081519050919050565b600081519050919050565b6000602082019050919050565b600082825260208201905092915050565b600081905092915050565b600082825260208201905092915050565b6000612371826124b9565b915061237c836124b9565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156123b1576123b0612539565b5b828201905092915050565b60006123c7826124b9565b91506123d2836124b9565b9250826123e2576123e1612568565b5b828204905092915050565b60006123f8826124b9565b9150612403836124b9565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561243c5761243b612539565b5b828202905092915050565b6000612452826124b9565b915061245d836124b9565b9250828210156124705761246f612539565b5b828203905092915050565b600061248682612499565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60006124db826124e2565b9050919050565b60006124ed82612499565b9050919050565b60006124ff826124b9565b9050919050565b60005b83811015612524578082015181840152602081019050612509565b83811115612533576000848401525b50505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f5472616e7366657220616d6f756e74206578636565647320746865206261672060008201527f73697a652e000000000000000000000000000000000000000000000000000000602082015250565b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000600082015250565b7f72656365697665722072656a656374656420455448207472616e736665720000600082015250565b7f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f60008201527f7700000000000000000000000000000000000000000000000000000000000000602082015250565b7f214f574e45520000000000000000000000000000000000000000000000000000600082015250565b50565b6127308161247b565b811461273b57600080fd5b50565b612747816124b9565b811461275257600080fd5b5056fea264697066735822122064000ce93920dba8107d6676c5b3956359fd617749e2750994d1aba84d7ccaad64736f6c63430008050033

4595:7754:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5611:54;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6696:80;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7118:216;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6426:88;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7636:370;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2833:103;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6520:80;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11778:118;;;;;;;;;;;;;:::i;:::-;;12054:220;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;7342:122;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4995:60;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5574:30;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6866:105;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2942:131;;;;;;;;;;;;;:::i;:::-;;6782:78;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6606:84;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5546:19;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7472:156;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6977:133;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5426:80;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11904:142;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5515:24;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5611:54;;;;:::o;6696:80::-;6744:13;6768:5;;;;;;;;;;;;;;;;;6761:12;;6696:80;:::o;7118:216::-;7193:4;7245:6;7210:11;:23;7222:10;7210:23;;;;;;;;;;;;;;;:32;7234:7;7210:32;;;;;;;;;;;;;;;:41;;;;7288:7;7267:37;;7276:10;7267:37;;;7297:6;7267:37;;;;;;:::i;:::-;;;;;;;;7322:4;7315:11;;7118:216;;;;:::o;6426:88::-;6481:7;6499:12;;6492:19;;6426:88;:::o;7636:370::-;7736:4;7791:17;7756:11;:19;7768:6;7756:19;;;;;;;;;;;;;;;:31;7776:10;7756:31;;;;;;;;;;;;;;;;:52;7753:186;;7858:69;7894:6;7858:69;;;;;;;;;;;;;;;;;:11;:19;7870:6;7858:19;;;;;;;;;;;;;;;:31;7878:10;7858:31;;;;;;;;;;;;;;;;:35;;:69;;;;;:::i;:::-;7824:11;:19;7836:6;7824:19;;;;;;;;;;;;;;;:31;7844:10;7824:31;;;;;;;;;;;;;;;:103;;;;7753:186;7958:40;7972:6;7980:9;7991:6;7958:13;:40::i;:::-;7951:47;;7636:370;;;;;:::o;2833:103::-;2888:4;2923:5;;;;;;;;;;;2912:16;;:7;:16;;;2905:23;;2833:103;;;:::o;6520:80::-;6572:5;4924:1;6581:16;;6520:80;:::o;11778:118::-;11835:20;;;;;;;;;;;11827:38;;:61;11866:21;11827:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11778:118::o;12054:220::-;2786:19;2794:10;2786:7;:19::i;:::-;2778:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;12162:13:::1;12147:12;:28;;;;12203:13;12188:12;:28;;;;12254:12;;12239;;:27;;;;:::i;:::-;12228:8;:38;;;;12054:220:::0;;:::o;7342:122::-;7397:4;7421:35;7429:7;7438:17;7421:7;:35::i;:::-;7414:42;;7342:122;;;:::o;4995:60::-;;;;:::o;5574:30::-;;;;;;;;;;;;;:::o;6866:105::-;6932:7;6950:9;:18;6960:7;6950:18;;;;;;;;;;;;;;;;6943:25;;6866:105;;;:::o;2942:131::-;2786:19;2794:10;2786:7;:19::i;:::-;2778:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;3015:1:::1;2999:5:::0;::::1;:18;;;;;;;;;;;;;;;;;;3033:32;3062:1;3033:32;;;;;;:::i;:::-;;;;;;;;2942:131::o:0;6782:78::-;6834:7;6852:5;;;;;;;;;;;6845:12;;6782:78;:::o;6606:84::-;6656:13;6680:7;;;;;;;;;;;;;;;;;6673:14;;6606:84;:::o;5546:19::-;;;;;;;;;;;;;:::o;7472:156::-;7552:4;7576:44;7590:10;7602:9;7613:6;7576:13;:44::i;:::-;7569:51;;7472:156;;;;:::o;6977:133::-;7061:7;7079:11;:19;7091:6;7079:19;;;;;;;;;;;;;;;:28;7099:7;7079:28;;;;;;;;;;;;;;;;7072:35;;6977:133;;;;:::o;5426:80::-;;;;;;;;;;;;;:::o;11904:142::-;2786:19;2794:10;2786:7;:19::i;:::-;2778:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;12034:4:::1;12016:13;12001:12;;:28;;;;:::i;:::-;12000:38;;;;:::i;:::-;11981:16;:57;;;;11904:142:::0;:::o;5515:24::-;;;;;;;;;;;;;:::o;922:190::-;1008:7;1041:1;1036;:6;;1044:12;1028:29;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;1068:9;1084:1;1080;:5;;;;:::i;:::-;1068:17;;1103:1;1096:8;;;922:190;;;;;:::o;8014:792::-;8106:4;8126:6;;;;;;;;;;;8123:63;;;8142:41;8157:6;8165:9;8176:6;8142:14;:41::i;:::-;8135:48;;;;8123:63;8223:4;;;;;;;;;;;8210:17;;:9;:17;;;;:38;;;;;8244:4;;;;;;;;;;;8231:17;;:9;:17;;;;8210:38;8206:200;;;8273:15;:26;8289:9;8273:26;;;;;;;;;;;;;;;;;;;;;;;;;:79;;;;8336:16;;8326:6;8303:9;:20;8313:9;8303:20;;;;;;;;;;;;;;;;:29;;;;:::i;:::-;:49;;8273:79;8265:129;;;;;;;;;;;;:::i;:::-;;;;;;;;;8206:200;8429:16;:14;:16::i;:::-;8426:35;;;8448:10;:8;:10::i;:::-;8426:35;8494:53;8516:6;8494:53;;;;;;;;;;;;;;;;;:9;:17;8504:6;8494:17;;;;;;;;;;;;;;;;:21;;:53;;;;;:::i;:::-;8474:9;:17;8484:6;8474:17;;;;;;;;;;;;;;;:73;;;;8560:22;8585:21;8599:6;8585:13;:21::i;:::-;:56;;8635:6;8585:56;;;8609:23;8617:6;8625;8609:7;:23::i;:::-;8585:56;8560:81;;8675:40;8700:14;8675:9;:20;8685:9;8675:20;;;;;;;;;;;;;;;;:24;;:40;;;;:::i;:::-;8652:9;:20;8662:9;8652:20;;;;;;;;;;;;;;;:63;;;;8750:9;8733:43;;8742:6;8733:43;;;8761:14;8733:43;;;;;;:::i;:::-;;;;;;;;8794:4;8787:11;;;8014:792;;;;;;:::o;8818:330::-;8911:4;8948:53;8970:6;8948:53;;;;;;;;;;;;;;;;;:9;:17;8958:6;8948:17;;;;;;;;;;;;;;;;:21;;:53;;;;;:::i;:::-;8928:9;:17;8938:6;8928:17;;;;;;;;;;;;;;;:73;;;;9035:32;9060:6;9035:9;:20;9045:9;9035:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;9012:9;:20;9022:9;9012:20;;;;;;;;;;;;;;;:55;;;;9100:9;9083:35;;9092:6;9083:35;;;9111:6;9083:35;;;;;;:::i;:::-;;;;;;;;9136:4;9129:11;;8818:330;;;;;:::o;9615:197::-;9664:4;9702;;;;;;;;;;;9688:18;;:10;:18;;;;:38;;;;;9720:6;;;;;;;;;;;9719:7;9688:38;:62;;;;;9739:11;;;;;;;;;;;9688:62;:116;;;;;9791:13;;9763:9;:24;9781:4;9763:24;;;;;;;;;;;;;;;;:41;;9688:116;9681:123;;9615:197;:::o;9820:1572::-;5729:4;5720:6;;:13;;;;;;;;;;;;;;;;;;9869:28:::1;9900:13;;9869:44;;9924:23;9950:59;10007:1;9950:52;9993:8;;9950:38;9975:12;;9950:20;:24;;:38;;;;:::i;:::-;:42;;:52;;;;:::i;:::-;:56;;:59;;;;:::i;:::-;9924:85;;10020:20;10043:41;10068:15;10043:20;:24;;:41;;;;:::i;:::-;10020:64;;10097:21;10135:1;10121:16;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10097:40;;10166:4;10148;10153:1;10148:7;;;;;;;;:::i;:::-;;;;;;;:23;;;;;;;;;::::0;::::1;10192:6;;;;;;;;;;;:11;;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10182:4;10187:1;10182:7;;;;;;;;:::i;:::-;;;;;;;:23;;;;;;;;;::::0;::::1;10218:21;10242;10218:45;;10276:6;;;;;;;;;;;:57;;;10348:12;10375:1;10391:4;10418;10438:15;10276:188;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;10475:17;10495:40;10521:13;10495:21;:25;;:40;;;;:::i;:::-;10475:60;;10546:19;10568:33;10581:19;10598:1;10581:12;;:16;;:19;;;;:::i;:::-;10568:8;;:12;;:33;;;;:::i;:::-;10546:55;;10612:26;10641:51;10690:1;10641:44;10673:11;10641:27;10655:12;;10641:9;:13;;:27;;;;:::i;:::-;:31;;:44;;;;:::i;:::-;:48;;:51;;;;:::i;:::-;10612:80;;10703:26;10732:44;10764:11;10732:27;10746:12;;10732:9;:13;;:27;;;;:::i;:::-;:31;;:44;;;;:::i;:::-;10703:73;;10792:21;10850:20;;;;;;;;;;;10842:34;;10884:18;10909:5;10842:77;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10791:128;;;10938:16;10930:59;;;;;;;;;;;;:::i;:::-;;;;;;;;;11023:1;11005:15;:19;11002:383;;;11040:6;;;;;;;;;;;:22;;;11070:18;11116:4;11140:15;11174:1;11194::::0;11214:42:::1;11275:15;11040:265;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;11325:48;11337:18;11357:15;11325:48;;;;;;;:::i;:::-;;;;;;;;11002:383;9858:1534;;;;;;;;;;5747:5:::0;5738:6;;:14;;;;;;;;;;;;;;;;;;9820:1572::o;9156:114::-;9218:4;9243:11;:19;9255:6;9243:19;;;;;;;;;;;;;;;;;;;;;;;;;9242:20;9235:27;;9156:114;;;:::o;9278:329::-;9345:7;9365:17;9385:40;9410:14;;9385:20;9396:8;;9385:6;:10;;:20;;;;:::i;:::-;:24;;:40;;;;:::i;:::-;9365:60;;9463:39;9492:9;9463;:24;9481:4;9463:24;;;;;;;;;;;;;;;;:28;;:39;;;;:::i;:::-;9436:9;:24;9454:4;9436:24;;;;;;;;;;;;;;;:66;;;;9543:4;9518:42;;9527:6;9518:42;;;9550:9;9518:42;;;;;;:::i;:::-;;;;;;;;9578:21;9589:9;9578:6;:10;;:21;;;;:::i;:::-;9571:28;;;9278:329;;;;:::o;595:179::-;653:7;673:9;689:1;685;:5;;;;:::i;:::-;673:17;;714:1;709;:6;;701:46;;;;;;;;;;;;:::i;:::-;;;;;;;;;765:1;758:8;;;595:179;;;;:::o;1118:246::-;1176:7;1205:1;1200;:6;1196:47;;;1230:1;1223:8;;;;1196:47;1253:9;1269:1;1265;:5;;;;:::i;:::-;1253:17;;1298:1;1293;1289;:5;;;;:::i;:::-;:10;1281:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;1355:1;1348:8;;;1118:246;;;;;:::o;1370:132::-;1428:7;1455:39;1459:1;1462;1455:39;;;;;;;;;;;;;;;;;:3;:39::i;:::-;1448:46;;1370:132;;;;:::o;780:136::-;838:7;865:43;869:1;872;865:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;858:50;;780:136;;;;:::o;1508:189::-;1594:7;1626:1;1622;:5;1629:12;1614:28;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;1653:9;1669:1;1665;:5;;;;:::i;:::-;1653:17;;1688:1;1681:8;;;1508:189;;;;;:::o;7:139:1:-;53:5;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;59:87;;;;:::o;152:143::-;209:5;240:6;234:13;225:22;;256:33;283:5;256:33;:::i;:::-;215:80;;;;:::o;301:139::-;347:5;385:6;372:20;363:29;;401:33;428:5;401:33;:::i;:::-;353:87;;;;:::o;446:143::-;503:5;534:6;528:13;519:22;;550:33;577:5;550:33;:::i;:::-;509:80;;;;:::o;595:329::-;654:6;703:2;691:9;682:7;678:23;674:32;671:2;;;709:79;;:::i;:::-;671:2;829:1;854:53;899:7;890:6;879:9;875:22;854:53;:::i;:::-;844:63;;800:117;661:263;;;;:::o;930:351::-;1000:6;1049:2;1037:9;1028:7;1024:23;1020:32;1017:2;;;1055:79;;:::i;:::-;1017:2;1175:1;1200:64;1256:7;1247:6;1236:9;1232:22;1200:64;:::i;:::-;1190:74;;1146:128;1007:274;;;;:::o;1287:474::-;1355:6;1363;1412:2;1400:9;1391:7;1387:23;1383:32;1380:2;;;1418:79;;:::i;:::-;1380:2;1538:1;1563:53;1608:7;1599:6;1588:9;1584:22;1563:53;:::i;:::-;1553:63;;1509:117;1665:2;1691:53;1736:7;1727:6;1716:9;1712:22;1691:53;:::i;:::-;1681:63;;1636:118;1370:391;;;;;:::o;1767:619::-;1844:6;1852;1860;1909:2;1897:9;1888:7;1884:23;1880:32;1877:2;;;1915:79;;:::i;:::-;1877:2;2035:1;2060:53;2105:7;2096:6;2085:9;2081:22;2060:53;:::i;:::-;2050:63;;2006:117;2162:2;2188:53;2233:7;2224:6;2213:9;2209:22;2188:53;:::i;:::-;2178:63;;2133:118;2290:2;2316:53;2361:7;2352:6;2341:9;2337:22;2316:53;:::i;:::-;2306:63;;2261:118;1867:519;;;;;:::o;2392:474::-;2460:6;2468;2517:2;2505:9;2496:7;2492:23;2488:32;2485:2;;;2523:79;;:::i;:::-;2485:2;2643:1;2668:53;2713:7;2704:6;2693:9;2689:22;2668:53;:::i;:::-;2658:63;;2614:117;2770:2;2796:53;2841:7;2832:6;2821:9;2817:22;2796:53;:::i;:::-;2786:63;;2741:118;2475:391;;;;;:::o;2872:329::-;2931:6;2980:2;2968:9;2959:7;2955:23;2951:32;2948:2;;;2986:79;;:::i;:::-;2948:2;3106:1;3131:53;3176:7;3167:6;3156:9;3152:22;3131:53;:::i;:::-;3121:63;;3077:117;2938:263;;;;:::o;3207:474::-;3275:6;3283;3332:2;3320:9;3311:7;3307:23;3303:32;3300:2;;;3338:79;;:::i;:::-;3300:2;3458:1;3483:53;3528:7;3519:6;3508:9;3504:22;3483:53;:::i;:::-;3473:63;;3429:117;3585:2;3611:53;3656:7;3647:6;3636:9;3632:22;3611:53;:::i;:::-;3601:63;;3556:118;3290:391;;;;;:::o;3687:663::-;3775:6;3783;3791;3840:2;3828:9;3819:7;3815:23;3811:32;3808:2;;;3846:79;;:::i;:::-;3808:2;3966:1;3991:64;4047:7;4038:6;4027:9;4023:22;3991:64;:::i;:::-;3981:74;;3937:128;4104:2;4130:64;4186:7;4177:6;4166:9;4162:22;4130:64;:::i;:::-;4120:74;;4075:129;4243:2;4269:64;4325:7;4316:6;4305:9;4301:22;4269:64;:::i;:::-;4259:74;;4214:129;3798:552;;;;;:::o;4356:179::-;4425:10;4446:46;4488:3;4480:6;4446:46;:::i;:::-;4524:4;4519:3;4515:14;4501:28;;4436:99;;;;:::o;4541:108::-;4618:24;4636:5;4618:24;:::i;:::-;4613:3;4606:37;4596:53;;:::o;4655:118::-;4742:24;4760:5;4742:24;:::i;:::-;4737:3;4730:37;4720:53;;:::o;4809:732::-;4928:3;4957:54;5005:5;4957:54;:::i;:::-;5027:86;5106:6;5101:3;5027:86;:::i;:::-;5020:93;;5137:56;5187:5;5137:56;:::i;:::-;5216:7;5247:1;5232:284;5257:6;5254:1;5251:13;5232:284;;;5333:6;5327:13;5360:63;5419:3;5404:13;5360:63;:::i;:::-;5353:70;;5446:60;5499:6;5446:60;:::i;:::-;5436:70;;5292:224;5279:1;5276;5272:9;5267:14;;5232:284;;;5236:14;5532:3;5525:10;;4933:608;;;;;;;:::o;5547:109::-;5628:21;5643:5;5628:21;:::i;:::-;5623:3;5616:34;5606:50;;:::o;5662:167::-;5767:55;5816:5;5767:55;:::i;:::-;5762:3;5755:68;5745:84;;:::o;5835:147::-;5930:45;5969:5;5930:45;:::i;:::-;5925:3;5918:58;5908:74;;:::o;5988:364::-;6076:3;6104:39;6137:5;6104:39;:::i;:::-;6159:71;6223:6;6218:3;6159:71;:::i;:::-;6152:78;;6239:52;6284:6;6279:3;6272:4;6265:5;6261:16;6239:52;:::i;:::-;6316:29;6338:6;6316:29;:::i;:::-;6311:3;6307:39;6300:46;;6080:272;;;;;:::o;6358:366::-;6500:3;6521:67;6585:2;6580:3;6521:67;:::i;:::-;6514:74;;6597:93;6686:3;6597:93;:::i;:::-;6715:2;6710:3;6706:12;6699:19;;6504:220;;;:::o;6730:366::-;6872:3;6893:67;6957:2;6952:3;6893:67;:::i;:::-;6886:74;;6969:93;7058:3;6969:93;:::i;:::-;7087:2;7082:3;7078:12;7071:19;;6876:220;;;:::o;7102:366::-;7244:3;7265:67;7329:2;7324:3;7265:67;:::i;:::-;7258:74;;7341:93;7430:3;7341:93;:::i;:::-;7459:2;7454:3;7450:12;7443:19;;7248:220;;;:::o;7474:366::-;7616:3;7637:67;7701:2;7696:3;7637:67;:::i;:::-;7630:74;;7713:93;7802:3;7713:93;:::i;:::-;7831:2;7826:3;7822:12;7815:19;;7620:220;;;:::o;7846:365::-;7988:3;8009:66;8073:1;8068:3;8009:66;:::i;:::-;8002:73;;8084:93;8173:3;8084:93;:::i;:::-;8202:2;8197:3;8193:12;8186:19;;7992:219;;;:::o;8217:398::-;8376:3;8397:83;8478:1;8473:3;8397:83;:::i;:::-;8390:90;;8489:93;8578:3;8489:93;:::i;:::-;8607:1;8602:3;8598:11;8591:18;;8380:235;;;:::o;8621:118::-;8708:24;8726:5;8708:24;:::i;:::-;8703:3;8696:37;8686:53;;:::o;8745:112::-;8828:22;8844:5;8828:22;:::i;:::-;8823:3;8816:35;8806:51;;:::o;8863:379::-;9047:3;9069:147;9212:3;9069:147;:::i;:::-;9062:154;;9233:3;9226:10;;9051:191;;;:::o;9248:222::-;9341:4;9379:2;9368:9;9364:18;9356:26;;9392:71;9460:1;9449:9;9445:17;9436:6;9392:71;:::i;:::-;9346:124;;;;:::o;9476:807::-;9725:4;9763:3;9752:9;9748:19;9740:27;;9777:71;9845:1;9834:9;9830:17;9821:6;9777:71;:::i;:::-;9858:72;9926:2;9915:9;9911:18;9902:6;9858:72;:::i;:::-;9940:80;10016:2;10005:9;10001:18;9992:6;9940:80;:::i;:::-;10030;10106:2;10095:9;10091:18;10082:6;10030:80;:::i;:::-;10120:73;10188:3;10177:9;10173:19;10164:6;10120:73;:::i;:::-;10203;10271:3;10260:9;10256:19;10247:6;10203:73;:::i;:::-;9730:553;;;;;;;;;:::o;10289:210::-;10376:4;10414:2;10403:9;10399:18;10391:26;;10427:65;10489:1;10478:9;10474:17;10465:6;10427:65;:::i;:::-;10381:118;;;;:::o;10505:258::-;10616:4;10654:2;10643:9;10639:18;10631:26;;10667:89;10753:1;10742:9;10738:17;10729:6;10667:89;:::i;:::-;10621:142;;;;:::o;10769:313::-;10882:4;10920:2;10909:9;10905:18;10897:26;;10969:9;10963:4;10959:20;10955:1;10944:9;10940:17;10933:47;10997:78;11070:4;11061:6;10997:78;:::i;:::-;10989:86;;10887:195;;;;:::o;11088:419::-;11254:4;11292:2;11281:9;11277:18;11269:26;;11341:9;11335:4;11331:20;11327:1;11316:9;11312:17;11305:47;11369:131;11495:4;11369:131;:::i;:::-;11361:139;;11259:248;;;:::o;11513:419::-;11679:4;11717:2;11706:9;11702:18;11694:26;;11766:9;11760:4;11756:20;11752:1;11741:9;11737:17;11730:47;11794:131;11920:4;11794:131;:::i;:::-;11786:139;;11684:248;;;:::o;11938:419::-;12104:4;12142:2;12131:9;12127:18;12119:26;;12191:9;12185:4;12181:20;12177:1;12166:9;12162:17;12155:47;12219:131;12345:4;12219:131;:::i;:::-;12211:139;;12109:248;;;:::o;12363:419::-;12529:4;12567:2;12556:9;12552:18;12544:26;;12616:9;12610:4;12606:20;12602:1;12591:9;12587:17;12580:47;12644:131;12770:4;12644:131;:::i;:::-;12636:139;;12534:248;;;:::o;12788:419::-;12954:4;12992:2;12981:9;12977:18;12969:26;;13041:9;13035:4;13031:20;13027:1;13016:9;13012:17;13005:47;13069:131;13195:4;13069:131;:::i;:::-;13061:139;;12959:248;;;:::o;13213:222::-;13306:4;13344:2;13333:9;13329:18;13321:26;;13357:71;13425:1;13414:9;13410:17;13401:6;13357:71;:::i;:::-;13311:124;;;;:::o;13441:831::-;13704:4;13742:3;13731:9;13727:19;13719:27;;13756:71;13824:1;13813:9;13809:17;13800:6;13756:71;:::i;:::-;13837:80;13913:2;13902:9;13898:18;13889:6;13837:80;:::i;:::-;13964:9;13958:4;13954:20;13949:2;13938:9;13934:18;13927:48;13992:108;14095:4;14086:6;13992:108;:::i;:::-;13984:116;;14110:72;14178:2;14167:9;14163:18;14154:6;14110:72;:::i;:::-;14192:73;14260:3;14249:9;14245:19;14236:6;14192:73;:::i;:::-;13709:563;;;;;;;;:::o;14278:332::-;14399:4;14437:2;14426:9;14422:18;14414:26;;14450:71;14518:1;14507:9;14503:17;14494:6;14450:71;:::i;:::-;14531:72;14599:2;14588:9;14584:18;14575:6;14531:72;:::i;:::-;14404:206;;;;;:::o;14616:214::-;14705:4;14743:2;14732:9;14728:18;14720:26;;14756:67;14820:1;14809:9;14805:17;14796:6;14756:67;:::i;:::-;14710:120;;;;:::o;14917:132::-;14984:4;15007:3;14999:11;;15037:4;15032:3;15028:14;15020:22;;14989:60;;;:::o;15055:114::-;15122:6;15156:5;15150:12;15140:22;;15129:40;;;:::o;15175:99::-;15227:6;15261:5;15255:12;15245:22;;15234:40;;;:::o;15280:113::-;15350:4;15382;15377:3;15373:14;15365:22;;15355:38;;;:::o;15399:184::-;15498:11;15532:6;15527:3;15520:19;15572:4;15567:3;15563:14;15548:29;;15510:73;;;;:::o;15589:147::-;15690:11;15727:3;15712:18;;15702:34;;;;:::o;15742:169::-;15826:11;15860:6;15855:3;15848:19;15900:4;15895:3;15891:14;15876:29;;15838:73;;;;:::o;15917:305::-;15957:3;15976:20;15994:1;15976:20;:::i;:::-;15971:25;;16010:20;16028:1;16010:20;:::i;:::-;16005:25;;16164:1;16096:66;16092:74;16089:1;16086:81;16083:2;;;16170:18;;:::i;:::-;16083:2;16214:1;16211;16207:9;16200:16;;15961:261;;;;:::o;16228:185::-;16268:1;16285:20;16303:1;16285:20;:::i;:::-;16280:25;;16319:20;16337:1;16319:20;:::i;:::-;16314:25;;16358:1;16348:2;;16363:18;;:::i;:::-;16348:2;16405:1;16402;16398:9;16393:14;;16270:143;;;;:::o;16419:348::-;16459:7;16482:20;16500:1;16482:20;:::i;:::-;16477:25;;16516:20;16534:1;16516:20;:::i;:::-;16511:25;;16704:1;16636:66;16632:74;16629:1;16626:81;16621:1;16614:9;16607:17;16603:105;16600:2;;;16711:18;;:::i;:::-;16600:2;16759:1;16756;16752:9;16741:20;;16467:300;;;;:::o;16773:191::-;16813:4;16833:20;16851:1;16833:20;:::i;:::-;16828:25;;16867:20;16885:1;16867:20;:::i;:::-;16862:25;;16906:1;16903;16900:8;16897:2;;;16911:18;;:::i;:::-;16897:2;16956:1;16953;16949:9;16941:17;;16818:146;;;;:::o;16970:96::-;17007:7;17036:24;17054:5;17036:24;:::i;:::-;17025:35;;17015:51;;;:::o;17072:90::-;17106:7;17149:5;17142:13;17135:21;17124:32;;17114:48;;;:::o;17168:126::-;17205:7;17245:42;17238:5;17234:54;17223:65;;17213:81;;;:::o;17300:77::-;17337:7;17366:5;17355:16;;17345:32;;;:::o;17383:86::-;17418:7;17458:4;17451:5;17447:16;17436:27;;17426:43;;;:::o;17475:162::-;17543:9;17576:55;17625:5;17576:55;:::i;:::-;17563:68;;17553:84;;;:::o;17643:131::-;17711:9;17744:24;17762:5;17744:24;:::i;:::-;17731:37;;17721:53;;;:::o;17780:121::-;17838:9;17871:24;17889:5;17871:24;:::i;:::-;17858:37;;17848:53;;;:::o;17907:307::-;17975:1;17985:113;17999:6;17996:1;17993:13;17985:113;;;18084:1;18079:3;18075:11;18069:18;18065:1;18060:3;18056:11;18049:39;18021:2;18018:1;18014:10;18009:15;;17985:113;;;18116:6;18113:1;18110:13;18107:2;;;18196:1;18187:6;18182:3;18178:16;18171:27;18107:2;17956:258;;;;:::o;18220:180::-;18268:77;18265:1;18258:88;18365:4;18362:1;18355:15;18389:4;18386:1;18379:15;18406:180;18454:77;18451:1;18444:88;18551:4;18548:1;18541:15;18575:4;18572:1;18565:15;18592:180;18640:77;18637:1;18630:88;18737:4;18734:1;18727:15;18761:4;18758:1;18751:15;18778:180;18826:77;18823:1;18816:88;18923:4;18920:1;18913:15;18947:4;18944:1;18937:15;19087:117;19196:1;19193;19186:12;19210:102;19251:6;19302:2;19298:7;19293:2;19286:5;19282:14;19278:28;19268:38;;19258:54;;;:::o;19318:224::-;19458:34;19454:1;19446:6;19442:14;19435:58;19527:7;19522:2;19514:6;19510:15;19503:32;19424:118;:::o;19548:177::-;19688:29;19684:1;19676:6;19672:14;19665:53;19654:71;:::o;19731:180::-;19871:32;19867:1;19859:6;19855:14;19848:56;19837:74;:::o;19917:220::-;20057:34;20053:1;20045:6;20041:14;20034:58;20126:3;20121:2;20113:6;20109:15;20102:28;20023:114;:::o;20143:156::-;20283:8;20279:1;20271:6;20267:14;20260:32;20249:50;:::o;20305:114::-;20411:8;:::o;20425:122::-;20498:24;20516:5;20498:24;:::i;:::-;20491:5;20488:35;20478:2;;20537:1;20534;20527:12;20478:2;20468:79;:::o;20553:122::-;20626:24;20644:5;20626:24;:::i;:::-;20619:5;20616:35;20606:2;;20665:1;20662;20655:12;20606:2;20596:79;:::o

ipfs://64000ce93920dba8107d6676c5b3956359fd617749e2750994d1aba84d7ccaad