Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(
•    - function allowance(
•    - function approve(address spender, uin ...
•    - function transferFrom(
• interface IERC20Metadata is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function _msgSender()
•    - function _msgData()
•    - function owner()
•    - function _checkOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
•  contract ERC20 is IERC20, IERC20Me ...
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(
•    - function transfer(
•    - function allowance(
•    - function approve(
•    - function transferFrom(
•    - function increaseAllowance(
•    - function decreaseAllowance(
•    - function _transfer(
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(
•    - function _beforeTokenTransfer(
•    - function _afterTokenTransfer(
•  contract CINOS is ERC20 *

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at SonicScan.org on 2025-02-20
*/

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

interface IERC20 {
    function totalSupply() external view returns (uint256);

    function balanceOf(address account) external view returns (uint256);

    function transfer(
        address recipient,
        uint256 amount
    ) external returns (bool);

    function allowance(
        address owner,
        address spender
    ) external view returns (uint256);

    function approve(address spender, uint256 amount) external returns (bool);

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) external returns (bool);

    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(
        address indexed owner,
        address indexed spender,
        uint256 value
    );
}

interface IERC20Metadata is IERC20 {
    function name() external view returns (string memory);

    function symbol() external view returns (string memory);

    function decimals() external view returns (uint8);
}

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;

    error OwnableUnauthorizedAccount(address account);

    error OwnableInvalidOwner(address owner);

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

    constructor(address initialOwner) {
        if (initialOwner == address(0)) {
            revert OwnableInvalidOwner(address(0));
        }
        _transferOwnership(initialOwner);
    }

    modifier onlyOwner() {
        _checkOwner();
        _;
    }

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

    function _checkOwner() internal view virtual {
        if (owner() != _msgSender()) {
            revert OwnableUnauthorizedAccount(_msgSender());
        }
    }

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

    function transferOwnership(address newOwner) public virtual onlyOwner {
        if (newOwner == address(0)) {
            revert OwnableInvalidOwner(address(0));
        }
        _transferOwnership(newOwner);
    }

    function _transferOwnership(address newOwner) internal virtual {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}

contract ERC20 is IERC20, IERC20Metadata, Ownable(msg.sender) {
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    uint256 private _totalSupply;
    string private _name;
    string private _symbol;

    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

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

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

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

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

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

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

        uint256 currentAllowance = _allowances[sender][_msgSender()];
        require(
            currentAllowance >= amount,
            "ERC20: transfer amount exceeds allowance"
        );
        unchecked {
            _approve(sender, _msgSender(), currentAllowance - amount);
        }

        return true;
    }

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

    function decreaseAllowance(
        address spender,
        uint256 subtractedValue
    ) public virtual returns (bool) {
        uint256 currentAllowance = _allowances[_msgSender()][spender];
        require(
            currentAllowance >= subtractedValue,
            "ERC20: decreased allowance below zero"
        );
        unchecked {
            _approve(_msgSender(), spender, currentAllowance - subtractedValue);
        }

        return true;
    }

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

        _beforeTokenTransfer(sender, recipient, amount);

        uint256 senderBalance = _balances[sender];
        require(
            senderBalance >= amount,
            "ERC20: transfer amount exceeds balance"
        );

        _balances[sender] = senderBalance - amount;

        _balances[recipient] += amount;

        emit Transfer(sender, recipient, amount);

        _afterTokenTransfer(sender, recipient, amount);
    }

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

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

        _totalSupply += amount;
        _balances[account] += amount;
        emit Transfer(address(0), account, amount);

        _afterTokenTransfer(address(0), account, amount);
    }

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

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

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn amount exceeds balance");

        _balances[account] = accountBalance - amount;

        _totalSupply -= amount;

        emit Transfer(account, address(0), amount);

        _afterTokenTransfer(account, address(0), amount);
    }

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

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

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

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

contract CINOS is ERC20 {
    constructor() ERC20("CINOS", "C") {
        _mint(msg.sender, 1_000_000_000 ether);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"OwnableInvalidOwner","type":"error"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"OwnableUnauthorizedAccount","type":"error"},{"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":"_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":"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":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"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"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405234801561000f575f80fd5b506040518060400160405280600581526020017f43494e4f530000000000000000000000000000000000000000000000000000008152506040518060400160405280600181526020017f4300000000000000000000000000000000000000000000000000000000000000815250335f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036100ed575f6040517f1e4fbdf70000000000000000000000000000000000000000000000000000000081526004016100e491906103ae565b60405180910390fd5b6100fc8161014060201b60201c565b50816004908161010c9190610601565b50806005908161011c9190610601565b50505061013b336b033b2e3c9fd0803ce800000061020160201b60201c565b6107d0565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050815f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361026f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016102669061072a565b60405180910390fd5b6102805f838361036560201b60201c565b8060035f8282546102919190610775565b925050819055508060015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546102e49190610775565b925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161034891906107b7565b60405180910390a36103615f838361036a60201b60201c565b5050565b505050565b505050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6103988261036f565b9050919050565b6103a88161038e565b82525050565b5f6020820190506103c15f83018461039f565b92915050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061044257607f821691505b602082108103610455576104546103fe565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026104b77fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8261047c565b6104c1868361047c565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f6105056105006104fb846104d9565b6104e2565b6104d9565b9050919050565b5f819050919050565b61051e836104eb565b61053261052a8261050c565b848454610488565b825550505050565b5f90565b61054661053a565b610551818484610515565b505050565b5b81811015610574576105695f8261053e565b600181019050610557565b5050565b601f8211156105b95761058a8161045b565b6105938461046d565b810160208510156105a2578190505b6105b66105ae8561046d565b830182610556565b50505b505050565b5f82821c905092915050565b5f6105d95f19846008026105be565b1980831691505092915050565b5f6105f183836105ca565b9150826002028217905092915050565b61060a826103c7565b67ffffffffffffffff811115610623576106226103d1565b5b61062d825461042b565b610638828285610578565b5f60209050601f831160018114610669575f8415610657578287015190505b61066185826105e6565b8655506106c8565b601f1984166106778661045b565b5f5b8281101561069e57848901518255600182019150602085019450602081019050610679565b868310156106bb57848901516106b7601f8916826105ca565b8355505b6001600288020188555050505b505050505050565b5f82825260208201905092915050565b7f45524332303a206d696e7420746f20746865207a65726f2061646472657373005f82015250565b5f610714601f836106d0565b915061071f826106e0565b602082019050919050565b5f6020820190508181035f83015261074181610708565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61077f826104d9565b915061078a836104d9565b92508282019050808211156107a2576107a1610748565b5b92915050565b6107b1816104d9565b82525050565b5f6020820190506107ca5f8301846107a8565b92915050565b6115dc806107dd5f395ff3fe608060405234801561000f575f80fd5b50600436106100e8575f3560e01c8063715018a61161008a578063a457c2d711610064578063a457c2d71461024c578063a9059cbb1461027c578063dd62ed3e146102ac578063f2fde38b146102dc576100e8565b8063715018a6146102065780638da5cb5b1461021057806395d89b411461022e576100e8565b806323b872dd116100c657806323b872dd14610158578063313ce5671461018857806339509351146101a657806370a08231146101d6576100e8565b806306fdde03146100ec578063095ea7b31461010a57806318160ddd1461013a575b5f80fd5b6100f46102f8565b6040516101019190610e75565b60405180910390f35b610124600480360381019061011f9190610f26565b610388565b6040516101319190610f7e565b60405180910390f35b6101426103a5565b60405161014f9190610fa6565b60405180910390f35b610172600480360381019061016d9190610fbf565b6103ae565b60405161017f9190610f7e565b60405180910390f35b6101906104a0565b60405161019d919061102a565b60405180910390f35b6101c060048036038101906101bb9190610f26565b6104a8565b6040516101cd9190610f7e565b60405180910390f35b6101f060048036038101906101eb9190611043565b61054f565b6040516101fd9190610fa6565b60405180910390f35b61020e610595565b005b6102186105a8565b604051610225919061107d565b60405180910390f35b6102366105cf565b6040516102439190610e75565b60405180910390f35b61026660048036038101906102619190610f26565b61065f565b6040516102739190610f7e565b60405180910390f35b61029660048036038101906102919190610f26565b610745565b6040516102a39190610f7e565b60405180910390f35b6102c660048036038101906102c19190611096565b610762565b6040516102d39190610fa6565b60405180910390f35b6102f660048036038101906102f19190611043565b6107e4565b005b60606004805461030790611101565b80601f016020809104026020016040519081016040528092919081815260200182805461033390611101565b801561037e5780601f106103555761010080835404028352916020019161037e565b820191905f5260205f20905b81548152906001019060200180831161036157829003601f168201915b5050505050905090565b5f61039b610394610868565b848461086f565b6001905092915050565b5f600354905090565b5f6103ba848484610a32565b5f60025f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f610401610868565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610480576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610477906111a1565b60405180910390fd5b6104948561048c610868565b85840361086f565b60019150509392505050565b5f6012905090565b5f6105456104b4610868565b848460025f6104c1610868565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461054091906111ec565b61086f565b6001905092915050565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b61059d610cb3565b6105a65f610d3a565b565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600580546105de90611101565b80601f016020809104026020016040519081016040528092919081815260200182805461060a90611101565b80156106555780601f1061062c57610100808354040283529160200191610655565b820191905f5260205f20905b81548152906001019060200180831161063857829003601f168201915b5050505050905090565b5f8060025f61066c610868565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610726576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071d9061128f565b60405180910390fd5b61073a610731610868565b8585840361086f565b600191505092915050565b5f610758610751610868565b8484610a32565b6001905092915050565b5f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b6107ec610cb3565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361085c575f6040517f1e4fbdf7000000000000000000000000000000000000000000000000000000008152600401610853919061107d565b60405180910390fd5b61086581610d3a565b50565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036108dd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108d49061131d565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361094b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610942906113ab565b60405180910390fd5b8060025f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610a259190610fa6565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610aa0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a9790611439565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610b0e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b05906114c7565b60405180910390fd5b610b19838383610dfb565b5f60015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610b9d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b9490611555565b60405180910390fd5b8181610ba99190611573565b60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610c3691906111ec565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610c9a9190610fa6565b60405180910390a3610cad848484610e00565b50505050565b610cbb610868565b73ffffffffffffffffffffffffffffffffffffffff16610cd96105a8565b73ffffffffffffffffffffffffffffffffffffffff1614610d3857610cfc610868565b6040517f118cdaa7000000000000000000000000000000000000000000000000000000008152600401610d2f919061107d565b60405180910390fd5b565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050815f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b505050565b505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610e4782610e05565b610e518185610e0f565b9350610e61818560208601610e1f565b610e6a81610e2d565b840191505092915050565b5f6020820190508181035f830152610e8d8184610e3d565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610ec282610e99565b9050919050565b610ed281610eb8565b8114610edc575f80fd5b50565b5f81359050610eed81610ec9565b92915050565b5f819050919050565b610f0581610ef3565b8114610f0f575f80fd5b50565b5f81359050610f2081610efc565b92915050565b5f8060408385031215610f3c57610f3b610e95565b5b5f610f4985828601610edf565b9250506020610f5a85828601610f12565b9150509250929050565b5f8115159050919050565b610f7881610f64565b82525050565b5f602082019050610f915f830184610f6f565b92915050565b610fa081610ef3565b82525050565b5f602082019050610fb95f830184610f97565b92915050565b5f805f60608486031215610fd657610fd5610e95565b5b5f610fe386828701610edf565b9350506020610ff486828701610edf565b925050604061100586828701610f12565b9150509250925092565b5f60ff82169050919050565b6110248161100f565b82525050565b5f60208201905061103d5f83018461101b565b92915050565b5f6020828403121561105857611057610e95565b5b5f61106584828501610edf565b91505092915050565b61107781610eb8565b82525050565b5f6020820190506110905f83018461106e565b92915050565b5f80604083850312156110ac576110ab610e95565b5b5f6110b985828601610edf565b92505060206110ca85828601610edf565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061111857607f821691505b60208210810361112b5761112a6110d4565b5b50919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320615f8201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b5f61118b602883610e0f565b915061119682611131565b604082019050919050565b5f6020820190508181035f8301526111b88161117f565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6111f682610ef3565b915061120183610ef3565b9250828201905080821115611219576112186111bf565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f611279602583610e0f565b91506112848261121f565b604082019050919050565b5f6020820190508181035f8301526112a68161126d565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f611307602483610e0f565b9150611312826112ad565b604082019050919050565b5f6020820190508181035f830152611334816112fb565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f611395602283610e0f565b91506113a08261133b565b604082019050919050565b5f6020820190508181035f8301526113c281611389565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f611423602583610e0f565b915061142e826113c9565b604082019050919050565b5f6020820190508181035f83015261145081611417565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6114b1602383610e0f565b91506114bc82611457565b604082019050919050565b5f6020820190508181035f8301526114de816114a5565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f61153f602683610e0f565b915061154a826114e5565b604082019050919050565b5f6020820190508181035f83015261156c81611533565b9050919050565b5f61157d82610ef3565b915061158883610ef3565b92508282039050818111156115a05761159f6111bf565b5b9291505056fea26469706673582212207027f32526dc3e13727a696785f2bf0f632c5c73e9ea9dfba3ca39561a01881264736f6c63430008190033

0x608060405234801561000f575f80fd5b50600436106100e8575f3560e01c8063715018a61161008a578063a457c2d711610064578063a457c2d71461024c578063a9059cbb1461027c578063dd62ed3e146102ac578063f2fde38b146102dc576100e8565b8063715018a6146102065780638da5cb5b1461021057806395d89b411461022e576100e8565b806323b872dd116100c657806323b872dd14610158578063313ce5671461018857806339509351146101a657806370a08231146101d6576100e8565b806306fdde03146100ec578063095ea7b31461010a57806318160ddd1461013a575b5f80fd5b6100f46102f8565b6040516101019190610e75565b60405180910390f35b610124600480360381019061011f9190610f26565b610388565b6040516101319190610f7e565b60405180910390f35b6101426103a5565b60405161014f9190610fa6565b60405180910390f35b610172600480360381019061016d9190610fbf565b6103ae565b60405161017f9190610f7e565b60405180910390f35b6101906104a0565b60405161019d919061102a565b60405180910390f35b6101c060048036038101906101bb9190610f26565b6104a8565b6040516101cd9190610f7e565b60405180910390f35b6101f060048036038101906101eb9190611043565b61054f565b6040516101fd9190610fa6565b60405180910390f35b61020e610595565b005b6102186105a8565b604051610225919061107d565b60405180910390f35b6102366105cf565b6040516102439190610e75565b60405180910390f35b61026660048036038101906102619190610f26565b61065f565b6040516102739190610f7e565b60405180910390f35b61029660048036038101906102919190610f26565b610745565b6040516102a39190610f7e565b60405180910390f35b6102c660048036038101906102c19190611096565b610762565b6040516102d39190610fa6565b60405180910390f35b6102f660048036038101906102f19190611043565b6107e4565b005b60606004805461030790611101565b80601f016020809104026020016040519081016040528092919081815260200182805461033390611101565b801561037e5780601f106103555761010080835404028352916020019161037e565b820191905f5260205f20905b81548152906001019060200180831161036157829003601f168201915b5050505050905090565b5f61039b610394610868565b848461086f565b6001905092915050565b5f600354905090565b5f6103ba848484610a32565b5f60025f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f610401610868565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610480576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610477906111a1565b60405180910390fd5b6104948561048c610868565b85840361086f565b60019150509392505050565b5f6012905090565b5f6105456104b4610868565b848460025f6104c1610868565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461054091906111ec565b61086f565b6001905092915050565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b61059d610cb3565b6105a65f610d3a565b565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600580546105de90611101565b80601f016020809104026020016040519081016040528092919081815260200182805461060a90611101565b80156106555780601f1061062c57610100808354040283529160200191610655565b820191905f5260205f20905b81548152906001019060200180831161063857829003601f168201915b5050505050905090565b5f8060025f61066c610868565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610726576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071d9061128f565b60405180910390fd5b61073a610731610868565b8585840361086f565b600191505092915050565b5f610758610751610868565b8484610a32565b6001905092915050565b5f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b6107ec610cb3565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361085c575f6040517f1e4fbdf7000000000000000000000000000000000000000000000000000000008152600401610853919061107d565b60405180910390fd5b61086581610d3a565b50565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036108dd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108d49061131d565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361094b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610942906113ab565b60405180910390fd5b8060025f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610a259190610fa6565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610aa0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a9790611439565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610b0e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b05906114c7565b60405180910390fd5b610b19838383610dfb565b5f60015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610b9d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b9490611555565b60405180910390fd5b8181610ba99190611573565b60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610c3691906111ec565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610c9a9190610fa6565b60405180910390a3610cad848484610e00565b50505050565b610cbb610868565b73ffffffffffffffffffffffffffffffffffffffff16610cd96105a8565b73ffffffffffffffffffffffffffffffffffffffff1614610d3857610cfc610868565b6040517f118cdaa7000000000000000000000000000000000000000000000000000000008152600401610d2f919061107d565b60405180910390fd5b565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050815f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b505050565b505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610e4782610e05565b610e518185610e0f565b9350610e61818560208601610e1f565b610e6a81610e2d565b840191505092915050565b5f6020820190508181035f830152610e8d8184610e3d565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610ec282610e99565b9050919050565b610ed281610eb8565b8114610edc575f80fd5b50565b5f81359050610eed81610ec9565b92915050565b5f819050919050565b610f0581610ef3565b8114610f0f575f80fd5b50565b5f81359050610f2081610efc565b92915050565b5f8060408385031215610f3c57610f3b610e95565b5b5f610f4985828601610edf565b9250506020610f5a85828601610f12565b9150509250929050565b5f8115159050919050565b610f7881610f64565b82525050565b5f602082019050610f915f830184610f6f565b92915050565b610fa081610ef3565b82525050565b5f602082019050610fb95f830184610f97565b92915050565b5f805f60608486031215610fd657610fd5610e95565b5b5f610fe386828701610edf565b9350506020610ff486828701610edf565b925050604061100586828701610f12565b9150509250925092565b5f60ff82169050919050565b6110248161100f565b82525050565b5f60208201905061103d5f83018461101b565b92915050565b5f6020828403121561105857611057610e95565b5b5f61106584828501610edf565b91505092915050565b61107781610eb8565b82525050565b5f6020820190506110905f83018461106e565b92915050565b5f80604083850312156110ac576110ab610e95565b5b5f6110b985828601610edf565b92505060206110ca85828601610edf565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061111857607f821691505b60208210810361112b5761112a6110d4565b5b50919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320615f8201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b5f61118b602883610e0f565b915061119682611131565b604082019050919050565b5f6020820190508181035f8301526111b88161117f565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6111f682610ef3565b915061120183610ef3565b9250828201905080821115611219576112186111bf565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f611279602583610e0f565b91506112848261121f565b604082019050919050565b5f6020820190508181035f8301526112a68161126d565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f611307602483610e0f565b9150611312826112ad565b604082019050919050565b5f6020820190508181035f830152611334816112fb565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f611395602283610e0f565b91506113a08261133b565b604082019050919050565b5f6020820190508181035f8301526113c281611389565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f611423602583610e0f565b915061142e826113c9565b604082019050919050565b5f6020820190508181035f83015261145081611417565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6114b1602383610e0f565b91506114bc82611457565b604082019050919050565b5f6020820190508181035f8301526114de816114a5565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f61153f602683610e0f565b915061154a826114e5565b604082019050919050565b5f6020820190508181035f83015261156c81611533565b9050919050565b5f61157d82610ef3565b915061158883610ef3565b92508282039050818111156115a05761159f6111bf565b5b9291505056fea26469706673582212207027f32526dc3e13727a696785f2bf0f632c5c73e9ea9dfba3ca39561a01881264736f6c63430008190033

8007:125:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3129:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4111:194;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3450:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4313:529;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3349:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4850:290;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3566:143;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2180:103;;;:::i;:::-;;1911:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3237:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5148:475;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3717:200;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3925:178;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2291:220;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3129:100;3183:13;3216:5;3209:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3129:100;:::o;4111:194::-;4219:4;4236:39;4245:12;:10;:12::i;:::-;4259:7;4268:6;4236:8;:39::i;:::-;4293:4;4286:11;;4111:194;;;;:::o;3450:108::-;3511:7;3538:12;;3531:19;;3450:108;:::o;4313:529::-;4453:4;4470:36;4480:6;4488:9;4499:6;4470:9;:36::i;:::-;4519:24;4546:11;:19;4558:6;4546:19;;;;;;;;;;;;;;;:33;4566:12;:10;:12::i;:::-;4546:33;;;;;;;;;;;;;;;;4519:60;;4632:6;4612:16;:26;;4590:116;;;;;;;;;;;;:::i;:::-;;;;;;;;;4742:57;4751:6;4759:12;:10;:12::i;:::-;4792:6;4773:16;:25;4742:8;:57::i;:::-;4830:4;4823:11;;;4313:529;;;;;:::o;3349:93::-;3407:5;3432:2;3425:9;;3349:93;:::o;4850:290::-;4963:4;4980:130;5003:12;:10;:12::i;:::-;5030:7;5089:10;5052:11;:25;5064:12;:10;:12::i;:::-;5052:25;;;;;;;;;;;;;;;:34;5078:7;5052:34;;;;;;;;;;;;;;;;:47;;;;:::i;:::-;4980:8;:130::i;:::-;5128:4;5121:11;;4850:290;;;;:::o;3566:143::-;3656:7;3683:9;:18;3693:7;3683:18;;;;;;;;;;;;;;;;3676:25;;3566:143;;;:::o;2180:103::-;1870:13;:11;:13::i;:::-;2245:30:::1;2272:1;2245:18;:30::i;:::-;2180:103::o:0;1911:87::-;1957:7;1984:6;;;;;;;;;;;1977:13;;1911:87;:::o;3237:104::-;3293:13;3326:7;3319:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3237:104;:::o;5148:475::-;5266:4;5283:24;5310:11;:25;5322:12;:10;:12::i;:::-;5310:25;;;;;;;;;;;;;;;:34;5336:7;5310:34;;;;;;;;;;;;;;;;5283:61;;5397:15;5377:16;:35;;5355:122;;;;;;;;;;;;:::i;:::-;;;;;;;;;5513:67;5522:12;:10;:12::i;:::-;5536:7;5564:15;5545:16;:34;5513:8;:67::i;:::-;5611:4;5604:11;;;5148:475;;;;:::o;3717:200::-;3828:4;3845:42;3855:12;:10;:12::i;:::-;3869:9;3880:6;3845:9;:42::i;:::-;3905:4;3898:11;;3717:200;;;;:::o;3925:178::-;4040:7;4067:11;:19;4079:6;4067:19;;;;;;;;;;;;;;;:28;4087:7;4067:28;;;;;;;;;;;;;;;;4060:35;;3925:178;;;;:::o;2291:220::-;1870:13;:11;:13::i;:::-;2396:1:::1;2376:22;;:8;:22;;::::0;2372:93:::1;;2450:1;2422:31;;;;;;;;;;;:::i;:::-;;;;;;;;2372:93;2475:28;2494:8;2475:18;:28::i;:::-;2291:220:::0;:::o;1125:98::-;1178:7;1205:10;1198:17;;1125:98;:::o;7351:384::-;7506:1;7488:20;;:6;:20;;;7480:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;7587:1;7568:21;;:7;:21;;;7560:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;7672:6;7641:11;:19;7653:6;7641:19;;;;;;;;;;;;;;;:28;7661:7;7641:28;;;;;;;;;;;;;;;:37;;;;7711:7;7694:33;;7703:6;7694:33;;;7720:6;7694:33;;;;;;:::i;:::-;;;;;;;;7351:384;;;:::o;5631:738::-;5789:1;5771:20;;:6;:20;;;5763:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;5873:1;5852:23;;:9;:23;;;5844:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;5928:47;5949:6;5957:9;5968:6;5928:20;:47::i;:::-;5988:21;6012:9;:17;6022:6;6012:17;;;;;;;;;;;;;;;;5988:41;;6079:6;6062:13;:23;;6040:111;;;;;;;;;;;;:::i;:::-;;;;;;;;;6200:6;6184:13;:22;;;;:::i;:::-;6164:9;:17;6174:6;6164:17;;;;;;;;;;;;;;;:42;;;;6243:6;6219:9;:20;6229:9;6219:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;6284:9;6267:35;;6276:6;6267:35;;;6295:6;6267:35;;;;;;:::i;:::-;;;;;;;;6315:46;6335:6;6343:9;6354:6;6315:19;:46::i;:::-;5752:617;5631:738;;;:::o;2006:166::-;2077:12;:10;:12::i;:::-;2066:23;;:7;:5;:7::i;:::-;:23;;;2062:103;;2140:12;:10;:12::i;:::-;2113:40;;;;;;;;;;;:::i;:::-;;;;;;;;2062:103;2006:166::o;2519:191::-;2593:16;2612:6;;;;;;;;;;;2593:25;;2638:8;2629:6;;:17;;;;;;;;;;;;;;;;;;2693:8;2662:40;;2683:8;2662:40;;;;;;;;;;;;2582:128;2519:191;:::o;7743:125::-;;;;:::o;7876:124::-;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:139::-;376:6;371:3;366;360:23;417:1;408:6;403:3;399:16;392:27;287:139;;;:::o;432:102::-;473:6;524:2;520:7;515:2;508:5;504:14;500:28;490:38;;432:102;;;:::o;540:377::-;628:3;656:39;689:5;656:39;:::i;:::-;711:71;775:6;770:3;711:71;:::i;:::-;704:78;;791:65;849:6;844:3;837:4;830:5;826:16;791:65;:::i;:::-;881:29;903:6;881:29;:::i;:::-;876:3;872:39;865:46;;632:285;540:377;;;;:::o;923:313::-;1036:4;1074:2;1063:9;1059:18;1051:26;;1123:9;1117:4;1113:20;1109:1;1098:9;1094:17;1087:47;1151:78;1224:4;1215:6;1151:78;:::i;:::-;1143:86;;923:313;;;;:::o;1323:117::-;1432:1;1429;1422:12;1569:126;1606:7;1646:42;1639:5;1635:54;1624:65;;1569:126;;;:::o;1701:96::-;1738:7;1767:24;1785:5;1767:24;:::i;:::-;1756:35;;1701:96;;;:::o;1803:122::-;1876:24;1894:5;1876:24;:::i;:::-;1869:5;1866:35;1856:63;;1915:1;1912;1905:12;1856:63;1803:122;:::o;1931:139::-;1977:5;2015:6;2002:20;1993:29;;2031:33;2058:5;2031:33;:::i;:::-;1931:139;;;;:::o;2076:77::-;2113:7;2142:5;2131:16;;2076:77;;;:::o;2159:122::-;2232:24;2250:5;2232:24;:::i;:::-;2225:5;2222:35;2212:63;;2271:1;2268;2261:12;2212:63;2159:122;:::o;2287:139::-;2333:5;2371:6;2358:20;2349:29;;2387:33;2414:5;2387:33;:::i;:::-;2287:139;;;;:::o;2432:474::-;2500:6;2508;2557:2;2545:9;2536:7;2532:23;2528:32;2525:119;;;2563:79;;:::i;:::-;2525:119;2683:1;2708:53;2753:7;2744:6;2733:9;2729:22;2708:53;:::i;:::-;2698:63;;2654:117;2810:2;2836:53;2881:7;2872:6;2861:9;2857:22;2836:53;:::i;:::-;2826:63;;2781:118;2432:474;;;;;:::o;2912:90::-;2946:7;2989:5;2982:13;2975:21;2964:32;;2912:90;;;:::o;3008:109::-;3089:21;3104:5;3089:21;:::i;:::-;3084:3;3077:34;3008:109;;:::o;3123:210::-;3210:4;3248:2;3237:9;3233:18;3225:26;;3261:65;3323:1;3312:9;3308:17;3299:6;3261:65;:::i;:::-;3123:210;;;;:::o;3339:118::-;3426:24;3444:5;3426:24;:::i;:::-;3421:3;3414:37;3339:118;;:::o;3463:222::-;3556:4;3594:2;3583:9;3579:18;3571:26;;3607:71;3675:1;3664:9;3660:17;3651:6;3607:71;:::i;:::-;3463:222;;;;:::o;3691:619::-;3768:6;3776;3784;3833:2;3821:9;3812:7;3808:23;3804:32;3801:119;;;3839:79;;:::i;:::-;3801:119;3959:1;3984:53;4029:7;4020:6;4009:9;4005:22;3984:53;:::i;:::-;3974:63;;3930:117;4086:2;4112:53;4157:7;4148:6;4137:9;4133:22;4112:53;:::i;:::-;4102:63;;4057:118;4214:2;4240:53;4285:7;4276:6;4265:9;4261:22;4240:53;:::i;:::-;4230:63;;4185:118;3691:619;;;;;:::o;4316:86::-;4351:7;4391:4;4384:5;4380:16;4369:27;;4316:86;;;:::o;4408:112::-;4491:22;4507:5;4491:22;:::i;:::-;4486:3;4479:35;4408:112;;:::o;4526:214::-;4615:4;4653:2;4642:9;4638:18;4630:26;;4666:67;4730:1;4719:9;4715:17;4706:6;4666:67;:::i;:::-;4526:214;;;;:::o;4746:329::-;4805:6;4854:2;4842:9;4833:7;4829:23;4825:32;4822:119;;;4860:79;;:::i;:::-;4822:119;4980:1;5005:53;5050:7;5041:6;5030:9;5026:22;5005:53;:::i;:::-;4995:63;;4951:117;4746:329;;;;:::o;5081:118::-;5168:24;5186:5;5168:24;:::i;:::-;5163:3;5156:37;5081:118;;:::o;5205:222::-;5298:4;5336:2;5325:9;5321:18;5313:26;;5349:71;5417:1;5406:9;5402:17;5393:6;5349:71;:::i;:::-;5205:222;;;;:::o;5433:474::-;5501:6;5509;5558:2;5546:9;5537:7;5533:23;5529:32;5526:119;;;5564:79;;:::i;:::-;5526:119;5684:1;5709:53;5754:7;5745:6;5734:9;5730:22;5709:53;:::i;:::-;5699:63;;5655:117;5811:2;5837:53;5882:7;5873:6;5862:9;5858:22;5837:53;:::i;:::-;5827:63;;5782:118;5433:474;;;;;:::o;5913:180::-;5961:77;5958:1;5951:88;6058:4;6055:1;6048:15;6082:4;6079:1;6072:15;6099:320;6143:6;6180:1;6174:4;6170:12;6160:22;;6227:1;6221:4;6217:12;6248:18;6238:81;;6304:4;6296:6;6292:17;6282:27;;6238:81;6366:2;6358:6;6355:14;6335:18;6332:38;6329:84;;6385:18;;:::i;:::-;6329:84;6150:269;6099:320;;;:::o;6425:227::-;6565:34;6561:1;6553:6;6549:14;6542:58;6634:10;6629:2;6621:6;6617:15;6610:35;6425:227;:::o;6658:366::-;6800:3;6821:67;6885:2;6880:3;6821:67;:::i;:::-;6814:74;;6897:93;6986:3;6897:93;:::i;:::-;7015:2;7010:3;7006:12;6999:19;;6658:366;;;:::o;7030:419::-;7196:4;7234:2;7223:9;7219:18;7211:26;;7283:9;7277:4;7273:20;7269:1;7258:9;7254:17;7247:47;7311:131;7437:4;7311:131;:::i;:::-;7303:139;;7030:419;;;:::o;7455:180::-;7503:77;7500:1;7493:88;7600:4;7597:1;7590:15;7624:4;7621:1;7614:15;7641:191;7681:3;7700:20;7718:1;7700:20;:::i;:::-;7695:25;;7734:20;7752:1;7734:20;:::i;:::-;7729:25;;7777:1;7774;7770:9;7763:16;;7798:3;7795:1;7792:10;7789:36;;;7805:18;;:::i;:::-;7789:36;7641:191;;;;:::o;7838:224::-;7978:34;7974:1;7966:6;7962:14;7955:58;8047:7;8042:2;8034:6;8030:15;8023:32;7838:224;:::o;8068:366::-;8210:3;8231:67;8295:2;8290:3;8231:67;:::i;:::-;8224:74;;8307:93;8396:3;8307:93;:::i;:::-;8425:2;8420:3;8416:12;8409:19;;8068:366;;;:::o;8440:419::-;8606:4;8644:2;8633:9;8629:18;8621:26;;8693:9;8687:4;8683:20;8679:1;8668:9;8664:17;8657:47;8721:131;8847:4;8721:131;:::i;:::-;8713:139;;8440:419;;;:::o;8865:223::-;9005:34;9001:1;8993:6;8989:14;8982:58;9074:6;9069:2;9061:6;9057:15;9050:31;8865:223;:::o;9094:366::-;9236:3;9257:67;9321:2;9316:3;9257:67;:::i;:::-;9250:74;;9333:93;9422:3;9333:93;:::i;:::-;9451:2;9446:3;9442:12;9435:19;;9094:366;;;:::o;9466:419::-;9632:4;9670:2;9659:9;9655:18;9647:26;;9719:9;9713:4;9709:20;9705:1;9694:9;9690:17;9683:47;9747:131;9873:4;9747:131;:::i;:::-;9739:139;;9466:419;;;:::o;9891:221::-;10031:34;10027:1;10019:6;10015:14;10008:58;10100:4;10095:2;10087:6;10083:15;10076:29;9891:221;:::o;10118:366::-;10260:3;10281:67;10345:2;10340:3;10281:67;:::i;:::-;10274:74;;10357:93;10446:3;10357:93;:::i;:::-;10475:2;10470:3;10466:12;10459:19;;10118:366;;;:::o;10490:419::-;10656:4;10694:2;10683:9;10679:18;10671:26;;10743:9;10737:4;10733:20;10729:1;10718:9;10714:17;10707:47;10771:131;10897:4;10771:131;:::i;:::-;10763:139;;10490:419;;;:::o;10915:224::-;11055:34;11051:1;11043:6;11039:14;11032:58;11124:7;11119:2;11111:6;11107:15;11100:32;10915:224;:::o;11145:366::-;11287:3;11308:67;11372:2;11367:3;11308:67;:::i;:::-;11301:74;;11384:93;11473:3;11384:93;:::i;:::-;11502:2;11497:3;11493:12;11486:19;;11145:366;;;:::o;11517:419::-;11683:4;11721:2;11710:9;11706:18;11698:26;;11770:9;11764:4;11760:20;11756:1;11745:9;11741:17;11734:47;11798:131;11924:4;11798:131;:::i;:::-;11790:139;;11517:419;;;:::o;11942:222::-;12082:34;12078:1;12070:6;12066:14;12059:58;12151:5;12146:2;12138:6;12134:15;12127:30;11942:222;:::o;12170:366::-;12312:3;12333:67;12397:2;12392:3;12333:67;:::i;:::-;12326:74;;12409:93;12498:3;12409:93;:::i;:::-;12527:2;12522:3;12518:12;12511:19;;12170:366;;;:::o;12542:419::-;12708:4;12746:2;12735:9;12731:18;12723:26;;12795:9;12789:4;12785:20;12781:1;12770:9;12766:17;12759:47;12823:131;12949:4;12823:131;:::i;:::-;12815:139;;12542:419;;;:::o;12967:225::-;13107:34;13103:1;13095:6;13091:14;13084:58;13176:8;13171:2;13163:6;13159:15;13152:33;12967:225;:::o;13198:366::-;13340:3;13361:67;13425:2;13420:3;13361:67;:::i;:::-;13354:74;;13437:93;13526:3;13437:93;:::i;:::-;13555:2;13550:3;13546:12;13539:19;;13198:366;;;:::o;13570:419::-;13736:4;13774:2;13763:9;13759:18;13751:26;;13823:9;13817:4;13813:20;13809:1;13798:9;13794:17;13787:47;13851:131;13977:4;13851:131;:::i;:::-;13843:139;;13570:419;;;:::o;13995:194::-;14035:4;14055:20;14073:1;14055:20;:::i;:::-;14050:25;;14089:20;14107:1;14089:20;:::i;:::-;14084:25;;14133:1;14130;14126:9;14118:17;;14157:1;14151:4;14148:11;14145:37;;;14162:18;;:::i;:::-;14145:37;13995:194;;;;:::o

ipfs://7027f32526dc3e13727a696785f2bf0f632c5c73e9ea9dfba3ca39561a018812