Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient,    - function allowance(address owner,    - function approve(address spender,    - function transferFrom(    - function _msgSender()    - function _msgData()    - function owner()    - function renounceOwnership()    - function transferOwnership(address ne ...    - function _setOwner(address newOwner) library SafeMath    - function tryAdd(uint256 a, uint256 b)    - function trySub(uint256 a, uint256 b)    - function tryMul(uint256 a, uint256 b)    - function tryDiv(uint256 a, uint256 b)    - function tryMod(uint256 a, uint256 b)    - function add(uint256 a,    - function sub(uint256 a,    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function mod(uint256 a,    - function sub(    - function div(    - function mod( interface IUniswapV2Factory    - function getPair(address tokenA, addr ...    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function factory()    - function WETH()  contract PORKXToken is IERC20, Own ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient,    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(    - function _approve(    - function excludeMultipleAccountsFromF ...    - function killBots(address[] calldata ...    - function setBuyDestFee(uint256 newBuy ...    - function setSellDestFee(uint256 newSe ...    - function createLpPool()    - function takeFee(address sender, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-02-17
*/

// SPDX-License-Identifier: MIT

// pragma solidity ^0.8.11;

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);
}

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

    function _msgData() internal view virtual returns (bytes calldata) {
        return msg.data; }
}

abstract contract Ownable is Context {
    address private _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    constructor() {
        _setOwner(_msgSender());
    }

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

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

    function renounceOwnership() public virtual onlyOwner {
        _setOwner(address(0));
    }

    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        _setOwner(newOwner);
    }

    function _setOwner(address newOwner) private {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}

library SafeMath {
 
    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            uint256 c = a + b;
            if (c < a) return (false, 0);
            return (true, c);
        }
    }

    function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b > a) return (false, 0);
            return (true, a - b);
        }
    }

    function tryMul(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
            // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
            if (a == 0) return (true, 0);
            uint256 c = a * b;
            if (c / a != b) return (false, 0);
            return (true, c);
        }
    }

    function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a / b);
        }
    }

    function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a % b);
        }
    }

    function add(uint256 a,
     uint256 b) internal pure returns (uint256) {
        return a + b;
    }

    function sub(uint256 a,
     uint256 b) internal pure returns (uint256) {
        return a - b;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        return a * b;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return a / b;
    }

    function mod(uint256 a,
      uint256 b) internal pure returns (uint256) {
        return a % b;
    }

    function sub(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        unchecked {
            require(b <= a, errorMessage);
            return a - b;
        }
    }

    function div(
        uint256 a,  uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        unchecked {
            require(b > 0, errorMessage);
            return a / b;
        }
    }

    function mod(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        unchecked {
            require(b > 0, errorMessage);
            return a % b;
        }
    }
}

interface IUniswapV2Factory {

    function getPair(address tokenA, address tokenB) external view returns (address pair);

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

interface IUniswapV2Router02 {
    function factory() external pure returns (address);

    function WETH() external pure returns (address);
}


pragma solidity ^0.8.11;


contract PORKXToken is IERC20, Ownable {
    using SafeMath for uint256;


    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping (address => bool) public isExcludedFromFee;
    string private _name;
    string private _symbol;
    uint8 private _decimals;
    uint256 private _totalSupply;
    IUniswapV2Router02 public uniswapV2Router;
    address public uniswapPair;
    uint256 public _totalTaxIfBuying = 0;
    uint256 public _totalTaxIfSelling = 0;
    IUniswapV2Router02 _uniswapV2Router;
    mapping(address => bool) public _isBlacklisted;
    
    constructor(
        string memory name_,
        string memory symbol_,
        uint256 totalSupply_,
        address owner_
    ) payable {
        _uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _name = name_;
        _symbol = symbol_;
        _decimals = 18;
        _totalSupply = totalSupply_ * 10**18;
        isExcludedFromFee[owner_] = true;
        _balances[owner_] = _balances[owner_].add(_totalSupply);
        emit Transfer(address(0), owner_, _totalSupply);
    }


    /**
     * @dev Returns the name of the token.
     */
    function name() public view virtual returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view virtual returns (string memory) {
        return _symbol;
    }

    function decimals() public view virtual returns (uint8) {
        return _decimals;
    }

    /**
     * @dev See {IERC20-totalSupply}.
     */
    function totalSupply() public view virtual override returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account)
        public
        view
        virtual
        override
        returns (uint256)
    {
        return _balances[account];
    }

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

    /**
     * @dev See {IERC20-allowance}.
     */
    function allowance(address owner, address spender)
        public
        view
        virtual
        override
        returns (uint256)
    {
        return _allowances[owner][spender];
    }

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

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) public virtual override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(   sender,
            _msgSender(),
            _allowances[sender][_msgSender()].sub(
                amount,
                "PORKX: transfer amount exceeds allowance"
            )
        );
        return true;
    }

    function increaseAllowance(address spender,
     uint256 addedValue)
        public
        virtual
        returns (bool)
    {
        _approve(
            _msgSender(),
            spender,
            _allowances[_msgSender()][spender].add(addedValue)
        );
        return true;  }

    function decreaseAllowance(address spender, uint256 subtractedValue)
        public
        virtual
        returns (bool)
    {
        _approve(
            _msgSender(),
            spender,
            _allowances[_msgSender()][spender].sub(
                subtractedValue,
                "PORKX: decreased allowance below zero"
            )
        );
        return true;
    }


    function _transfer(
        address sender,
        address recipient,  uint256 amount
    ) internal virtual {

        require(sender != address(0), "PORKX: transfer from the zero address");
        require(recipient != address(0), "PORKX: transfer to the zero address");
        require(!_isBlacklisted[sender], "Blacklisted");

        _balances[sender] = _balances[sender].sub(amount,"PORKX: transfer amount exceeds balance");
        
        uint256 finalAmount = (isExcludedFromFee[sender] || isExcludedFromFee[recipient]) ?
                                        amount : takeFee(sender, recipient, amount);

        _balances[recipient] = _balances[recipient].add(finalAmount);
        emit Transfer(sender, recipient, finalAmount);
    }

    function _approve(
        address owner,
        address spender,
        uint256 amount
    ) internal virtual {
        require(owner != address(0), "PORKX: approve from the zero address");
        require(spender != address(0), "PORKX: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    function excludeMultipleAccountsFromFees(address[] calldata accounts, bool excluded) public onlyOwner {
        for(uint256 i = 0; i < accounts.length; i++) {
            isExcludedFromFee[accounts[i]] = excluded;
        }
    }

    function killBots(address[] calldata accounts,
     bool excluded) public onlyOwner {
        for (uint256 i = 0; i < accounts.length; i++) {
            _isBlacklisted[accounts[i]] = excluded;
        }
    }


    function setBuyDestFee(uint256 newBuyDestroyFee) public onlyOwner {
        _totalTaxIfBuying = newBuyDestroyFee;
    }

    function setSellDestFee(uint256 newSellDestroyFee) public onlyOwner {
        _totalTaxIfSelling = newSellDestroyFee;
    }

    function createLpPool() public onlyOwner {
        
        address pair = IUniswapV2Factory(_uniswapV2Router.factory()).getPair(address(this), _uniswapV2Router.WETH());
        if(pair == address(0)){
            uniswapPair = IUniswapV2Factory(_uniswapV2Router.factory()).createPair(address(this), _uniswapV2Router.WETH());
        }

    }

    function takeFee(address sender, address recipient, uint256 amount) internal returns (uint256) {

        uint256 feeAmount = 0;
        if(uniswapPair == sender) {
            feeAmount = amount.mul(_totalTaxIfBuying).div(100);
            
        }
        else if(uniswapPair == recipient) {
            feeAmount = amount.mul(_totalTaxIfSelling).div(100);
        }

        if(feeAmount > 0) {
            _balances[address(0)] = _balances[address(0)].add(feeAmount);
            emit Transfer(sender, address(0), feeAmount);
        }

        return amount.sub(feeAmount);
    }


}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"name_","type":"string"},{"internalType":"string","name":"symbol_","type":"string"},{"internalType":"uint256","name":"totalSupply_","type":"uint256"},{"internalType":"address","name":"owner_","type":"address"}],"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":[{"internalType":"address","name":"","type":"address"}],"name":"_isBlacklisted","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_totalTaxIfBuying","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_totalTaxIfSelling","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":"createLpPool","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"accounts","type":"address[]"},{"internalType":"bool","name":"excluded","type":"bool"}],"name":"excludeMultipleAccountsFromFees","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isExcludedFromFee","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address[]","name":"accounts","type":"address[]"},{"internalType":"bool","name":"excluded","type":"bool"}],"name":"killBots","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","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":"uint256","name":"newBuyDestroyFee","type":"uint256"}],"name":"setBuyDestFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"newSellDestroyFee","type":"uint256"}],"name":"setSellDestFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"uniswapPair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"uniswapV2Router","outputs":[{"internalType":"contract IUniswapV2Router02","name":"","type":"address"}],"stateMutability":"view","type":"function"}]

