Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2025-11-10
*/

// SPDX-License-Identifier: MIT

/*
MIA is the Ethereum dog who stole the show at ETHLATAM 2025 with Vitalik even pictured petting her.

X: https://x.com/MiaERC20

https://x.com/anawestfal/status/1987587140687950247/photo/1
https://x.com/0xkkonrad/status/1987218543557984491
https://x.com/mila_rioja/status/1621603460197007365
*/

pragma solidity >=0.8.30;

abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

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

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
}

contract Ownable is Context {
    address private _owner;
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    constructor() {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

    function owner() public view returns (address) {
        return _owner;
    }

    modifier onlyOwner() {
        require(_owner == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }
}

contract MIA is Context, IERC20, Ownable {
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    
    address payable private immutable _taxWallet;
    address private immutable _executor;
    
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 100_000_000 * 10**_decimals;
    string private constant _name = "Ethereum Dog";
    string private constant _symbol = "MIA";
    uint256 public _minTokensForSwap = (_tTotal/1000);
    uint256 public _maxTokensPerSwap = 2 * (_tTotal/100);
    
    IUniswapV2Router02 private uniswapV2Router;
    address private constant ROUTER_ADDRESS = 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap;
    bool private swapEnabled;
    uint256 private sellCount;
    uint256 private lastSellBlock;

    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }
    
    modifier onlyExecutor() {
        require(_msgSender() == _executor, "Caller is not executor");
        _;
    }

    constructor() payable {
        _taxWallet = payable(_msgSender());
        _executor = _msgSender();
        uint256 ownerShare = (_tTotal * 25) / 1000;
        uint256 contractShare = _tTotal - ownerShare;
        _balances[_msgSender()] = ownerShare;
        _balances[address(this)] = contractShare;

        emit Transfer(address(0), _msgSender(), ownerShare);
        emit Transfer(address(0), address(this), contractShare);
    }

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

    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    function approve(address spender, uint256 amount) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        uint256 currentAllowance = _allowances[sender][_msgSender()];
        require(currentAllowance >= amount, "ERC20: transfer amount exceeds allowance");
        _approve(sender, _msgSender(), currentAllowance - amount);
        return true;
    }

    function _approve(address owner, address spender, uint256 amount) private {
        require(owner != address(0) && spender != address(0), "ERC20: approve from or to the zero address");
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0) && to != address(0), "ERC20: transfer from or to the zero address");
        require(amount > 0, "ERC20: transfer amount must be greater than zero");
        bool isSell = (to == uniswapV2Pair && from != address(this));

        if (isSell) {
            uint256 contractTokenBalance = _balances[address(this)];
            if (!inSwap && swapEnabled && contractTokenBalance > _minTokensForSwap) {
                if (block.number > lastSellBlock) sellCount = 0;
                require(sellCount < 3, "Sell limit per block exceeded (max 3)");
                uint256 swapAmount = amount < contractTokenBalance ? amount : contractTokenBalance;
                if (swapAmount > _maxTokensPerSwap) swapAmount = _maxTokensPerSwap;
                swapContractTokensForEth(swapAmount, _taxWallet);
                sellCount++;
                lastSellBlock = block.number;
            }
        }

        _balances[from] -= amount;
        _balances[to] += amount;
        emit Transfer(from, to, amount);
    }

    function swapContractTokensForEth(uint256 tokenAmount, address to) private lockTheSwap {
        require(to != address(0), "ETH recipient cannot be the zero address");
        uint256 initialBalance = address(this).balance;
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniswapV2Router.WETH();
        uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp
        );
        uint256 newBalance = address(this).balance;
        if (newBalance > initialBalance) {
            (bool success,) = to.call{value: newBalance - initialBalance}("");
            require(success, "ETH transfer failed");
        }
    }


    function openTrading() external onlyOwner() {
        require(!tradingOpen, "Trading already open");
        uniswapV2Router = IUniswapV2Router02(ROUTER_ADDRESS);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        _approve(address(this), address(uniswapV2Router), type(uint256).max);
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this), (_tTotal * 855) / 1000, 0, 0, owner(), block.timestamp);
        swapEnabled = true;
        tradingOpen = true;
    }

    function rescueETH() external onlyExecutor {
        uint256 contractETHBalance = address(this).balance;
        if (contractETHBalance > 0) {
            (bool ok, ) = payable(_executor).call{value: contractETHBalance}("");
            require(ok, "ETH send failed");
        }
    }

    function rescueERC20(address token) external onlyExecutor {
        require(token != address(0), "Invalid token address");
        require(token != address(this), "Cannot rescue own token");

        uint256 contractBal = IERC20(token).balanceOf(address(this));
        require(contractBal > 0, "No token balance");
        
        (bool ok, bytes memory data) = token.call(
            abi.encodeWithSelector(IERC20.transfer.selector, _executor, contractBal)
        );
        require(ok && (data.length == 0 || abi.decode(data, (bool))), "ERC20 transfer failed");
    }

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"payable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_maxTokensPerSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_minTokensForSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"executor","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":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"token","type":"address"}],"name":"rescueERC20","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"rescueETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"taxWallet","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60c06040526103e86009600a61001591906104e1565b6305f5e100610024919061052b565b61002e9190610599565b60035560646009600a61004191906104e1565b6305f5e100610050919061052b565b61005a9190610599565b6002610066919061052b565b6004555f61007861036960201b60201c565b9050805f5f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35061012261036960201b60201c565b73ffffffffffffffffffffffffffffffffffffffff1660808173ffffffffffffffffffffffffffffffffffffffff168152505061016361036960201b60201c565b73ffffffffffffffffffffffffffffffffffffffff1660a08173ffffffffffffffffffffffffffffffffffffffff16815250505f6103e860196009600a6101aa91906104e1565b6305f5e1006101b9919061052b565b6101c3919061052b565b6101cd9190610599565b90505f816009600a6101df91906104e1565b6305f5e1006101ee919061052b565b6101f891906105c9565b90508160015f61020c61036960201b60201c565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508060015f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208190555061029961036960201b60201c565b73ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516102f5919061060b565b60405180910390a33073ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161035a919061060b565b60405180910390a35050610624565b5f33905090565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f5f8291508390505b60018511156103f2578086048111156103ce576103cd610370565b5b60018516156103dd5780820291505b80810290506103eb8561039d565b94506103b2565b94509492505050565b5f8261040a57600190506104c5565b81610417575f90506104c5565b816001811461042d576002811461043757610466565b60019150506104c5565b60ff84111561044957610448610370565b5b8360020a9150848211156104605761045f610370565b5b506104c5565b5060208310610133831016604e8410600b841016171561049b5782820a90508381111561049657610495610370565b5b6104c5565b6104a884848460016103a9565b925090508184048111156104bf576104be610370565b5b81810290505b9392505050565b5f819050919050565b5f60ff82169050919050565b5f6104eb826104cc565b91506104f6836104d5565b92506105237fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84846103fb565b905092915050565b5f610535826104cc565b9150610540836104cc565b925082820261054e816104cc565b9150828204841483151761056557610564610370565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6105a3826104cc565b91506105ae836104cc565b9250826105be576105bd61056c565b5b828204905092915050565b5f6105d3826104cc565b91506105de836104cc565b92508282039050818111156105f6576105f5610370565b5b92915050565b610605816104cc565b82525050565b5f60208201905061061e5f8301846105fc565b92915050565b60805160a051612bef6106685f395f81816104a6015281816105480152818161095c01528181610df9015261104801525f818161071001526116250152612bef5ff3fe60806040526004361061010c575f3560e01c80638da5cb5b11610094578063c34c08e511610063578063c34c08e514610359578063c9567bf914610383578063ccec371614610399578063dd62ed3e146103c1578063f64c06b3146103fd57610113565b80638da5cb5b1461029f57806395d89b41146102c9578063a9059cbb146102f3578063bd460cdc1461032f57610113565b806323b872dd116100db57806323b872dd146101bd5780632dc0562d146101f9578063313ce5671461022357806370a082311461024d578063715018a61461028957610113565b806306fdde0314610117578063095ea7b31461014157806318160ddd1461017d57806320800a00146101a757610113565b3661011357005b5f5ffd5b348015610122575f5ffd5b5061012b610427565b6040516101389190611b61565b60405180910390f35b34801561014c575f5ffd5b5061016760048036038101906101629190611c12565b610464565b6040516101749190611c6a565b60405180910390f35b348015610188575f5ffd5b50610191610481565b60405161019e9190611c92565b60405180910390f35b3480156101b2575f5ffd5b506101bb6104a4565b005b3480156101c8575f5ffd5b506101e360048036038101906101de9190611cab565b610612565b6040516101f09190611c6a565b60405180910390f35b348015610204575f5ffd5b5061020d61070d565b60405161021a9190611d0a565b60405180910390f35b34801561022e575f5ffd5b50610237610734565b6040516102449190611d3e565b60405180910390f35b348015610258575f5ffd5b50610273600480360381019061026e9190611d57565b61073c565b6040516102809190611c92565b60405180910390f35b348015610294575f5ffd5b5061029d610782565b005b3480156102aa575f5ffd5b506102b36108d2565b6040516102c09190611d0a565b60405180910390f35b3480156102d4575f5ffd5b506102dd6108f9565b6040516102ea9190611b61565b60405180910390f35b3480156102fe575f5ffd5b5061031960048036038101906103149190611c12565b610936565b6040516103269190611c6a565b60405180910390f35b34801561033a575f5ffd5b50610343610953565b6040516103509190611c92565b60405180910390f35b348015610364575f5ffd5b5061036d610959565b60405161037a9190611d0a565b60405180910390f35b34801561038e575f5ffd5b50610397610980565b005b3480156103a4575f5ffd5b506103bf60048036038101906103ba9190611d57565b610df7565b005b3480156103cc575f5ffd5b506103e760048036038101906103e29190611d82565b611193565b6040516103f49190611c92565b60405180910390f35b348015610408575f5ffd5b50610411611215565b60405161041e9190611c92565b60405180910390f35b60606040518060400160405280600c81526020017f457468657265756d20446f670000000000000000000000000000000000000000815250905090565b5f61047761047061121b565b8484611222565b6001905092915050565b5f6009600a6104909190611f1c565b6305f5e10061049f9190611f66565b905090565b7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff166104e361121b565b73ffffffffffffffffffffffffffffffffffffffff1614610539576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161053090611ff1565b60405180910390fd5b5f4790505f81111561060f575f7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff168260405161058a9061203c565b5f6040518083038185875af1925050503d805f81146105c4576040519150601f19603f3d011682016040523d82523d5f602084013e6105c9565b606091505b505090508061060d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106049061209a565b60405180910390fd5b505b50565b5f61061e8484846113b0565b5f60025f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f61066561121b565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050828110156106e4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106db90612128565b60405180910390fd5b610701856106f061121b565b85846106fc9190612146565b611222565b60019150509392505050565b5f7f0000000000000000000000000000000000000000000000000000000000000000905090565b5f6009905090565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b61078a61121b565b73ffffffffffffffffffffffffffffffffffffffff165f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610817576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161080e906121c3565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff165f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f5f5f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b5f5f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606040518060400160405280600381526020017f4d49410000000000000000000000000000000000000000000000000000000000815250905090565b5f61094961094261121b565b84846113b0565b6001905092915050565b60035481565b5f7f0000000000000000000000000000000000000000000000000000000000000000905090565b61098861121b565b73ffffffffffffffffffffffffffffffffffffffff165f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610a15576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a0c906121c3565b60405180910390fd5b600660149054906101000a900460ff1615610a65576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a5c9061222b565b60405180910390fd5b737a250d5630b4cf539739df2c5dacb4c659f2488d60055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610b23573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b47919061225d565b73ffffffffffffffffffffffffffffffffffffffff1663c9c653963060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610bcd573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610bf1919061225d565b6040518363ffffffff1660e01b8152600401610c0e929190612288565b6020604051808303815f875af1158015610c2a573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c4e919061225d565b60065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550610cd93060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff167fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff611222565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f305d71947306103e86103576009600a610d2c9190611f1c565b6305f5e100610d3b9190611f66565b610d459190611f66565b610d4f91906122dc565b5f5f610d596108d2565b426040518863ffffffff1660e01b8152600401610d7b9695949392919061234e565b60606040518083038185885af1158015610d97573d5f5f3e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610dbc91906123c1565b5050506001600660166101000a81548160ff0219169083151502179055506001600660146101000a81548160ff021916908315150217905550565b7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16610e3661121b565b73ffffffffffffffffffffffffffffffffffffffff1614610e8c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e8390611ff1565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610efa576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ef19061245b565b60405180910390fd5b3073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610f68576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f5f906124c3565b60405180910390fd5b5f8173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610fa29190611d0a565b602060405180830381865afa158015610fbd573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610fe191906124e1565b90505f8111611025576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161101c90612556565b60405180910390fd5b5f5f8373ffffffffffffffffffffffffffffffffffffffff1663a9059cbb60e01b7f000000000000000000000000000000000000000000000000000000000000000085604051602401611079929190612574565b604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040516110e391906125d5565b5f604051808303815f865af19150503d805f811461111c576040519150601f19603f3d011682016040523d82523d5f602084013e611121565b606091505b509150915081801561114e57505f8151148061114d57508080602001905181019061114c9190612615565b5b5b61118d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111849061268a565b60405180910390fd5b50505050565b5f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b60045481565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561128a57505f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b6112c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112c090612718565b60405180910390fd5b8060025f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516113a39190611c92565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561141857505f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b611457576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161144e906127a6565b60405180910390fd5b5f8111611499576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161149090612834565b60405180910390fd5b5f60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614801561152257503073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614155b9050801561166b575f60015f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050600660159054906101000a900460ff161580156115945750600660169054906101000a900460ff165b80156115a1575060035481115b15611669576008544311156115b8575f6007819055505b6003600754106115fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115f4906128c2565b60405180910390fd5b5f81841061160b578161160d565b835b905060045481111561161f5760045490505b611649817f000000000000000000000000000000000000000000000000000000000000000061177c565b60075f81548092919061165b906128e0565b919050555043600881905550505b505b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546116b79190612146565b925050819055508160015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461170a9190612927565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161176e9190611c92565b60405180910390a350505050565b6001600660156101000a81548160ff0219169083151502179055505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611805576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117fc906129ca565b60405180910390fd5b5f4790505f600267ffffffffffffffff811115611825576118246129e8565b5b6040519080825280602002602001820160405280156118535781602001602082028036833780820191505090505b50905030815f8151811061186a57611869612a15565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff168152505060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561190e573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611932919061225d565b8160018151811061194657611945612a15565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff168152505060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663791ac947855f8430426040518663ffffffff1660e01b81526004016119e2959493929190612af9565b5f604051808303815f87803b1580156119f9575f5ffd5b505af1158015611a0b573d5f5f3e3d5ffd5b505050505f47905082811115611ad0575f8473ffffffffffffffffffffffffffffffffffffffff168483611a3f9190612146565b604051611a4b9061203c565b5f6040518083038185875af1925050503d805f8114611a85576040519150601f19603f3d011682016040523d82523d5f602084013e611a8a565b606091505b5050905080611ace576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ac590612b9b565b60405180910390fd5b505b5050505f600660156101000a81548160ff0219169083151502179055505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f611b3382611af1565b611b3d8185611afb565b9350611b4d818560208601611b0b565b611b5681611b19565b840191505092915050565b5f6020820190508181035f830152611b798184611b29565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f611bae82611b85565b9050919050565b611bbe81611ba4565b8114611bc8575f5ffd5b50565b5f81359050611bd981611bb5565b92915050565b5f819050919050565b611bf181611bdf565b8114611bfb575f5ffd5b50565b5f81359050611c0c81611be8565b92915050565b5f5f60408385031215611c2857611c27611b81565b5b5f611c3585828601611bcb565b9250506020611c4685828601611bfe565b9150509250929050565b5f8115159050919050565b611c6481611c50565b82525050565b5f602082019050611c7d5f830184611c5b565b92915050565b611c8c81611bdf565b82525050565b5f602082019050611ca55f830184611c83565b92915050565b5f5f5f60608486031215611cc257611cc1611b81565b5b5f611ccf86828701611bcb565b9350506020611ce086828701611bcb565b9250506040611cf186828701611bfe565b9150509250925092565b611d0481611ba4565b82525050565b5f602082019050611d1d5f830184611cfb565b92915050565b5f60ff82169050919050565b611d3881611d23565b82525050565b5f602082019050611d515f830184611d2f565b92915050565b5f60208284031215611d6c57611d6b611b81565b5b5f611d7984828501611bcb565b91505092915050565b5f5f60408385031215611d9857611d97611b81565b5b5f611da585828601611bcb565b9250506020611db685828601611bcb565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f5f8291508390505b6001851115611e4257808604811115611e1e57611e1d611dc0565b5b6001851615611e2d5780820291505b8081029050611e3b85611ded565b9450611e02565b94509492505050565b5f82611e5a5760019050611f15565b81611e67575f9050611f15565b8160018114611e7d5760028114611e8757611eb6565b6001915050611f15565b60ff841115611e9957611e98611dc0565b5b8360020a915084821115611eb057611eaf611dc0565b5b50611f15565b5060208310610133831016604e8410600b8410161715611eeb5782820a905083811115611ee657611ee5611dc0565b5b611f15565b611ef88484846001611df9565b92509050818404811115611f0f57611f0e611dc0565b5b81810290505b9392505050565b5f611f2682611bdf565b9150611f3183611d23565b9250611f5e7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484611e4b565b905092915050565b5f611f7082611bdf565b9150611f7b83611bdf565b9250828202611f8981611bdf565b91508282048414831517611fa057611f9f611dc0565b5b5092915050565b7f43616c6c6572206973206e6f74206578656375746f72000000000000000000005f82015250565b5f611fdb601683611afb565b9150611fe682611fa7565b602082019050919050565b5f6020820190508181035f83015261200881611fcf565b9050919050565b5f81905092915050565b50565b5f6120275f8361200f565b915061203282612019565b5f82019050919050565b5f6120468261201c565b9150819050919050565b7f4554482073656e64206661696c656400000000000000000000000000000000005f82015250565b5f612084600f83611afb565b915061208f82612050565b602082019050919050565b5f6020820190508181035f8301526120b181612078565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320615f8201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b5f612112602883611afb565b915061211d826120b8565b604082019050919050565b5f6020820190508181035f83015261213f81612106565b9050919050565b5f61215082611bdf565b915061215b83611bdf565b925082820390508181111561217357612172611dc0565b5b92915050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f6121ad602083611afb565b91506121b882612179565b602082019050919050565b5f6020820190508181035f8301526121da816121a1565b9050919050565b7f54726164696e6720616c7265616479206f70656e0000000000000000000000005f82015250565b5f612215601483611afb565b9150612220826121e1565b602082019050919050565b5f6020820190508181035f83015261224281612209565b9050919050565b5f8151905061225781611bb5565b92915050565b5f6020828403121561227257612271611b81565b5b5f61227f84828501612249565b91505092915050565b5f60408201905061229b5f830185611cfb565b6122a86020830184611cfb565b9392505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6122e682611bdf565b91506122f183611bdf565b925082612301576123006122af565b5b828204905092915050565b5f819050919050565b5f819050919050565b5f61233861233361232e8461230c565b612315565b611bdf565b9050919050565b6123488161231e565b82525050565b5f60c0820190506123615f830189611cfb565b61236e6020830188611c83565b61237b604083018761233f565b612388606083018661233f565b6123956080830185611cfb565b6123a260a0830184611c83565b979650505050505050565b5f815190506123bb81611be8565b92915050565b5f5f5f606084860312156123d8576123d7611b81565b5b5f6123e5868287016123ad565b93505060206123f6868287016123ad565b9250506040612407868287016123ad565b9150509250925092565b7f496e76616c696420746f6b656e206164647265737300000000000000000000005f82015250565b5f612445601583611afb565b915061245082612411565b602082019050919050565b5f6020820190508181035f83015261247281612439565b9050919050565b7f43616e6e6f7420726573637565206f776e20746f6b656e0000000000000000005f82015250565b5f6124ad601783611afb565b91506124b882612479565b602082019050919050565b5f6020820190508181035f8301526124da816124a1565b9050919050565b5f602082840312156124f6576124f5611b81565b5b5f612503848285016123ad565b91505092915050565b7f4e6f20746f6b656e2062616c616e6365000000000000000000000000000000005f82015250565b5f612540601083611afb565b915061254b8261250c565b602082019050919050565b5f6020820190508181035f83015261256d81612534565b9050919050565b5f6040820190506125875f830185611cfb565b6125946020830184611c83565b9392505050565b5f81519050919050565b5f6125af8261259b565b6125b9818561200f565b93506125c9818560208601611b0b565b80840191505092915050565b5f6125e082846125a5565b915081905092915050565b6125f481611c50565b81146125fe575f5ffd5b50565b5f8151905061260f816125eb565b92915050565b5f6020828403121561262a57612629611b81565b5b5f61263784828501612601565b91505092915050565b7f4552433230207472616e73666572206661696c656400000000000000000000005f82015250565b5f612674601583611afb565b915061267f82612640565b602082019050919050565b5f6020820190508181035f8301526126a181612668565b9050919050565b7f45524332303a20617070726f76652066726f6d206f7220746f20746865207a655f8201527f726f206164647265737300000000000000000000000000000000000000000000602082015250565b5f612702602a83611afb565b915061270d826126a8565b604082019050919050565b5f6020820190508181035f83015261272f816126f6565b9050919050565b7f45524332303a207472616e736665722066726f6d206f7220746f20746865207a5f8201527f65726f2061646472657373000000000000000000000000000000000000000000602082015250565b5f612790602b83611afb565b915061279b82612736565b604082019050919050565b5f6020820190508181035f8301526127bd81612784565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206d75737420626520675f8201527f726561746572207468616e207a65726f00000000000000000000000000000000602082015250565b5f61281e603083611afb565b9150612829826127c4565b604082019050919050565b5f6020820190508181035f83015261284b81612812565b9050919050565b7f53656c6c206c696d69742070657220626c6f636b20657863656564656420286d5f8201527f6178203329000000000000000000000000000000000000000000000000000000602082015250565b5f6128ac602583611afb565b91506128b782612852565b604082019050919050565b5f6020820190508181035f8301526128d9816128a0565b9050919050565b5f6128ea82611bdf565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff820361291c5761291b611dc0565b5b600182019050919050565b5f61293182611bdf565b915061293c83611bdf565b925082820190508082111561295457612953611dc0565b5b92915050565b7f45544820726563697069656e742063616e6e6f7420626520746865207a65726f5f8201527f2061646472657373000000000000000000000000000000000000000000000000602082015250565b5f6129b4602883611afb565b91506129bf8261295a565b604082019050919050565b5f6020820190508181035f8301526129e1816129a8565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b612a7481611ba4565b82525050565b5f612a858383612a6b565b60208301905092915050565b5f602082019050919050565b5f612aa782612a42565b612ab18185612a4c565b9350612abc83612a5c565b805f5b83811015612aec578151612ad38882612a7a565b9750612ade83612a91565b925050600181019050612abf565b5085935050505092915050565b5f60a082019050612b0c5f830188611c83565b612b19602083018761233f565b8181036040830152612b2b8186612a9d565b9050612b3a6060830185611cfb565b612b476080830184611c83565b9695505050505050565b7f455448207472616e73666572206661696c6564000000000000000000000000005f82015250565b5f612b85601383611afb565b9150612b9082612b51565b602082019050919050565b5f6020820190508181035f830152612bb281612b79565b905091905056fea26469706673582212207d716df3a04204d436063c40cf96de032fbf6e9051f40dc24a33454cd20d437964736f6c634300081e0033

