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.18;

import "SafeMath.sol";

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

contract ERC20 is IERC20 {
    using SafeMath for uint256;

    string public constant name = "SAVE ALTMAN";
    string public constant symbol = "ALTMAN";
    uint8 public constant decimals = 18;

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

    constructor() {
        totalSupply_ = 1e9 * (10 ** uint256(decimals));
        balances[msg.sender] = totalSupply_;
        owner = msg.sender;
        emit Transfer(address(0), msg.sender, totalSupply_);
    }

    modifier onlyOwner() {
        require(msg.sender == owner, "You are not the owner");
        _;
    }

    function mint(address account, uint256 amount) public onlyOwner {
        require(account != address(0), "Mint to the zero address");
        totalSupply_ = totalSupply_.add(amount);
        balances[account] = balances[account].add(amount);
        emit Transfer(address(0), account, amount);
    }

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

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

    function transfer(address receiver, uint256 numTokens) public override returns (bool) {
        require(numTokens <= balances[msg.sender], "Not enough tokens");
        balances[msg.sender] = balances[msg.sender].sub(numTokens);
        balances[receiver] = balances[receiver].add(numTokens);
        emit Transfer(msg.sender, receiver, numTokens);
        return true;
    }

    function approve(address delegate, uint256 numTokens) public override returns (bool) {
        require(balances[msg.sender] >= numTokens, "Insufficient balance");
        require(allowed[msg.sender][delegate] == 0 || numTokens == 0, "First reset allowance to zero");
        allowed[msg.sender][delegate] = numTokens;
        emit Approval(msg.sender, delegate, numTokens);
        return true;
    }

    function allowance(address tokenOwner, address delegate) public override view returns (uint) {
        return allowed[tokenOwner][delegate];
    }

    function transferFrom(address from, address buyer, uint256 numTokens) public override returns (bool) {
        require(numTokens <= balances[from], "Not enough tokens");
        require(numTokens <= allowed[from][msg.sender], "Not allowed");

        balances[from] = balances[from].sub(numTokens);
        allowed[from][msg.sender] = allowed[from][msg.sender].sub(numTokens);
        balances[buyer] = balances[buyer].add(numTokens);
        emit Transfer(from, buyer, numTokens);
        return true;
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.9.0) (utils/math/SafeMath.sol)

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 generally not needed starting with Solidity 0.8, since 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 subtraction 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;
        }
    }
}