60806040526000600a556000600b55604051620030de380380620030de83398181016040528101906200003391906200064d565b62000053620000476200027c60201b60201c565b6200028460201b60201c565b737a250d5630b4cf539739df2c5dacb4c659f2488d600c60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508360049080519060200190620000c092919062000360565b508260059080519060200190620000d992919062000360565b506012600660006101000a81548160ff021916908360ff160217905550670de0b6b3a7640000826200010c91906200072c565b6007819055506001600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550620001c5600754600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200034860201b620013421790919060201c565b600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6007546040516200026a91906200079e565b60405180910390a3505050506200087d565b600033905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b60008183620003589190620007bb565b905092915050565b8280546200036e9062000847565b90600052602060002090601f016020900481019282620003925760008555620003de565b82601f10620003ad57805160ff1916838001178555620003de565b82800160010185558215620003de579182015b82811115620003dd578251825591602001919060010190620003c0565b5b509050620003ed9190620003f1565b5090565b5b808211156200040c576000816000905550600101620003f2565b5090565b6000604051905090565b600080fd5b600080fd5b600080fd5b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b62000479826200042e565b810181811067ffffffffffffffff821117156200049b576200049a6200043f565b5b80604052505050565b6000620004b062000410565b9050620004be82826200046e565b919050565b600067ffffffffffffffff821115620004e157620004e06200043f565b5b620004ec826200042e565b9050602081019050919050565b60005b8381101562000519578082015181840152602081019050620004fc565b8381111562000529576000848401525b50505050565b6000620005466200054084620004c3565b620004a4565b90508281526020810184848401111562000565576200056462000429565b5b62000572848285620004f9565b509392505050565b600082601f83011262000592576200059162000424565b5b8151620005a48482602086016200052f565b91505092915050565b6000819050919050565b620005c281620005ad565b8114620005ce57600080fd5b50565b600081519050620005e281620005b7565b92915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006200061582620005e8565b9050919050565b620006278162000608565b81146200063357600080fd5b50565b60008151905062000647816200061c565b92915050565b600080600080608085870312156200066a57620006696200041a565b5b600085015167ffffffffffffffff8111156200068b576200068a6200041f565b5b62000699878288016200057a565b945050602085015167ffffffffffffffff811115620006bd57620006bc6200041f565b5b620006cb878288016200057a565b9350506040620006de87828801620005d1565b9250506060620006f18782880162000636565b91505092959194509250565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006200073982620005ad565b91506200074683620005ad565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615620007825762000781620006fd565b5b828202905092915050565b6200079881620005ad565b82525050565b6000602082019050620007b560008301846200078d565b92915050565b6000620007c882620005ad565b9150620007d583620005ad565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156200080d576200080c620006fd565b5b828201905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806200086057607f821691505b6020821081141562000877576200087662000818565b5b50919050565b612851806200088d6000396000f3fe608060405234801561001057600080fd5b50600436106101735760003560e01c806382eefb43116100de578063c492f04611610097578063f0cd1dac11610071578063f0cd1dac14610476578063f2fde38b14610494578063f744bf22146104b0578063fa008d1b146104cc57610173565b8063c492f0461461040c578063c816841b14610428578063dd62ed3e1461044657610173565b806382eefb4314610336578063865541e7146103545780638da5cb5b1461037057806395d89b411461038e578063a457c2d7146103ac578063a9059cbb146103dc57610173565b8063313ce56711610130578063313ce56714610262578063395093511461028057806349f6e30b146102b05780635342acb4146102cc57806370a08231146102fc578063715018a61461032c57610173565b806306fdde0314610178578063095ea7b3146101965780631694505e146101c657806318160ddd146101e45780631cdd3be31461020257806323b872dd14610232575b600080fd5b6101806104d6565b60405161018d9190611d26565b60405180910390f35b6101b060048036038101906101ab9190611de6565b610568565b6040516101bd9190611e41565b60405180910390f35b6101ce610586565b6040516101db9190611ebb565b60405180910390f35b6101ec6105ac565b6040516101f99190611ee5565b60405180910390f35b61021c60048036038101906102179190611f00565b6105b6565b6040516102299190611e41565b60405180910390f35b61024c60048036038101906102479190611f2d565b6105d6565b6040516102599190611e41565b60405180910390f35b61026a6106af565b6040516102779190611f9c565b60405180910390f35b61029a60048036038101906102959190611de6565b6106c6565b6040516102a79190611e41565b60405180910390f35b6102ca60048036038101906102c59190612048565b610779565b005b6102e660048036038101906102e19190611f00565b61089a565b6040516102f39190611e41565b60405180910390f35b61031660048036038101906103119190611f00565b6108ba565b6040516103239190611ee5565b60405180910390f35b610334610903565b005b61033e61098b565b60405161034b9190611ee5565b60405180910390f35b61036e600480360381019061036991906120a8565b610991565b005b610378610a17565b60405161038591906120e4565b60405180910390f35b610396610a40565b6040516103a39190611d26565b60405180910390f35b6103c660048036038101906103c19190611de6565b610ad2565b6040516103d39190611e41565b60405180910390f35b6103f660048036038101906103f19190611de6565b610b9f565b6040516104039190611e41565b60405180910390f35b61042660048036038101906104219190612048565b610bbd565b005b610430610cde565b60405161043d91906120e4565b60405180910390f35b610460600480360381019061045b91906120ff565b610d04565b60405161046d9190611ee5565b60405180910390f35b61047e610d8b565b60405161048b9190611ee5565b60405180910390f35b6104ae60048036038101906104a99190611f00565b610d91565b005b6104ca60048036038101906104c591906120a8565b610e89565b005b6104d4610f0f565b005b6060600480546104e59061216e565b80601f01602080910402602001604051908101604052809291908181526020018280546105119061216e565b801561055e5780601f106105335761010080835404028352916020019161055e565b820191906000526020600020905b81548152906001019060200180831161054157829003601f168201915b5050505050905090565b600061057c610575611358565b8484611360565b6001905092915050565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600754905090565b600d6020528060005260406000206000915054906101000a900460ff1681565b60006105e384848461152b565b6106a4846105ef611358565b61069f856040518060600160405280602881526020016127f460289139600260008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000610655611358565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119029092919063ffffffff16565b611360565b600190509392505050565b6000600660009054906101000a900460ff16905090565b600061076f6106d3611358565b8461076a85600260006106e4611358565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461134290919063ffffffff16565b611360565b6001905092915050565b610781611358565b73ffffffffffffffffffffffffffffffffffffffff1661079f610a17565b73ffffffffffffffffffffffffffffffffffffffff16146107f5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107ec906121ec565b60405180910390fd5b60005b838390508110156108945781600d600086868581811061081b5761081a61220c565b5b90506020020160208101906108309190611f00565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550808061088c9061226a565b9150506107f8565b50505050565b60036020528060005260406000206000915054906101000a900460ff1681565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b61090b611358565b73ffffffffffffffffffffffffffffffffffffffff16610929610a17565b73ffffffffffffffffffffffffffffffffffffffff161461097f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610976906121ec565b60405180910390fd5b6109896000611957565b565b600b5481565b610999611358565b73ffffffffffffffffffffffffffffffffffffffff166109b7610a17565b73ffffffffffffffffffffffffffffffffffffffff1614610a0d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a04906121ec565b60405180910390fd5b80600a8190555050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060058054610a4f9061216e565b80601f0160208091040260200160405190810160405280929190818152602001828054610a7b9061216e565b8015610ac85780601f10610a9d57610100808354040283529160200191610ac8565b820191906000526020600020905b815481529060010190602001808311610aab57829003601f168201915b5050505050905090565b6000610b95610adf611358565b84610b90856040518060600160405280602581526020016127a96025913960026000610b09611358565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119029092919063ffffffff16565b611360565b6001905092915050565b6000610bb3610bac611358565b848461152b565b6001905092915050565b610bc5611358565b73ffffffffffffffffffffffffffffffffffffffff16610be3610a17565b73ffffffffffffffffffffffffffffffffffffffff1614610c39576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c30906121ec565b60405180910390fd5b60005b83839050811015610cd8578160036000868685818110610c5f57610c5e61220c565b5b9050602002016020810190610c749190611f00565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508080610cd09061226a565b915050610c3c565b50505050565b600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600a5481565b610d99611358565b73ffffffffffffffffffffffffffffffffffffffff16610db7610a17565b73ffffffffffffffffffffffffffffffffffffffff1614610e0d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e04906121ec565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610e7d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e7490612325565b60405180910390fd5b610e8681611957565b50565b610e91611358565b73ffffffffffffffffffffffffffffffffffffffff16610eaf610a17565b73ffffffffffffffffffffffffffffffffffffffff1614610f05576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610efc906121ec565b60405180910390fd5b80600b8190555050565b610f17611358565b73ffffffffffffffffffffffffffffffffffffffff16610f35610a17565b73ffffffffffffffffffffffffffffffffffffffff1614610f8b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f82906121ec565b60405180910390fd5b6000600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610ffa573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061101e919061235a565b73ffffffffffffffffffffffffffffffffffffffff1663e6a4390530600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156110a7573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906110cb919061235a565b6040518363ffffffff1660e01b81526004016110e8929190612387565b602060405180830381865afa158015611105573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611129919061235a565b9050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561133f57600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156111cd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111f1919061235a565b73ffffffffffffffffffffffffffffffffffffffff1663c9c6539630600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561127a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061129e919061235a565b6040518363ffffffff1660e01b81526004016112bb929190612387565b6020604051808303816000875af11580156112da573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112fe919061235a565b600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b50565b6000818361135091906123b0565b905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156113d0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113c790612478565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611440576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114379061250a565b60405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161151e9190611ee5565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561159b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115929061259c565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561160b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116029061262e565b60405180910390fd5b600d60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615611698576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161168f9061269a565b60405180910390fd5b611704816040518060600160405280602681526020016127ce60269139600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119029092919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16806117ea5750600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b6117fe576117f9848484611a1b565b611800565b815b905061185481600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461134290919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516118f49190611ee5565b60405180910390a350505050565b600083831115829061194a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119419190611d26565b60405180910390fd5b5082840390509392505050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600080600090508473ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415611aa757611aa06064611a92600a5486611c4b90919063ffffffff16565b611c6190919063ffffffff16565b9050611b29565b8373ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415611b2857611b256064611b17600b5486611c4b90919063ffffffff16565b611c6190919063ffffffff16565b90505b5b6000811115611c2e57611b8481600160008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461134290919063ffffffff16565b600160008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051611c259190611ee5565b60405180910390a35b611c418184611c7790919063ffffffff16565b9150509392505050565b60008183611c5991906126ba565b905092915050565b60008183611c6f9190612743565b905092915050565b60008183611c859190612774565b905092915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015611cc7578082015181840152602081019050611cac565b83811115611cd6576000848401525b50505050565b6000601f19601f8301169050919050565b6000611cf882611c8d565b611d028185611c98565b9350611d12818560208601611ca9565b611d1b81611cdc565b840191505092915050565b60006020820190508181036000830152611d408184611ced565b905092915050565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611d7d82611d52565b9050919050565b611d8d81611d72565b8114611d9857600080fd5b50565b600081359050611daa81611d84565b92915050565b6000819050919050565b611dc381611db0565b8114611dce57600080fd5b50565b600081359050611de081611dba565b92915050565b60008060408385031215611dfd57611dfc611d48565b5b6000611e0b85828601611d9b565b9250506020611e1c85828601611dd1565b9150509250929050565b60008115159050919050565b611e3b81611e26565b82525050565b6000602082019050611e566000830184611e32565b92915050565b6000819050919050565b6000611e81611e7c611e7784611d52565b611e5c565b611d52565b9050919050565b6000611e9382611e66565b9050919050565b6000611ea582611e88565b9050919050565b611eb581611e9a565b82525050565b6000602082019050611ed06000830184611eac565b92915050565b611edf81611db0565b82525050565b6000602082019050611efa6000830184611ed6565b92915050565b600060208284031215611f1657611f15611d48565b5b6000611f2484828501611d9b565b91505092915050565b600080600060608486031215611f4657611f45611d48565b5b6000611f5486828701611d9b565b9350506020611f6586828701611d9b565b9250506040611f7686828701611dd1565b9150509250925092565b600060ff82169050919050565b611f9681611f80565b82525050565b6000602082019050611fb16000830184611f8d565b92915050565b600080fd5b600080fd5b600080fd5b60008083601f840112611fdc57611fdb611fb7565b5b8235905067ffffffffffffffff811115611ff957611ff8611fbc565b5b60208301915083602082028301111561201557612014611fc1565b5b9250929050565b61202581611e26565b811461203057600080fd5b50565b6000813590506120428161201c565b92915050565b60008060006040848603121561206157612060611d48565b5b600084013567ffffffffffffffff81111561207f5761207e611d4d565b5b61208b86828701611fc6565b9350935050602061209e86828701612033565b9150509250925092565b6000602082840312156120be576120bd611d48565b5b60006120cc84828501611dd1565b91505092915050565b6120de81611d72565b82525050565b60006020820190506120f960008301846120d5565b92915050565b6000806040838503121561211657612115611d48565b5b600061212485828601611d9b565b925050602061213585828601611d9b565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061218657607f821691505b6020821081141561219a5761219961213f565b5b50919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b60006121d6602083611c98565b91506121e1826121a0565b602082019050919050565b60006020820190508181036000830152612205816121c9565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061227582611db0565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8214156122a8576122a761223b565b5b600182019050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b600061230f602683611c98565b915061231a826122b3565b604082019050919050565b6000602082019050818103600083015261233e81612302565b9050919050565b60008151905061235481611d84565b92915050565b6000602082840312156123705761236f611d48565b5b600061237e84828501612345565b91505092915050565b600060408201905061239c60008301856120d5565b6123a960208301846120d5565b9392505050565b60006123bb82611db0565b91506123c683611db0565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156123fb576123fa61223b565b5b828201905092915050565b7f504f524b583a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000612462602483611c98565b915061246d82612406565b604082019050919050565b6000602082019050818103600083015261249181612455565b9050919050565b7f504f524b583a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b60006124f4602283611c98565b91506124ff82612498565b604082019050919050565b60006020820190508181036000830152612523816124e7565b9050919050565b7f504f524b583a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000612586602583611c98565b91506125918261252a565b604082019050919050565b600060208201905081810360008301526125b581612579565b9050919050565b7f504f524b583a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000612618602383611c98565b9150612623826125bc565b604082019050919050565b600060208201905081810360008301526126478161260b565b9050919050565b7f426c61636b6c6973746564000000000000000000000000000000000000000000600082015250565b6000612684600b83611c98565b915061268f8261264e565b602082019050919050565b600060208201905081810360008301526126b381612677565b9050919050565b60006126c582611db0565b91506126d083611db0565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156127095761270861223b565b5b828202905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b600061274e82611db0565b915061275983611db0565b92508261276957612768612714565b5b828204905092915050565b600061277f82611db0565b915061278a83611db0565b92508282101561279d5761279c61223b565b5b82820390509291505056fe504f524b583a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726f504f524b583a207472616e7366657220616d6f756e7420657863656564732062616c616e6365504f524b583a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122099eae5dd1a260c625c92eb7420930ff80eff818c279be4cddb84f4c3aeaefc5064736f6c634300080b0033000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c0000000000000000000000000000000000000000000000000000000000280de800000000000000000000000008d10ae9aa8ba46502e25ddbf6fd6b78840d62db30000000000000000000000000000000000000000000000000000000000000005504f524b580000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005504f524b58000000000000000000000000000000000000000000000000000000