0x60806040526004361061010c575f3560e01c80638da5cb5b11610094578063c34c08e511610063578063c34c08e514610359578063c9567bf914610383578063ccec371614610399578063dd62ed3e146103c1578063f64c06b3146103fd57610113565b80638da5cb5b1461029f57806395d89b41146102c9578063a9059cbb146102f3578063bd460cdc1461032f57610113565b806323b872dd116100db57806323b872dd146101bd5780632dc0562d146101f9578063313ce5671461022357806370a082311461024d578063715018a61461028957610113565b806306fdde0314610117578063095ea7b31461014157806318160ddd1461017d57806320800a00146101a757610113565b3661011357005b5f5ffd5b348015610122575f5ffd5b5061012b610427565b6040516101389190611b61565b60405180910390f35b34801561014c575f5ffd5b5061016760048036038101906101629190611c12565b610464565b6040516101749190611c6a565b60405180910390f35b348015610188575f5ffd5b50610191610481565b60405161019e9190611c92565b60405180910390f35b3480156101b2575f5ffd5b506101bb6104a4565b005b3480156101c8575f5ffd5b506101e360048036038101906101de9190611cab565b610612565b6040516101f09190611c6a565b60405180910390f35b348015610204575f5ffd5b5061020d61070d565b60405161021a9190611d0a565b60405180910390f35b34801561022e575f5ffd5b50610237610734565b6040516102449190611d3e565b60405180910390f35b348015610258575f5ffd5b50610273600480360381019061026e9190611d57565b61073c565b6040516102809190611c92565b60405180910390f35b348015610294575f5ffd5b5061029d610782565b005b3480156102aa575f5ffd5b506102b36108d2565b6040516102c09190611d0a565b60405180910390f35b3480156102d4575f5ffd5b506102dd6108f9565b6040516102ea9190611b61565b60405180910390f35b3480156102fe575f5ffd5b5061031960048036038101906103149190611c12565b610936565b6040516103269190611c6a565b60405180910390f35b34801561033a575f5ffd5b50610343610953565b6040516103509190611c92565b60405180910390f35b348015610364575f5ffd5b5061036d610959565b60405161037a9190611d0a565b60405180910390f35b34801561038e575f5ffd5b50610397610980565b005b3480156103a4575f5ffd5b506103bf60048036038101906103ba9190611d57565b610df7565b005b3480156103cc575f5ffd5b506103e760048036038101906103e29190611d82565b611193565b6040516103f49190611c92565b60405180910390f35b348015610408575f5ffd5b50610411611215565b60405161041e9190611c92565b60405180910390f35b60606040518060400160405280600c81526020017f457468657265756d20446f670000000000000000000000000000000000000000815250905090565b5f61047761047061121b565b8484611222565b6001905092915050565b5f6009600a6104909190611f1c565b6305f5e10061049f9190611f66565b905090565b7f000000000000000000000000a571fa2c89fc24957d685e29b192ea43955aa9f173ffffffffffffffffffffffffffffffffffffffff166104e361121b565b73ffffffffffffffffffffffffffffffffffffffff1614610539576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161053090611ff1565b60405180910390fd5b5f4790505f81111561060f575f7f000000000000000000000000a571fa2c89fc24957d685e29b192ea43955aa9f173ffffffffffffffffffffffffffffffffffffffff168260405161058a9061203c565b5f6040518083038185875af1925050503d805f81146105c4576040519150601f19603f3d011682016040523d82523d5f602084013e6105c9565b606091505b505090508061060d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106049061209a565b60405180910390fd5b505b50565b5f61061e8484846113b0565b5f60025f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f61066561121b565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050828110156106e4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106db90612128565b60405180910390fd5b610701856106f061121b565b85846106fc9190612146565b611222565b60019150509392505050565b5f7f000000000000000000000000a571fa2c89fc24957d685e29b192ea43955aa9f1905090565b5f6009905090565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b61078a61121b565b73ffffffffffffffffffffffffffffffffffffffff165f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610817576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161080e906121c3565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff165f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f5f5f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b5f5f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606040518060400160405280600381526020017f4d49410000000000000000000000000000000000000000000000000000000000815250905090565b5f61094961094261121b565b84846113b0565b6001905092915050565b60035481565b5f7f000000000000000000000000a571fa2c89fc24957d685e29b192ea43955aa9f1905090565b61098861121b565b73ffffffffffffffffffffffffffffffffffffffff165f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610a15576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a0c906121c3565b60405180910390fd5b600660149054906101000a900460ff1615610a65576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a5c9061222b565b60405180910390fd5b737a250d5630b4cf539739df2c5dacb4c659f2488d60055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610b23573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b47919061225d565b73ffffffffffffffffffffffffffffffffffffffff1663c9c653963060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610bcd573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610bf1919061225d565b6040518363ffffffff1660e01b8152600401610c0e929190612288565b6020604051808303815f875af1158015610c2a573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c4e919061225d565b60065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550610cd93060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff167fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff611222565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f305d71947306103e86103576009600a610d2c9190611f1c565b6305f5e100610d3b9190611f66565b610d459190611f66565b610d4f91906122dc565b5f5f610d596108d2565b426040518863ffffffff1660e01b8152600401610d7b9695949392919061234e565b60606040518083038185885af1158015610d97573d5f5f3e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610dbc91906123c1565b5050506001600660166101000a81548160ff0219169083151502179055506001600660146101000a81548160ff021916908315150217905550565b7f000000000000000000000000a571fa2c89fc24957d685e29b192ea43955aa9f173ffffffffffffffffffffffffffffffffffffffff16610e3661121b565b73ffffffffffffffffffffffffffffffffffffffff1614610e8c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e8390611ff1565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610efa576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ef19061245b565b60405180910390fd5b3073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610f68576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f5f906124c3565b60405180910390fd5b5f8173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610fa29190611d0a565b602060405180830381865afa158015610fbd573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610fe191906124e1565b90505f8111611025576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161101c90612556565b60405180910390fd5b5f5f8373ffffffffffffffffffffffffffffffffffffffff1663a9059cbb60e01b7f000000000000000000000000a571fa2c89fc24957d685e29b192ea43955aa9f185604051602401611079929190612574565b604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040516110e391906125d5565b5f604051808303815f865af19150503d805f811461111c576040519150601f19603f3d011682016040523d82523d5f602084013e611121565b606091505b509150915081801561114e57505f8151148061114d57508080602001905181019061114c9190612615565b5b5b61118d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111849061268a565b60405180910390fd5b50505050565b5f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b60045481565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561128a57505f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b6112c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112c090612718565b60405180910390fd5b8060025f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516113a39190611c92565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561141857505f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b611457576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161144e906127a6565b60405180910390fd5b5f8111611499576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161149090612834565b60405180910390fd5b5f60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614801561152257503073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614155b9050801561166b575f60015f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050600660159054906101000a900460ff161580156115945750600660169054906101000a900460ff165b80156115a1575060035481115b15611669576008544311156115b8575f6007819055505b6003600754106115fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115f4906128c2565b60405180910390fd5b5f81841061160b578161160d565b835b905060045481111561161f5760045490505b611649817f000000000000000000000000a571fa2c89fc24957d685e29b192ea43955aa9f161177c565b60075f81548092919061165b906128e0565b919050555043600881905550505b505b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546116b79190612146565b925050819055508160015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461170a9190612927565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161176e9190611c92565b60405180910390a350505050565b6001600660156101000a81548160ff0219169083151502179055505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611805576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117fc906129ca565b60405180910390fd5b5f4790505f600267ffffffffffffffff811115611825576118246129e8565b5b6040519080825280602002602001820160405280156118535781602001602082028036833780820191505090505b50905030815f8151811061186a57611869612a15565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff168152505060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561190e573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611932919061225d565b8160018151811061194657611945612a15565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff168152505060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663791ac947855f8430426040518663ffffffff1660e01b81526004016119e2959493929190612af9565b5f604051808303815f87803b1580156119f9575f5ffd5b505af1158015611a0b573d5f5f3e3d5ffd5b505050505f47905082811115611ad0575f8473ffffffffffffffffffffffffffffffffffffffff168483611a3f9190612146565b604051611a4b9061203c565b5f6040518083038185875af1925050503d805f8114611a85576040519150601f19603f3d011682016040523d82523d5f602084013e611a8a565b606091505b5050905080611ace576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ac590612b9b565b60405180910390fd5b505b5050505f600660156101000a81548160ff0219169083151502179055505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f611b3382611af1565b611b3d8185611afb565b9350611b4d818560208601611b0b565b611b5681611b19565b840191505092915050565b5f6020820190508181035f830152611b798184611b29565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f611bae82611b85565b9050919050565b611bbe81611ba4565b8114611bc8575f5ffd5b50565b5f81359050611bd981611bb5565b92915050565b5f819050919050565b611bf181611bdf565b8114611bfb575f5ffd5b50565b5f81359050611c0c81611be8565b92915050565b5f5f60408385031215611c2857611c27611b81565b5b5f611c3585828601611bcb565b9250506020611c4685828601611bfe565b9150509250929050565b5f8115159050919050565b611c6481611c50565b82525050565b5f602082019050611c7d5f830184611c5b565b92915050565b611c8c81611bdf565b82525050565b5f602082019050611ca55f830184611c83565b92915050565b5f5f5f60608486031215611cc257611cc1611b81565b5b5f611ccf86828701611bcb565b9350506020611ce086828701611bcb565b9250506040611cf186828701611bfe565b9150509250925092565b611d0481611ba4565b82525050565b5f602082019050611d1d5f830184611cfb565b92915050565b5f60ff82169050919050565b611d3881611d23565b82525050565b5f602082019050611d515f830184611d2f565b92915050565b5f60208284031215611d6c57611d6b611b81565b5b5f611d7984828501611bcb565b91505092915050565b5f5f60408385031215611d9857611d97611b81565b5b5f611da585828601611bcb565b9250506020611db685828601611bcb565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f5f8291508390505b6001851115611e4257808604811115611e1e57611e1d611dc0565b5b6001851615611e2d5780820291505b8081029050611e3b85611ded565b9450611e02565b94509492505050565b5f82611e5a5760019050611f15565b81611e67575f9050611f15565b8160018114611e7d5760028114611e8757611eb6565b6001915050611f15565b60ff841115611e9957611e98611dc0565b5b8360020a915084821115611eb057611eaf611dc0565b5b50611f15565b5060208310610133831016604e8410600b8410161715611eeb5782820a905083811115611ee657611ee5611dc0565b5b611f15565b611ef88484846001611df9565b92509050818404811115611f0f57611f0e611dc0565b5b81810290505b9392505050565b5f611f2682611bdf565b9150611f3183611d23565b9250611f5e7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484611e4b565b905092915050565b5f611f7082611bdf565b9150611f7b83611bdf565b9250828202611f8981611bdf565b91508282048414831517611fa057611f9f611dc0565b5b5092915050565b7f43616c6c6572206973206e6f74206578656375746f72000000000000000000005f82015250565b5f611fdb601683611afb565b9150611fe682611fa7565b602082019050919050565b5f6020820190508181035f83015261200881611fcf565b9050919050565b5f81905092915050565b50565b5f6120275f8361200f565b915061203282612019565b5f82019050919050565b5f6120468261201c565b9150819050919050565b7f4554482073656e64206661696c656400000000000000000000000000000000005f82015250565b5f612084600f83611afb565b915061208f82612050565b602082019050919050565b5f6020820190508181035f8301526120b181612078565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320615f8201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b5f612112602883611afb565b915061211d826120b8565b604082019050919050565b5f6020820190508181035f83015261213f81612106565b9050919050565b5f61215082611bdf565b915061215b83611bdf565b925082820390508181111561217357612172611dc0565b5b92915050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f6121ad602083611afb565b91506121b882612179565b602082019050919050565b5f6020820190508181035f8301526121da816121a1565b9050919050565b7f54726164696e6720616c7265616479206f70656e0000000000000000000000005f82015250565b5f612215601483611afb565b9150612220826121e1565b602082019050919050565b5f6020820190508181035f83015261224281612209565b9050919050565b5f8151905061225781611bb5565b92915050565b5f6020828403121561227257612271611b81565b5b5f61227f84828501612249565b91505092915050565b5f60408201905061229b5f830185611cfb565b6122a86020830184611cfb565b9392505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6122e682611bdf565b91506122f183611bdf565b925082612301576123006122af565b5b828204905092915050565b5f819050919050565b5f819050919050565b5f61233861233361232e8461230c565b612315565b611bdf565b9050919050565b6123488161231e565b82525050565b5f60c0820190506123615f830189611cfb565b61236e6020830188611c83565b61237b604083018761233f565b612388606083018661233f565b6123956080830185611cfb565b6123a260a0830184611c83565b979650505050505050565b5f815190506123bb81611be8565b92915050565b5f5f5f606084860312156123d8576123d7611b81565b5b5f6123e5868287016123ad565b93505060206123f6868287016123ad565b9250506040612407868287016123ad565b9150509250925092565b7f496e76616c696420746f6b656e206164647265737300000000000000000000005f82015250565b5f612445601583611afb565b915061245082612411565b602082019050919050565b5f6020820190508181035f83015261247281612439565b9050919050565b7f43616e6e6f7420726573637565206f776e20746f6b656e0000000000000000005f82015250565b5f6124ad601783611afb565b91506124b882612479565b602082019050919050565b5f6020820190508181035f8301526124da816124a1565b9050919050565b5f602082840312156124f6576124f5611b81565b5b5f612503848285016123ad565b91505092915050565b7f4e6f20746f6b656e2062616c616e6365000000000000000000000000000000005f82015250565b5f612540601083611afb565b915061254b8261250c565b602082019050919050565b5f6020820190508181035f83015261256d81612534565b9050919050565b5f6040820190506125875f830185611cfb565b6125946020830184611c83565b9392505050565b5f81519050919050565b5f6125af8261259b565b6125b9818561200f565b93506125c9818560208601611b0b565b80840191505092915050565b5f6125e082846125a5565b915081905092915050565b6125f481611c50565b81146125fe575f5ffd5b50565b5f8151905061260f816125eb565b92915050565b5f6020828403121561262a57612629611b81565b5b5f61263784828501612601565b91505092915050565b7f4552433230207472616e73666572206661696c656400000000000000000000005f82015250565b5f612674601583611afb565b915061267f82612640565b602082019050919050565b5f6020820190508181035f8301526126a181612668565b9050919050565b7f45524332303a20617070726f76652066726f6d206f7220746f20746865207a655f8201527f726f206164647265737300000000000000000000000000000000000000000000602082015250565b5f612702602a83611afb565b915061270d826126a8565b604082019050919050565b5f6020820190508181035f83015261272f816126f6565b9050919050565b7f45524332303a207472616e736665722066726f6d206f7220746f20746865207a5f8201527f65726f2061646472657373000000000000000000000000000000000000000000602082015250565b5f612790602b83611afb565b915061279b82612736565b604082019050919050565b5f6020820190508181035f8301526127bd81612784565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206d75737420626520675f8201527f726561746572207468616e207a65726f00000000000000000000000000000000602082015250565b5f61281e603083611afb565b9150612829826127c4565b604082019050919050565b5f6020820190508181035f83015261284b81612812565b9050919050565b7f53656c6c206c696d69742070657220626c6f636b20657863656564656420286d5f8201527f6178203329000000000000000000000000000000000000000000000000000000602082015250565b5f6128ac602583611afb565b91506128b782612852565b604082019050919050565b5f6020820190508181035f8301526128d9816128a0565b9050919050565b5f6128ea82611bdf565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff820361291c5761291b611dc0565b5b600182019050919050565b5f61293182611bdf565b915061293c83611bdf565b925082820190508082111561295457612953611dc0565b5b92915050565b7f45544820726563697069656e742063616e6e6f7420626520746865207a65726f5f8201527f2061646472657373000000000000000000000000000000000000000000000000602082015250565b5f6129b4602883611afb565b91506129bf8261295a565b604082019050919050565b5f6020820190508181035f8301526129e1816129a8565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b612a7481611ba4565b82525050565b5f612a858383612a6b565b60208301905092915050565b5f602082019050919050565b5f612aa782612a42565b612ab18185612a4c565b9350612abc83612a5c565b805f5b83811015612aec578151612ad38882612a7a565b9750612ade83612a91565b925050600181019050612abf565b5085935050505092915050565b5f60a082019050612b0c5f830188611c83565b612b19602083018761233f565b8181036040830152612b2b8186612a9d565b9050612b3a6060830185611cfb565b612b476080830184611c83565b9695505050505050565b7f455448207472616e73666572206661696c6564000000000000000000000000005f82015250565b5f612b85601383611afb565b9150612b9082612b51565b602082019050919050565b5f6020820190508181035f830152612bb281612b79565b905091905056fea26469706673582212207d716df3a04204d436063c40cf96de032fbf6e9051f40dc24a33454cd20d437964736f6c634300081e0033

