Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.26;

import "./SafeMath.sol";

contract HashGame {
    string public name = "HashGame";
    string public symbol = "HASH";
    uint8 public decimals = 18;
    uint256 public totalSupply = 1000000000 * 10**18;
    mapping(address => uint256) private balances;
    mapping(address => mapping(address => uint256)) private allowances;
    using SafeMath for uint256;

    constructor() {
        balances[msg.sender] = totalSupply;
        emit Transfer(address(0), msg.sender, totalSupply);
    }

    function transfer(address recipient, uint256 amount) public returns (bool) {
        require(recipient != address(0), "HashGame: transfer to the zero address");
        require(amount <= balances[msg.sender], "HashGame: transfer amount exceeds balance");
        balances[msg.sender] = balances[msg.sender].sub(amount);
        balances[recipient] = balances[recipient].add(amount);
        emit Transfer(msg.sender, recipient, amount);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
        require(sender != address(0), "HashGame: transfer from the zero address");
        require(recipient != address(0), "HashGame: transfer to the zero address");
        require(amount <= balances[sender], "HashGame: transfer amount exceeds balance");
        require(amount <= allowances[sender][msg.sender], "HashGame: transfer amount exceeds allowance");
        balances[sender] = balances[sender].sub(amount);
        balances[recipient] = balances[recipient].add(amount);
        allowances[sender][msg.sender] = allowances[sender][msg.sender].sub(amount);
        emit Transfer(sender, recipient, amount);
        return true;
    }

    function approve(address spender, uint256 amount) public returns (bool) {
        require(spender != address(0), "HashGame: approve to the zero address");
        allowances[msg.sender][spender] = amount;
        emit Approval(msg.sender, spender, amount);
        return true;
    }

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

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

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

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

pragma solidity ^0.8.25;

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

[{"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":"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":[],"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":"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"}]

60806040526040518060400160405280600881526020017f4861736847616d650000000000000000000000000000000000000000000000008152505f908161004791906103ae565b506040518060400160405280600481526020017f48415348000000000000000000000000000000000000000000000000000000008152506001908161008c91906103ae565b50601260025f6101000a81548160ff021916908360ff1602179055506b033b2e3c9fd0803ce80000006003553480156100c3575f80fd5b5060035460045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055503373ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef600354604051610167919061048c565b60405180910390a36104a5565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806101ef57607f821691505b602082108103610202576102016101ab565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026102647fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82610229565b61026e8683610229565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f6102b26102ad6102a884610286565b61028f565b610286565b9050919050565b5f819050919050565b6102cb83610298565b6102df6102d7826102b9565b848454610235565b825550505050565b5f90565b6102f36102e7565b6102fe8184846102c2565b505050565b5b81811015610321576103165f826102eb565b600181019050610304565b5050565b601f8211156103665761033781610208565b6103408461021a565b8101602085101561034f578190505b61036361035b8561021a565b830182610303565b50505b505050565b5f82821c905092915050565b5f6103865f198460080261036b565b1980831691505092915050565b5f61039e8383610377565b9150826002028217905092915050565b6103b782610174565b67ffffffffffffffff8111156103d0576103cf61017e565b5b6103da82546101d8565b6103e5828285610325565b5f60209050601f831160018114610416575f8415610404578287015190505b61040e8582610393565b865550610475565b601f19841661042486610208565b5f5b8281101561044b57848901518255600182019150602085019450602081019050610426565b868310156104685784890151610464601f891682610377565b8355505b6001600288020188555050505b505050505050565b61048681610286565b82525050565b5f60208201905061049f5f83018461047d565b92915050565b61133d806104b25f395ff3fe608060405234801561000f575f80fd5b5060043610610091575f3560e01c8063313ce56711610064578063313ce5671461013157806370a082311461014f57806395d89b411461017f578063a9059cbb1461019d578063dd62ed3e146101cd57610091565b806306fdde0314610095578063095ea7b3146100b357806318160ddd146100e357806323b872dd14610101575b5f80fd5b61009d6101fd565b6040516100aa9190610d1a565b60405180910390f35b6100cd60048036038101906100c89190610dcb565b610288565b6040516100da9190610e23565b60405180910390f35b6100eb6103e3565b6040516100f89190610e4b565b60405180910390f35b61011b60048036038101906101169190610e64565b6103e9565b6040516101289190610e23565b60405180910390f35b61013961089a565b6040516101469190610ecf565b60405180910390f35b61016960048036038101906101649190610ee8565b6108ac565b6040516101769190610e4b565b60405180910390f35b6101876108f2565b6040516101949190610d1a565b60405180910390f35b6101b760048036038101906101b29190610dcb565b61097e565b6040516101c49190610e23565b60405180910390f35b6101e760048036038101906101e29190610f13565b610bfe565b6040516101f49190610e4b565b60405180910390f35b5f805461020990610f7e565b80601f016020809104026020016040519081016040528092919081815260200182805461023590610f7e565b80156102805780601f1061025757610100808354040283529160200191610280565b820191905f5260205f20905b81548152906001019060200180831161026357829003601f168201915b505050505081565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036102f7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016102ee9061101e565b60405180910390fd5b8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103d19190610e4b565b60405180910390a36001905092915050565b60035481565b5f8073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610458576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161044f906110ac565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036104c6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104bd9061113a565b60405180910390fd5b60045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054821115610546576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161053d906111c8565b60405180910390fd5b60055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054821115610601576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105f890611256565b60405180910390fd5b6106518260045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610c8090919063ffffffff16565b60045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055506106e28260045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610c9590919063ffffffff16565b60045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055506107ae8260055f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610c8090919063ffffffff16565b60055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108879190610e4b565b60405180910390a3600190509392505050565b60025f9054906101000a900460ff1681565b5f60045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b600180546108ff90610f7e565b80601f016020809104026020016040519081016040528092919081815260200182805461092b90610f7e565b80156109765780601f1061094d57610100808354040283529160200191610976565b820191905f5260205f20905b81548152906001019060200180831161095957829003601f168201915b505050505081565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036109ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109e49061113a565b60405180910390fd5b60045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054821115610a6d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a64906111c8565b60405180910390fd5b610abd8260045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610c8090919063ffffffff16565b60045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550610b4e8260045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610c9590919063ffffffff16565b60045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610bec9190610e4b565b60405180910390a36001905092915050565b5f60055f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f8183610c8d91906112a1565b905092915050565b5f8183610ca291906112d4565b905092915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610cec82610caa565b610cf68185610cb4565b9350610d06818560208601610cc4565b610d0f81610cd2565b840191505092915050565b5f6020820190508181035f830152610d328184610ce2565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610d6782610d3e565b9050919050565b610d7781610d5d565b8114610d81575f80fd5b50565b5f81359050610d9281610d6e565b92915050565b5f819050919050565b610daa81610d98565b8114610db4575f80fd5b50565b5f81359050610dc581610da1565b92915050565b5f8060408385031215610de157610de0610d3a565b5b5f610dee85828601610d84565b9250506020610dff85828601610db7565b9150509250929050565b5f8115159050919050565b610e1d81610e09565b82525050565b5f602082019050610e365f830184610e14565b92915050565b610e4581610d98565b82525050565b5f602082019050610e5e5f830184610e3c565b92915050565b5f805f60608486031215610e7b57610e7a610d3a565b5b5f610e8886828701610d84565b9350506020610e9986828701610d84565b9250506040610eaa86828701610db7565b9150509250925092565b5f60ff82169050919050565b610ec981610eb4565b82525050565b5f602082019050610ee25f830184610ec0565b92915050565b5f60208284031215610efd57610efc610d3a565b5b5f610f0a84828501610d84565b91505092915050565b5f8060408385031215610f2957610f28610d3a565b5b5f610f3685828601610d84565b9250506020610f4785828601610d84565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680610f9557607f821691505b602082108103610fa857610fa7610f51565b5b50919050565b7f4861736847616d653a20617070726f766520746f20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f611008602583610cb4565b915061101382610fae565b604082019050919050565b5f6020820190508181035f83015261103581610ffc565b9050919050565b7f4861736847616d653a207472616e736665722066726f6d20746865207a65726f5f8201527f2061646472657373000000000000000000000000000000000000000000000000602082015250565b5f611096602883610cb4565b91506110a18261103c565b604082019050919050565b5f6020820190508181035f8301526110c38161108a565b9050919050565b7f4861736847616d653a207472616e7366657220746f20746865207a65726f20615f8201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b5f611124602683610cb4565b915061112f826110ca565b604082019050919050565b5f6020820190508181035f83015261115181611118565b9050919050565b7f4861736847616d653a207472616e7366657220616d6f756e74206578636565645f8201527f732062616c616e63650000000000000000000000000000000000000000000000602082015250565b5f6111b2602983610cb4565b91506111bd82611158565b604082019050919050565b5f6020820190508181035f8301526111df816111a6565b9050919050565b7f4861736847616d653a207472616e7366657220616d6f756e74206578636565645f8201527f7320616c6c6f77616e6365000000000000000000000000000000000000000000602082015250565b5f611240602b83610cb4565b915061124b826111e6565b604082019050919050565b5f6020820190508181035f83015261126d81611234565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6112ab82610d98565b91506112b683610d98565b92508282039050818111156112ce576112cd611274565b5b92915050565b5f6112de82610d98565b91506112e983610d98565b925082820190508082111561130157611300611274565b5b9291505056fea26469706673582212205ba42239e961460895fe3e98fb4135959f34817a9a89fe2f426b38f03b65486a64736f6c634300081a0033

0x608060405234801561000f575f80fd5b5060043610610091575f3560e01c8063313ce56711610064578063313ce5671461013157806370a082311461014f57806395d89b411461017f578063a9059cbb1461019d578063dd62ed3e146101cd57610091565b806306fdde0314610095578063095ea7b3146100b357806318160ddd146100e357806323b872dd14610101575b5f80fd5b61009d6101fd565b6040516100aa9190610d1a565b60405180910390f35b6100cd60048036038101906100c89190610dcb565b610288565b6040516100da9190610e23565b60405180910390f35b6100eb6103e3565b6040516100f89190610e4b565b60405180910390f35b61011b60048036038101906101169190610e64565b6103e9565b6040516101289190610e23565b60405180910390f35b61013961089a565b6040516101469190610ecf565b60405180910390f35b61016960048036038101906101649190610ee8565b6108ac565b6040516101769190610e4b565b60405180910390f35b6101876108f2565b6040516101949190610d1a565b60405180910390f35b6101b760048036038101906101b29190610dcb565b61097e565b6040516101c49190610e23565b60405180910390f35b6101e760048036038101906101e29190610f13565b610bfe565b6040516101f49190610e4b565b60405180910390f35b5f805461020990610f7e565b80601f016020809104026020016040519081016040528092919081815260200182805461023590610f7e565b80156102805780601f1061025757610100808354040283529160200191610280565b820191905f5260205f20905b81548152906001019060200180831161026357829003601f168201915b505050505081565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036102f7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016102ee9061101e565b60405180910390fd5b8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103d19190610e4b565b60405180910390a36001905092915050565b60035481565b5f8073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610458576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161044f906110ac565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036104c6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104bd9061113a565b60405180910390fd5b60045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054821115610546576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161053d906111c8565b60405180910390fd5b60055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054821115610601576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105f890611256565b60405180910390fd5b6106518260045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610c8090919063ffffffff16565b60045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055506106e28260045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610c9590919063ffffffff16565b60045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055506107ae8260055f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610c8090919063ffffffff16565b60055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108879190610e4b565b60405180910390a3600190509392505050565b60025f9054906101000a900460ff1681565b5f60045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b600180546108ff90610f7e565b80601f016020809104026020016040519081016040528092919081815260200182805461092b90610f7e565b80156109765780601f1061094d57610100808354040283529160200191610976565b820191905f5260205f20905b81548152906001019060200180831161095957829003601f168201915b505050505081565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036109ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109e49061113a565b60405180910390fd5b60045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054821115610a6d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a64906111c8565b60405180910390fd5b610abd8260045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610c8090919063ffffffff16565b60045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550610b4e8260045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610c9590919063ffffffff16565b60045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610bec9190610e4b565b60405180910390a36001905092915050565b5f60055f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f8183610c8d91906112a1565b905092915050565b5f8183610ca291906112d4565b905092915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610cec82610caa565b610cf68185610cb4565b9350610d06818560208601610cc4565b610d0f81610cd2565b840191505092915050565b5f6020820190508181035f830152610d328184610ce2565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610d6782610d3e565b9050919050565b610d7781610d5d565b8114610d81575f80fd5b50565b5f81359050610d9281610d6e565b92915050565b5f819050919050565b610daa81610d98565b8114610db4575f80fd5b50565b5f81359050610dc581610da1565b92915050565b5f8060408385031215610de157610de0610d3a565b5b5f610dee85828601610d84565b9250506020610dff85828601610db7565b9150509250929050565b5f8115159050919050565b610e1d81610e09565b82525050565b5f602082019050610e365f830184610e14565b92915050565b610e4581610d98565b82525050565b5f602082019050610e5e5f830184610e3c565b92915050565b5f805f60608486031215610e7b57610e7a610d3a565b5b5f610e8886828701610d84565b9350506020610e9986828701610d84565b9250506040610eaa86828701610db7565b9150509250925092565b5f60ff82169050919050565b610ec981610eb4565b82525050565b5f602082019050610ee25f830184610ec0565b92915050565b5f60208284031215610efd57610efc610d3a565b5b5f610f0a84828501610d84565b91505092915050565b5f8060408385031215610f2957610f28610d3a565b5b5f610f3685828601610d84565b9250506020610f4785828601610d84565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680610f9557607f821691505b602082108103610fa857610fa7610f51565b5b50919050565b7f4861736847616d653a20617070726f766520746f20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f611008602583610cb4565b915061101382610fae565b604082019050919050565b5f6020820190508181035f83015261103581610ffc565b9050919050565b7f4861736847616d653a207472616e736665722066726f6d20746865207a65726f5f8201527f2061646472657373000000000000000000000000000000000000000000000000602082015250565b5f611096602883610cb4565b91506110a18261103c565b604082019050919050565b5f6020820190508181035f8301526110c38161108a565b9050919050565b7f4861736847616d653a207472616e7366657220746f20746865207a65726f20615f8201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b5f611124602683610cb4565b915061112f826110ca565b604082019050919050565b5f6020820190508181035f83015261115181611118565b9050919050565b7f4861736847616d653a207472616e7366657220616d6f756e74206578636565645f8201527f732062616c616e63650000000000000000000000000000000000000000000000602082015250565b5f6111b2602983610cb4565b91506111bd82611158565b604082019050919050565b5f6020820190508181035f8301526111df816111a6565b9050919050565b7f4861736847616d653a207472616e7366657220616d6f756e74206578636565645f8201527f7320616c6c6f77616e6365000000000000000000000000000000000000000000602082015250565b5f611240602b83610cb4565b915061124b826111e6565b604082019050919050565b5f6020820190508181035f83015261126d81611234565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6112ab82610d98565b91506112b683610d98565b92508282039050818111156112ce576112cd611274565b5b92915050565b5f6112de82610d98565b91506112e983610d98565b925082820190508082111561130157611300611274565b5b9291505056fea26469706673582212205ba42239e961460895fe3e98fb4135959f34817a9a89fe2f426b38f03b65486a64736f6c634300081a0033

91:2432:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;116:31;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1810:288;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;223:48;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1051:751;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;190:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2106:109;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;154:29;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;573:470;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2223:133;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;116:31;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1810:288::-;1876:4;1920:1;1901:21;;:7;:21;;;1893:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;2009:6;1975:10;:22;1986:10;1975:22;;;;;;;;;;;;;;;:31;1998:7;1975:31;;;;;;;;;;;;;;;:40;;;;2052:7;2031:37;;2040:10;2031:37;;;2061:6;2031:37;;;;;;:::i;:::-;;;;;;;;2086:4;2079:11;;1810:288;;;;:::o;223:48::-;;;;:::o;1051:751::-;1140:4;1183:1;1165:20;;:6;:20;;;1157:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;1270:1;1249:23;;:9;:23;;;1241:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;1344:8;:16;1353:6;1344:16;;;;;;;;;;;;;;;;1334:6;:26;;1326:80;;;;;;;;;;;;:::i;:::-;;;;;;;;;1435:10;:18;1446:6;1435:18;;;;;;;;;;;;;;;:30;1454:10;1435:30;;;;;;;;;;;;;;;;1425:6;:40;;1417:96;;;;;;;;;;;;:::i;:::-;;;;;;;;;1543:28;1564:6;1543:8;:16;1552:6;1543:16;;;;;;;;;;;;;;;;:20;;:28;;;;:::i;:::-;1524:8;:16;1533:6;1524:16;;;;;;;;;;;;;;;:47;;;;1604:31;1628:6;1604:8;:19;1613:9;1604:19;;;;;;;;;;;;;;;;:23;;:31;;;;:::i;:::-;1582:8;:19;1591:9;1582:19;;;;;;;;;;;;;;;:53;;;;1679:42;1714:6;1679:10;:18;1690:6;1679:18;;;;;;;;;;;;;;;:30;1698:10;1679:30;;;;;;;;;;;;;;;;:34;;:42;;;;:::i;:::-;1646:10;:18;1657:6;1646:18;;;;;;;;;;;;;;;:30;1665:10;1646:30;;;;;;;;;;;;;;;:75;;;;1754:9;1737:35;;1746:6;1737:35;;;1765:6;1737:35;;;;;;:::i;:::-;;;;;;;;1790:4;1783:11;;1051:751;;;;;:::o;190:26::-;;;;;;;;;;;;;:::o;2106:109::-;2163:7;2190:8;:17;2199:7;2190:17;;;;;;;;;;;;;;;;2183:24;;2106:109;;;:::o;154:29::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;573:470::-;642:4;688:1;667:23;;:9;:23;;;659:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;762:8;:20;771:10;762:20;;;;;;;;;;;;;;;;752:6;:30;;744:84;;;;;;;;;;;;:::i;:::-;;;;;;;;;862:32;887:6;862:8;:20;871:10;862:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;839:8;:20;848:10;839:20;;;;;;;;;;;;;;;:55;;;;927:31;951:6;927:8;:19;936:9;927:19;;;;;;;;;;;;;;;;:23;;:31;;;;:::i;:::-;905:8;:19;914:9;905:19;;;;;;;;;;;;;;;:53;;;;995:9;974:39;;983:10;974:39;;;1006:6;974:39;;;;;;:::i;:::-;;;;;;;;1031:4;1024:11;;573:470;;;;:::o;2223:133::-;2295:7;2322:10;:17;2333:5;2322:17;;;;;;;;;;;;;;;:26;2340:7;2322:26;;;;;;;;;;;;;;;;2315:33;;2223:133;;;;:::o;3229:98:1:-;3287:7;3318:1;3314;:5;;;;:::i;:::-;3307:12;;3229:98;;;;:::o;2848:::-;2906:7;2937:1;2933;:5;;;;:::i;:::-;2926:12;;2848:98;;;;:::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: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:474::-;5149:6;5157;5206:2;5194:9;5185:7;5181:23;5177:32;5174:119;;;5212:79;;:::i;:::-;5174:119;5332:1;5357:53;5402:7;5393:6;5382:9;5378:22;5357:53;:::i;:::-;5347:63;;5303:117;5459:2;5485:53;5530:7;5521:6;5510:9;5506:22;5485:53;:::i;:::-;5475:63;;5430:118;5081:474;;;;;:::o;5561:180::-;5609:77;5606:1;5599:88;5706:4;5703:1;5696:15;5730:4;5727:1;5720:15;5747:320;5791:6;5828:1;5822:4;5818:12;5808:22;;5875:1;5869:4;5865:12;5896:18;5886:81;;5952:4;5944:6;5940:17;5930:27;;5886:81;6014:2;6006:6;6003:14;5983:18;5980:38;5977:84;;6033:18;;:::i;:::-;5977:84;5798:269;5747:320;;;:::o;6073:224::-;6213:34;6209:1;6201:6;6197:14;6190:58;6282:7;6277:2;6269:6;6265:15;6258:32;6073:224;:::o;6303:366::-;6445:3;6466:67;6530:2;6525:3;6466:67;:::i;:::-;6459:74;;6542:93;6631:3;6542:93;:::i;:::-;6660:2;6655:3;6651:12;6644:19;;6303:366;;;:::o;6675:419::-;6841:4;6879:2;6868:9;6864:18;6856:26;;6928:9;6922:4;6918:20;6914:1;6903:9;6899:17;6892:47;6956:131;7082:4;6956:131;:::i;:::-;6948:139;;6675:419;;;:::o;7100:227::-;7240:34;7236:1;7228:6;7224:14;7217:58;7309:10;7304:2;7296:6;7292:15;7285:35;7100:227;:::o;7333:366::-;7475:3;7496:67;7560:2;7555:3;7496:67;:::i;:::-;7489:74;;7572:93;7661:3;7572:93;:::i;:::-;7690:2;7685:3;7681:12;7674:19;;7333:366;;;:::o;7705:419::-;7871:4;7909:2;7898:9;7894:18;7886:26;;7958:9;7952:4;7948:20;7944:1;7933:9;7929:17;7922:47;7986:131;8112:4;7986:131;:::i;:::-;7978:139;;7705:419;;;:::o;8130:225::-;8270:34;8266:1;8258:6;8254:14;8247:58;8339:8;8334:2;8326:6;8322:15;8315:33;8130:225;:::o;8361:366::-;8503:3;8524:67;8588:2;8583:3;8524:67;:::i;:::-;8517:74;;8600:93;8689:3;8600:93;:::i;:::-;8718:2;8713:3;8709:12;8702:19;;8361:366;;;:::o;8733:419::-;8899:4;8937:2;8926:9;8922:18;8914:26;;8986:9;8980:4;8976:20;8972:1;8961:9;8957:17;8950:47;9014:131;9140:4;9014:131;:::i;:::-;9006:139;;8733:419;;;:::o;9158:228::-;9298:34;9294:1;9286:6;9282:14;9275:58;9367:11;9362:2;9354:6;9350:15;9343:36;9158:228;:::o;9392:366::-;9534:3;9555:67;9619:2;9614:3;9555:67;:::i;:::-;9548:74;;9631:93;9720:3;9631:93;:::i;:::-;9749:2;9744:3;9740:12;9733:19;;9392:366;;;:::o;9764:419::-;9930:4;9968:2;9957:9;9953:18;9945:26;;10017:9;10011:4;10007:20;10003:1;9992:9;9988:17;9981:47;10045:131;10171:4;10045:131;:::i;:::-;10037:139;;9764:419;;;:::o;10189:230::-;10329:34;10325:1;10317:6;10313:14;10306:58;10398:13;10393:2;10385:6;10381:15;10374:38;10189:230;:::o;10425:366::-;10567:3;10588:67;10652:2;10647:3;10588:67;:::i;:::-;10581:74;;10664:93;10753:3;10664:93;:::i;:::-;10782:2;10777:3;10773:12;10766:19;;10425:366;;;:::o;10797:419::-;10963:4;11001:2;10990:9;10986:18;10978:26;;11050:9;11044:4;11040:20;11036:1;11025:9;11021:17;11014:47;11078:131;11204:4;11078:131;:::i;:::-;11070:139;;10797:419;;;:::o;11222:180::-;11270:77;11267:1;11260:88;11367:4;11364:1;11357:15;11391:4;11388:1;11381:15;11408:194;11448:4;11468:20;11486:1;11468:20;:::i;:::-;11463:25;;11502:20;11520:1;11502:20;:::i;:::-;11497:25;;11546:1;11543;11539:9;11531:17;;11570:1;11564:4;11561:11;11558:37;;;11575:18;;:::i;:::-;11558:37;11408:194;;;;:::o;11608:191::-;11648:3;11667:20;11685:1;11667:20;:::i;:::-;11662:25;;11701:20;11719:1;11701:20;:::i;:::-;11696:25;;11744:1;11741;11737:9;11730:16;;11765:3;11762:1;11759:10;11756:36;;;11772:18;;:::i;:::-;11756:36;11608:191;;;;:::o

ipfs://5ba42239e961460895fe3e98fb4135959f34817a9a89fe2f426b38f03b65486a