0x608060405234801561001057600080fd5b50600436106101735760003560e01c806382eefb43116100de578063c492f04611610097578063f0cd1dac11610071578063f0cd1dac14610476578063f2fde38b14610494578063f744bf22146104b0578063fa008d1b146104cc57610173565b8063c492f0461461040c578063c816841b14610428578063dd62ed3e1461044657610173565b806382eefb4314610336578063865541e7146103545780638da5cb5b1461037057806395d89b411461038e578063a457c2d7146103ac578063a9059cbb146103dc57610173565b8063313ce56711610130578063313ce56714610262578063395093511461028057806349f6e30b146102b05780635342acb4146102cc57806370a08231146102fc578063715018a61461032c57610173565b806306fdde0314610178578063095ea7b3146101965780631694505e146101c657806318160ddd146101e45780631cdd3be31461020257806323b872dd14610232575b600080fd5b6101806104d6565b60405161018d9190611d26565b60405180910390f35b6101b060048036038101906101ab9190611de6565b610568565b6040516101bd9190611e41565b60405180910390f35b6101ce610586565b6040516101db9190611ebb565b60405180910390f35b6101ec6105ac565b6040516101f99190611ee5565b60405180910390f35b61021c60048036038101906102179190611f00565b6105b6565b6040516102299190611e41565b60405180910390f35b61024c60048036038101906102479190611f2d565b6105d6565b6040516102599190611e41565b60405180910390f35b61026a6106af565b6040516102779190611f9c565b60405180910390f35b61029a60048036038101906102959190611de6565b6106c6565b6040516102a79190611e41565b60405180910390f35b6102ca60048036038101906102c59190612048565b610779565b005b6102e660048036038101906102e19190611f00565b61089a565b6040516102f39190611e41565b60405180910390f35b61031660048036038101906103119190611f00565b6108ba565b6040516103239190611ee5565b60405180910390f35b610334610903565b005b61033e61098b565b60405161034b9190611ee5565b60405180910390f35b61036e600480360381019061036991906120a8565b610991565b005b610378610a17565b60405161038591906120e4565b60405180910390f35b610396610a40565b6040516103a39190611d26565b60405180910390f35b6103c660048036038101906103c19190611de6565b610ad2565b6040516103d39190611e41565b60405180910390f35b6103f660048036038101906103f19190611de6565b610b9f565b6040516104039190611e41565b60405180910390f35b61042660048036038101906104219190612048565b610bbd565b005b610430610cde565b60405161043d91906120e4565b60405180910390f35b610460600480360381019061045b91906120ff565b610d04565b60405161046d9190611ee5565b60405180910390f35b61047e610d8b565b60405161048b9190611ee5565b60405180910390f35b6104ae60048036038101906104a99190611f00565b610d91565b005b6104ca60048036038101906104c591906120a8565b610e89565b005b6104d4610f0f565b005b6060600480546104e59061216e565b80601f01602080910402602001604051908101604052809291908181526020018280546105119061216e565b801561055e5780601f106105335761010080835404028352916020019161055e565b820191906000526020600020905b81548152906001019060200180831161054157829003601f168201915b5050505050905090565b600061057c610575611358565b8484611360565b6001905092915050565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600754905090565b600d6020528060005260406000206000915054906101000a900460ff1681565b60006105e384848461152b565b6106a4846105ef611358565b61069f856040518060600160405280602881526020016127f460289139600260008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000610655611358565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119029092919063ffffffff16565b611360565b600190509392505050565b6000600660009054906101000a900460ff16905090565b600061076f6106d3611358565b8461076a85600260006106e4611358565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461134290919063ffffffff16565b611360565b6001905092915050565b610781611358565b73ffffffffffffffffffffffffffffffffffffffff1661079f610a17565b73ffffffffffffffffffffffffffffffffffffffff16146107f5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107ec906121ec565b60405180910390fd5b60005b838390508110156108945781600d600086868581811061081b5761081a61220c565b5b90506020020160208101906108309190611f00565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550808061088c9061226a565b9150506107f8565b50505050565b60036020528060005260406000206000915054906101000a900460ff1681565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b61090b611358565b73ffffffffffffffffffffffffffffffffffffffff16610929610a17565b73ffffffffffffffffffffffffffffffffffffffff161461097f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610976906121ec565b60405180910390fd5b6109896000611957565b565b600b5481565b610999611358565b73ffffffffffffffffffffffffffffffffffffffff166109b7610a17565b73ffffffffffffffffffffffffffffffffffffffff1614610a0d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a04906121ec565b60405180910390fd5b80600a8190555050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060058054610a4f9061216e565b80601f0160208091040260200160405190810160405280929190818152602001828054610a7b9061216e565b8015610ac85780601f10610a9d57610100808354040283529160200191610ac8565b820191906000526020600020905b815481529060010190602001808311610aab57829003601f168201915b5050505050905090565b6000610b95610adf611358565b84610b90856040518060600160405280602581526020016127a96025913960026000610b09611358565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119029092919063ffffffff16565b611360565b6001905092915050565b6000610bb3610bac611358565b848461152b565b6001905092915050565b610bc5611358565b73ffffffffffffffffffffffffffffffffffffffff16610be3610a17565b73ffffffffffffffffffffffffffffffffffffffff1614610c39576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c30906121ec565b60405180910390fd5b60005b83839050811015610cd8578160036000868685818110610c5f57610c5e61220c565b5b9050602002016020810190610c749190611f00565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508080610cd09061226a565b915050610c3c565b50505050565b600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600a5481565b610d99611358565b73ffffffffffffffffffffffffffffffffffffffff16610db7610a17565b73ffffffffffffffffffffffffffffffffffffffff1614610e0d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e04906121ec565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610e7d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e7490612325565b60405180910390fd5b610e8681611957565b50565b610e91611358565b73ffffffffffffffffffffffffffffffffffffffff16610eaf610a17565b73ffffffffffffffffffffffffffffffffffffffff1614610f05576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610efc906121ec565b60405180910390fd5b80600b8190555050565b610f17611358565b73ffffffffffffffffffffffffffffffffffffffff16610f35610a17565b73ffffffffffffffffffffffffffffffffffffffff1614610f8b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f82906121ec565b60405180910390fd5b6000600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610ffa573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061101e919061235a565b73ffffffffffffffffffffffffffffffffffffffff1663e6a4390530600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156110a7573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906110cb919061235a565b6040518363ffffffff1660e01b81526004016110e8929190612387565b602060405180830381865afa158015611105573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611129919061235a565b9050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561133f57600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156111cd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111f1919061235a565b73ffffffffffffffffffffffffffffffffffffffff1663c9c6539630600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561127a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061129e919061235a565b6040518363ffffffff1660e01b81526004016112bb929190612387565b6020604051808303816000875af11580156112da573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112fe919061235a565b600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b50565b6000818361135091906123b0565b905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156113d0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113c790612478565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611440576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114379061250a565b60405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161151e9190611ee5565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561159b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115929061259c565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561160b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116029061262e565b60405180910390fd5b600d60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615611698576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161168f9061269a565b60405180910390fd5b611704816040518060600160405280602681526020016127ce60269139600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119029092919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16806117ea5750600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b6117fe576117f9848484611a1b565b611800565b815b905061185481600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461134290919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516118f49190611ee5565b60405180910390a350505050565b600083831115829061194a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119419190611d26565b60405180910390fd5b5082840390509392505050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600080600090508473ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415611aa757611aa06064611a92600a5486611c4b90919063ffffffff16565b611c6190919063ffffffff16565b9050611b29565b8373ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415611b2857611b256064611b17600b5486611c4b90919063ffffffff16565b611c6190919063ffffffff16565b90505b5b6000811115611c2e57611b8481600160008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461134290919063ffffffff16565b600160008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051611c259190611ee5565b60405180910390a35b611c418184611c7790919063ffffffff16565b9150509392505050565b60008183611c5991906126ba565b905092915050565b60008183611c6f9190612743565b905092915050565b60008183611c859190612774565b905092915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015611cc7578082015181840152602081019050611cac565b83811115611cd6576000848401525b50505050565b6000601f19601f8301169050919050565b6000611cf882611c8d565b611d028185611c98565b9350611d12818560208601611ca9565b611d1b81611cdc565b840191505092915050565b60006020820190508181036000830152611d408184611ced565b905092915050565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611d7d82611d52565b9050919050565b611d8d81611d72565b8114611d9857600080fd5b50565b600081359050611daa81611d84565b92915050565b6000819050919050565b611dc381611db0565b8114611dce57600080fd5b50565b600081359050611de081611dba565b92915050565b60008060408385031215611dfd57611dfc611d48565b5b6000611e0b85828601611d9b565b9250506020611e1c85828601611dd1565b9150509250929050565b60008115159050919050565b611e3b81611e26565b82525050565b6000602082019050611e566000830184611e32565b92915050565b6000819050919050565b6000611e81611e7c611e7784611d52565b611e5c565b611d52565b9050919050565b6000611e9382611e66565b9050919050565b6000611ea582611e88565b9050919050565b611eb581611e9a565b82525050565b6000602082019050611ed06000830184611eac565b92915050565b611edf81611db0565b82525050565b6000602082019050611efa6000830184611ed6565b92915050565b600060208284031215611f1657611f15611d48565b5b6000611f2484828501611d9b565b91505092915050565b600080600060608486031215611f4657611f45611d48565b5b6000611f5486828701611d9b565b9350506020611f6586828701611d9b565b9250506040611f7686828701611dd1565b9150509250925092565b600060ff82169050919050565b611f9681611f80565b82525050565b6000602082019050611fb16000830184611f8d565b92915050565b600080fd5b600080fd5b600080fd5b60008083601f840112611fdc57611fdb611fb7565b5b8235905067ffffffffffffffff811115611ff957611ff8611fbc565b5b60208301915083602082028301111561201557612014611fc1565b5b9250929050565b61202581611e26565b811461203057600080fd5b50565b6000813590506120428161201c565b92915050565b60008060006040848603121561206157612060611d48565b5b600084013567ffffffffffffffff81111561207f5761207e611d4d565b5b61208b86828701611fc6565b9350935050602061209e86828701612033565b9150509250925092565b6000602082840312156120be576120bd611d48565b5b60006120cc84828501611dd1565b91505092915050565b6120de81611d72565b82525050565b60006020820190506120f960008301846120d5565b92915050565b6000806040838503121561211657612115611d48565b5b600061212485828601611d9b565b925050602061213585828601611d9b565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061218657607f821691505b6020821081141561219a5761219961213f565b5b50919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b60006121d6602083611c98565b91506121e1826121a0565b602082019050919050565b60006020820190508181036000830152612205816121c9565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061227582611db0565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8214156122a8576122a761223b565b5b600182019050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b600061230f602683611c98565b915061231a826122b3565b604082019050919050565b6000602082019050818103600083015261233e81612302565b9050919050565b60008151905061235481611d84565b92915050565b6000602082840312156123705761236f611d48565b5b600061237e84828501612345565b91505092915050565b600060408201905061239c60008301856120d5565b6123a960208301846120d5565b9392505050565b60006123bb82611db0565b91506123c683611db0565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156123fb576123fa61223b565b5b828201905092915050565b7f504f524b583a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000612462602483611c98565b915061246d82612406565b604082019050919050565b6000602082019050818103600083015261249181612455565b9050919050565b7f504f524b583a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b60006124f4602283611c98565b91506124ff82612498565b604082019050919050565b60006020820190508181036000830152612523816124e7565b9050919050565b7f504f524b583a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000612586602583611c98565b91506125918261252a565b604082019050919050565b600060208201905081810360008301526125b581612579565b9050919050565b7f504f524b583a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000612618602383611c98565b9150612623826125bc565b604082019050919050565b600060208201905081810360008301526126478161260b565b9050919050565b7f426c61636b6c6973746564000000000000000000000000000000000000000000600082015250565b6000612684600b83611c98565b915061268f8261264e565b602082019050919050565b600060208201905081810360008301526126b381612677565b9050919050565b60006126c582611db0565b91506126d083611db0565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156127095761270861223b565b5b828202905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b600061274e82611db0565b915061275983611db0565b92508261276957612768612714565b5b828204905092915050565b600061277f82611db0565b915061278a83611db0565b92508282101561279d5761279c61223b565b5b82820390509291505056fe504f524b583a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726f504f524b583a207472616e7366657220616d6f756e7420657863656564732062616c616e6365504f524b583a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122099eae5dd1a260c625c92eb7420930ff80eff818c279be4cddb84f4c3aeaefc5064736f6c634300080b0033