• 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":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"tokenOwner","type":"address"},{"internalType":"address","name":"delegate","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"delegate","type":"address"},{"internalType":"uint256","name":"numTokens","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"tokenOwner","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":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"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":"receiver","type":"address"},{"internalType":"uint256","name":"numTokens","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"buyer","type":"address"},{"internalType":"uint256","name":"numTokens","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b50601260ff16600a620000259190620002c0565b633b9aca0062000036919062000311565b600081905550600054600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555033600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6000546040516200012591906200036d565b60405180910390a36200038a565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b6001851115620001c15780860481111562000199576200019862000133565b5b6001851615620001a95780820291505b8081029050620001b98562000162565b945062000179565b94509492505050565b600082620001dc5760019050620002af565b81620001ec5760009050620002af565b8160018114620002055760028114620002105762000246565b6001915050620002af565b60ff84111562000225576200022462000133565b5b8360020a9150848211156200023f576200023e62000133565b5b50620002af565b5060208310610133831016604e8410600b8410161715620002805782820a9050838111156200027a576200027962000133565b5b620002af565b6200028f84848460016200016f565b92509050818404811115620002a957620002a862000133565b5b81810290505b9392505050565b6000819050919050565b6000620002cd82620002b6565b9150620002da83620002b6565b9250620003097fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484620001ca565b905092915050565b60006200031e82620002b6565b91506200032b83620002b6565b92508282026200033b81620002b6565b9150828204841483151762000355576200035462000133565b5b5092915050565b6200036781620002b6565b82525050565b60006020820190506200038460008301846200035c565b92915050565b61143a806200039a6000396000f3fe608060405234801561001057600080fd5b506004361061009e5760003560e01c806340c10f191161006657806340c10f191461015d57806370a082311461017957806395d89b41146101a9578063a9059cbb146101c7578063dd62ed3e146101f75761009e565b806306fdde03146100a3578063095ea7b3146100c157806318160ddd146100f157806323b872dd1461010f578063313ce5671461013f575b600080fd5b6100ab610227565b6040516100b89190610e93565b60405180910390f35b6100db60048036038101906100d69190610f4e565b610260565b6040516100e89190610fa9565b60405180910390f35b6100f961049e565b6040516101069190610fd3565b60405180910390f35b61012960048036038101906101249190610fee565b6104a7565b6040516101369190610fa9565b60405180910390f35b610147610893565b604051610154919061105d565b60405180910390f35b61017760048036038101906101729190610f4e565b610898565b005b610193600480360381019061018e9190611078565b610ab1565b6040516101a09190610fd3565b60405180910390f35b6101b1610afa565b6040516101be9190610e93565b60405180910390f35b6101e160048036038101906101dc9190610f4e565b610b33565b6040516101ee9190610fa9565b60405180910390f35b610211600480360381019061020c91906110a5565b610d50565b60405161021e9190610fd3565b60405180910390f35b6040518060400160405280600b81526020017f5341564520414c544d414e00000000000000000000000000000000000000000081525081565b600081600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156102e4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016102db90611131565b60405180910390fd5b6000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054148061036f5750600082145b6103ae576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103a59061119d565b60405180910390fd5b81600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161048c9190610fd3565b60405180910390a36001905092915050565b60008054905090565b6000600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561052b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161052290611209565b60405180910390fd5b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156105ea576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105e190611275565b60405180910390fd5b61063c82600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610dd790919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061070e82600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610dd790919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506107e082600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610ded90919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108809190610fd3565b60405180910390a3600190509392505050565b601281565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610928576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161091f906112e1565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610997576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161098e9061134d565b60405180910390fd5b6109ac81600054610ded90919063ffffffff16565b600081905550610a0481600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610ded90919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610aa59190610fd3565b60405180910390a35050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6040518060400160405280600681526020017f414c544d414e000000000000000000000000000000000000000000000000000081525081565b6000600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610bb7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bae90611209565b60405180910390fd5b610c0982600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610dd790919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c9e82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610ded90919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610d3e9190610fd3565b60405180910390a36001905092915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008183610de5919061139c565b905092915050565b60008183610dfb91906113d0565b905092915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610e3d578082015181840152602081019050610e22565b60008484015250505050565b6000601f19601f8301169050919050565b6000610e6582610e03565b610e6f8185610e0e565b9350610e7f818560208601610e1f565b610e8881610e49565b840191505092915050565b60006020820190508181036000830152610ead8184610e5a565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610ee582610eba565b9050919050565b610ef581610eda565b8114610f0057600080fd5b50565b600081359050610f1281610eec565b92915050565b6000819050919050565b610f2b81610f18565b8114610f3657600080fd5b50565b600081359050610f4881610f22565b92915050565b60008060408385031215610f6557610f64610eb5565b5b6000610f7385828601610f03565b9250506020610f8485828601610f39565b9150509250929050565b60008115159050919050565b610fa381610f8e565b82525050565b6000602082019050610fbe6000830184610f9a565b92915050565b610fcd81610f18565b82525050565b6000602082019050610fe86000830184610fc4565b92915050565b60008060006060848603121561100757611006610eb5565b5b600061101586828701610f03565b935050602061102686828701610f03565b925050604061103786828701610f39565b9150509250925092565b600060ff82169050919050565b61105781611041565b82525050565b6000602082019050611072600083018461104e565b92915050565b60006020828403121561108e5761108d610eb5565b5b600061109c84828501610f03565b91505092915050565b600080604083850312156110bc576110bb610eb5565b5b60006110ca85828601610f03565b92505060206110db85828601610f03565b9150509250929050565b7f496e73756666696369656e742062616c616e6365000000000000000000000000600082015250565b600061111b601483610e0e565b9150611126826110e5565b602082019050919050565b6000602082019050818103600083015261114a8161110e565b9050919050565b7f466972737420726573657420616c6c6f77616e636520746f207a65726f000000600082015250565b6000611187601d83610e0e565b915061119282611151565b602082019050919050565b600060208201905081810360008301526111b68161117a565b9050919050565b7f4e6f7420656e6f75676820746f6b656e73000000000000000000000000000000600082015250565b60006111f3601183610e0e565b91506111fe826111bd565b602082019050919050565b60006020820190508181036000830152611222816111e6565b9050919050565b7f4e6f7420616c6c6f776564000000000000000000000000000000000000000000600082015250565b600061125f600b83610e0e565b915061126a82611229565b602082019050919050565b6000602082019050818103600083015261128e81611252565b9050919050565b7f596f7520617265206e6f7420746865206f776e65720000000000000000000000600082015250565b60006112cb601583610e0e565b91506112d682611295565b602082019050919050565b600060208201905081810360008301526112fa816112be565b9050919050565b7f4d696e7420746f20746865207a65726f20616464726573730000000000000000600082015250565b6000611337601883610e0e565b915061134282611301565b602082019050919050565b600060208201905081810360008301526113668161132a565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006113a782610f18565b91506113b283610f18565b92508282039050818111156113ca576113c961136d565b5b92915050565b60006113db82610f18565b91506113e683610f18565b92508282019050808211156113fe576113fd61136d565b5b9291505056fea26469706673582212204f8366b4be1236329946ba570ef2059104dc327d730dde384376f3d2892eb98364736f6c63430008120033

0x608060405234801561001057600080fd5b506004361061009e5760003560e01c806340c10f191161006657806340c10f191461015d57806370a082311461017957806395d89b41146101a9578063a9059cbb146101c7578063dd62ed3e146101f75761009e565b806306fdde03146100a3578063095ea7b3146100c157806318160ddd146100f157806323b872dd1461010f578063313ce5671461013f575b600080fd5b6100ab610227565b6040516100b89190610e93565b60405180910390f35b6100db60048036038101906100d69190610f4e565b610260565b6040516100e89190610fa9565b60405180910390f35b6100f961049e565b6040516101069190610fd3565b60405180910390f35b61012960048036038101906101249190610fee565b6104a7565b6040516101369190610fa9565b60405180910390f35b610147610893565b604051610154919061105d565b60405180910390f35b61017760048036038101906101729190610f4e565b610898565b005b610193600480360381019061018e9190611078565b610ab1565b6040516101a09190610fd3565b60405180910390f35b6101b1610afa565b6040516101be9190610e93565b60405180910390f35b6101e160048036038101906101dc9190610f4e565b610b33565b6040516101ee9190610fa9565b60405180910390f35b610211600480360381019061020c91906110a5565b610d50565b60405161021e9190610fd3565b60405180910390f35b6040518060400160405280600b81526020017f5341564520414c544d414e00000000000000000000000000000000000000000081525081565b600081600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156102e4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016102db90611131565b60405180910390fd5b6000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054148061036f5750600082145b6103ae576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103a59061119d565b60405180910390fd5b81600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161048c9190610fd3565b60405180910390a36001905092915050565b60008054905090565b6000600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561052b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161052290611209565b60405180910390fd5b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156105ea576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105e190611275565b60405180910390fd5b61063c82600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610dd790919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061070e82600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610dd790919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506107e082600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610ded90919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108809190610fd3565b60405180910390a3600190509392505050565b601281565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610928576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161091f906112e1565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610997576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161098e9061134d565b60405180910390fd5b6109ac81600054610ded90919063ffffffff16565b600081905550610a0481600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610ded90919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610aa59190610fd3565b60405180910390a35050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6040518060400160405280600681526020017f414c544d414e000000000000000000000000000000000000000000000000000081525081565b6000600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610bb7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bae90611209565b60405180910390fd5b610c0982600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610dd790919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c9e82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610ded90919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610d3e9190610fd3565b60405180910390a36001905092915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008183610de5919061139c565b905092915050565b60008183610dfb91906113d0565b905092915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610e3d578082015181840152602081019050610e22565b60008484015250505050565b6000601f19601f8301169050919050565b6000610e6582610e03565b610e6f8185610e0e565b9350610e7f818560208601610e1f565b610e8881610e49565b840191505092915050565b60006020820190508181036000830152610ead8184610e5a565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610ee582610eba565b9050919050565b610ef581610eda565b8114610f0057600080fd5b50565b600081359050610f1281610eec565b92915050565b6000819050919050565b610f2b81610f18565b8114610f3657600080fd5b50565b600081359050610f4881610f22565b92915050565b60008060408385031215610f6557610f64610eb5565b5b6000610f7385828601610f03565b9250506020610f8485828601610f39565b9150509250929050565b60008115159050919050565b610fa381610f8e565b82525050565b6000602082019050610fbe6000830184610f9a565b92915050565b610fcd81610f18565b82525050565b6000602082019050610fe86000830184610fc4565b92915050565b60008060006060848603121561100757611006610eb5565b5b600061101586828701610f03565b935050602061102686828701610f03565b925050604061103786828701610f39565b9150509250925092565b600060ff82169050919050565b61105781611041565b82525050565b6000602082019050611072600083018461104e565b92915050565b60006020828403121561108e5761108d610eb5565b5b600061109c84828501610f03565b91505092915050565b600080604083850312156110bc576110bb610eb5565b5b60006110ca85828601610f03565b92505060206110db85828601610f03565b9150509250929050565b7f496e73756666696369656e742062616c616e6365000000000000000000000000600082015250565b600061111b601483610e0e565b9150611126826110e5565b602082019050919050565b6000602082019050818103600083015261114a8161110e565b9050919050565b7f466972737420726573657420616c6c6f77616e636520746f207a65726f000000600082015250565b6000611187601d83610e0e565b915061119282611151565b602082019050919050565b600060208201905081810360008301526111b68161117a565b9050919050565b7f4e6f7420656e6f75676820746f6b656e73000000000000000000000000000000600082015250565b60006111f3601183610e0e565b91506111fe826111bd565b602082019050919050565b60006020820190508181036000830152611222816111e6565b9050919050565b7f4e6f7420616c6c6f776564000000000000000000000000000000000000000000600082015250565b600061125f600b83610e0e565b915061126a82611229565b602082019050919050565b6000602082019050818103600083015261128e81611252565b9050919050565b7f596f7520617265206e6f7420746865206f776e65720000000000000000000000600082015250565b60006112cb601583610e0e565b91506112d682611295565b602082019050919050565b600060208201905081810360008301526112fa816112be565b9050919050565b7f4d696e7420746f20746865207a65726f20616464726573730000000000000000600082015250565b6000611337601883610e0e565b915061134282611301565b602082019050919050565b600060208201905081810360008301526113668161132a565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006113a782610f18565b91506113b283610f18565b92508282039050818111156113ca576113c961136d565b5b92915050565b60006113db82610f18565b91506113e683610f18565b92508282019050808211156113fe576113fd61136d565b5b9291505056fea26469706673582212204f8366b4be1236329946ba570ef2059104dc327d730dde384376f3d2892eb98364736f6c63430008120033

749:2694:1:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;813:43;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2375:400;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1762:98;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2933:508;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;908:35;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1457:299;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1866:122;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;862:40;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1994:375;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2781:146;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;813:43;;;;;;;;;;;;;;;;;;;:::o;2375:400::-;2454:4;2502:9;2478:8;:20;2487:10;2478:20;;;;;;;;;;;;;;;;:33;;2470:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;2587:1;2554:7;:19;2562:10;2554:19;;;;;;;;;;;;;;;:29;2574:8;2554:29;;;;;;;;;;;;;;;;:34;:52;;;;2605:1;2592:9;:14;2554:52;2546:94;;;;;;;;;;;;:::i;:::-;;;;;;;;;2682:9;2650:7;:19;2658:10;2650:19;;;;;;;;;;;;;;;:29;2670:8;2650:29;;;;;;;;;;;;;;;:41;;;;2727:8;2706:41;;2715:10;2706:41;;;2737:9;2706:41;;;;;;:::i;:::-;;;;;;;;2764:4;2757:11;;2375:400;;;;:::o;1762:98::-;1815:7;1841:12;;1834:19;;1762:98;:::o;2933:508::-;3028:4;3065:8;:14;3074:4;3065:14;;;;;;;;;;;;;;;;3052:9;:27;;3044:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;3132:7;:13;3140:4;3132:13;;;;;;;;;;;;;;;:25;3146:10;3132:25;;;;;;;;;;;;;;;;3119:9;:38;;3111:62;;;;;;;;;;;;:::i;:::-;;;;;;;;;3201:29;3220:9;3201:8;:14;3210:4;3201:14;;;;;;;;;;;;;;;;:18;;:29;;;;:::i;:::-;3184:8;:14;3193:4;3184:14;;;;;;;;;;;;;;;:46;;;;3268:40;3298:9;3268:7;:13;3276:4;3268:13;;;;;;;;;;;;;;;:25;3282:10;3268:25;;;;;;;;;;;;;;;;:29;;:40;;;;:::i;:::-;3240:7;:13;3248:4;3240:13;;;;;;;;;;;;;;;:25;3254:10;3240:25;;;;;;;;;;;;;;;:68;;;;3336:30;3356:9;3336:8;:15;3345:5;3336:15;;;;;;;;;;;;;;;;:19;;:30;;;;:::i;:::-;3318:8;:15;3327:5;3318:15;;;;;;;;;;;;;;;:48;;;;3396:5;3381:32;;3390:4;3381:32;;;3403:9;3381:32;;;;;;:::i;:::-;;;;;;;;3430:4;3423:11;;2933:508;;;;;:::o;908:35::-;941:2;908:35;:::o;1457:299::-;1402:5;;;;;;;;;;;1388:19;;:10;:19;;;1380:53;;;;;;;;;;;;:::i;:::-;;;;;;;;;1558:1:::1;1539:21;;:7;:21;;::::0;1531:58:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;1614:24;1631:6;1614:12;;:16;;:24;;;;:::i;:::-;1599:12;:39;;;;1668:29;1690:6;1668:8;:17;1677:7;1668:17;;;;;;;;;;;;;;;;:21;;:29;;;;:::i;:::-;1648:8;:17;1657:7;1648:17;;;;;;;;;;;;;;;:49;;;;1733:7;1712:37;;1729:1;1712:37;;;1742:6;1712:37;;;;;;:::i;:::-;;;;;;;;1457:299:::0;;:::o;1866:122::-;1935:7;1961:8;:20;1970:10;1961:20;;;;;;;;;;;;;;;;1954:27;;1866:122;;;:::o;862:40::-;;;;;;;;;;;;;;;;;;;:::o;1994:375::-;2074:4;2111:8;:20;2120:10;2111:20;;;;;;;;;;;;;;;;2098:9;:33;;2090:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;2186:35;2211:9;2186:8;:20;2195:10;2186:20;;;;;;;;;;;;;;;;:24;;:35;;;;:::i;:::-;2163:8;:20;2172:10;2163:20;;;;;;;;;;;;;;;:58;;;;2252:33;2275:9;2252:8;:18;2261:8;2252:18;;;;;;;;;;;;;;;;:22;;:33;;;;:::i;:::-;2231:8;:18;2240:8;2231:18;;;;;;;;;;;;;;;:54;;;;2321:8;2300:41;;2309:10;2300:41;;;2331:9;2300:41;;;;;;:::i;:::-;;;;;;;;2358:4;2351:11;;1994:375;;;;:::o;2781:146::-;2868:4;2891:7;:19;2899:10;2891:19;;;;;;;;;;;;;;;:29;2911:8;2891:29;;;;;;;;;;;;;;;;2884:36;;2781:146;;;;:::o;3122:96:0:-;3180:7;3210:1;3206;:5;;;;:::i;:::-;3199:12;;3122:96;;;;:::o;2755:::-;2813:7;2843:1;2839;:5;;;;:::i;:::-;2832:12;;2755:96;;;;:::o;7:99:2:-;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:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:86::-;4458:7;4498:4;4491:5;4487:16;4476:27;;4423:86;;;:::o;4515:112::-;4598:22;4614:5;4598:22;:::i;:::-;4593:3;4586:35;4515:112;;:::o;4633:214::-;4722:4;4760:2;4749:9;4745:18;4737:26;;4773:67;4837:1;4826:9;4822:17;4813:6;4773:67;:::i;:::-;4633:214;;;;:::o;4853:329::-;4912:6;4961:2;4949:9;4940:7;4936:23;4932:32;4929:119;;;4967:79;;:::i;:::-;4929:119;5087:1;5112:53;5157:7;5148:6;5137:9;5133:22;5112:53;:::i;:::-;5102:63;;5058:117;4853:329;;;;:::o;5188:474::-;5256:6;5264;5313:2;5301:9;5292:7;5288:23;5284:32;5281:119;;;5319:79;;:::i;:::-;5281:119;5439:1;5464:53;5509:7;5500:6;5489:9;5485:22;5464:53;:::i;:::-;5454:63;;5410:117;5566:2;5592:53;5637:7;5628:6;5617:9;5613:22;5592:53;:::i;:::-;5582:63;;5537:118;5188:474;;;;;:::o;5668:170::-;5808:22;5804:1;5796:6;5792:14;5785:46;5668:170;:::o;5844:366::-;5986:3;6007:67;6071:2;6066:3;6007:67;:::i;:::-;6000:74;;6083:93;6172:3;6083:93;:::i;:::-;6201:2;6196:3;6192:12;6185:19;;5844:366;;;:::o;6216:419::-;6382:4;6420:2;6409:9;6405:18;6397:26;;6469:9;6463:4;6459:20;6455:1;6444:9;6440:17;6433:47;6497:131;6623:4;6497:131;:::i;:::-;6489:139;;6216:419;;;:::o;6641:179::-;6781:31;6777:1;6769:6;6765:14;6758:55;6641:179;:::o;6826:366::-;6968:3;6989:67;7053:2;7048:3;6989:67;:::i;:::-;6982:74;;7065:93;7154:3;7065:93;:::i;:::-;7183:2;7178:3;7174:12;7167:19;;6826:366;;;:::o;7198:419::-;7364:4;7402:2;7391:9;7387:18;7379:26;;7451:9;7445:4;7441:20;7437:1;7426:9;7422:17;7415:47;7479:131;7605:4;7479:131;:::i;:::-;7471:139;;7198:419;;;:::o;7623:167::-;7763:19;7759:1;7751:6;7747:14;7740:43;7623:167;:::o;7796:366::-;7938:3;7959:67;8023:2;8018:3;7959:67;:::i;:::-;7952:74;;8035:93;8124:3;8035:93;:::i;:::-;8153:2;8148:3;8144:12;8137:19;;7796:366;;;:::o;8168:419::-;8334:4;8372:2;8361:9;8357:18;8349:26;;8421:9;8415:4;8411:20;8407:1;8396:9;8392:17;8385:47;8449:131;8575:4;8449:131;:::i;:::-;8441:139;;8168:419;;;:::o;8593:161::-;8733:13;8729:1;8721:6;8717:14;8710:37;8593:161;:::o;8760:366::-;8902:3;8923:67;8987:2;8982:3;8923:67;:::i;:::-;8916:74;;8999:93;9088:3;8999:93;:::i;:::-;9117:2;9112:3;9108:12;9101:19;;8760:366;;;:::o;9132:419::-;9298:4;9336:2;9325:9;9321:18;9313:26;;9385:9;9379:4;9375:20;9371:1;9360:9;9356:17;9349:47;9413:131;9539:4;9413:131;:::i;:::-;9405:139;;9132:419;;;:::o;9557:171::-;9697:23;9693:1;9685:6;9681:14;9674:47;9557:171;:::o;9734:366::-;9876:3;9897:67;9961:2;9956:3;9897:67;:::i;:::-;9890:74;;9973:93;10062:3;9973:93;:::i;:::-;10091:2;10086:3;10082:12;10075:19;;9734:366;;;:::o;10106:419::-;10272:4;10310:2;10299:9;10295:18;10287:26;;10359:9;10353:4;10349:20;10345:1;10334:9;10330:17;10323:47;10387:131;10513:4;10387:131;:::i;:::-;10379:139;;10106:419;;;:::o;10531:174::-;10671:26;10667:1;10659:6;10655:14;10648:50;10531:174;:::o;10711:366::-;10853:3;10874:67;10938:2;10933:3;10874:67;:::i;:::-;10867:74;;10950:93;11039:3;10950:93;:::i;:::-;11068:2;11063:3;11059:12;11052:19;;10711:366;;;:::o;11083:419::-;11249:4;11287:2;11276:9;11272:18;11264:26;;11336:9;11330:4;11326:20;11322:1;11311:9;11307:17;11300:47;11364:131;11490:4;11364:131;:::i;:::-;11356:139;;11083:419;;;:::o;11508:180::-;11556:77;11553:1;11546:88;11653:4;11650:1;11643:15;11677:4;11674:1;11667:15;11694:194;11734:4;11754:20;11772:1;11754:20;:::i;:::-;11749:25;;11788:20;11806:1;11788:20;:::i;:::-;11783:25;;11832:1;11829;11825:9;11817:17;;11856:1;11850:4;11847:11;11844:37;;;11861:18;;:::i;:::-;11844:37;11694:194;;;;:::o;11894:191::-;11934:3;11953:20;11971:1;11953:20;:::i;:::-;11948:25;;11987:20;12005:1;11987:20;:::i;:::-;11982:25;;12030:1;12027;12023:9;12016:16;;12051:3;12048:1;12045:10;12042:36;;;12058:18;;:::i;:::-;12042:36;11894:191;;;;:::o

ipfs://4f8366b4be1236329946ba570ef2059104dc327d730dde384376f3d2892eb983