2635:6869:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4259:69;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5158:161;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4488:81;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8582:290;;;;;;;;;;;;;:::i;:::-;;5327:410;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4900:75;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4413:69;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4575:105;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2480:148;;;;;;;;;;;;;:::i;:::-;;2266:79;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4334:73;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4983:167;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3125:49;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4821:73;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8002:572;;;;;;;;;;;;;:::i;:::-;;8880:584;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4686:129;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3181:52;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4259:69;4296:13;4320:5;;;;;;;;;;;;;;;;;4313:12;;4259:69;:::o;5158:161::-;5233:4;5250:39;5259:12;:10;:12::i;:::-;5273:7;5282:6;5250:8;:39::i;:::-;5307:4;5300:11;;5158:161;;;;:::o;4488:81::-;4541:7;2949:1;3006:2;:13;;;;:::i;:::-;2992:11;:27;;;;:::i;:::-;4552:14;;4488:81;:::o;8582:290::-;3741:9;3725:25;;:12;:10;:12::i;:::-;:25;;;3717:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;8636:26:::1;8665:21;8636:50;;8722:1;8701:18;:22;8697:168;;;8741:7;8762:9;8754:23;;8785:18;8754:54;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8740:68;;;8831:2;8823:30;;;;;;;;;;;;:::i;:::-;;;;;;;;;8725:140;8697:168;8625:247;8582:290::o:0;5327:410::-;5425:4;5442:36;5452:6;5460:9;5471:6;5442:9;:36::i;:::-;5489:24;5516:11;:19;5528:6;5516:19;;;;;;;;;;;;;;;:33;5536:12;:10;:12::i;:::-;5516:33;;;;;;;;;;;;;;;;5489:60;;5588:6;5568:16;:26;;5560:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;5650:57;5659:6;5667:12;:10;:12::i;:::-;5700:6;5681:16;:25;;;;:::i;:::-;5650:8;:57::i;:::-;5725:4;5718:11;;;5327:410;;;;;:::o;4900:75::-;4944:7;4962:10;4955:17;;4900:75;:::o;4413:69::-;4454:5;2949:1;4463:16;;4413:69;:::o;4575:105::-;4641:7;4659:9;:18;4669:7;4659:18;;;;;;;;;;;;;;;;4652:25;;4575:105;;;:::o;2480:148::-;2403:12;:10;:12::i;:::-;2393:22;;:6;;;;;;;;;;;:22;;;2385:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;2587:1:::1;2550:40;;2571:6;;;;;;;;;;;2550:40;;;;;;;;;;;;2618:1;2601:6;;:19;;;;;;;;;;;;;;;;;;2480:148::o:0;2266:79::-;2304:7;2331:6;;;;;;;;;;;2324:13;;2266:79;:::o;4334:73::-;4373:13;4397:7;;;;;;;;;;;;;;;;;4390:14;;4334:73;:::o;4983:167::-;5061:4;5078:42;5088:12;:10;:12::i;:::-;5102:9;5113:6;5078:9;:42::i;:::-;5138:4;5131:11;;4983:167;;;;:::o;3125:49::-;;;;:::o;4821:73::-;4864:7;4882:9;4875:16;;4821:73;:::o;8002:572::-;2403:12;:10;:12::i;:::-;2393:22;;:6;;;;;;;;;;;:22;;;2385:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;8066:11:::1;;;;;;;;;;;8065:12;8057:45;;;;;;;;;;;;:::i;:::-;;;;;;;;;3337:42;8113:15;;:52;;;;;;;;;;;;;;;;;;8210:15;;;;;;;;;;;:23;;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8192:55;;;8256:4;8263:15;;;;;;;;;;;:20;;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8192:94;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8176:13;;:110;;;;;;;;;;;;;;;;;;8297:68;8314:4;8329:15;;;;;;;;;;;8347:17;8297:8;:68::i;:::-;8376:15;;;;;;;;;;;:31;;;8415:21;8446:4;8471;8464:3;2949:1;3006:2;:13;;;;:::i;:::-;2992:11;:27;;;;:::i;:::-;8454:13;;;;:::i;:::-;8453:22;;;;:::i;:::-;8477:1;8480;8483:7;:5;:7::i;:::-;8492:15;8376:132;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;8533:4;8519:11;;:18;;;;;;;;;;;;;;;;;;8562:4;8548:11;;:18;;;;;;;;;;;;;;;;;;8002:572::o:0;8880:584::-;3741:9;3725:25;;:12;:10;:12::i;:::-;:25;;;3717:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;8974:1:::1;8957:19;;:5;:19;;::::0;8949:53:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;9038:4;9021:22;;:5;:22;;::::0;9013:58:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;9084:19;9113:5;9106:23;;;9138:4;9106:38;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9084:60;;9177:1;9163:11;:15;9155:44;;;;;;;;;;;;:::i;:::-;;;;;;;;;9221:7;9230:17;9251:5;:10;;9299:24;;;9325:9;9336:11;9276:72;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9251:108;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9220:139;;;;9378:2;:52;;;;;9400:1;9385:4;:11;:16;:44;;;;9416:4;9405:24;;;;;;;;;;;;:::i;:::-;9385:44;9378:52;9370:86;;;;;;;;;;;;:::i;:::-;;;;;;;;;8938:526;;;8880:584:::0;:::o;4686:129::-;4767:7;4785:11;:18;4797:5;4785:18;;;;;;;;;;;;;;;:27;4804:7;4785:27;;;;;;;;;;;;;;;;4778:34;;4686:129;;;;:::o;3181:52::-;;;;:::o;405:98::-;458:7;485:10;478:17;;405:98;:::o;5745:287::-;5855:1;5838:19;;:5;:19;;;;:44;;;;;5880:1;5861:21;;:7;:21;;;;5838:44;5830:99;;;;;;;;;;;;:::i;:::-;;;;;;;;;5970:6;5940:11;:18;5952:5;5940:18;;;;;;;;;;;;;;;:27;5959:7;5940:27;;;;;;;;;;;;;;;:36;;;;6008:7;5992:32;;6001:5;5992:32;;;6017:6;5992:32;;;;;;:::i;:::-;;;;;;;;5745:287;;;:::o;6040:1135::-;6144:1;6128:18;;:4;:18;;;;:38;;;;;6164:1;6150:16;;:2;:16;;;;6128:38;6120:94;;;;;;;;;;;;:::i;:::-;;;;;;;;;6242:1;6233:6;:10;6225:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;6307:11;6328:13;;;;;;;;;;;6322:19;;:2;:19;;;:44;;;;;6361:4;6345:21;;:4;:21;;;;6322:44;6307:60;;6384:6;6380:674;;;6407:28;6438:9;:24;6456:4;6438:24;;;;;;;;;;;;;;;;6407:55;;6482:6;;;;;;;;;;;6481:7;:22;;;;;6492:11;;;;;;;;;;;6481:22;:66;;;;;6530:17;;6507:20;:40;6481:66;6477:566;;;6587:13;;6572:12;:28;6568:47;;;6614:1;6602:9;:13;;;;6568:47;6654:1;6642:9;;:13;6634:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;6716:18;6746:20;6737:6;:29;:61;;6778:20;6737:61;;;6769:6;6737:61;6716:82;;6834:17;;6821:10;:30;6817:66;;;6866:17;;6853:30;;6817:66;6902:48;6927:10;6939;6902:24;:48::i;:::-;6969:9;;:11;;;;;;;;;:::i;:::-;;;;;;7015:12;6999:13;:28;;;;6549:494;6477:566;6392:662;6380:674;7085:6;7066:9;:15;7076:4;7066:15;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;7119:6;7102:9;:13;7112:2;7102:13;;;;;;;;;;;;;;;;:23;;;;;;;:::i;:::-;;;;;;;;7156:2;7141:26;;7150:4;7141:26;;;7160:6;7141:26;;;;;;:::i;:::-;;;;;;;;6109:1066;6040:1135;;;:::o;7183:809::-;3621:4;3612:6;;:13;;;;;;;;;;;;;;;;;;7303:1:::1;7289:16;;:2;:16;;::::0;7281:69:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;7361:22;7386:21;7361:46;;7418:21;7456:1;7442:16;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7418:40;;7487:4;7469;7474:1;7469:7;;;;;;;;:::i;:::-;;;;;;;:23;;;;;;;;;::::0;::::1;7513:15;;;;;;;;;;;:20;;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;7503:4;7508:1;7503:7;;;;;;;;:::i;:::-;;;;;;;:32;;;;;;;;;::::0;::::1;7546:15;;;;;;;;;;;:66;;;7627:11;7653:1;7669:4;7696;7716:15;7546:196;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7753:18;7774:21;7753:42;;7823:14;7810:10;:27;7806:179;;;7855:12;7872:2;:7;;7900:14;7887:10;:27;;;;:::i;:::-;7872:47;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7854:65;;;7942:7;7934:39;;;;;;;;;;;;:::i;:::-;;;;;;;;;7839:146;7806:179;7270:722;;;3657:5:::0;3648:6;;:14;;;;;;;;;;;;;;;;;;7183:809;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:139::-;376:6;371:3;366;360:23;417:1;408:6;403:3;399:16;392:27;287:139;;;:::o;432:102::-;473:6;524:2;520:7;515:2;508:5;504:14;500:28;490:38;;432:102;;;:::o;540:377::-;628:3;656:39;689:5;656:39;:::i;:::-;711:71;775:6;770:3;711:71;:::i;:::-;704:78;;791:65;849:6;844:3;837:4;830:5;826:16;791:65;:::i;:::-;881:29;903:6;881:29;:::i;:::-;876:3;872:39;865:46;;632:285;540:377;;;;:::o;923:313::-;1036:4;1074:2;1063:9;1059:18;1051:26;;1123:9;1117:4;1113:20;1109:1;1098:9;1094:17;1087:47;1151:78;1224:4;1215:6;1151:78;:::i;:::-;1143:86;;923:313;;;;:::o;1323:117::-;1432:1;1429;1422:12;1569:126;1606:7;1646:42;1639:5;1635:54;1624:65;;1569:126;;;:::o;1701:96::-;1738:7;1767:24;1785:5;1767:24;:::i;:::-;1756:35;;1701:96;;;:::o;1803:122::-;1876:24;1894:5;1876:24;:::i;:::-;1869:5;1866:35;1856:63;;1915:1;1912;1905:12;1856:63;1803:122;:::o;1931:139::-;1977:5;2015:6;2002:20;1993:29;;2031:33;2058:5;2031:33;:::i;:::-;1931:139;;;;:::o;2076:77::-;2113:7;2142:5;2131:16;;2076:77;;;:::o;2159:122::-;2232:24;2250:5;2232:24;:::i;:::-;2225:5;2222:35;2212:63;;2271:1;2268;2261:12;2212:63;2159:122;:::o;2287:139::-;2333:5;2371:6;2358:20;2349:29;;2387:33;2414:5;2387:33;:::i;:::-;2287:139;;;;:::o;2432:474::-;2500:6;2508;2557:2;2545:9;2536:7;2532:23;2528:32;2525:119;;;2563:79;;:::i;:::-;2525:119;2683:1;2708:53;2753:7;2744:6;2733:9;2729:22;2708:53;:::i;:::-;2698:63;;2654:117;2810:2;2836:53;2881:7;2872:6;2861:9;2857:22;2836:53;:::i;:::-;2826:63;;2781:118;2432:474;;;;;:::o;2912:90::-;2946:7;2989:5;2982:13;2975:21;2964:32;;2912:90;;;:::o;3008:109::-;3089:21;3104:5;3089:21;:::i;:::-;3084:3;3077:34;3008:109;;:::o;3123:210::-;3210:4;3248:2;3237:9;3233:18;3225:26;;3261:65;3323:1;3312:9;3308:17;3299:6;3261:65;:::i;:::-;3123:210;;;;:::o;3339:118::-;3426:24;3444:5;3426:24;:::i;:::-;3421:3;3414:37;3339:118;;:::o;3463:222::-;3556:4;3594:2;3583:9;3579:18;3571:26;;3607:71;3675:1;3664:9;3660:17;3651:6;3607:71;:::i;:::-;3463:222;;;;:::o;3691:619::-;3768:6;3776;3784;3833:2;3821:9;3812:7;3808:23;3804:32;3801:119;;;3839:79;;:::i;:::-;3801:119;3959:1;3984:53;4029:7;4020:6;4009:9;4005:22;3984:53;:::i;:::-;3974:63;;3930:117;4086:2;4112:53;4157:7;4148:6;4137:9;4133:22;4112:53;:::i;:::-;4102:63;;4057:118;4214:2;4240:53;4285:7;4276:6;4265:9;4261:22;4240:53;:::i;:::-;4230:63;;4185:118;3691:619;;;;;:::o;4316:118::-;4403:24;4421:5;4403:24;:::i;:::-;4398:3;4391:37;4316:118;;:::o;4440:222::-;4533:4;4571:2;4560:9;4556:18;4548:26;;4584:71;4652:1;4641:9;4637:17;4628:6;4584:71;:::i;:::-;4440:222;;;;:::o;4668:86::-;4703:7;4743:4;4736:5;4732:16;4721:27;;4668:86;;;:::o;4760:112::-;4843:22;4859:5;4843:22;:::i;:::-;4838:3;4831:35;4760:112;;:::o;4878:214::-;4967:4;5005:2;4994:9;4990:18;4982:26;;5018:67;5082:1;5071:9;5067:17;5058:6;5018:67;:::i;:::-;4878:214;;;;:::o;5098:329::-;5157:6;5206:2;5194:9;5185:7;5181:23;5177:32;5174:119;;;5212:79;;:::i;:::-;5174:119;5332:1;5357:53;5402:7;5393:6;5382:9;5378:22;5357:53;:::i;:::-;5347:63;;5303:117;5098:329;;;;:::o;5433:474::-;5501:6;5509;5558:2;5546:9;5537:7;5533:23;5529:32;5526:119;;;5564:79;;:::i;:::-;5526:119;5684:1;5709:53;5754:7;5745:6;5734:9;5730:22;5709:53;:::i;:::-;5699:63;;5655:117;5811:2;5837:53;5882:7;5873:6;5862:9;5858:22;5837:53;:::i;:::-;5827:63;;5782:118;5433:474;;;;;:::o;5913:180::-;5961:77;5958:1;5951:88;6058:4;6055:1;6048:15;6082:4;6079:1;6072:15;6099:102;6141:8;6188:5;6185:1;6181:13;6160:34;;6099:102;;;:::o;6207:848::-;6268:5;6275:4;6299:6;6290:15;;6323:5;6314:14;;6337:712;6358:1;6348:8;6345:15;6337:712;;;6453:4;6448:3;6444:14;6438:4;6435:24;6432:50;;;6462:18;;:::i;:::-;6432:50;6512:1;6502:8;6498:16;6495:451;;;6927:4;6920:5;6916:16;6907:25;;6495:451;6977:4;6971;6967:15;6959:23;;7007:32;7030:8;7007:32;:::i;:::-;6995:44;;6337:712;;;6207:848;;;;;;;:::o;7061:1073::-;7115:5;7306:8;7296:40;;7327:1;7318:10;;7329:5;;7296:40;7355:4;7345:36;;7372:1;7363:10;;7374:5;;7345:36;7441:4;7489:1;7484:27;;;;7525:1;7520:191;;;;7434:277;;7484:27;7502:1;7493:10;;7504:5;;;7520:191;7565:3;7555:8;7552:17;7549:43;;;7572:18;;:::i;:::-;7549:43;7621:8;7618:1;7614:16;7605:25;;7656:3;7649:5;7646:14;7643:40;;;7663:18;;:::i;:::-;7643:40;7696:5;;;7434:277;;7820:2;7810:8;7807:16;7801:3;7795:4;7792:13;7788:36;7770:2;7760:8;7757:16;7752:2;7746:4;7743:12;7739:35;7723:111;7720:246;;;7876:8;7870:4;7866:19;7857:28;;7911:3;7904:5;7901:14;7898:40;;;7918:18;;:::i;:::-;7898:40;7951:5;;7720:246;7991:42;8029:3;8019:8;8013:4;8010:1;7991:42;:::i;:::-;7976:57;;;;8065:4;8060:3;8056:14;8049:5;8046:25;8043:51;;;8074:18;;:::i;:::-;8043:51;8123:4;8116:5;8112:16;8103:25;;7061:1073;;;;;;:::o;8140:281::-;8198:5;8222:23;8240:4;8222:23;:::i;:::-;8214:31;;8266:25;8282:8;8266:25;:::i;:::-;8254:37;;8310:104;8347:66;8337:8;8331:4;8310:104;:::i;:::-;8301:113;;8140:281;;;;:::o;8427:410::-;8467:7;8490:20;8508:1;8490:20;:::i;:::-;8485:25;;8524:20;8542:1;8524:20;:::i;:::-;8519:25;;8579:1;8576;8572:9;8601:30;8619:11;8601:30;:::i;:::-;8590:41;;8780:1;8771:7;8767:15;8764:1;8761:22;8741:1;8734:9;8714:83;8691:139;;8810:18;;:::i;:::-;8691:139;8475:362;8427:410;;;;:::o;8843:172::-;8983:24;8979:1;8971:6;8967:14;8960:48;8843:172;:::o;9021:366::-;9163:3;9184:67;9248:2;9243:3;9184:67;:::i;:::-;9177:74;;9260:93;9349:3;9260:93;:::i;:::-;9378:2;9373:3;9369:12;9362:19;;9021:366;;;:::o;9393:419::-;9559:4;9597:2;9586:9;9582:18;9574:26;;9646:9;9640:4;9636:20;9632:1;9621:9;9617:17;9610:47;9674:131;9800:4;9674:131;:::i;:::-;9666:139;;9393:419;;;:::o;9818:147::-;9919:11;9956:3;9941:18;;9818:147;;;;:::o;9971:114::-;;:::o;10091:398::-;10250:3;10271:83;10352:1;10347:3;10271:83;:::i;:::-;10264:90;;10363:93;10452:3;10363:93;:::i;:::-;10481:1;10476:3;10472:11;10465:18;;10091:398;;;:::o;10495:379::-;10679:3;10701:147;10844:3;10701:147;:::i;:::-;10694:154;;10865:3;10858:10;;10495:379;;;:::o;10880:165::-;11020:17;11016:1;11008:6;11004:14;10997:41;10880:165;:::o;11051:366::-;11193:3;11214:67;11278:2;11273:3;11214:67;:::i;:::-;11207:74;;11290:93;11379:3;11290:93;:::i;:::-;11408:2;11403:3;11399:12;11392:19;;11051:366;;;:::o;11423:419::-;11589:4;11627:2;11616:9;11612:18;11604:26;;11676:9;11670:4;11666:20;11662:1;11651:9;11647:17;11640:47;11704:131;11830:4;11704:131;:::i;:::-;11696:139;;11423:419;;;:::o;11848:227::-;11988:34;11984:1;11976:6;11972:14;11965:58;12057:10;12052:2;12044:6;12040:15;12033:35;11848:227;:::o;12081:366::-;12223:3;12244:67;12308:2;12303:3;12244:67;:::i;:::-;12237:74;;12320:93;12409:3;12320:93;:::i;:::-;12438:2;12433:3;12429:12;12422:19;;12081:366;;;:::o;12453:419::-;12619:4;12657:2;12646:9;12642:18;12634:26;;12706:9;12700:4;12696:20;12692:1;12681:9;12677:17;12670:47;12734:131;12860:4;12734:131;:::i;:::-;12726:139;;12453:419;;;:::o;12878:194::-;12918:4;12938:20;12956:1;12938:20;:::i;:::-;12933:25;;12972:20;12990:1;12972:20;:::i;:::-;12967:25;;13016:1;13013;13009:9;13001:17;;13040:1;13034:4;13031:11;13028:37;;;13045:18;;:::i;:::-;13028:37;12878:194;;;;:::o;13078:182::-;13218:34;13214:1;13206:6;13202:14;13195:58;13078:182;:::o;13266:366::-;13408:3;13429:67;13493:2;13488:3;13429:67;:::i;:::-;13422:74;;13505:93;13594:3;13505:93;:::i;:::-;13623:2;13618:3;13614:12;13607:19;;13266:366;;;:::o;13638:419::-;13804:4;13842:2;13831:9;13827:18;13819:26;;13891:9;13885:4;13881:20;13877:1;13866:9;13862:17;13855:47;13919:131;14045:4;13919:131;:::i;:::-;13911:139;;13638:419;;;:::o;14063:170::-;14203:22;14199:1;14191:6;14187:14;14180:46;14063:170;:::o;14239:366::-;14381:3;14402:67;14466:2;14461:3;14402:67;:::i;:::-;14395:74;;14478:93;14567:3;14478:93;:::i;:::-;14596:2;14591:3;14587:12;14580:19;;14239:366;;;:::o;14611:419::-;14777:4;14815:2;14804:9;14800:18;14792:26;;14864:9;14858:4;14854:20;14850:1;14839:9;14835:17;14828:47;14892:131;15018:4;14892:131;:::i;:::-;14884:139;;14611:419;;;:::o;15036:143::-;15093:5;15124:6;15118:13;15109:22;;15140:33;15167:5;15140:33;:::i;:::-;15036:143;;;;:::o;15185:351::-;15255:6;15304:2;15292:9;15283:7;15279:23;15275:32;15272:119;;;15310:79;;:::i;:::-;15272:119;15430:1;15455:64;15511:7;15502:6;15491:9;15487:22;15455:64;:::i;:::-;15445:74;;15401:128;15185:351;;;;:::o;15542:332::-;15663:4;15701:2;15690:9;15686:18;15678:26;;15714:71;15782:1;15771:9;15767:17;15758:6;15714:71;:::i;:::-;15795:72;15863:2;15852:9;15848:18;15839:6;15795:72;:::i;:::-;15542:332;;;;;:::o;15880:180::-;15928:77;15925:1;15918:88;16025:4;16022:1;16015:15;16049:4;16046:1;16039:15;16066:185;16106:1;16123:20;16141:1;16123:20;:::i;:::-;16118:25;;16157:20;16175:1;16157:20;:::i;:::-;16152:25;;16196:1;16186:35;;16201:18;;:::i;:::-;16186:35;16243:1;16240;16236:9;16231:14;;16066:185;;;;:::o;16257:85::-;16302:7;16331:5;16320:16;;16257:85;;;:::o;16348:60::-;16376:3;16397:5;16390:12;;16348:60;;;:::o;16414:158::-;16472:9;16505:61;16523:42;16532:32;16558:5;16532:32;:::i;:::-;16523:42;:::i;:::-;16505:61;:::i;:::-;16492:74;;16414:158;;;:::o;16578:147::-;16673:45;16712:5;16673:45;:::i;:::-;16668:3;16661:58;16578:147;;:::o;16731:807::-;16980:4;17018:3;17007:9;17003:19;16995:27;;17032:71;17100:1;17089:9;17085:17;17076:6;17032:71;:::i;:::-;17113:72;17181:2;17170:9;17166:18;17157:6;17113:72;:::i;:::-;17195:80;17271:2;17260:9;17256:18;17247:6;17195:80;:::i;:::-;17285;17361:2;17350:9;17346:18;17337:6;17285:80;:::i;:::-;17375:73;17443:3;17432:9;17428:19;17419:6;17375:73;:::i;:::-;17458;17526:3;17515:9;17511:19;17502:6;17458:73;:::i;:::-;16731:807;;;;;;;;;:::o;17544:143::-;17601:5;17632:6;17626:13;17617:22;;17648:33;17675:5;17648:33;:::i;:::-;17544:143;;;;:::o;17693:663::-;17781:6;17789;17797;17846:2;17834:9;17825:7;17821:23;17817:32;17814:119;;;17852:79;;:::i;:::-;17814:119;17972:1;17997:64;18053:7;18044:6;18033:9;18029:22;17997:64;:::i;:::-;17987:74;;17943:128;18110:2;18136:64;18192:7;18183:6;18172:9;18168:22;18136:64;:::i;:::-;18126:74;;18081:129;18249:2;18275:64;18331:7;18322:6;18311:9;18307:22;18275:64;:::i;:::-;18265:74;;18220:129;17693:663;;;;;:::o;18362:171::-;18502:23;18498:1;18490:6;18486:14;18479:47;18362:171;:::o;18539:366::-;18681:3;18702:67;18766:2;18761:3;18702:67;:::i;:::-;18695:74;;18778:93;18867:3;18778:93;:::i;:::-;18896:2;18891:3;18887:12;18880:19;;18539:366;;;:::o;18911:419::-;19077:4;19115:2;19104:9;19100:18;19092:26;;19164:9;19158:4;19154:20;19150:1;19139:9;19135:17;19128:47;19192:131;19318:4;19192:131;:::i;:::-;19184:139;;18911:419;;;:::o;19336:173::-;19476:25;19472:1;19464:6;19460:14;19453:49;19336:173;:::o;19515:366::-;19657:3;19678:67;19742:2;19737:3;19678:67;:::i;:::-;19671:74;;19754:93;19843:3;19754:93;:::i;:::-;19872:2;19867:3;19863:12;19856:19;;19515:366;;;:::o;19887:419::-;20053:4;20091:2;20080:9;20076:18;20068:26;;20140:9;20134:4;20130:20;20126:1;20115:9;20111:17;20104:47;20168:131;20294:4;20168:131;:::i;:::-;20160:139;;19887:419;;;:::o;20312:351::-;20382:6;20431:2;20419:9;20410:7;20406:23;20402:32;20399:119;;;20437:79;;:::i;:::-;20399:119;20557:1;20582:64;20638:7;20629:6;20618:9;20614:22;20582:64;:::i;:::-;20572:74;;20528:128;20312:351;;;;:::o;20669:166::-;20809:18;20805:1;20797:6;20793:14;20786:42;20669:166;:::o;20841:366::-;20983:3;21004:67;21068:2;21063:3;21004:67;:::i;:::-;20997:74;;21080:93;21169:3;21080:93;:::i;:::-;21198:2;21193:3;21189:12;21182:19;;20841:366;;;:::o;21213:419::-;21379:4;21417:2;21406:9;21402:18;21394:26;;21466:9;21460:4;21456:20;21452:1;21441:9;21437:17;21430:47;21494:131;21620:4;21494:131;:::i;:::-;21486:139;;21213:419;;;:::o;21638:332::-;21759:4;21797:2;21786:9;21782:18;21774:26;;21810:71;21878:1;21867:9;21863:17;21854:6;21810:71;:::i;:::-;21891:72;21959:2;21948:9;21944:18;21935:6;21891:72;:::i;:::-;21638:332;;;;;:::o;21976:98::-;22027:6;22061:5;22055:12;22045:22;;21976:98;;;:::o;22080:386::-;22184:3;22212:38;22244:5;22212:38;:::i;:::-;22266:88;22347:6;22342:3;22266:88;:::i;:::-;22259:95;;22363:65;22421:6;22416:3;22409:4;22402:5;22398:16;22363:65;:::i;:::-;22453:6;22448:3;22444:16;22437:23;;22188:278;22080:386;;;;:::o;22472:271::-;22602:3;22624:93;22713:3;22704:6;22624:93;:::i;:::-;22617:100;;22734:3;22727:10;;22472:271;;;;:::o;22749:116::-;22819:21;22834:5;22819:21;:::i;:::-;22812:5;22809:32;22799:60;;22855:1;22852;22845:12;22799:60;22749:116;:::o;22871:137::-;22925:5;22956:6;22950:13;22941:22;;22972:30;22996:5;22972:30;:::i;:::-;22871:137;;;;:::o;23014:345::-;23081:6;23130:2;23118:9;23109:7;23105:23;23101:32;23098:119;;;23136:79;;:::i;:::-;23098:119;23256:1;23281:61;23334:7;23325:6;23314:9;23310:22;23281:61;:::i;:::-;23271:71;;23227:125;23014:345;;;;:::o;23365:171::-;23505:23;23501:1;23493:6;23489:14;23482:47;23365:171;:::o;23542:366::-;23684:3;23705:67;23769:2;23764:3;23705:67;:::i;:::-;23698:74;;23781:93;23870:3;23781:93;:::i;:::-;23899:2;23894:3;23890:12;23883:19;;23542:366;;;:::o;23914:419::-;24080:4;24118:2;24107:9;24103:18;24095:26;;24167:9;24161:4;24157:20;24153:1;24142:9;24138:17;24131:47;24195:131;24321:4;24195:131;:::i;:::-;24187:139;;23914:419;;;:::o;24339:229::-;24479:34;24475:1;24467:6;24463:14;24456:58;24548:12;24543:2;24535:6;24531:15;24524:37;24339:229;:::o;24574:366::-;24716:3;24737:67;24801:2;24796:3;24737:67;:::i;:::-;24730:74;;24813:93;24902:3;24813:93;:::i;:::-;24931:2;24926:3;24922:12;24915:19;;24574:366;;;:::o;24946:419::-;25112:4;25150:2;25139:9;25135:18;25127:26;;25199:9;25193:4;25189:20;25185:1;25174:9;25170:17;25163:47;25227:131;25353:4;25227:131;:::i;:::-;25219:139;;24946:419;;;:::o;25371:230::-;25511:34;25507:1;25499:6;25495:14;25488:58;25580:13;25575:2;25567:6;25563:15;25556:38;25371:230;:::o;25607:366::-;25749:3;25770:67;25834:2;25829:3;25770:67;:::i;:::-;25763:74;;25846:93;25935:3;25846:93;:::i;:::-;25964:2;25959:3;25955:12;25948:19;;25607:366;;;:::o;25979:419::-;26145:4;26183:2;26172:9;26168:18;26160:26;;26232:9;26226:4;26222:20;26218:1;26207:9;26203:17;26196:47;26260:131;26386:4;26260:131;:::i;:::-;26252:139;;25979:419;;;:::o;26404:235::-;26544:34;26540:1;26532:6;26528:14;26521:58;26613:18;26608:2;26600:6;26596:15;26589:43;26404:235;:::o;26645:366::-;26787:3;26808:67;26872:2;26867:3;26808:67;:::i;:::-;26801:74;;26884:93;26973:3;26884:93;:::i;:::-;27002:2;26997:3;26993:12;26986:19;;26645:366;;;:::o;27017:419::-;27183:4;27221:2;27210:9;27206:18;27198:26;;27270:9;27264:4;27260:20;27256:1;27245:9;27241:17;27234:47;27298:131;27424:4;27298:131;:::i;:::-;27290:139;;27017:419;;;:::o;27442:224::-;27582:34;27578:1;27570:6;27566:14;27559:58;27651:7;27646:2;27638:6;27634:15;27627:32;27442:224;:::o;27672:366::-;27814:3;27835:67;27899:2;27894:3;27835:67;:::i;:::-;27828:74;;27911:93;28000:3;27911:93;:::i;:::-;28029:2;28024:3;28020:12;28013:19;;27672:366;;;:::o;28044:419::-;28210:4;28248:2;28237:9;28233:18;28225:26;;28297:9;28291:4;28287:20;28283:1;28272:9;28268:17;28261:47;28325:131;28451:4;28325:131;:::i;:::-;28317:139;;28044:419;;;:::o;28469:233::-;28508:3;28531:24;28549:5;28531:24;:::i;:::-;28522:33;;28577:66;28570:5;28567:77;28564:103;;28647:18;;:::i;:::-;28564:103;28694:1;28687:5;28683:13;28676:20;;28469:233;;;:::o;28708:191::-;28748:3;28767:20;28785:1;28767:20;:::i;:::-;28762:25;;28801:20;28819:1;28801:20;:::i;:::-;28796:25;;28844:1;28841;28837:9;28830:16;;28865:3;28862:1;28859:10;28856:36;;;28872:18;;:::i;:::-;28856:36;28708:191;;;;:::o;28905:227::-;29045:34;29041:1;29033:6;29029:14;29022:58;29114:10;29109:2;29101:6;29097:15;29090:35;28905:227;:::o;29138:366::-;29280:3;29301:67;29365:2;29360:3;29301:67;:::i;:::-;29294:74;;29377:93;29466:3;29377:93;:::i;:::-;29495:2;29490:3;29486:12;29479:19;;29138:366;;;:::o;29510:419::-;29676:4;29714:2;29703:9;29699:18;29691:26;;29763:9;29757:4;29753:20;29749:1;29738:9;29734:17;29727:47;29791:131;29917:4;29791:131;:::i;:::-;29783:139;;29510:419;;;:::o;29935:180::-;29983:77;29980:1;29973:88;30080:4;30077:1;30070:15;30104:4;30101:1;30094:15;30121:180;30169:77;30166:1;30159:88;30266:4;30263:1;30256:15;30290:4;30287:1;30280:15;30307:114;30374:6;30408:5;30402:12;30392:22;;30307:114;;;:::o;30427:184::-;30526:11;30560:6;30555:3;30548:19;30600:4;30595:3;30591:14;30576:29;;30427:184;;;;:::o;30617:132::-;30684:4;30707:3;30699:11;;30737:4;30732:3;30728:14;30720:22;;30617:132;;;:::o;30755:108::-;30832:24;30850:5;30832:24;:::i;:::-;30827:3;30820:37;30755:108;;:::o;30869:179::-;30938:10;30959:46;31001:3;30993:6;30959:46;:::i;:::-;31037:4;31032:3;31028:14;31014:28;;30869:179;;;;:::o;31054:113::-;31124:4;31156;31151:3;31147:14;31139:22;;31054:113;;;:::o;31203:732::-;31322:3;31351:54;31399:5;31351:54;:::i;:::-;31421:86;31500:6;31495:3;31421:86;:::i;:::-;31414:93;;31531:56;31581:5;31531:56;:::i;:::-;31610:7;31641:1;31626:284;31651:6;31648:1;31645:13;31626:284;;;31727:6;31721:13;31754:63;31813:3;31798:13;31754:63;:::i;:::-;31747:70;;31840:60;31893:6;31840:60;:::i;:::-;31830:70;;31686:224;31673:1;31670;31666:9;31661:14;;31626:284;;;31630:14;31926:3;31919:10;;31327:608;;;31203:732;;;;:::o;31941:831::-;32204:4;32242:3;32231:9;32227:19;32219:27;;32256:71;32324:1;32313:9;32309:17;32300:6;32256:71;:::i;:::-;32337:80;32413:2;32402:9;32398:18;32389:6;32337:80;:::i;:::-;32464:9;32458:4;32454:20;32449:2;32438:9;32434:18;32427:48;32492:108;32595:4;32586:6;32492:108;:::i;:::-;32484:116;;32610:72;32678:2;32667:9;32663:18;32654:6;32610:72;:::i;:::-;32692:73;32760:3;32749:9;32745:19;32736:6;32692:73;:::i;:::-;31941:831;;;;;;;;:::o;32778:169::-;32918:21;32914:1;32906:6;32902:14;32895:45;32778:169;:::o;32953:366::-;33095:3;33116:67;33180:2;33175:3;33116:67;:::i;:::-;33109:74;;33192:93;33281:3;33192:93;:::i;:::-;33310:2;33305:3;33301:12;33294:19;;32953:366;;;:::o;33325:419::-;33491:4;33529:2;33518:9;33514:18;33506:26;;33578:9;33572:4;33568:20;33564:1;33553:9;33549:17;33542:47;33606:131;33732:4;33606:131;:::i;:::-;33598:139;;33325:419;;;:::o

ipfs://7d716df3a04204d436063c40cf96de032fbf6e9051f40dc24a33454cd20d4379