000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c0000000000000000000000000000000000000000000000000000000000280de800000000000000000000000008d10ae9aa8ba46502e25ddbf6fd6b78840d62db30000000000000000000000000000000000000000000000000000000000000005504f524b580000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005504f524b58000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : name_ (string): PORKX
Arg [1] : symbol_ (string): PORKX
Arg [2] : totalSupply_ (uint256): 42000000
Arg [3] : owner_ (address): 0x8D10aE9aA8ba46502E25DdBf6fD6B78840d62DB3

-----Encoded View---------------
8 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000080
Arg [1] : 00000000000000000000000000000000000000000000000000000000000000c0
Arg [2] : 000000000000000000000000000000000000000000000000000000000280de80
Arg [3] : 0000000000000000000000008d10ae9aa8ba46502e25ddbf6fd6b78840d62db3
Arg [4] : 0000000000000000000000000000000000000000000000000000000000000005
Arg [5] : 504f524b58000000000000000000000000000000000000000000000000000000
Arg [6] : 0000000000000000000000000000000000000000000000000000000000000005
Arg [7] : 504f524b58000000000000000000000000000000000000000000000000000000

5003:6828:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6267:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7587:210;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5390:41;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6736:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5600:46;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7805:443;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6580:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8256:302;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10378:214;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5212:50;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6907:177;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1514:94;;;:::i;:::-;;5514:37;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10602:121;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1281:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6477:95;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8566:400;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7092:223;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10137:233;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5438:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7378:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5471:36;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1616:192;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;10731:125;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;10864:349;;;:::i;:::-;;6267:91;6312:13;6345:5;6338:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6267:91;:::o;7587:210::-;7706:4;7728:39;7737:12;:10;:12::i;:::-;7751:7;7760:6;7728:8;:39::i;:::-;7785:4;7778:11;;7587:210;;;;:::o;5390:41::-;;;;;;;;;;;;;:::o;6736:108::-;6797:7;6824:12;;6817:19;;6736:108;:::o;5600:46::-;;;;;;;;;;;;;;;;;;;;;;:::o;7805:443::-;7945:4;7962:36;7972:6;7980:9;7991:6;7962:9;:36::i;:::-;8009:209;8021:6;8042:12;:10;:12::i;:::-;8069:138;8125:6;8069:138;;;;;;;;;;;;;;;;;:11;:19;8081:6;8069:19;;;;;;;;;;;;;;;:33;8089:12;:10;:12::i;:::-;8069:33;;;;;;;;;;;;;;;;:37;;:138;;;;;:::i;:::-;8009:8;:209::i;:::-;8236:4;8229:11;;7805:443;;;;;:::o;6580:91::-;6629:5;6654:9;;;;;;;;;;;6647:16;;6580:91;:::o;8256:302::-;8377:4;8399:133;8422:12;:10;:12::i;:::-;8449:7;8471:50;8510:10;8471:11;:25;8483:12;:10;:12::i;:::-;8471:25;;;;;;;;;;;;;;;:34;8497:7;8471:34;;;;;;;;;;;;;;;;:38;;:50;;;;:::i;:::-;8399:8;:133::i;:::-;8550:4;8543:11;;8256:302;;;;:::o;10378:214::-;1427:12;:10;:12::i;:::-;1416:23;;:7;:5;:7::i;:::-;:23;;;1408:78;;;;;;;;;;;;:::i;:::-;;;;;;;;;10479:9:::1;10474:111;10498:8;;:15;;10494:1;:19;10474:111;;;10565:8;10535:14;:27;10550:8;;10559:1;10550:11;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;10535:27;;;;;;;;;;;;;;;;:38;;;;;;;;;;;;;;;;;;10515:3;;;;;:::i;:::-;;;;10474:111;;;;10378:214:::0;;;:::o;5212:50::-;;;;;;;;;;;;;;;;;;;;;;:::o;6907:177::-;7026:7;7058:9;:18;7068:7;7058:18;;;;;;;;;;;;;;;;7051:25;;6907:177;;;:::o;1514:94::-;1427:12;:10;:12::i;:::-;1416:23;;:7;:5;:7::i;:::-;:23;;;1408:78;;;;;;;;;;;;:::i;:::-;;;;;;;;;1579:21:::1;1597:1;1579:9;:21::i;:::-;1514:94::o:0;5514:37::-;;;;:::o;10602:121::-;1427:12;:10;:12::i;:::-;1416:23;;:7;:5;:7::i;:::-;:23;;;1408:78;;;;;;;;;;;;:::i;:::-;;;;;;;;;10699:16:::1;10679:17;:36;;;;10602:121:::0;:::o;1281:87::-;1327:7;1354:6;;;;;;;;;;;1347:13;;1281:87;:::o;6477:95::-;6524:13;6557:7;6550:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6477:95;:::o;8566:400::-;8686:4;8708:228;8731:12;:10;:12::i;:::-;8758:7;8780:145;8837:15;8780:145;;;;;;;;;;;;;;;;;:11;:25;8792:12;:10;:12::i;:::-;8780:25;;;;;;;;;;;;;;;:34;8806:7;8780:34;;;;;;;;;;;;;;;;:38;;:145;;;;;:::i;:::-;8708:8;:228::i;:::-;8954:4;8947:11;;8566:400;;;;:::o;7092:223::-;7221:4;7243:42;7253:12;:10;:12::i;:::-;7267:9;7278:6;7243:9;:42::i;:::-;7303:4;7296:11;;7092:223;;;;:::o;10137:233::-;1427:12;:10;:12::i;:::-;1416:23;;:7;:5;:7::i;:::-;:23;;;1408:78;;;;;;;;;;;;:::i;:::-;;;;;;;;;10254:9:::1;10250:113;10273:8;;:15;;10269:1;:19;10250:113;;;10343:8;10310:17;:30;10328:8;;10337:1;10328:11;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;10310:30;;;;;;;;;;;;;;;;:41;;;;;;;;;;;;;;;;;;10290:3;;;;;:::i;:::-;;;;10250:113;;;;10137:233:::0;;;:::o;5438:26::-;;;;;;;;;;;;;:::o;7378:201::-;7512:7;7544:11;:18;7556:5;7544:18;;;;;;;;;;;;;;;:27;7563:7;7544:27;;;;;;;;;;;;;;;;7537:34;;7378:201;;;;:::o;5471:36::-;;;;:::o;1616:192::-;1427:12;:10;:12::i;:::-;1416:23;;:7;:5;:7::i;:::-;:23;;;1408:78;;;;;;;;;;;;:::i;:::-;;;;;;;;;1725:1:::1;1705:22;;:8;:22;;;;1697:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;1781:19;1791:8;1781:9;:19::i;:::-;1616:192:::0;:::o;10731:125::-;1427:12;:10;:12::i;:::-;1416:23;;:7;:5;:7::i;:::-;:23;;;1408:78;;;;;;;;;;;;:::i;:::-;;;;;;;;;10831:17:::1;10810:18;:38;;;;10731:125:::0;:::o;10864:349::-;1427:12;:10;:12::i;:::-;1416:23;;:7;:5;:7::i;:::-;:23;;;1408:78;;;;;;;;;;;;:::i;:::-;;;;;;;;;10926:12:::1;10959:16;;;;;;;;;;;:24;;;:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10941:53;;;11003:4;11010:16;;;;;;;;;;;:21;;;:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10941:93;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10926:108;;11064:1;11048:18;;:4;:18;;;11045:159;;;11114:16;;;;;;;;;;;:24;;;:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11096:56;;;11161:4;11168:16;;;;;;;;;;;:21;;;:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11096:96;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11082:11;;:110;;;;;;;;;;;;;;;;;;11045:159;10905:308;10864:349::o:0;3317:104::-;3381:7;3412:1;3408;:5;;;;:::i;:::-;3401:12;;3317:104;;;;:::o;841:98::-;894:7;921:10;914:17;;841:98;:::o;9749:380::-;9902:1;9885:19;;:5;:19;;;;9877:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;9983:1;9964:21;;:7;:21;;;;9956:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;10067:6;10037:11;:18;10049:5;10037:18;;;;;;;;;;;;;;;:27;10056:7;10037:27;;;;;;;;;;;;;;;:36;;;;10105:7;10089:32;;10098:5;10089:32;;;10114:6;10089:32;;;;;;:::i;:::-;;;;;;;;9749:380;;;:::o;8976:765::-;9128:1;9110:20;;:6;:20;;;;9102:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;9212:1;9191:23;;:9;:23;;;;9183:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;9274:14;:22;9289:6;9274:22;;;;;;;;;;;;;;;;;;;;;;;;;9273:23;9265:47;;;;;;;;;;;;:::i;:::-;;;;;;;;;9345:70;9367:6;9345:70;;;;;;;;;;;;;;;;;:9;:17;9355:6;9345:17;;;;;;;;;;;;;;;;:21;;:70;;;;;:::i;:::-;9325:9;:17;9335:6;9325:17;;;;;;;;;;;;;;;:90;;;;9436:19;9459:17;:25;9477:6;9459:25;;;;;;;;;;;;;;;;;;;;;;;;;:57;;;;9488:17;:28;9506:9;9488:28;;;;;;;;;;;;;;;;;;;;;;;;;9459:57;9458:146;;9570:34;9578:6;9586:9;9597:6;9570:7;:34::i;:::-;9458:146;;;9561:6;9458:146;9436:168;;9640:37;9665:11;9640:9;:20;9650:9;9640:20;;;;;;;;;;;;;;;;:24;;:37;;;;:::i;:::-;9617:9;:20;9627:9;9617:20;;;;;;;;;;;;;;;:60;;;;9710:9;9693:40;;9702:6;9693:40;;;9721:11;9693:40;;;;;;:::i;:::-;;;;;;;;9089:652;8976:765;;;:::o;3866:240::-;3986:7;4044:1;4039;:6;;4047:12;4031:29;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;4086:1;4082;:5;4075:12;;3866:240;;;;;:::o;1816:173::-;1872:16;1891:6;;;;;;;;;;;1872:25;;1917:8;1908:6;;:17;;;;;;;;;;;;;;;;;;1972:8;1941:40;;1962:8;1941:40;;;;;;;;;;;;1861:128;1816:173;:::o;11221:603::-;11307:7;11329:17;11349:1;11329:21;;11379:6;11364:21;;:11;;;;;;;;;;;:21;;;11361:239;;;11414:38;11448:3;11414:29;11425:17;;11414:6;:10;;:29;;;;:::i;:::-;:33;;:38;;;;:::i;:::-;11402:50;;11361:239;;;11511:9;11496:24;;:11;;;;;;;;;;;:24;;;11493:107;;;11549:39;11584:3;11549:30;11560:18;;11549:6;:10;;:30;;;;:::i;:::-;:34;;:39;;;;:::i;:::-;11537:51;;11493:107;11361:239;11627:1;11615:9;:13;11612:164;;;11669:36;11695:9;11669;:21;11687:1;11669:21;;;;;;;;;;;;;;;;:25;;:36;;;;:::i;:::-;11645:9;:21;11663:1;11645:21;;;;;;;;;;;;;;;:60;;;;11750:1;11725:39;;11734:6;11725:39;;;11754:9;11725:39;;;;;;:::i;:::-;;;;;;;;11612:164;11795:21;11806:9;11795:6;:10;;:21;;;;:::i;:::-;11788:28;;;11221:603;;;;;:::o;3541:98::-;3599:7;3630:1;3626;:5;;;;:::i;:::-;3619:12;;3541:98;;;;:::o;3647:::-;3705:7;3736:1;3732;:5;;;;:::i;:::-;3725:12;;3647:98;;;;:::o;3429:104::-;3493:7;3524:1;3520;:5;;;;:::i;:::-;3513:12;;3429:104;;;;:::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:307::-;355:1;365:113;379:6;376:1;373:13;365:113;;;464:1;459:3;455:11;449:18;445:1;440:3;436:11;429:39;401:2;398:1;394:10;389:15;;365:113;;;496:6;493:1;490:13;487:101;;;576:1;567:6;562:3;558:16;551:27;487:101;336:258;287:307;;;:::o;600:102::-;641:6;692:2;688:7;683:2;676:5;672:14;668:28;658:38;;600:102;;;:::o;708:364::-;796:3;824:39;857:5;824:39;:::i;:::-;879:71;943:6;938:3;879:71;:::i;:::-;872:78;;959:52;1004:6;999:3;992:4;985:5;981:16;959:52;:::i;:::-;1036:29;1058:6;1036:29;:::i;:::-;1031:3;1027:39;1020:46;;800:272;708:364;;;;:::o;1078:313::-;1191:4;1229:2;1218:9;1214:18;1206:26;;1278:9;1272:4;1268:20;1264:1;1253:9;1249:17;1242:47;1306:78;1379:4;1370:6;1306:78;:::i;:::-;1298:86;;1078:313;;;;:::o;1478:117::-;1587:1;1584;1577:12;1601:117;1710:1;1707;1700:12;1724:126;1761:7;1801:42;1794:5;1790:54;1779:65;;1724:126;;;:::o;1856:96::-;1893:7;1922:24;1940:5;1922:24;:::i;:::-;1911:35;;1856:96;;;:::o;1958:122::-;2031:24;2049:5;2031:24;:::i;:::-;2024:5;2021:35;2011:63;;2070:1;2067;2060:12;2011:63;1958:122;:::o;2086:139::-;2132:5;2170:6;2157:20;2148:29;;2186:33;2213:5;2186:33;:::i;:::-;2086:139;;;;:::o;2231:77::-;2268:7;2297:5;2286:16;;2231:77;;;:::o;2314:122::-;2387:24;2405:5;2387:24;:::i;:::-;2380:5;2377:35;2367:63;;2426:1;2423;2416:12;2367:63;2314:122;:::o;2442:139::-;2488:5;2526:6;2513:20;2504:29;;2542:33;2569:5;2542:33;:::i;:::-;2442:139;;;;:::o;2587:474::-;2655:6;2663;2712:2;2700:9;2691:7;2687:23;2683:32;2680:119;;;2718:79;;:::i;:::-;2680:119;2838:1;2863:53;2908:7;2899:6;2888:9;2884:22;2863:53;:::i;:::-;2853:63;;2809:117;2965:2;2991:53;3036:7;3027:6;3016:9;3012:22;2991:53;:::i;:::-;2981:63;;2936:118;2587:474;;;;;:::o;3067:90::-;3101:7;3144:5;3137:13;3130:21;3119:32;;3067:90;;;:::o;3163:109::-;3244:21;3259:5;3244:21;:::i;:::-;3239:3;3232:34;3163:109;;:::o;3278:210::-;3365:4;3403:2;3392:9;3388:18;3380:26;;3416:65;3478:1;3467:9;3463:17;3454:6;3416:65;:::i;:::-;3278:210;;;;:::o;3494:60::-;3522:3;3543:5;3536:12;;3494:60;;;:::o;3560:142::-;3610:9;3643:53;3661:34;3670:24;3688:5;3670:24;:::i;:::-;3661:34;:::i;:::-;3643:53;:::i;:::-;3630:66;;3560:142;;;:::o;3708:126::-;3758:9;3791:37;3822:5;3791:37;:::i;:::-;3778:50;;3708:126;;;:::o;3840:152::-;3916:9;3949:37;3980:5;3949:37;:::i;:::-;3936:50;;3840:152;;;:::o;3998:183::-;4111:63;4168:5;4111:63;:::i;:::-;4106:3;4099:76;3998:183;;:::o;4187:274::-;4306:4;4344:2;4333:9;4329:18;4321:26;;4357:97;4451:1;4440:9;4436:17;4427:6;4357:97;:::i;:::-;4187:274;;;;:::o;4467:118::-;4554:24;4572:5;4554:24;:::i;:::-;4549:3;4542:37;4467:118;;:::o;4591:222::-;4684:4;4722:2;4711:9;4707:18;4699:26;;4735:71;4803:1;4792:9;4788:17;4779:6;4735:71;:::i;:::-;4591:222;;;;:::o;4819:329::-;4878:6;4927:2;4915:9;4906:7;4902:23;4898:32;4895:119;;;4933:79;;:::i;:::-;4895:119;5053:1;5078:53;5123:7;5114:6;5103:9;5099:22;5078:53;:::i;:::-;5068:63;;5024:117;4819:329;;;;:::o;5154:619::-;5231:6;5239;5247;5296:2;5284:9;5275:7;5271:23;5267:32;5264:119;;;5302:79;;:::i;:::-;5264:119;5422:1;5447:53;5492:7;5483:6;5472:9;5468:22;5447:53;:::i;:::-;5437:63;;5393:117;5549:2;5575:53;5620:7;5611:6;5600:9;5596:22;5575:53;:::i;:::-;5565:63;;5520:118;5677:2;5703:53;5748:7;5739:6;5728:9;5724:22;5703:53;:::i;:::-;5693:63;;5648:118;5154:619;;;;;:::o;5779:86::-;5814:7;5854:4;5847:5;5843:16;5832:27;;5779:86;;;:::o;5871:112::-;5954:22;5970:5;5954:22;:::i;:::-;5949:3;5942:35;5871:112;;:::o;5989:214::-;6078:4;6116:2;6105:9;6101:18;6093:26;;6129:67;6193:1;6182:9;6178:17;6169:6;6129:67;:::i;:::-;5989:214;;;;:::o;6209:117::-;6318:1;6315;6308:12;6332:117;6441:1;6438;6431:12;6455:117;6564:1;6561;6554:12;6595:568;6668:8;6678:6;6728:3;6721:4;6713:6;6709:17;6705:27;6695:122;;6736:79;;:::i;:::-;6695:122;6849:6;6836:20;6826:30;;6879:18;6871:6;6868:30;6865:117;;;6901:79;;:::i;:::-;6865:117;7015:4;7007:6;7003:17;6991:29;;7069:3;7061:4;7053:6;7049:17;7039:8;7035:32;7032:41;7029:128;;;7076:79;;:::i;:::-;7029:128;6595:568;;;;;:::o;7169:116::-;7239:21;7254:5;7239:21;:::i;:::-;7232:5;7229:32;7219:60;;7275:1;7272;7265:12;7219:60;7169:116;:::o;7291:133::-;7334:5;7372:6;7359:20;7350:29;;7388:30;7412:5;7388:30;:::i;:::-;7291:133;;;;:::o;7430:698::-;7522:6;7530;7538;7587:2;7575:9;7566:7;7562:23;7558:32;7555:119;;;7593:79;;:::i;:::-;7555:119;7741:1;7730:9;7726:17;7713:31;7771:18;7763:6;7760:30;7757:117;;;7793:79;;:::i;:::-;7757:117;7906:80;7978:7;7969:6;7958:9;7954:22;7906:80;:::i;:::-;7888:98;;;;7684:312;8035:2;8061:50;8103:7;8094:6;8083:9;8079:22;8061:50;:::i;:::-;8051:60;;8006:115;7430:698;;;;;:::o;8134:329::-;8193:6;8242:2;8230:9;8221:7;8217:23;8213:32;8210:119;;;8248:79;;:::i;:::-;8210:119;8368:1;8393:53;8438:7;8429:6;8418:9;8414:22;8393:53;:::i;:::-;8383:63;;8339:117;8134:329;;;;:::o;8469:118::-;8556:24;8574:5;8556:24;:::i;:::-;8551:3;8544:37;8469:118;;:::o;8593:222::-;8686:4;8724:2;8713:9;8709:18;8701:26;;8737:71;8805:1;8794:9;8790:17;8781:6;8737:71;:::i;:::-;8593:222;;;;:::o;8821:474::-;8889:6;8897;8946:2;8934:9;8925:7;8921:23;8917:32;8914:119;;;8952:79;;:::i;:::-;8914:119;9072:1;9097:53;9142:7;9133:6;9122:9;9118:22;9097:53;:::i;:::-;9087:63;;9043:117;9199:2;9225:53;9270:7;9261:6;9250:9;9246:22;9225:53;:::i;:::-;9215:63;;9170:118;8821:474;;;;;:::o;9301:180::-;9349:77;9346:1;9339:88;9446:4;9443:1;9436:15;9470:4;9467:1;9460:15;9487:320;9531:6;9568:1;9562:4;9558:12;9548:22;;9615:1;9609:4;9605:12;9636:18;9626:81;;9692:4;9684:6;9680:17;9670:27;;9626:81;9754:2;9746:6;9743:14;9723:18;9720:38;9717:84;;;9773:18;;:::i;:::-;9717:84;9538:269;9487:320;;;:::o;9813:182::-;9953:34;9949:1;9941:6;9937:14;9930:58;9813:182;:::o;10001:366::-;10143:3;10164:67;10228:2;10223:3;10164:67;:::i;:::-;10157:74;;10240:93;10329:3;10240:93;:::i;:::-;10358:2;10353:3;10349:12;10342:19;;10001:366;;;:::o;10373:419::-;10539:4;10577:2;10566:9;10562:18;10554:26;;10626:9;10620:4;10616:20;10612:1;10601:9;10597:17;10590:47;10654:131;10780:4;10654:131;:::i;:::-;10646:139;;10373:419;;;:::o;10798:180::-;10846:77;10843:1;10836:88;10943:4;10940:1;10933:15;10967:4;10964:1;10957:15;10984:180;11032:77;11029:1;11022:88;11129:4;11126:1;11119:15;11153:4;11150:1;11143:15;11170:233;11209:3;11232:24;11250:5;11232:24;:::i;:::-;11223:33;;11278:66;11271:5;11268:77;11265:103;;;11348:18;;:::i;:::-;11265:103;11395:1;11388:5;11384:13;11377:20;;11170:233;;;:::o;11409:225::-;11549:34;11545:1;11537:6;11533:14;11526:58;11618:8;11613:2;11605:6;11601:15;11594:33;11409:225;:::o;11640:366::-;11782:3;11803:67;11867:2;11862:3;11803:67;:::i;:::-;11796:74;;11879:93;11968:3;11879:93;:::i;:::-;11997:2;11992:3;11988:12;11981:19;;11640:366;;;:::o;12012:419::-;12178:4;12216:2;12205:9;12201:18;12193:26;;12265:9;12259:4;12255:20;12251:1;12240:9;12236:17;12229:47;12293:131;12419:4;12293:131;:::i;:::-;12285:139;;12012:419;;;:::o;12437:143::-;12494:5;12525:6;12519:13;12510:22;;12541:33;12568:5;12541:33;:::i;:::-;12437:143;;;;:::o;12586:351::-;12656:6;12705:2;12693:9;12684:7;12680:23;12676:32;12673:119;;;12711:79;;:::i;:::-;12673:119;12831:1;12856:64;12912:7;12903:6;12892:9;12888:22;12856:64;:::i;:::-;12846:74;;12802:128;12586:351;;;;:::o;12943:332::-;13064:4;13102:2;13091:9;13087:18;13079:26;;13115:71;13183:1;13172:9;13168:17;13159:6;13115:71;:::i;:::-;13196:72;13264:2;13253:9;13249:18;13240:6;13196:72;:::i;:::-;12943:332;;;;;:::o;13281:305::-;13321:3;13340:20;13358:1;13340:20;:::i;:::-;13335:25;;13374:20;13392:1;13374:20;:::i;:::-;13369:25;;13528:1;13460:66;13456:74;13453:1;13450:81;13447:107;;;13534:18;;:::i;:::-;13447:107;13578:1;13575;13571:9;13564:16;;13281:305;;;;:::o;13592:223::-;13732:34;13728:1;13720:6;13716:14;13709:58;13801:6;13796:2;13788:6;13784:15;13777:31;13592:223;:::o;13821:366::-;13963:3;13984:67;14048:2;14043:3;13984:67;:::i;:::-;13977:74;;14060:93;14149:3;14060:93;:::i;:::-;14178:2;14173:3;14169:12;14162:19;;13821:366;;;:::o;14193:419::-;14359:4;14397:2;14386:9;14382:18;14374:26;;14446:9;14440:4;14436:20;14432:1;14421:9;14417:17;14410:47;14474:131;14600:4;14474:131;:::i;:::-;14466:139;;14193:419;;;:::o;14618:221::-;14758:34;14754:1;14746:6;14742:14;14735:58;14827:4;14822:2;14814:6;14810:15;14803:29;14618:221;:::o;14845:366::-;14987:3;15008:67;15072:2;15067:3;15008:67;:::i;:::-;15001:74;;15084:93;15173:3;15084:93;:::i;:::-;15202:2;15197:3;15193:12;15186:19;;14845:366;;;:::o;15217:419::-;15383:4;15421:2;15410:9;15406:18;15398:26;;15470:9;15464:4;15460:20;15456:1;15445:9;15441:17;15434:47;15498:131;15624:4;15498:131;:::i;:::-;15490:139;;15217:419;;;:::o;15642:224::-;15782:34;15778:1;15770:6;15766:14;15759:58;15851:7;15846:2;15838:6;15834:15;15827:32;15642:224;:::o;15872:366::-;16014:3;16035:67;16099:2;16094:3;16035:67;:::i;:::-;16028:74;;16111:93;16200:3;16111:93;:::i;:::-;16229:2;16224:3;16220:12;16213:19;;15872:366;;;:::o;16244:419::-;16410:4;16448:2;16437:9;16433:18;16425:26;;16497:9;16491:4;16487:20;16483:1;16472:9;16468:17;16461:47;16525:131;16651:4;16525:131;:::i;:::-;16517:139;;16244:419;;;:::o;16669:222::-;16809:34;16805:1;16797:6;16793:14;16786:58;16878:5;16873:2;16865:6;16861:15;16854:30;16669:222;:::o;16897:366::-;17039:3;17060:67;17124:2;17119:3;17060:67;:::i;:::-;17053:74;;17136:93;17225:3;17136:93;:::i;:::-;17254:2;17249:3;17245:12;17238:19;;16897:366;;;:::o;17269:419::-;17435:4;17473:2;17462:9;17458:18;17450:26;;17522:9;17516:4;17512:20;17508:1;17497:9;17493:17;17486:47;17550:131;17676:4;17550:131;:::i;:::-;17542:139;;17269:419;;;:::o;17694:161::-;17834:13;17830:1;17822:6;17818:14;17811:37;17694:161;:::o;17861:366::-;18003:3;18024:67;18088:2;18083:3;18024:67;:::i;:::-;18017:74;;18100:93;18189:3;18100:93;:::i;:::-;18218:2;18213:3;18209:12;18202:19;;17861:366;;;:::o;18233:419::-;18399:4;18437:2;18426:9;18422:18;18414:26;;18486:9;18480:4;18476:20;18472:1;18461:9;18457:17;18450:47;18514:131;18640:4;18514:131;:::i;:::-;18506:139;;18233:419;;;:::o;18658:348::-;18698:7;18721:20;18739:1;18721:20;:::i;:::-;18716:25;;18755:20;18773:1;18755:20;:::i;:::-;18750:25;;18943:1;18875:66;18871:74;18868:1;18865:81;18860:1;18853:9;18846:17;18842:105;18839:131;;;18950:18;;:::i;:::-;18839:131;18998:1;18995;18991:9;18980:20;;18658:348;;;;:::o;19012:180::-;19060:77;19057:1;19050:88;19157:4;19154:1;19147:15;19181:4;19178:1;19171:15;19198:185;19238:1;19255:20;19273:1;19255:20;:::i;:::-;19250:25;;19289:20;19307:1;19289:20;:::i;:::-;19284:25;;19328:1;19318:35;;19333:18;;:::i;:::-;19318:35;19375:1;19372;19368:9;19363:14;;19198:185;;;;:::o;19389:191::-;19429:4;19449:20;19467:1;19449:20;:::i;:::-;19444:25;;19483:20;19501:1;19483:20;:::i;:::-;19478:25;;19522:1;19519;19516:8;19513:34;;;19527:18;;:::i;:::-;19513:34;19572:1;19569;19565:9;19557:17;;19389:191;;;;:::o

ipfs://99eae5dd1a260c625c92eb7420930ff80eff818c279be4cddb84f4c3aeaefc50