Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

import "./IERC20.sol";
import "./SafeMath.sol";

contract ERC20Token is IERC20 {
    using SafeMath for uint256;
    //--- Token configurations ----//
    string public name;
    string public symbol;
    uint8 public decimals;

    mapping(address => uint256) private balances;
    mapping(address => mapping(address => uint256)) private allowed;

    address public receiver;
    uint256 private _totalsupply;

    event Mint(address indexed from, address indexed to, uint256 amount);

    constructor() {
        name = "CarbonZero";
        symbol = "CERO";
        decimals = 18;
        _totalsupply = 600000000 ether;
        receiver = 0x2046C9164762e5b4fE677046C2ABCeF085D3Bd10;
        balances[receiver] = _totalsupply;
        emit Mint(address(0), receiver, _totalsupply);
        emit Transfer(address(0), receiver, _totalsupply);
    }

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

    function balanceOf(address investor)
        public
        view
        override
        returns (uint256)
    {
        return balances[investor];
    }

    function approve(address _spender, uint256 _amount)
        public
        override
        returns (bool)
    {
        require(_spender != address(0), "Address can not be 0x0");
        require(
            balances[msg.sender] >= _amount,
            "Balance does not have enough tokens"
        );
        allowed[msg.sender][_spender] = _amount;
        emit Approval(msg.sender, _spender, _amount);
        return true;
    }

    function allowance(address _from, address _spender)
        public
        view
        override
        returns (uint256)
    {
        return allowed[_from][_spender];
    }

    function transfer(address _to, uint256 _amount)
        public
        override
        returns (bool)
    {
        require(_to != address(0), "Receiver can not be 0x0");
        balances[msg.sender] = (balances[msg.sender]).sub(_amount);
        balances[_to] = (balances[_to]).add(_amount);
        emit Transfer(msg.sender, _to, _amount);
        return true;
    }

    function transferFrom(
        address _from,
        address _to,
        uint256 _amount
    ) public override returns (bool) {
        require(_to != address(0), "Receiver can not be 0x0");
        balances[_from] = (balances[_from]).sub(_amount);
        allowed[_from][msg.sender] = (allowed[_from][msg.sender]).sub(_amount);
        balances[_to] = (balances[_to]).add(_amount);
        emit Transfer(_from, _to, _amount);
        return true;
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.17;

/**
 * @dev Interface of the ERC20 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);
}

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

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @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) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @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 sub(a, b, "SafeMath: subtraction overflow");
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

    /**
     * @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) {
        // 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 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts 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) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts 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) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts 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 mod(a, b, "SafeMath: modulo by zero");
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts with custom message 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, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Mint","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":"_from","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":"investor","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":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"receiver","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","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":"_to","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b5060408051808201909152600a815269436172626f6e5a65726f60b01b602082015260009061003f9082610209565b506040805180820190915260048152634345524f60e01b60208201526001906100689082610209565b506002805460ff191660121790556b01f04ef12cb04cf1580000006006819055600580546001600160a01b031916732046c9164762e5b4fe677046c2abcef085d3bd10908117909155600081815260036020527f442684d063659fe3cb156fd00e81777b6a31bed6e8a720df3c3654e6b137f28c839055604051919290917fab8530f87dc9b59234c4623bf917212bb2536d647574c8e7e5da92c2ede0c9f8916101159190815260200190565b60405180910390a36005546006546040519081526001600160a01b03909116906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a36102c8565b634e487b7160e01b600052604160045260246000fd5b600181811c9082168061019457607f821691505b6020821081036101b457634e487b7160e01b600052602260045260246000fd5b50919050565b601f82111561020457600081815260208120601f850160051c810160208610156101e15750805b601f850160051c820191505b81811015610200578281556001016101ed565b5050505b505050565b81516001600160401b038111156102225761022261016a565b610236816102308454610180565b846101ba565b602080601f83116001811461026b57600084156102535750858301515b600019600386901b1c1916600185901b178555610200565b600085815260208120601f198616915b8281101561029a5788860151825594840194600190910190840161027b565b50858210156102b85787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b610877806102d76000396000f3fe608060405234801561001057600080fd5b506004361061009e5760003560e01c806370a082311161006657806370a082311461012857806395d89b4114610151578063a9059cbb14610159578063dd62ed3e1461016c578063f7260d3e146101a557600080fd5b806306fdde03146100a3578063095ea7b3146100c157806318160ddd146100e457806323b872dd146100f6578063313ce56714610109575b600080fd5b6100ab6101d0565b6040516100b891906106ad565b60405180910390f35b6100d46100cf366004610717565b61025e565b60405190151581526020016100b8565b6006545b6040519081526020016100b8565b6100d4610104366004610741565b610385565b6002546101169060ff1681565b60405160ff90911681526020016100b8565b6100e861013636600461077d565b6001600160a01b031660009081526003602052604090205490565b6100ab6104d5565b6100d4610167366004610717565b6104e2565b6100e861017a366004610798565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b6005546101b8906001600160a01b031681565b6040516001600160a01b0390911681526020016100b8565b600080546101dd906107cb565b80601f0160208091040260200160405190810160405280929190818152602001828054610209906107cb565b80156102565780601f1061022b57610100808354040283529160200191610256565b820191906000526020600020905b81548152906001019060200180831161023957829003601f168201915b505050505081565b60006001600160a01b0383166102b45760405162461bcd60e51b81526020600482015260166024820152750416464726573732063616e206e6f74206265203078360541b60448201526064015b60405180910390fd5b3360009081526003602052604090205482111561031f5760405162461bcd60e51b815260206004820152602360248201527f42616c616e636520646f6573206e6f74206861766520656e6f75676820746f6b604482015262656e7360e81b60648201526084016102ab565b3360008181526004602090815260408083206001600160a01b03881680855290835292819020869055518581529192917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a35060015b92915050565b60006001600160a01b0383166103d75760405162461bcd60e51b8152602060048201526017602482015276052656365697665722063616e206e6f742062652030783604c1b60448201526064016102ab565b6001600160a01b0384166000908152600360205260409020546103fa90836105cb565b6001600160a01b038516600090815260036020908152604080832093909355600481528282203383529052205461043190836105cb565b6001600160a01b03808616600090815260046020908152604080832033845282528083209490945591861681526003909152205461046f9083610614565b6001600160a01b0380851660008181526003602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906104c39086815260200190565b60405180910390a35060019392505050565b600180546101dd906107cb565b60006001600160a01b0383166105345760405162461bcd60e51b8152602060048201526017602482015276052656365697665722063616e206e6f742062652030783604c1b60448201526064016102ab565b3360009081526003602052604090205461054e90836105cb565b33600090815260036020526040808220929092556001600160a01b0385168152205461057a9083610614565b6001600160a01b0384166000818152600360205260409081902092909255905133907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906103739086815260200190565b600061060d83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610673565b9392505050565b600080610621838561081b565b90508381101561060d5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016102ab565b600081848411156106975760405162461bcd60e51b81526004016102ab91906106ad565b5060006106a4848661082e565b95945050505050565b600060208083528351808285015260005b818110156106da578581018301518582016040015282016106be565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b038116811461071257600080fd5b919050565b6000806040838503121561072a57600080fd5b610733836106fb565b946020939093013593505050565b60008060006060848603121561075657600080fd5b61075f846106fb565b925061076d602085016106fb565b9150604084013590509250925092565b60006020828403121561078f57600080fd5b61060d826106fb565b600080604083850312156107ab57600080fd5b6107b4836106fb565b91506107c2602084016106fb565b90509250929050565b600181811c908216806107df57607f821691505b6020821081036107ff57634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fd5b8082018082111561037f5761037f610805565b8181038181111561037f5761037f61080556fea2646970667358221220938db2867c9b8d4c76ec38bbaecbc01273c9358b15ecda9591f68905faeef24c64736f6c63430008110033

0x608060405234801561001057600080fd5b506004361061009e5760003560e01c806370a082311161006657806370a082311461012857806395d89b4114610151578063a9059cbb14610159578063dd62ed3e1461016c578063f7260d3e146101a557600080fd5b806306fdde03146100a3578063095ea7b3146100c157806318160ddd146100e457806323b872dd146100f6578063313ce56714610109575b600080fd5b6100ab6101d0565b6040516100b891906106ad565b60405180910390f35b6100d46100cf366004610717565b61025e565b60405190151581526020016100b8565b6006545b6040519081526020016100b8565b6100d4610104366004610741565b610385565b6002546101169060ff1681565b60405160ff90911681526020016100b8565b6100e861013636600461077d565b6001600160a01b031660009081526003602052604090205490565b6100ab6104d5565b6100d4610167366004610717565b6104e2565b6100e861017a366004610798565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b6005546101b8906001600160a01b031681565b6040516001600160a01b0390911681526020016100b8565b600080546101dd906107cb565b80601f0160208091040260200160405190810160405280929190818152602001828054610209906107cb565b80156102565780601f1061022b57610100808354040283529160200191610256565b820191906000526020600020905b81548152906001019060200180831161023957829003601f168201915b505050505081565b60006001600160a01b0383166102b45760405162461bcd60e51b81526020600482015260166024820152750416464726573732063616e206e6f74206265203078360541b60448201526064015b60405180910390fd5b3360009081526003602052604090205482111561031f5760405162461bcd60e51b815260206004820152602360248201527f42616c616e636520646f6573206e6f74206861766520656e6f75676820746f6b604482015262656e7360e81b60648201526084016102ab565b3360008181526004602090815260408083206001600160a01b03881680855290835292819020869055518581529192917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a35060015b92915050565b60006001600160a01b0383166103d75760405162461bcd60e51b8152602060048201526017602482015276052656365697665722063616e206e6f742062652030783604c1b60448201526064016102ab565b6001600160a01b0384166000908152600360205260409020546103fa90836105cb565b6001600160a01b038516600090815260036020908152604080832093909355600481528282203383529052205461043190836105cb565b6001600160a01b03808616600090815260046020908152604080832033845282528083209490945591861681526003909152205461046f9083610614565b6001600160a01b0380851660008181526003602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906104c39086815260200190565b60405180910390a35060019392505050565b600180546101dd906107cb565b60006001600160a01b0383166105345760405162461bcd60e51b8152602060048201526017602482015276052656365697665722063616e206e6f742062652030783604c1b60448201526064016102ab565b3360009081526003602052604090205461054e90836105cb565b33600090815260036020526040808220929092556001600160a01b0385168152205461057a9083610614565b6001600160a01b0384166000818152600360205260409081902092909255905133907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906103739086815260200190565b600061060d83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610673565b9392505050565b600080610621838561081b565b90508381101561060d5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016102ab565b600081848411156106975760405162461bcd60e51b81526004016102ab91906106ad565b5060006106a4848661082e565b95945050505050565b600060208083528351808285015260005b818110156106da578581018301518582016040015282016106be565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b038116811461071257600080fd5b919050565b6000806040838503121561072a57600080fd5b610733836106fb565b946020939093013593505050565b60008060006060848603121561075657600080fd5b61075f846106fb565b925061076d602085016106fb565b9150604084013590509250925092565b60006020828403121561078f57600080fd5b61060d826106fb565b600080604083850312156107ab57600080fd5b6107b4836106fb565b91506107c2602084016106fb565b90509250929050565b600181811c908216806107df57607f821691505b6020821081036107ff57634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fd5b8082018082111561037f5761037f610805565b8181038181111561037f5761037f61080556fea2646970667358221220938db2867c9b8d4c76ec38bbaecbc01273c9358b15ecda9591f68905faeef24c64736f6c63430008110033

107:2522:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;213:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1178:432;;;;;;:::i;:::-;;:::i;:::-;;;1169:14:3;;1162:22;1144:41;;1132:2;1117:18;1178:432:0;1004:187:3;914:98:0;993:12;;914:98;;;1342:25:3;;;1330:2;1315:18;914:98:0;1196:177:3;2172:455:0;;;;;;:::i;:::-;;:::i;263:21::-;;;;;;;;;;;;1883:4:3;1871:17;;;1853:36;;1841:2;1826:18;263:21:0;1711:184:3;1018:154:0;;;;;;:::i;:::-;-1:-1:-1;;;;;1147:18:0;1117:7;1147:18;;;:8;:18;;;;;;;1018:154;237:20;;;:::i;1797:369::-;;;;;;:::i;:::-;;:::i;1616:175::-;;;;;;:::i;:::-;-1:-1:-1;;;;;1760:14:0;;;1730:7;1760:14;;;:7;:14;;;;;;;;:24;;;;;;;;;;;;;1616:175;411:23;;;;;-1:-1:-1;;;;;411:23:0;;;;;;-1:-1:-1;;;;;2520:32:3;;;2502:51;;2490:2;2475:18;411:23:0;2356:203:3;213:18:0;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1178:432::-;1279:4;-1:-1:-1;;;;;1307:22:0;;1299:57;;;;-1:-1:-1;;;1299:57:0;;3151:2:3;1299:57:0;;;3133:21:3;3190:2;3170:18;;;3163:30;-1:-1:-1;;;3209:18:3;;;3202:52;3271:18;;1299:57:0;;;;;;;;;1396:10;1387:20;;;;:8;:20;;;;;;:31;-1:-1:-1;1387:31:0;1366:113;;;;-1:-1:-1;;;1366:113:0;;3502:2:3;1366:113:0;;;3484:21:3;3541:2;3521:18;;;3514:30;3580:34;3560:18;;;3553:62;-1:-1:-1;;;3631:18:3;;;3624:33;3674:19;;1366:113:0;3300:399:3;1366:113:0;1497:10;1489:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;1489:29:0;;;;;;;;;;;;:39;;;1543;1342:25:3;;;1489:29:0;;1497:10;1543:39;;1315:18:3;1543:39:0;;;;;;;;-1:-1:-1;1599:4:0;1178:432;;;;;:::o;2172:455::-;2294:4;-1:-1:-1;;;;;2318:17:0;;2310:53;;;;-1:-1:-1;;;2310:53:0;;3906:2:3;2310:53:0;;;3888:21:3;3945:2;3925:18;;;3918:30;-1:-1:-1;;;3964:18:3;;;3957:53;4027:18;;2310:53:0;3704:347:3;2310:53:0;-1:-1:-1;;;;;2392:15:0;;;;;;:8;:15;;;;;;2391:30;;2413:7;2391:21;:30::i;:::-;-1:-1:-1;;;;;2373:15:0;;;;;;:8;:15;;;;;;;;:48;;;;2461:7;:14;;;;;2476:10;2461:26;;;;;;2460:41;;2493:7;2460:32;:41::i;:::-;-1:-1:-1;;;;;2431:14:0;;;;;;;:7;:14;;;;;;;;2446:10;2431:26;;;;;;;:70;;;;2528:13;;;;;:8;:13;;;;;2527:28;;2547:7;2527:19;:28::i;:::-;-1:-1:-1;;;;;2511:13:0;;;;;;;:8;:13;;;;;;;:44;;;;2570:29;;;;;;;;;;2591:7;1342:25:3;;1330:2;1315:18;;1196:177;2570:29:0;;;;;;;;-1:-1:-1;2616:4:0;2172:455;;;;;:::o;237:20::-;;;;;;;:::i;1797:369::-;1894:4;-1:-1:-1;;;;;1922:17:0;;1914:53;;;;-1:-1:-1;;;1914:53:0;;3906:2:3;1914:53:0;;;3888:21:3;3945:2;3925:18;;;3918:30;-1:-1:-1;;;3964:18:3;;;3957:53;4027:18;;1914:53:0;3704:347:3;1914:53:0;2010:10;2001:20;;;;:8;:20;;;;;;2000:35;;2027:7;2000:26;:35::i;:::-;1986:10;1977:20;;;;:8;:20;;;;;;:58;;;;-1:-1:-1;;;;;2062:13:0;;;;;;2061:28;;2081:7;2061:19;:28::i;:::-;-1:-1:-1;;;;;2045:13:0;;;;;;:8;:13;;;;;;;:44;;;;2104:34;;2113:10;;2104:34;;;;2130:7;1342:25:3;;1330:2;1315:18;;1196:177;1365:136:2;1423:7;1450:43;1454:1;1457;1450:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;1443:50;1365:136;-1:-1:-1;;;1365:136:2:o;901:181::-;959:7;;991:5;995:1;991;:5;:::i;:::-;979:17;;1020:1;1015;:6;;1007:46;;;;-1:-1:-1;;;1007:46:2;;4520:2:3;1007:46:2;;;4502:21:3;4559:2;4539:18;;;4532:30;4598:29;4578:18;;;4571:57;4645:18;;1007:46:2;4318:351:3;1804:192:2;1890:7;1926:12;1918:6;;;;1910:29;;;;-1:-1:-1;;;1910:29:2;;;;;;;;:::i;:::-;-1:-1:-1;1950:9:2;1962:5;1966:1;1962;:5;:::i;:::-;1950:17;1804:192;-1:-1:-1;;;;;1804:192:2:o;14:548:3:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:173::-;635:20;;-1:-1:-1;;;;;684:31:3;;674:42;;664:70;;730:1;727;720:12;664:70;567:173;;;:::o;745:254::-;813:6;821;874:2;862:9;853:7;849:23;845:32;842:52;;;890:1;887;880:12;842:52;913:29;932:9;913:29;:::i;:::-;903:39;989:2;974:18;;;;961:32;;-1:-1:-1;;;745:254:3:o;1378:328::-;1455:6;1463;1471;1524:2;1512:9;1503:7;1499:23;1495:32;1492:52;;;1540:1;1537;1530:12;1492:52;1563:29;1582:9;1563:29;:::i;:::-;1553:39;;1611:38;1645:2;1634:9;1630:18;1611:38;:::i;:::-;1601:48;;1696:2;1685:9;1681:18;1668:32;1658:42;;1378:328;;;;;:::o;1900:186::-;1959:6;2012:2;2000:9;1991:7;1987:23;1983:32;1980:52;;;2028:1;2025;2018:12;1980:52;2051:29;2070:9;2051:29;:::i;2091:260::-;2159:6;2167;2220:2;2208:9;2199:7;2195:23;2191:32;2188:52;;;2236:1;2233;2226:12;2188:52;2259:29;2278:9;2259:29;:::i;:::-;2249:39;;2307:38;2341:2;2330:9;2326:18;2307:38;:::i;:::-;2297:48;;2091:260;;;;;:::o;2564:380::-;2643:1;2639:12;;;;2686;;;2707:61;;2761:4;2753:6;2749:17;2739:27;;2707:61;2814:2;2806:6;2803:14;2783:18;2780:38;2777:161;;2860:10;2855:3;2851:20;2848:1;2841:31;2895:4;2892:1;2885:15;2923:4;2920:1;2913:15;2777:161;;2564:380;;;:::o;4056:127::-;4117:10;4112:3;4108:20;4105:1;4098:31;4148:4;4145:1;4138:15;4172:4;4169:1;4162:15;4188:125;4253:9;;;4274:10;;;4271:36;;;4287:18;;:::i;4674:128::-;4741:9;;;4762:11;;;4759:37;;;4776:18;;:::i

ipfs://938db2867c9b8d4c76ec38bbaecbc01273c9358b15ecda9591f68905faeef24c